graph
34516 papers tagged with this keyword
Longest odd cycles in non-bipartite $C_{2k+1}$-free graphs
In strengthening a result of Andrásfai, Erdős and Sós in 1974, Häggkvist proved that if $G$ is an $n$-vertex $C_{2k+1}$-free graph with minimum degree $δ(G)>\frac{2n}{2k+3}$ and $n>\binom{k+2}{2}(2k+3)(3k+2)$, then $G$ contains no odd cycle of length greater than $\frac{k+1}{2}$. This result has many applications.In this paper, we consider a similar problem by replacing minimum degree condition with edge number condition. We prove that for integers $n,k,r$ with $k\geq 2,3\leq r\leq 2k$ and $n \geq 2\left(r+2\right)\left(r+1\right)\left(r+2k\right)$, if $G$ is an $n$-vertex $C_{2k+1}$-free graph with $e(G) \geq \left\lfloor\frac{(n-r+1)^2}{4}\right\rfloor+\binom{r}{2}$, then $G$ contains no odd cycle of length greater than $r$. The construction shows that the result is best possible. This extends a result of Brandt [Discrete Applied Mathematics 79 (1997)], and a result of Bollobás and Thomason [Journal of Combinatorial Theory, Series B. 77 (1999)], and a result of Caccetta and Jia [Graphs Combin. 18 (2002)] and independently proving by Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)].
Recently, Ren, Wang, Yang, and the second author [SIAM J. Discrete Math. 38 (2024)] show that for $3\leq r\leq 2k$ and $n\geq 318(r-2)^2k$, every $n$-vertex $C_{2k+1}$-free graph with $e(G) \geq \left\lfloor\frac{(n-r+1)^2}{4}\right\rfloor+\binom{r}{2}$ can be made bipartite by deleting at most $r-2$ vertices or deleting at most $\binom{\lfloor\frac{r}{2}\rfloor}{2}+\binom{\lceil\frac{r}{2}\rceil}{2}$ edges. As an application, we derive this result and provide a simple proof.
Flexible $3$-valent graphs of even girth
We prove the existence of a connected flexible $3$-valent vertex-transitive graph of girth $2\ell$ for every integer $\ell$. We also give a constructive proof if $\ell$ is prime.
Isolation number: Cartesian and lexicographic products and generalized Sierpiński graphs
The isolation number $ι(G)$ of a graph $G$ is the minimum cardinality of a set $A\subset V(G)$ such that the subgraph induced by the vertices that are not in the union of the closed neighborhoods of vertices in $A$ has no edges. The invariant, known also under the name vertex-edge domination number of $G$, has attracted a lot of interest in recent years. In this paper, we study the behavior of the isolation number under several graph operations, namely the Cartesian and the lexicographic product and the fractalization leading to generalized Sierpiński graphs. We prove several upper and lower bounds on the isolation number of the Cartesian product of two graphs. We prove a lower bound for the isolation number of the prism $G\,\Box\, K_2$ over an arbitrary graph $G$, which in the case of bipartite graphs leads to the equality $ι(G\,\Box\, K_2)=γ(G)$, where $γ(G)$ is the domination number of $G$. In particular, $ι(Q_{n+1})=γ(Q_n)$ holds for all positive integers $n$, where $Q_n$ is the $n$-dimensional hypercube. For the lexicographic product $G\circ H$ we prove that its isolation number, under certain mild restrictions, equals the total domination number of the first factor $G$. We also prove sharp lower and upper bounds on the isolation numbers of the generalized Sierpiński graphs $S_G^t$, where $G$ is an arbitrary base graph. These bounds in the case of classical Sierpiński graphs, namely $S_{K_n}^t$, coincide and lead to the exact values $ι(S_{K_n}^t)=(n-1)\cdot n^{t-2}$ for all dimensions $t\ge 2$.
Edge densities of drawings of graphs with one forbidden cell
Published
• View Publication
• BIB
A connected topological drawing of a graph divides the plane into a number of cells. The type of a cell $c$ is the cyclic sequence of crossings and vertices along the boundary walk of $c$. For example, all triangular cells with three incident crossings and no incident vertex share the same cell type. When a non-homotopic drawing of an $n$-vertex multigraph $G$ does not contain any such cells, Ackerman and Tardos [JCTA 2007] proved that $G$ has at most $8n-20$ edges, while Kaufmann, Klemz, Knorr, Reddy, Schröder, and Ueckerdt [GD 2024] showed that this bound is tight. In this paper, we initiate the in-depth study of non-homotopic drawings that do not contain one fixed cell type \celltype, and investigate the edge density of the corresponding multigraphs, i.e., the maximum possible number of edges. We consider non-homotopic as well as simple drawings, multigraphs as well as simple graphs, and every possible type of cell. For every combination of drawing style, graph type, and cell type, we give upper and lower bounds on the corresponding edge density. With the exception of the cell type with four incident crossings and no incident vertex, we show for every cell type \celltype that the edge density of $n$-vertex (multi)graphs with \celltype-free drawings is either linear in $n$ or superlinear in $n$. In most cases, our bounds are tight up to an additive constant. We further consider cell types that are not incident to any crossing in more detail and find that all connected simple graphs but a short list of exceptions admit a simple drawing that does not contain any such cells. Additionally, we improve the current lower bound on the edge density of simple graphs that admit a non-homotopic quasiplanar drawing from $7n-28$ to $7.5n-28$.
Quality control in sublinear time: a case study via random graphs
Many algorithms are designed to work well on average over inputs. When running such an algorithm on an arbitrary input, we must ask: Can we trust the algorithm on this input? We identify a new class of algorithmic problems addressing this, which we call "Quality Control Problems." These problems are specified by a (positive, real-valued) "quality function" $ρ$ and a distribution $D$ such that, with high probability, a sample drawn from $D$ is "high quality," meaning its $ρ$-value is near $1$. The goal is to accept inputs $x \sim D$ and reject potentially adversarially generated inputs $x$ with $ρ(x)$ far from $1$. The objective of quality control is thus weaker than either component problem: testing for "$ρ(x) \approx 1$" or testing if $x \sim D$, and offers the possibility of more efficient algorithms.
In this work, we consider the sublinear version of the quality control problem, where $D \in Δ(\{0,1\}^N)$ and the goal is to solve the $(D ,ρ)$-quality problem with $o(N)$ queries and time. As a case study, we consider random graphs, i.e., $D = G_{n,p}$ (and $N = \binom{n}2$), and the $k$-clique count function $ρ_k := C_k(G)/\mathbb{E}_{G' \sim G_{n,p}}[C_k(G')]$, where $C_k(G)$ is the number of $k$-cliques in $G$. Testing if $G \sim G_{n,p}$ with one sample, let alone with sublinear query access to the sample, is of course impossible. Testing if $ρ_k(G)\approx 1$ requires $p^{-Ω(k^2)}$ samples. In contrast, we show that the quality control problem for $G_{n,p}$ (with $n \geq p^{-ck}$ for some constant $c$) with respect to $ρ_k$ can be tested with $p^{-O(k)}$ queries and time, showing quality control is provably superpolynomially more efficient in this setting. More generally, for a motif $H$ of maximum degree $Δ(H)$, the respective quality control problem can be solved with $p^{-O(Δ(H))}$ queries and running time.
Tripodal structure in undersaturated random graphs
We numerically investigate typical graphs in a region of the Strauss model of random graphs with constraints on the densities of edges and triangles. This region, where typical graphs had been expected to be bipodal but turned out to be tripodal, involves edge densities $e$ below $e_0 = (3-\sqrt{3})/6 \approx 0.2113$ and triangle densities $t$ slightly below $e^3$. We determine the extent of this region in $(e,t)$ space and show that there is a discontinuous phase transition at the boundary between this region and a bipodal phase. We further show that there is at least one phase transition within this region, where the parameters describing typical graphs change discontinuously.
Toward Vu's conjecture
In 2002, Vu conjectured that graphs of maximum degree $Δ$ and maximum codegree at most $ζΔ$ have chromatic number at most $(ζ+o(1))Δ$. Despite its importance, the conjecture has remained widely open. The only direct progress so far has been obtained in the ``dense regime,'' when $ζ$ is close to $1$, by Hurley, de Verclos, and Kang.
In this paper we provide the first progress in the sparse regime $ζ\ll 1$, the case of primary interest to Vu. We show that there exists $ζ_0 > 0$ such that for all $ζ\in [\log^{-32}Δ,ζ_0]$, the following holds: if $G$ is a graph with maximum degree $Δ$ and maximum codegree at most $ζΔ$, then $χ(G) \leq (ζ^{1/32} + o(1))Δ$. We derive this from a more general result that assumes only that the common neighborhood of any $s$ vertices is bounded rather than the codegrees of pairs of vertices. Our more general result also extends to the list coloring setting, which is of independent interest.
On the word-representability of $K_m$-$K_n$ graphs
Word-representable graphs are a class of graphs that can be represented by words, where edges and non-edges are determined by the alternation of letters in those words. Several papers in the literature have explored the word-representability of split graphs, in which the vertices can be partitioned into a clique and an independent set. In this paper, we initiate the study of the word-representability of graphs in which the vertices can be partitioned into two cliques. We provide a complete characterization of such word-representable graphs in terms of forbidden subgraphs when one of the cliques has a size of at most four. In particular, if one of the cliques is of size four, we prove that there are seven minimal non-word-representable graphs.
Odd list-coloring of graphs of small Euler genus with no short cycles of specific types
Odd coloring is a variant of proper coloring and has received wide attention. We study the list-coloring version of this notion in this paper. We prove that if $G$ is a graph embeddable in the torus or the Klein bottle with no cycle of length 3, 4, and 6 such that no 5-cycles share an edge, then for every function $L$ that assigns each vertex of $G$ a set $L(v)$ of size 5, there exists a proper coloring that assigns each vertex $v$ of $G$ an element of $L(v)$ such that for every non-isolated vertex, some color appears an odd number of times on its neighborhood. In particular, every graph embeddable in the torus or the Klein bottle with no cycle of length 3, 4, 6, and 8 is odd 5-choosable. The number of colors in these results are optimal, and there exist graphs embeddable in those surfaces of girth 6 requiring six or seven colors.
An edge-spectral Erdős-Stone-Simonovits theorem and its stability
We study the extremal problem that relates the spectral radius $λ(G)$ of an $F$-free graph $G$ with its number of edges. Firstly, we prove that for any graph $F$ with chromatic number $χ(F)=r+1\ge 3$, if $G$ is an $F$-free graph on $m$ edges, then $λ^2(G)\le {(1-\frac{1}{r} + o(1))2m}$. This provides a unified extension of both the Erdős--Stone--Simonovits theorem and its vertex-spectral version due to Nikiforov, and confirms a conjecture proposed by Li, Liu and Feng.
We also establish the corresponding edge-spectral stability, showing that if $G$ is an $F$-free graph on $m$ edges with $λ^2(G)=(1- \frac{1}{r} - o(1))2m$, then $G$ differs from a complete bipartite graph by $o(m)$ edges when $r=2$, and $G$ differs from an $r$-partite Turán graph by $o(m)$ edges when $r\ge 3$. This extends the classical Erdős--Simonovits stability theorem.
As an application of our method, we improve a result of Zhai, Lin and Shu by showing that if $λ(G)>\sqrt{m}$, then there exist two vertices in $G$ that have at least $\frac{1}{2}\sqrt{m} - O(1)$ common neighbors. This bound is the best possible as witnessed by a random construction.
Counterexample to the conjectured coarse grid theorem
We show that for every $M,A,n \in \mathbb{N}$ there exists a graph $G$ that does not contain the $(154\times 154)$-grid as a $3$-fat minor and is not $(M,A)$-quasi-isometric to a graph with no $K_n$ minor. This refutes the conjectured coarse grid theorem by Georgakopoulos and Papasoglu and the weak fat minor conjecture of Davies, Hickingbotham, Illingworth, and McCarty.
Our construction is a slight modification of the recent counterexample to the weak coarse Menger conjecture from Nguyen, Scott and Seymour.
Constrained Flips in Plane Spanning Trees
A flip in a plane spanning tree $T$ is the operation of removing one edge from $T$ and adding another edge such that the resulting structure is again a plane spanning tree. For trees on a set of points in convex position we study two classic types of constrained flips: (1)~Compatible flips are flips in which the removed and inserted edge do not cross each other. We relevantly improve the previous upper bound of $2n-O(\sqrt{n})$ on the diameter of the compatible flip graph to~$\frac{5n}{3}-O(1)$, by this matching the upper bound for unrestricted flips by Bjerkevik, Kleist, Ueckerdt, and Vogtenhuber [SODA~2025] up to an additive constant of $1$. We further show that no shortest compatible flip sequence removes an edge that is already in its target position. Using this so-called happy edge property, we derive a fixed-parameter tractable algorithm to compute the shortest compatible flip sequence between two given trees. (2)~Rotations are flips in which the removed and inserted edge share a common vertex. Besides showing that the happy edge property does not hold for rotations, we improve the previous upper bound of $2n-O(1)$ for the diameter of the rotation graph to~$\frac{7n}{4}-O(1)$.
Integral bases, perfect matchings, and the Petersen graph
Let $G=(V,E)$ be a matching-covered graph, denote by $P$ its perfect matching polytope, and by $L$ the integer lattice generated by the integral points in $P$. In this paper, we give short, polyhedral proofs for two difficult results established by Lovász (1987), and by Carvalho, Lucchesi, and Murty (2002) in a series of three papers totaling over 120 pages. More specifically, we prove that $L$ has a lattice basis consisting solely of incidence vectors of some perfect matchings of $G$, $2x\in L$ for all $x\in \mathrm{lin}(P)\cap \mathbb{Z}^E$, and if $G$ has no Petersen brick then $L = \mathrm{lin}(P)\cap \mathbb{Z}^E$. Our proof avoids major technical aspects of the previous proofs, the most important of these being a characterization of the dual lattice, and a `Petersen-brick-sensitive' ear-decomposition result for matching-covered graphs. This is achieved by a novel study of the facial structure of the polytope $P$ and its relationship with the lattice $L$. Along the way, we give a new polyhedral characterization of the Petersen graph.
Understanding ramification of branched {$\mathbb{Z}_p$}-covers
We provide a combinatorial approach to counting the number of spanning trees at the $n$-th layer of a branched $\mathbb{Z}_p$-cover of a finite connected graph $\mathsf{X}$. Our method achieves in explaining how the position of the ramified vertices affects the count and hence the Iwasawa invariants. We do so by introducing the notion of segments, segmental decomposition of a graph, and number of segmental $t$-tree spanning forests.
Connecting hypercube 1-factors
A 1-factorisation of a regular graph $G$ is a partition of its edge set $E(G)$ into perfect matchings of $G$. Behague asked for the minimal $r=r(d)$ such that some $1$-factorisation of the $d$-dimensional hypercube $Q_d$ has the property that the union of any $r$ of its 1-factors is connected. Previous work by Laufer on perfect $1$-factorisations implied that $r$ is at least three, and Behague gave a construction with $r=\big\lceil\frac{d}{2}\big\rceil+1$. We improve this upper bound, giving a random construction with $r=O(\log d)$. In other words, we prove the existence of a 1-factorisation $\mathcal{M} = \{M_1,\dotsc,M_d\}$ of the hypercube $Q_d$ such that every $\mathcal{N}\subseteq \mathcal{M}$ of size $Ω(\log d)$ is such that $\bigcup \mathcal{N}$ is connected.
Asymptotic structure. IV. A counterexample to the weak coarse Menger conjecture
Coarse graph theory concerns finding 'coarse' analogues of graph theory theorems, replacing disjointness with being far apart. One of the most interesting open questions is to find a coarse analogue of Menger's theorem, which characterizes when there are $k$ vertex-disjoint paths between two given sets $S,T$ of vertices of a graph. We showed in an earlier paper that the most natural such analogue is false, but a weaker statement remained as a popular open question. Here we show that the weaker statement is also false.
More exactly, suppose that $S,T$ are sets of vertices of a graph $G$, and there do not exist $k$ paths between $S,T$, pairwise at distance at least $c$. To make an analogue of Menger's theorem, one would like to prove that there must be a small set $X\subseteq V(G)$ such that every $S-T$ path of $G$ passes close to a member of $X$: but how small and how close? In view of Menger's theorem, one would hope for $|X|<k$ and 'close' some function of $k,c$ (and indeed, this was conjectured by Georgakopoulos and Papasoglu, and independently, by Albrechtsen, Huynh, Jacobs, Knappe and Wollan); but we showed that this is false, even if $c=3$ and $k=3$.
Here we upgrade the counterexample: we show that, even if $c=k=3$, no pair of constants (for 'small' and 'close') work. For all $\ell, m$, there is a graph $G$ and $S,T\subseteq V(G)$, such that there do not exist three $S-T$ paths pairwise with distance at least three, and yet there is no $X$ with $|X|\le m$ such that every $S-T$ path passes within distance at most $\ell$ of $X$.
More on Nosal's spectral theorem: Books and $4$-cycles
Spectral graph theory studies how the eigenvalues of a graph relate to the structural properties of a graph. In this paper, we solve three open problems in spectral extremal graph theory which generalize the classical Turán-type supersaturation results.
(a) We prove that every $m$-edge graph $G$ with the spectral radius $λ(G) > \sqrt{m}$ contains at least $\frac{1}{144} \sqrt{m}$ triangles sharing a common edge. This result confirms a conjecture of Nikiforov, and Li and Peng. Moreover, the bound is optimal up to a constant factor.
(b) Next, for $m$-edge graph $G$ with $λ(G) > \sqrt{(1-\frac{1}{r})2m}$, we show that it must contain $Ω_r (\sqrt{m})$ copies of $K_{r+1}$ sharing $r$ common vertices. This confirms a conjecture of Li, Liu and Feng and unifies a series of spectral extremal results on books and cliques. Moreover, we also show that such a graph $G$ contains $Ω_r (m^{\frac{r-1}{2}})$ copies of $K_{r+1}$. This extends a result of Ning and Zhai for counting triangles.
(c) We prove that every $m$-edge graph $G$ with $λ(G) > \sqrt{m}$ contains at least $(\frac{1}{8}-o(1)) m^2$ copies of 4-cycles, and we provide two constructions showing that the constant $\frac{1}{8}$ is the best possible. This result settles a problem raised by Ning and Zhai, and it gives the first asymptotics for counting degenerate bipartite graphs.
The key to our proof are two structural results we obtain for graphs with large spectral radii on their maximum degree and on existence of large structured subgraphs, which we believe to be of independent interest.
Injective (edge) colorings of generalized Sierpiński graphs
Generalized Sierpiński graphs constitute a distinctive class of fractal-like networks, whose self-similar properties have attracted growing attention. In particular, a number of graph invariants have been studied in generalized Sierpiński graphs. In this paper, we focus on injective colorings of this class of graphs, both the vertex and the edge version. The vertex version of injective colorings in generalized Sierpiński graphs was initiated in [Injective colorings of Sierpiński-like graphs and Kneser graphs,Graphs.\ Combin.\ 41 (2025) 83], where the authors determined the injective chromatic numbers of the standard Sierpiński graphs (which are those whose base graph is a clique) and asked about the values when the base graph is a cycle. We resolve this question by proving that $χ_i(S_{C_k}^n)=3$ for every $n\ge 2$ and every $k\ge 3$, which follows from a more general result on generalized Sierpi\' nski graphs $S_G^n$ with arbitrary base graphs $G$. Moreover, we prove (an almost conclusive result) that $χ_i(S_G^n)\in \{χ_i(G),χ_i(G)+1\}$ for any graph $G$ and any $n\ge 2$. Injective edge colorings appear to be more difficult, especially in graphs with triangles. On a positive note, we prove that $χ_i'(S_{K_3}^n)=5$ for all $n\ge 3$. Furthermore, if $G$ is a triangle-free graph, we prove that $χ_i'(S_G^n)\in \{χ_i'(S_G^3),χ_i'(S_G^3)+1\}$ for all $n\ge 4$, and provide some sufficient conditions on an injective edge coloring of the 3-dimensional Sierpiński graph over $G$, which ensure that $χ_i'(S_G^n)=χ_i'(S_G^3)$. In particular, the latter result enables us to establish that $χ_i'(S_{C_4}^n)=3$, $χ_i'(S_{C_5}^n)=4$ and $χ_i'(S_{C_6}^n)=3$ hold for any $n\ge 2$.
Hamiltonian Cycles in Simplicial and Supersolvable Hyperplane Arrangements
Motivated by the Gray code interpretation of Hamiltonian cycles in Cayley graphs, we investigate the existence of Hamiltonian cycles in tope graphs of hyperplane arrangements, with a focus on simplicial, reflection, and supersolvable arrangements. We confirm Hamiltonicity for all 3-dimensional simplicial arrangements listed in the Grünbaum--Cuntz catalogue. Extending earlier results by Conway, Sloane, and Wilks, we prove that all restrictions of finite reflection arrangements, including all Weyl groupoids and crystallographic arrangements, admit Hamiltonian cycles. Finally, we further establish that all supersolvable hyperplane arrangements and supersolvable oriented matroids have Hamiltonian cycles, offering a constructive proof based on their inductive structure.
New improved lower bounds for Zagreb indices of graphs
This paper presents new lower bounds for the first general Zagreb index $Z_α(G)$ involving two, three, and four arbitrary degrees of vertices of a simple graph $G$. For the special cases $α= 2$ and $α= -2$, the results give sharper bounds for the first Zagreb index $M_1(G)$ and the modified first Zagreb index ${}^{m}M_1(G)$, thereby improving several well-known inequalities in the literature. Furthermore, some applications of the derived bounds for $M_1(G)$ are demonstrated, establishing new bounds for the second Zagreb index, the spectral radius, Nordhaus-Gaddum type bounds, and their corresponding coindices.