graph
35150 papers tagged with this keyword
Cohen-Macauleyness of the Zero-Divisor Graph of a Boolean Poset
Published
• View Publication
• BIB
In this paper, we prove that the zero-divisor graph $Γ(P)$ of a Boolean poset $P$ is both well-covered and Cohen--Macaulay. Furthermore, for a poset $\mathbf{P} = \prod_{i=1}^{n} P_i$ $(n \ge 3)$, where each $P_i$ is a finite bounded poset satisfying $Z(P_i) = \{0\}$ for all $i$, and $\le |P_1| \le |P_2| \le \cdots \le |P_n|, $ we show that the zero-divisor graph $Γ(\mathbf{P})$ is Cohen--Macaulay if and only if $\mathbf{P}$ is a Boolean lattice.
Optimal Tree-Decompositions with Bags of Bounded Treewidth
Published
• View Publication
• BIB
We prove that several natural graph classes have tree-decompositions with minimum width such that each bag has bounded treewidth. For example, every planar graph has a tree-decomposition with minimum width such that each bag has treewidth at most 3. This treewidth bound is best possible. More generally, every graph of Euler genus $g$ has a tree-decomposition with minimum width such that each bag has treewidth in $O(g)$. This treewidth bound is best possible. Most generally, every $K_p$-minor-free graph has a tree-decomposition with minimum width such that each bag has treewidth at most some polynomial function $f(p)$.
In such results, the assumption of an excluded minor is justified, since we show that analogous results do not hold for the class of 1-planar graphs, which is one of the simplest non-minor-closed monotone classes. In fact, we show that 1-planar graphs do not have tree-decompositions with width within an additive constant of optimal, and with bags of bounded treewidth. On the other hand, we show that 1-planar $n$-vertex graphs have tree-decompositions with width $O(\sqrt{n})$ (which is the asymptotically tight bound) and with bounded treewidth bags. Moreover, this result holds in the more general setting of bounded layered treewidth, where the union of a bounded number of bags has bounded treewidth.
Blind cop-width and balanced minors of graphs
We investigate a pursuit-evasion game on an undirected graph in which a robber, moving at a fixed constant speed, attempts to evade a team of cops who are blind to the robber's location and can quickly travel between any pair of vertices in the graph. The blind cop-width is the minimum number of cops needed to catch the robber on a given graph. We link it with other known graph parameters defined in terms of pursuit-evasion games, and show a new lower bound with respect to treewidth. The proof introduces the notion of balanced minors, where all branch sets of a minor model have equal size.
On Universal Graphs for Trees and Tree-Like Graphs
Chung and Graham [J. London Math. Soc. 1983] claimed to prove that there exists an $n$-vertex graph $G$ with $ \frac{5}{2}n \log_2 n + O(n)$ edges that contains every $n$-vertex tree as a subgraph. Frati, Hoffmann and Tóth [Combin. Probab. Comput. 2023] discovered an error in the proof. By adding more edges to $G$ the error can be corrected, bringing the number of edges in $G$ to $\frac{7}{2}n \log_2 n + O(n). $
We make the first improvement to Chung and Graham's bound in over four decades by showing that there exists an $n$-vertex graph with $ \frac{14}{5}n \log_2 n + O(n) $ edges that contains every $n$-vertex tree as a subgraph.
Furthermore, we generalise this bound for treewidth-$k$ graphs by showing that there exists a graph with $O(kn\log(n/k+1))$ edges that contains every $n$-vertex treewidth-$k$ graph as a subgraph. This is best possible in the sense that $Ω(kn\log(n/k+1))$ edges are required.
The spectral radii and extremal graphs of two types of minimal graphs
A connected nontrivial graph $G$ is {\it matching covered} if every edge of $G$ is contained in some perfect matching of $G$. A matching covered graph $G$ is {\it minimal} if $G-e$ is not matching covered for each edge $e$ of $G$. A graph is said to be {\it factor-critical} if $G-v$ has a perfect matching for every $v\in V(G)$. A factor-critical graph $G$ is said to be {\it minimal factor-critical} if $G-e$ is not factor-critical graph for each edge $e\in E(G)$. In this paper, by employing ear decomposition and edge-exchange techniques, the greatest spectral radii of minimal matching covered bipartite graphs and minimal factor-critical graphs are determined, and the corresponding extremal graphs are characterized.
On the Steiner $k$-diameter and Steiner ($k,k^{\prime}$)-radius of trees
Given a connected graph $G=(V,E)$ and a $k$-set $S\subseteq V(G)$, the $Steiner$ $distance$ $d_{G}(S)$ of $S$ is defined as the size of a minimum tree including $S$ in $G$. The $Steiner$ $k$-$eccentricity$ of a vertex $v$ in $G$ is the maximum value of $d_G(S)$ over all $S\subseteq V(G)$ with $|S|=k$ and $v\in S$. The minimum Steiner $k$-eccentricity over all vertices, denoted by $Sr_k(G)$, is called the $Steiner$ $k$-$radius$ of $G$ and the maximum Steiner $k$-eccentricity over all vertices, denoted by $Sd_k(G)$, is its $Steiner$ $k$-$diameter$. The $Steiner$ $(k,k^{\prime})$-$eccentricity$ of a $k^{\prime}$-subset $S^{\prime}$ of $V(G)$, which is an extension of the Steiner $k$-eccentricity of a vertex $v$, is defined as the maximum Steiner distance over all $k$-subsets of $V(G)$ containing $S^{\prime}$. The minimum Steiner $(k,k^{\prime})$-eccentricity among all $k^{\prime}$-subsets of $V(G)$, denoted by $Sr_{k,k^{\prime}}(G)$, is called the $Steiner$ $(k,k^{\prime})$-$radius$ of $G$. In 1989, Chartrand, Oellermann, Tian and Zou showed that for any $k\geq3$, $Sd_k(T)\leq \frac{k}{k-1}Sr_k(T)$ for any tree $T$. In this paper, we generalize this result and show that $Sd_k(T)\leq \frac{k}{k-k^{\prime}}Sr_{k,k^{\prime}}(T)$ for any $k\geq3$, $k>k^{\prime}\geq1$. Furthermore, for $k^{\prime}=2$ and $k^{\prime}=3$, we obtain a tight upper bound of the Steiner $k$-diameter by the Steiner $(k,k^{\prime})$-radius for all trees.
The 3-restricted edge-connectivity of the direct product graphs
Published
• View Publication
• BIB
An edge subset \( S \subseteq E(G) \) is called a 3-restricted edge-cut if \( G - S \) is disconnected and each component of \( G - S \) contains at least three vertices. The 3-restricted edge-connectivity of a graph \( G \), denoted by \( λ_3(G) \), is defined as the minimum cardinality among all 3-restricted edge-cuts if there are at least one; otherwise, \( λ_3(G) = +\infty \). It is proved that $λ_3(G)\leqξ_3(G)$ if $G$ has a 3-restricted edge-cut, where $ξ_3(G) = \min \left\{ |[X, V(G) \setminus X]_G|:|X| = 3 \text{ and } G[X] \text{ is connected} \right\}.$ If \( λ_3(G) = ξ_3(G) \), then \( G \) is said to be maximally 3-restricted edge-connected. The direct product of two graphs $G$ and $H$, denoted by $G \times H$, is defined as the graph with vertex set \( V(G \times H) = V(G) \times V(H) \), where two vertices \( (u_1, v_1) \) and \( (u_2, v_2) \) are adjacent in \( G \times H \) if and only if \( u_1u_2 \in E(G) \) and \( v_1v_2 \in E(H) \). In this paper, we determine, for a regular connected graph \( G\), the 3-restricted edge-connectivity of \( G \times C_n \), \( G \times K_n \) and \( G \times T_n \), where \( C_n \), \( K_n \) and \( T_n \) are the cycle, the complete graph and the total graph with \( n \) vertices, respectively. As corollaries, we establish sufficient conditions for the direct product graphs \( G \times C_n \), \( G \times K_n \) and \( G \times T_n \) to be maximally 3-restricted edge-connected.
Making an oriented graph acyclic using inversions of bounded or prescribed size
Given an oriented graph $D$, the inversion of a subset $X$ of vertices consists in reversing the orientation of all arcs with both endpoints in $X$. When the subset $X$ is of size $p$ (resp. at most $p$), this operation is called an $(=p)$-inversion (resp. $(\leq p)$-inversion). Then, an oriented graph is $(=p)$-invertible if it can be made acyclic by a sequence of $p$-inversions. We observe that, for $n=|V(D)|$, deciding whether $D$ is $(=n-1)$-invertible is equivalent to deciding whether $D$ is acyclically pushable, and thus NP-complete. In all other cases, when $p \neq n-1$, we construct a polynomial-time algorithm to decide $(=p)$-invertibility.
We then consider the $(= p)$-inversion number, $\text{inv}^{= p}(D)$ (resp. $(\leq p)$-inversion number, $\text{inv}^{\leq p}(D)$), defined as the minimum number of $(=p)$-inversions (resp. $(\leq p)$-inversions) rendering $D$ acyclic. We show that every $(=p)$-invertible digraph $D$ satisfies $\text{inv}^{= p}(D) \leq |A(D)|$ for every integer $p\geq 2$. When $p$ is even, we bound $\text{inv}^{= p}$ by a (linear) function of the feedback arc set number, and rule out the existence of any bounding function for odd $p$.
Finally, we study the complexity of deciding whether the $(= p)$-inversion number, or the $(\leq p)$-inversion number, of a given oriented graph is at most a given integer $k$. For any fixed positive integer $p \geq 2$, when $k$ is part of the input, we show that both problems are NP-hard even in tournaments. In general oriented graphs, we prove $W[1]$-hardness for both problems when parameterized by $p$, even for $k=1$. In contrast, we exhibit polynomial kernels in $p + k$ for both problems in tournaments.
Improved exploration of temporal graphs
A temporal graph $G$ is a sequence $(G_t)_{t \in I}$ of graphs on the same vertex set of size $n$. The \emph{temporal exploration problem} asks for the length of the shortest sequence of vertices that starts at a given vertex, visits every vertex, and at each time step $t$ either stays at the current vertex or moves to an adjacent vertex in $G_t$. Bounds on the length of a shortest temporal exploration have been investigated extensively. Perhaps the most fundamental case is when each graph $G_t$ is connected and has bounded maximum degree. In this setting, Erlebach, Kammer, Luo, Sajenko, and Spooner [ICALP 2019] showed that there exists an exploration of $G$ in $\mathcal{O}(n^{7/4})$ time steps. We significantly improve this bound by showing that $\mathcal{O}(n^{3/2} \sqrt{\log n})$ time steps suffice.
In fact, we deduce this result from a much more general statement. Let the \emph{average temporal maximum degree} $D$ of $G$ be the average of $\max_{t \in I} d_{G_t}(v)$ over all vertices $v \in V(G)$, where $d_{G_t}(v)$ denotes the degree of $v$ in $G_t$. If each graph $G_t$ is connected, we show that there exists an exploration of $G$ in $\mathcal{O}(n^{3/2} \sqrt{D \log n})$ time steps. In particular, this gives the first subquadratic upper bound when the underlying graph has bounded average degree. As a special case, this also improves the previous best bounds when the underlying graph is planar or has bounded treewidth and provides a unified approach for all of these settings. Our bound is subquadratic already when $D=o(n/\log n)$.
Barile-Macchia Resolutions and the closed neighborhood ideal
We investigate the minimal free resolutions of closed neighborhood ideals of graphs within the framework of Barile-Macchia (BM) resolutions. We show that for any tree $T$, the closed neighborhood ideal $NI(T)$ is bridge-friendly, and hence its BM resolution is minimal. The combinatorial structure of trees further allows us to construct a maximal critical cell of size $α(T)$, leading to the equality $\mathrm{pdim}(R/NI(T)) = α(T)$, where $α(T)$ denotes the independence number of $T$ and $\mathrm{pdim}$ is the projective dimension. Using Betti splitting techniques, we also obtain explicit formulas for the graded Betti numbers of $NI(P_n)$, where $P_n$ is the path graph on $n$ vertices. Finally, we make some observations on the bridge-friendly condition of the closed neighborhood ideals of chordal and bipartite graphs.
Multipartite and Structural Results on Transparent Rectangle Visibility Graphs
We consider a graph representation in the plane, called the transparent rectangle visibility graph (TRVG), where each vertex is represented by a rectangle in the plane with sides parallel to the plane axes, in a way that any two vertices are adjacent if and only if a vertical or horizontal line can be drawn from the interior of one rectangle to the other. Expanding upon previously done work by Juntarapomdach and Kittipassorn, we show that $K_{3,3,3}$ is not a TRVG, and classify complete $k$-partite TRVGs. We also prove that the complement of $C^2_n$ is not a TRVG whenever $n \geq 15$, and that every $k$-partite TRVG with $n$ vertices has at most $2(k-1)n-k(k-1)$ edges. Furthermore, we introduce a novel representation, the intersecting transparent rectangle visibility graph (ITRVG), and show that there exists a graph that is an ITRVG but not a TRVG.
Bounds on the sequence length sufficient to reconstruct level-1 phylogenetic networks
Published
• View Publication
• BIB
Phylogenetic trees and networks are graphs used to model evolutionary relationships, with trees representing strictly branching histories and networks allowing for events in which lineages merge, called reticulation events. While the question of data sufficiency has been studied extensively in the context of trees, it remains largely unexplored for networks. In this work we take a first step in this direction by establishing bounds on the amount of genomic data required to reconstruct binary level-$1$ semi-directed phylogenetic networks, which are binary networks in which reticulation events are indicated by directed edges, all other edges are undirected, and cycles are vertex-disjoint. For this class, methods have been developed recently that are statistically consistent. Roughly speaking, such methods are guaranteed to reconstruct the correct network assuming infinitely long genomic sequences. Here we consider the question whether networks from this class can be uniquely and correctly reconstructed from finite sequences. Specifically, we present an inference algorithm that takes as input genetic sequence data, and demonstrate that the sequence length sufficient to reconstruct the correct network with high probability, under the Cavender-Farris-Neyman model of evolution, scales logarithmically, polynomially, or polylogarithmically with the number of taxa, depending on the parameter regime. As part of our contribution, we also present novel inference rules for quartet data in the semi-directed phylogenetic network setting.
On minimal codes arising from projective embeddings of point-line geometries
Let ${\mathcal C}(Ω)$ be the linear code arising from a projective system $Ω$ of $\mathrm{PG}(V).$ Consider the point-line geometry $Γ=({\mathcal P},{\mathcal L})$ and a projective embedding $\varepsilon\colon Γ\rightarrow \mathrm{PG}(V)$ of $Γ.$ We show that the projective code obtained by taking as projective system $Ω:=\varepsilon(\mathcal{P})$ is minimal if the graph induced on the set $Γ\setminus\varepsilon^{-1}(H)$ by the collinearity graph of $Γ$ is connected for any hyperplane $H$ of $\mathrm{PG}(V)$. As an application, Grassmann codes, Segre codes, polar Grassmann codes of orthogonal, symplectic, hermitian type and codes arising from the point-hyperplane geometry of a projective space are minimal codes.
Density of rainbow triangles and properly colored $K_4$'s
T.-W. Chao and H.-H. H. Yu showed in 2023 that a graph with $R$ red, $G$ green, and $B$ blue edges has at most $\sqrt{2 RGB}$ rainbow triangles. They proved this bound using the entropy method. We give a computer-free flag-algebra proof of this bound, and we also convert our proof into a classical counting proof. The ideas in our proof lead to an even shorter entropy proof. We also show uniqueness of the extremal construction.
Additionally, we prove a similar result that gives a sharp upper bound on the number of properly $3$-edge-colored $K_4$'s in graphs with $R$ red, $G$ green and $B$ blue edges.
Local Geometric and Transport Properties of Networks that are Generated from Hyperuniform Point Patterns
Hyperuniformity, which is a type of long-range order that is characterized by the suppression of long-range density fluctuations in comparison to the fluctuations in standard disordered systems, has emerged as a powerful concept to aid in the understanding of diverse natural and engineered phenomena. In the present paper, we harness hyperuniform point patterns to generate a class of disordered, spatially embedded networks that are distinct from both perfectly ordered lattices and uniformly random geometric graphs. We refer to these networks as \emph{hyperuniform-point-pattern-induced (HuPPI) networks}, and we compare them to their counterpart \emph{Poisson-point-pattern-induced (PoPPI) networks}. By computing the local geometric and transport properties of HuPPI networks, we demonstrate how hyperuniformity imparts advantages in both transport efficiency and robustness. Specifically, we show that HuPPI networks have systematically smaller total effective resistances, slightly faster random-walk mixing times, and fewer extreme-curvature edges than PoPPI networks. Counterintuitively, we also find that HuPPI networks simultaneously have more negative mean Ollivier--Ricci curvatures and smaller total effective resistances than PoPPI networks, indicating that edges with moderately negative curvatures need not create severe bottlenecks to transport. Moreover, HuPPI networks are consistently more robust under both random edge removals and curvature-based targeted edge removals, maintaining larger connected components for larger fractions of removed edges than their PoPPI counterparts. We also demonstrate that the network-generation method strongly influences these properties and in particular that it often overshadows differences that arise from underlying point patterns.
A hypergraph analogue of Alon-Frankl Theorem
Recently, Alon and Frankl (JCTB, 2024) determined the maximum number of edges in $K_{\ell+1}$-free $n$-vertex graphs with bounded matching number. For integers $\ell\ge r \ge 2$, the family $\mathcal{K}_{\ell+1}^{r}$ consists of all $r$-graphs $F$ with at most $\binom{\ell+1}{2}$ edges such that, for some $(\ell+1)$-set $K$, every pair $\{x,y\} \subseteq K$ is covered by an edge in $F$. In this paper, we study the maximum number of edges in $\mathcal{K}_{\ell+1}^r$-free $r$-uniform hypergraphs that have the matching number at most $s$, that is, $\mathrm{ex}_r(n, \{\mathcal{K}_{\ell+1}^r, M^r_{s+1}\})$, and obtain the exact value for sufficiently large $n$, along with the corresponding extremal hypergraph. This result can be viewed as a hypergraph extension of the work of Alon and Frankl. In addition, for the $3$-uniform Fano plane $\mathbb{F}$, we determine the exact value of $\mathrm{ex}_3(n, \{\mathbb{F}, M^3_{s+1}\})$, and characterize the corresponding extremal hypergraph.
On Coalition Graphs and Coalition Count of Graphs
Let $G$ be graph with vertex set $V(G)$ and order $n$. A coalition in a graph $G$ consists of two disjoint sets of vertices $V_1$ and $V_2$, neither of which is a dominating set but whose union $V_1 \cup V_2$ is a dominating set. A coalition partition, abbreviated $c$-partition, in a graph $G$ is a vertex partition $π=\left\{V_1 , V_2,\dots, V_k\right\}$ such that every set $V_i$ of $π$ is either a singleton dominating set, or is not a dominating set but forms a coalition with another set $V_j$ in $π$. The sets $V_i$ and $V_j$ are coalition partners in $G$. The coalition number $C(G)$ equals the maximum order $k$ of a $c$-partition of $G$. For any graph $G$ with a $c$-partition $π=\left\{V_1,V_2,\dots,V_k\right\}$, the coalition graph $CG(G,π)$ of $G$ is a graph with vertex set $V_1,V_2,\dots, V_k$, corresponding one-to-one with the set $π$, and two vertices $V_i$ and $V_j$ are adjacent in $CG(G,π)$ if and only if the sets $V_i$ and $V_j$ are coalition partners in $π$. In [4], authors proved that for every graph $G$ there exist a graph $H$ and $c$-partition $π$ such that $CG(H,π)\cong G$, and raised the question: Does there exist a graph $H^*$ of smaller order $n^*$ and size $m^*$ with a $c$-partition $π^*$ such that $CG(H^*,π^*)\cong G$?. In this paper, we constructed a graph $H^*$ of small order and size and a $c$- partition $π^*$ such that $CG(H^*,π^*)\cong G$. Recently, Haynes et al.[5] defined the coalition count $c(G)$ of a graph $G$ as the maximum number of different coalition in any $c$-partition of $G$. We characterize all graphs $G$ with $c(G)=1$. Further, imposing some suitable conditions on coalition number, we study the properties of coalition count of graph.
Secure coalitions in graphs
A secure coalition in a graph $G$ consists of two disjoint vertex sets $V_1$ and $V_2$, neither of which is a secure dominating set, but whose union $V_1 \cup V_2$ forms a secure dominating set. A secure coalition partition ($sec$-partition) of $G$ is a vertex partition $π= \{V_1, V_2, \dots, V_k\}$ where each set $V_i$ is either a secure dominating set consisting of a single vertex of degree $n-1$, or a set that is not a secure dominating set but forms a secure coalition with some other set $V_j \in π$. The maximum cardinality of a secure coalition partition of $G$ is called the secure coalition number of $G$, denoted $SEC(G)$. For every $sec$-partition $π$ of a graph $G$, we associate a graph called the secure coalition graph of $G$ with respect to $π$, denoted $SCG(G,π)$, where the vertices of $SCG(G,π)$ correspond to the sets $V_1, V_2, \dots, V_k$ of $π$, and two vertices are adjacent in $SCG(G,π)$ if and only if their corresponding sets in $π$ form a secure coalition in $G$. In this study, we prove that every graph admits a $sec$-partition. Further, we characterize the graphs $G$ with $SEC(G) \in \{1,2,n\}$ and all trees $T$ with $SEC(T) = n-1$. Finally, we show that every graph $G$ without isolated vertices is a secure coalition graph.
Varieties of Lines in 3-Space
We consider configurations of lines in 3-space with incidences prescribed by a graph. This defines a subvariety in a product of Grassmannians. Leveraging a connection with rigidity theory in the plane, for any graph, we determine the dimension of the incidence variety and characterize when it is irreducible or a complete intersection. We study its multidegree and the family of Schubert problems it encodes. Our spanning-tree coordinates enable efficient symbolic computations. We also provide numerical irreducible decompositions for incidence varieties with up to eight lines. These constructions with lines play a key role in the Landau analysis of scattering amplitudes in particle physics.
Spectrally indistinguishable pseudorandom graphs
We construct explicit families of graphs whose eigenvalues are asymptotically distributed according to Wigner's semicircle law; in other words, that are spectrally indistinguishable from random graphs. However, in other respects they are strikingly dissimilar from random graphs; for example, they are $K_{2,3}$-free graphs with almost the maximum possible edge density.