contain ↗ reference
7689 papers tagged with this keyword
The Ramsey number of the 4-cycle versus a book graph
Given positive integers $n$ and $k$, the book graph $B_n^{(k)}$ consists of $n$ copies of $K_{k+1}$ sharing a common $K_k$. The book graph is a common generalization of a star and a clique, which can be seen by taking $k=1$ and $n=1$ respectively. In addition, the Ramsey number of a book graph is closely related to the diagonal Ramsey number. Thus the study of extremal problems related to the book graph is of substantial significance. In this paper, we aim to investigate the Ramsey number $r(C_4,B_n^{(k)})$ which is the smallest integer $N$ such that for any graph $G$ on $N$ vertices, either $G$ contains $C_4$ as a subgraph or the complement $\overline{G}$ contains $B_n^{(k)}$ as a subgraph. For $k=1$, a pioneer work by Parsons ({\it Trans.~Amer.~Math.~Soc.,} 209 (1975), 33--44) gives an upper bound for $r(C_4,B_n^{(1)})$, which is tight for infinitely many $n$. For $k=2$, in a recent paper ({\em J. Graph Theory,} 103 (2023), 309--322), the second, the third, and the fourth authors obtained the exact value of $r(C_4,B_{n}^{(2)})$ for infinitely many $n$. The goal of this paper is to prove a similar result for each integer $k \geq 3$. To be precise, given an integer $k \geq 3$ and a constant $0<\varepsilon<1$, let $n=q^2-kq+t+\binom{k}{2}-k$ and $Q(k,\varepsilon)=(320k^4)^{k+1}/\varepsilon^{2k}$, where $1 \leq t \leq (1-\varepsilon)q$. We first establish an upper bound for $r(C_4,B_n^{(k)})$ provided $q \geq Q(k,\varepsilon)$. Then we show the upper bound is tight for $q \geq Q(k,\varepsilon)$ being a prime power and $1 \leq t \leq (1-\varepsilon)q$ under some assumptions. The proof leverages on a simple but novel refinement of a well-known inequality related to a $C_4$-free graph. Therefore, for each $k \geq 3$, we obtain the exact value of $r(C_4,B_n^{(k)})$ for infinitely many $n$. Moreover, we prove general upper and lower bounds of $r(C_4,B_n^{(k)})$ for $k \geq 3$.
Counting Small Cycle Double Covers
A theorem due to Seyffarth states that every planar $4$-connected $n$-vertex graph has a cycle double cover (CDC) containing at most $n-1$ cycles (a "small" CDC). We extend this theorem by proving that, in fact, such a graph must contain linearly many small CDCs (in terms of $n$), and provide stronger results in the case of planar $4$-connected triangulations. We complement this result with constructions of planar $4$-connected graphs which contain at most polynomially many small CDCs. Thereafter we treat cubic graphs, strengthening a lemma of Hušek and Šámal on the enumeration of CDCs, and, motivated by a conjecture of Bondy, give an alternative proof of the result that every planar 2-connected cubic graph on $n > 4$ vertices has a CDC of size at most $n/2$. Our proof is much shorter and obtained by combining a decomposition based argument, which might be of independent interest, with further combinatorial insights. Some of our results are accompanied by a version thereof for CDCs containing no cycle twice.
Partial independent transversals in multipartite graphs
Given integers $r>d\ge 0$ and an $r$-partite graph, an independent $(r-d)$-transversal or $(r-d)$-IT is an independent set of size $r-d$ that intersects each part in at most one vertex. We show that every $r$-partite graph with maximum degree $Δ$ and parts of size $n$ contains an $(r-d)$-IT if $n> 2Δ(1-\frac{1}{q})$, provided $q= \lfloor \frac{r}{d+1}\rfloor\ge \frac{4r}{4d+5}$. This is tight when $q$ is even and extends a classical result of Haxell in the $d=0$ case. When $q= \lfloor \frac{r}{d+1} \rfloor\ge \frac{6r+6d+7}{6d+7}$ is odd, we show that $n> 2Δ(1-\frac{1}{q-1})$ guarantees an $(r-d)$-IT in any $r$-partite graph. This is also tight and extends a result of Haxell and Szabó in the $d=0$ case. In addition, we show that $n> 5Δ/4$ guarantees a $5$-IT in any $6$-partite graph and this bound is tight, answering a question of Lo, Treglown and Zhao.
Cycles and paths through vertices whose degrees are at least the bipartite-hole-number
The bipartite-hole-number of a graph $G$, denoted by $\widetildeα(G)$, is the minimum integer $k$ such that there exist positive integers $s$ and $t$ with $s + t = k + 1$, satisfying the property that for any two disjoint sets $A, B \subseteq V(G)$ with $|A| = s$ and $|B| = t$, there is at least one edge between $A$ and $B$. In 1992, Bollobás and Brightwell, and independently Shi, proved that every $2$-connected graph of order $n$ contains a cycle passing through all vertices whose degrees are at least $\frac{n}{2}$. Motivated by their result, we show that in any $2$-connected graph of order $n$, there exists a cycle containing all vertices whose degrees are at least $\widetildeα(G)$. Moreover, we prove that for any pair of vertices in a connected graph $G$, if their degrees are at least $\widetildeα(G) + 1$, then there exists a path joining them that contains all vertices whose degrees are at least $\widetildeα(G) + 1$. The results extend two existing ones.
Immersions of large cliques in graphs with independence number 2 and bounded maximum degree
An immersion of a graph $H$ in a graph $G$ is a minimal subgraph $I$ of $G$ for which there is an injection ${\rm i} \colon V(H) \to V(I)$ and a set of edge-disjoint paths $\{P_e: e \in E(H)\}$ in $I$ such that the end vertices of $P_{uv}$ are precisely ${\rm i}(u)$ and ${\rm i}(v)$. The immersion analogue of Hadwiger Conjecture (1943), posed by Lescure and Meyniel (1985), asks whether every graph $G$ contains an immersion of $K_{χ(G)}$. Its restriction to graphs with independence number 2 has received some attention recently, and Vergara (2017) raised the weaker conjecture that every graph with independence number 2 has an immersion of $K_{χ(G)}$. This implies that every graph with independence number 2 has an immersion of $K_{\lceil n/2 \rceil}$. In this paper, we verify Vergara Conjecture for graphs with bounded maximum degree. Specifically, we prove that if $G$ is a graph with independence number $2$, maximum degree less than $2n/3 - 1$ and clique covering number at most $3$, then $G$ contains an immersion of $K_{χ(G)}$ (and thus of $K_{\lceil n/2 \rceil}$). Using a result of Jin (1995), this implies that if $G$ is a graph with independence number $2$ and maximum degree less than $19n/29 - 1$, then $G$ contains an immersion of $K_{χ(G)}$ (and thus of $K_{\lceil n/2 \rceil}$).
On the spectra of prefix-reversal graphs
Published
• View Publication
• BIB
In this paper, we study spectral properties of prefix-reversal graphs. These graphs are obtained by connecting two elements of $C_m\wr S_n$ via prefix reversals. If $m=1,2$, the corresponding prefix-reversal graphs are the classic pancake and burnt pancake graphs. If $m>2$, then one can consider the directed and undirected versions of these graphs. We prove that the spectrum of the undirected prefix-reversal graph $\mathbb{P}_m(n)$ contains all even integers in the interval $[0,2n]\setminus\{2\lfloor n/2\rfloor\}$ and if $m\equiv0\pmod4$, we then show that the spectrum contains all even integers in $[0,2n]$. In the directed case, we show that the spectrum of the directed prefix-reversal graph $P(m,n)$ contains all integers in the interval $[0,n]\setminus\{\lfloor n/2\rfloor\}$. As a consequence, we show that in either case, the prefix-reversal graphs have a small spectral gap.
A note on two cycles of consecutive even lengths in graphs
Published
• View Publication
• BIB
Bondy and Vince proved that a graph of minimum degree at least three contains two cycles whose lengths differ by one or two, which was conjectured by Erdős. Gao, Li, Ma and Xie gave an average degree counterpart of Bondy-Vince's result, stating that every $n$-vertex graph with at least $\frac{5}{2}(n-1)$ edges contains two cycles of consecutive even lengths, unless $4|(n-1)$ and every block of $G$ is a clique $K_5$. This confirms the case $k=2$ of Verstraëte's conjecture, which states that every $n$-vertex graph without $k$ cycles of consecutive even lengths has edge number $e(G)\leq\frac{1}{2}(2k+1)(n-1)$, with equality if and only if every block of $G$ is a clique of order $2k+1$. Sudakov and Verstraëte further conjectured that if $G$ is a graph with maximum number of edges that does not contain $k$ cycles of consecutive even lengths, then every block of $G$ is a clique of order at most $2k+1$. In this paper, we prove the case $k=2$ for Sudakov-Verstraëte's conjecture, by extending the results of Gao, Li, Ma and Xie.
Infinite induced-saturated graphs
Published
• View Publication
• BIB
A graph $G$ is $H$-induced-saturated if $G$ is $H$-free but deleting any edge or adding any edge creates an induced copy of $H$. There are non-trivial graphs $H$, such as $P_4$, for which no finite $H$-induced-saturated graph $G$ exists. We show that for every finite graph $H$ that is not a clique or an independent set, there always exists a countable $H$-induced-saturated graph. In fact, we show that a far stronger property can be achieved: there is a countably infinite $H$-free graph $G$ such that any graph $G'\ne G$ obtained by making a locally finite set of changes to $G$ contains a copy of $H$.
The bunkbed conjecture still holds for cactus graphs and for graphs with certain biconnected components
Recently, the bunkbed conjecture has been shown to be false, which naturally prompts questions on how to classify the graphs that still satisfy the conjecture. We distinguish between a weak version of the bunkbed conjecture where all the horizontal edges of the bunkbed graph are present with the same probability and a strong version of the conjecture where the edge weights on the underlying graph may be assigned individually. We show that any given graph satisfies either version of the conjecture if and only if all of its biconnected components do. Moreover, we show that all cactus graphs satisfy the strong version, and by combining previous results of other authors, any graph $G$ such that every biconnected component of $G$ is either a cycle, complete, complete bipartite, symmetric complete $k$-partite or an edge difference of a complete graph and a complete subgraph satisfies the weak version. Furthermore, we apply the aforementioned results to show that any counterexample to the strong version of the bunkbed conjecture contains a non-trivial subdivision of the diamond graph as a minor and demonstrate how this result might be strengthened in the future.
Proof of a conjecture on isolation of graphs with a universal vertex
Published
• View Publication
• BIB
A copy of a graph $F$ is called an $F$-copy. For any graph $G$, the $F$-isolation number of $G$, denoted by $ι(G,F)$, is the size of a smallest subset $D$ of the vertex set of $G$ such that the closed neighbourhood $N[D]$ of $D$ in $G$ intersects the vertex sets of the $F$-copies contained by $G$ (equivalently, $G-N[D]$ contains no $F$-copy). Thus, $ι(G,K_1)$ is the domination number $γ(G)$ of $G$, and $ι(G,K_2)$ is the vertex-edge domination number of $G$. Settling a conjecture of Zhang and Wu, the first author proved that if $F$ is a $k$-edge graph, $γ(F) = 1$ (that is, $F$ has a vertex that is adjacent to all the other vertices of $F$), and $G$ is a connected $m$-edge graph, then $ι(G,F) \leq \frac{m+1}{k+2} $ unless $G$ is an $F$-copy or $F$ is a $3$-path and $G$ is a $6$-cycle. We prove another conjecture of Zhang and Wu by determining the graphs that attain the bound.
A Note on Reconfiguration Graphs of Cliques
Published
• View Publication
• BIB
In a reconfiguration setting, each clique of a graph $G$ is viewed as a set of tokens placed on vertices of $G$ such that no vertex has more than one token and any two tokens are adjacent. Three well-known reconfiguration rules have been studied in the literature: Token Jumping ($\mathsf{TJ}$), Token Sliding ($\mathsf{TS}$), and Token Addition/Removal ($\mathsf{TAR}$). Given a graph $G$ and a reconfiguration rule $\mathsf{R} \in \{\mathsf{TS}, \mathsf{TJ}, \mathsf{TAR}\}$, a reconfiguration graph of $k$-cliques of $G$, denoted by $\mathsf{R}_k(G)$, is the graph whose vertices are cliques of $G$ of size $k$ and two vertices are adjacent if one can be obtained from the other by applying $\mathsf{R}$ exactly once. In this paper, we initiate the study of structural properties of reconfiguration graphs of cliques, proving several interesting results primarily under $\mathsf{TS}$ and $\mathsf{TJ}$ rules. In particular, we establish a formula relating the clique number of $G$ and that of $\mathsf{TS}_k(G)$, and bound the chromatic number of $\mathsf{TS}_k(G)$ via that of an appropriate Johnson graph. Additionally, we present an algorithm to construct $\mathsf{TS}_{ω(G)-1}(G)$ from $\mathsf{TJ}_{ω(G)}(G)$ and derive structural properties of $\mathsf{TJ}_{ω(G)}(G)$ graphs, where $ω(G)$ denotes the clique number of $G$. Finally, we show that $\mathsf{TS}_k(G)$ is planar whenever $G$ is planar and establish bounds on the number of $3$- and $4$-cliques based on results concerning $\mathsf{TS}_k(G)$ graphs. In particular, we prove that any planar graph $G$ with $n$ vertices can contain at most $3n - 8$ triangles, which aligns with the classical bound on maximal planar graphs.
Packing tetrahedrons in edge-weighted graphs
We prove that for all $μ>0, t\in (0,1)$ and sufficiently large $n\in 4\mathbb{N}$, if $G$ is an edge-weighted complete graph on $n$ vertices with a weight function $w: E(G)\rightarrow [0,1]$ and the minimum weighted degree $δ^w(G)\geq (\tfrac{1+3t}{4}+μ)n$, then $G$ contains a $K_4$-factor where each copy of $K_4$ has total weight more than $6t$. This confirms a conjecture of Balogh--Kemkes--Lee--Young for the tetrahedron case.
Ramsey goodness of stars and fans for the Hajós graph
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Graph Theory (September 20, 2025) dmtcs:15817
• View Publication
• BIB
Given two graphs $G_1$ and $G_2$, the Ramsey number $R(G_1,G_2)$ denotes the smallest integer $N$ such that any red-blue coloring of the edges of $K_N$ contains either a red $G_1$ or a blue $G_2$. Let $G_1$ be a graph with chromatic number $χ$ and chromatic surplus $s$, and let $G_2$ be a connected graph with $n$ vertices. The graph $G_2$ is said to be Ramsey-good for the graph $G_1$ (or simply $G_1$-good) if, for $n \ge s$, \[R(G_1,G_2)=(χ-1)(n-1)+s.\]
The $G_1$-good property has been extensively studied for star-like graphs when $G_1$ is a graph with $χ(G_1)\ge 3$, as seen in works by Burr-Faudree-Rousseau-Schelp (J. Graph Theory, 1983), Li-Rousseau (J. Graph Theory, 1996), Lin-Li-Dong (European J. Combin., 2010), Fox-He-Wigderson (Adv. Combin., 2023), and Liu-Li (J. Graph Theory, 2025), among others. However, all prior results require $G_1$ to have chromatic surplus $1$. In this paper, we extend this investigation to graphs with chromatic surplus 2 by considering the Hajós graph $H_a$. For a star $K_{1,n}$, we prove that $K_{1,n}$ is $H_a$-good if and only if $n$ is even. For a fan $F_n$ with $n\ge 111$, we prove that $F_n$ is $H_a$-good.
Positive Geometry of Polytopes and Polypols
These are lecture notes supporting a minicourse taught at the Summer School in Total Positivity and Quantum Field Theory at CMSA Harvard in June 2025. We give an introduction to positive geometries and their canonical forms. We present the original definition by Arkani-Hamed, Bai and Lam, and a more recent definition suggested by work of Brown and Dupont. We compute canonical forms of convex polytopes and of quasi-regular polypols, which are nonlinear generalizations of polygons in the plane. The text is a collection of known results. It contains many examples and a list of exercises.
The Global Structure of a Typical Graph Without $H$ as an Induced Subgraph when $H$ is a Cycle
One way to certify that a graph does not contain an induced cycle of length six is to provide a partition of its vertex set into (i) a stable set, and (ii) a graph containing no stable set of size three and no induced matching of size two. We show that almost every graph which does not contain a cycle of length six as an induced subgraph has such a certificate. We obtain similar characterizations of the structure of almost all graphs which contain no induced cycle of length $k$ for all even $k$ exceeding six. (Similar results were obtained for $k=3$ by Erdos, Kleitman, and Rothschild in 1976, for $k =4,5$ by Promel and Steger in 1991 and for odd $k$ exceeding 5 by Balogh and Butterfield in 2009.) We prove that a simiiar theorem for all $H$ holds up to the deletion of a set of $o(|V(G)|)$ vertices and ask for which $H$ the characterization holds fully.
Colour-biased Hamilton cycles in randomly perturbed graphs
Given a graph $G$ and an $r$-edge-colouring $χ$ on $E(G)$, a Hamilton cycle $H\subset G$ is said to have $t$ colour-bias if $H$ contains $n/r+t$ edges of the same colour in $χ$. Freschi, Hyde, Lada and Treglown showed every $r$-coloured graph $G$ on $n$ vertices with $δ(G)\geq(r+1)n/2r+t$ contains a Hamilton cycle $H$ with $Ω(t)$ colour-bias, generalizing a result of Balogh, Csaba, Jing and Pluhár. In 2022, Gishboliner, Krivelevich and Michaeli proved that the random graph $G(n,m)$ with $m\geq(1/2+\varepsilon)n\log n$ typically admits an $Ω(n)$ colour biased Hamilton cycle in any $r$-colouring.
In this paper, we investigate colour-biased Hamilton cycles in randomly perturbed graphs. We show that for every $α>0$, adding $m=O(n)$ random edges to a graph $G_α$ with $δ(G_α)\geq αn$ typically ensures a Hamilton cycle with $Ω(n)$ colour bias in any $r$-colouring of $G_α\cup G(n,m)$. Conversely, for certain $G_α$, reducing the number of random edges to $m=o(n)$ may eliminate all colour biased Hamilton cycles of $G(n,m)\cup G$ in a certain colouring. In contrast, at the critical endpoint $α=(r+1)/2r$, adding $m$ random edges typically results in a Hamilton cycle with $Ω(m)$ colour-bias for any $1\ll m\leq n$.
Typical $T$-free graphs
We prove that for every tree $T$ which is not an edge, for almost every graph $G$ which does not contain $T$ as an induced subgraph, $V(G)$ has a partition into $α(T)-1$ parts certifying this fact. Each part induces a graph which is $P_4$-free and has further properties which depend on $T$. As a consequence we obtain good bounds (often tight up to a constant factor) on the number of $T$-free graphs and show in a follow-up paper~\cite{RY} that almost every $T$-free graph $G$ has chromatic number equal to the size of its largest clique.
The asymptotic $χ$-boundedness of hereditary families
A family ${\cal F}$ of graphs is asymptotically $χ$-bounded with bounding function $f$ if almost every graph $G$ in the family satisfies $χ(G) \le f(ω(G))$. A graph is $H$-free if it does not contain $H$ as an induced subgraph. We ask which hereditary families are asymptotically $χ$-bounded, and discuss some related questions. We show that for every tree $T$, almost all $T$-free graphs $G$ satisfy $χ(G)=ω(G)$. We show that for every cycle $C_k$ except $C_6$, almost every $C_k$-free graph $G$ satisfies $χ(G) = ω(G)$. We show that the $C_6$-free graphs are asymptotically $χ$-bounded with bounding function $f(w)=(1+o(1))\frac{w^2}{\log w}$.
Convex Geometries via Hopf Monoids: Combinatorial Invariants, Reciprocity, and Supersolvability
We study the Hopf monoid of convex geometries, which contains partial orders as a Hopf submonoid, and investigate the combinatorial invariants arising from canonical characters. Each invariant consists of a pair: a polynomial and a more general quasisymmetric function. We give combinatorial descriptions of the polynomial invariants and prove combinatorial reciprocity theorems for the Edelman-Jamison and Billera-Hsiao-Provan polynomials, which generalize the order and enriched order polynomials, respectively, within a unified framework. For the quasisymmetric invariants, we show that their coefficients enumerate faces of certain simplicial complexes, including subcomplexes of the Coxeter complex and a simplicial sphere structure introduced by Billera, Hsiao, and Provan. We also examine the associated $ab$- and $cd$-indices. We establish an equivalent condition for convex geometries to be supersolvable and use this result to give a geometric interpretation of the $ab$- and $cd$-index coefficients for this class of convex geometries.
Triangles in the Plane and arithmetic progressions in thick compact subsets of $\mathbb{R}^d$
Published
• View Publication
• BIB
This article focuses on the occurrence of three-point configurations in subsets of $\mathbb{R}^d$ for $d\geq 1$ of sufficient thickness. We prove that compact sets $A\subset \mathbb{R}^d$ contain a similar copy of any linear $3$ point configuration provided $A$ satisfies a mild Yavicoli-thickness condition and an $r$-uniformity condition for $d\geq 2$; or, when $d=1$, the result holds provided the Newhouse thickness of $A$ is at least $1$.
Moreover, we prove that compact sets $A\subset \mathbb{R}^2$ contain the vertices of an equilateral triangle (and more generally, the vertices of a similar copy of any given triangle) provided $A$ satisfies a mild Yavicoli-thickness condition and an $r$-uniformity condition. Further, $C\times C$ contains the vertices of an equilateral triangle (and more generally the vertices of a similar copy of any given three-point configuration) provided the Newhouse thickness of $C$ is at least $1$. These are among the first results in the literature to give explicit criteria for the occurrence of three-point configurations in the plane.