arXiv++ Combinatorics

We study the forbidden poset analog of the maximal anti-Ramsey problem introduced for graphs by Burr, Erd\H os, Graham, and Sós. For integers $m\le 2^n$ and poset $P=(P,\preceq)$, we introduce $\mathrm{ar_m}(n,m,P)$ (and $\mathrm{ar^*_m}(n,m,P)$) to denote the minimum integer $k$ such that there exists a family $\mathcal{F}\subseteq 2^{[n]}$ with $|\mathcal{F}|=m$ and a coloring $\mathcal{F}\rightarrow [k]$ with all weak (strong) copies of $P$ being rainbow. As long as there exist $P$-free families of size $m$, these parameters equal 1. It is known that the largest size $La(n,P)$ ($La^*(n,P)$) of weak (strong) $P$-free families has order of magnitude $Θ(\binom{n}{\lfloor n/2\rfloor})$ unless $P$ is the antichain $A_k$ on $k$ elements. In this paper we study $\mathrm{ar_m}(n,m,P)$ and $\mathrm{ar^*_m}(n,m,P)$ in two regimes of $m$. We determine the asymptotics of these parameters for all posets $P$ when $m=2^n$. We also consider the case $m=Θ(\binom{n}{\lfloor n/2\rfloor})$. It is shown that for any connected poset $P$ and integer $k$, there exist integers $m_{P,k}$ and $m^*_{P,k}$ such that to color the middle $k$ layers of the Boolean lattice with all weak or strong copies of $P$ being rainbow, one needs $Θ(n^{m_{P,k}})$ or $Θ(n^{m^*_{P,k}})$ colors. For tree posets $T$, one has $m_{T,k}=m^*_{T,k}$. We conjecture that for any tree poset $T$, and positive real $\varepsilon$, $\mathrm{ar_m}(n,m,T),\mathrm{ar^*_m}(n,m,T)=Ω(n^{m_{T,k}})$ holds provided $m\ge (k-1+\varepsilon)\binom{n}{\lfloor n/2\rfloor}$. We prove our conjecture on $\mathrm{ar_m}(n,m,T)$ for an infinite class of tree posets.

A longstanding conjecture of Seymour, called Seymour's second neighborhood conjecture, states that every oriented graph $D$ contains a vertex $x$ with $|N^{++}_D(x)|\geq |N^{+}_D(x)|$. The conjecture was verified in a few special classes of oriented graphs, and it remains open for general oriented graphs. We propose a stronger version of the conjecture that every oriented graph $D$ contains a vertex $x$ such that there exists a complete matching from $N^+_D(x)$ to $N^{++}_D(x)$. We prove that this stronger version holds for every oriented graph with minimum out-degree at most $5$, and also for every $5$-anti-transitive oriented graph. This implies that every oriented planar graph satisfies the stronger version.

Burr and Erdős conjectured in 1976 that for all integers $k>\ell\geq 0$ such that $k\mathbb{Z}+\ell$ contains an even integer, every $n$-vertex graph without cycles of length $\ell$ modulo $k$ has at most a linear number of edges in $n$. Bollobás confirmed the conjecture in 1977, and Erdős further asked for the exact extremal number. To the best of our knowledge, this problem has been solved only for all residues when $k\leq 4$, and for $\ell\in \{0,2\}$ when $k\geq 5$ is odd. In particular, Bai {\it et al.} [arXiv:2503.03504] proved that if $G$ is an $n$-vertex graph with no cycles of length $1$ modulo $3$, then $e(G)\le \frac{5}{3}(n-1)$, and when $9\mid (n-1)$ the equality holds if and only if each block of $G$ is isomorphic to the Petersen graph. Note that for $n> 18$ every extremal graph contains a cut-vertex. In this paper, we investigate the 2-connected setting and determine the maximum number of edges in a 2-connected graph with no cycles of length $1$ modulo $3$. Our results provide a sharp extremal bound and a complete characterization of the extremal graphs, revealing structural differences from the general case. Combining this with the result of Bai {\it et al.}, we also obtain a complete characterization of all extremal graphs in the general setting, including the cases where $9\nmid (n-1)$. Finally, we determine the maximum number of edges in a $2$-connected graph with no cycles of length $2$ modulo $4$, whose extremal graphs differ substantially from those in the general setting. Consequently, the extremal numbers for $2$-connected graphs with no cycle of a fixed length modulo $k$ are now determined for all $k\leq 4$.

In a graph, $k$ cycles are {\em admissible} if their lengths form an arithmetic progression with common difference one or two. Let $G$ be a 2-connected graph with minimum degree at least $k\geqslant 4$. We prove that \begin{itemize} \item [(1)] $G$ contains $k$ admissible cycles, unless $G\cong K_{k+1}$ or $K_{k,n-k}$; \item [(2)] $G$ contains cycles of lengths $\ell$ modulo $k$ for all even $\ell$, unless $G\cong K_{k+1}$ or $K_{k,n-k}$; \item [(3)] $G$ contains cycles of lengths $\ell$ modulo $k$ for all $\ell$, unless $G\cong K_{k+1}$ or $G$ is bipartite. \end{itemize} In addition, we show that if $k$ is even and $G$ is 2-connected with minimum degree at least $k-1$ and order at least $k+2$, then $G$ contains cycles of lengths $\ell$ modulo $k$ for all even $\ell$. These findings provide a stability analysis of the main results on cycle lengths in graphs of given minimum degree in [J. Gao, Q. Huo, C. Liu, J. Ma, A unified proof of conjectures on cycle lengths in graphs, International Mathematics Research Notices 2022 (10) (2022) 7615--7653]. As a corollary, we determine the maximum number of edges in a graph that does not contain a cycle of length 0 modulo $k$ for all odd $k$.

Malec and Tompkins (EUJC, 2023) considered the localized versions of Turán-type problems, and proved a localized theorem on Erdős-Gallai Theorem on paths. Zhao and Zhang (JGT, 2025) gave a long proof of a localized version of Erdős-Gallai Theorem on cycles. In this paper, we consider several types of generalization of Turán-type problems, that is, localized versions, weighted versions, and generalized Turán-type problems, and their connectedness. We first present very short proofs for recent results of Malec-Tompkins and Zhao-Zhang, respectively. We use Small Path Double Cover Conjecture, which was proposed by Bondy (JGT, 1990) and confirmed by Hao Li (JGT, 1990), to prove a weighted localized Turán-type theorem on paths. We prove localized versions of Balister-Bollobás-Riordan-Schelp Theorem (JCTB, 2003) on paths and Erdős-Gallai Theorem on matchings, respectively. We show that our first localized result implies Balister-Bollobás- Riordan-Schelp Theorem, Erdős-Gallai Theorem, and Malec-Tompkins Theorem on paths. Finally, we present generalized Turán-style generalizations of the Malec-Tompkin's Theorem, and discuss the relationship between some previous theorems in different motivations.

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.

Let $\mathcal{F}$ be a set of connected graphs, and let $G$ be a graph. We say that $G$ is \emph{$\mathcal{F}$-free} if it does not contain $F$ as an induced subgraph for all $F\in\mathcal{F}$, and we call $\mathcal{F}$ a forbidden pair if $|\mathcal{F}|=2$. A \emph{$\varTheta$-graph} is the graph consisting of three internally disjoint paths with the same pair of end-vertices. If the $\varTheta$-subgraph $T$ contains all vertices of $G$, then we call $T$ a \emph{spanning $\varTheta$-subgraph} of $G$. In this paper, we characterize all pairs of connected graphs $R,S$ such that every 2-connected $\{R,S\}$-free graph has a spanning $\varTheta$-subgraph. In order to obtain this result, we also characterize all minimal 2-connected non-cycle claw-free graphs without spanning $\varTheta$-subgraphs.

Burr and Erdős conjectured in 1976 that for every two integers $k>\ell\geqslant 0$ satisfying that $k\mathbb{Z}+\ell$ contains an even integer, an $n$-vertex graph containing no cycles of length $\ell$ modulo $k$ can contain at most a linear number of edges on $n$. Bollobás confirmed this conjecture in 1977 and then Erdős proposed the problem of determining the exact value of the maximum number of edges in such a graph. For the above $k$ and $\ell$, define $c_{\ell,k}$ to be the least constant such that every $n$-vertex graph with at least $c_{\ell,k}\cdot n$ edges contains a cycle of length $\ell$ modulo $k$. The precise (or asymptotic) values of $c_{\ell,k}$ are known for very few pairs $\ell$ and $k$. In this paper, we precisely determine the maximum number of edges in a graph containing no cycles of length 1 modulo 3. In particular, we show that every $n$-vertex graph with at least $\frac{5}{3}(n-1)$ edges contains a cycle of length 1 modulo 3, unless $9|(n-1)$ and each block of the graph is a Petersen graph. As a corollary, we obtain that $c_{1,3}=\frac{5}{3}$. This is the last remaining class modulo $k$ for $1\leqslant k\leqslant 4$.

We say that a graph $G$ on $n$ vertices is $\{H,F\}$-$o$-heavy if every induced subgraph of $G$ isomorphic to $H$ or $F$ contains two nonadjacent vertices with degree sum at least $n$. Generalizing earlier sufficient forbidden subgraph conditions for hamiltonicity, in 2012, Li, Ryjáček, Wang and Zhang determined all connected graphs $R$ and $S$ of order at least 3 other than $P_3$ such that every 2-connected $\{R,S\}$-$o$-heavy graph is hamiltonian. In particular, they showed that, up to symmetry, $R$ must be a claw and $S\in\{P_4,P_5,C_3,Z_1,Z_2,B,N,W\}$. In 2008, Čada extended Ryjáček's closure concept for claw-free graphs by introducing what we call the $c$-closure for claw-$o$-heavy graphs. We apply it here to characterize the structure of the $c$-closure of 2-connected $\{R,S\}$-$o$-heavy graphs, where $R$ and $S$ are as above. Our main results extend or generalize several earlier results on hamiltonicity involving forbidden or $o$-heavy subgraphs.

A subgraph of an edge-colored graph is rainbow if all of its edges have different colors. Let $G$ and $H$ be two graphs. The anti-Ramsey number $\ar(G, H)$ is the maximum number of colors of an edge-coloring of $G$ that does not contain a rainbow copy of $H$. In this paper, we study the anti-Ramsey numbers of $K_k$ in complete multi-partite graphs. We determine the values of the anti-Ramsey numbers of $K_k$ in complete $k$-partite graphs and in balanced complete $r$-partite graphs for $r\geq k$.

Bollobás proved that for every $k$ and $\ell$ such that $k\mathbb{Z}+\ell$ contains an even number, an $n$-vertex graph containing no cycle of length $\ell \bmod k$ can contain at most a linear number of edges. The precise (or asymptotic) value of the maximum number of edges in such a graph is known for very few pairs $\ell$ and $k$. In this work we precisely determine the maximum number of edges in a graph containing no cycle of length $0 \bmod 4$.

Chung and Graham considered the problem of minimizing the number of edges in an $n$-vertex graph containing all $n$-vertex trees as a subgraph. They showed that such a graph has at least $\frac{1}{2}n \log{n}$ edges. In this note, we improve this lower estimate to $n \log{n}$.

Bondy and Vince showed that every graph with minimum degree at least three contains two cycles of lengths differing by one or two.We prove the following average degree counterpart that every $n$-vertex graph $G$ with at least $\frac52(n-1)$ edges, unless $4|(n-1)$ and every block of $G$ is a clique $K_5$, contains two cycles of consecutive even lengths. Our proof is mainly based on structural analysis, and a crucial step which may be of independent interest shows that the same conclusion holds for every 3-connected graph with at least 6 vertices. This solves a special case of a conjecture of Verstraëte. The quantitative bound is tight and also provides the optimal extremal number for cycles of length two modulo four.

An edge-colored graph is called rainbow if all the colors on its edges are distinct. Given a positive integer n and a graph G, the anti-Ramsey number ar(n,G) is the maximum number of colors in an edge-coloring of K_{n} with no rainbow copy of G. Denote by kC_{3} the union of k vertex-disjoint copies of C_{3}. In this paper, we determine the anti-Ramsey number ar(n,kC_{3}) for n=3k and n\geq2k^{2}-k+2, respectively. When 3k\leq n\leq 2k^{2}-k+2, we give lower and upper bounds for ar(n, kC_{3}).

As the counterpart of classical theorems on cycles of consecutive lengths due to Bondy and Bollobás in spectral graph theory, Nikiforov proposed the following open problem in 2008: What is the maximum $C$ such that for all positive $\varepsilon<C$ and sufficiently large $n$, every graph $G$ of order $n$ with spectral radius $ρ(G)>\sqrt{\lfloor\frac{n^2}{4}\rfloor}$ contains a cycle of length $\ell$ for each integer $\ell\in[3,(C-\varepsilon)n]$. We prove that $C\geq\frac{1}{4}$ by a novel method, improving the existing bounds. Besides several novel ideas, our proof technique is partly inspirited by the recent research on Ramsey numbers of star versus large even cycles due to Allen, Łuczak, Polcyn and Zhang, and with aid of a powerful spectral inequality. We also derive an Erdős-Gallai-type edge number condition for even cycles, which may be of independent interest.

We characterise the pairs of graphs $\{ X, Y \}$ such that all $\{ X, Y \}$-free graphs (distinct from $C_5$) are perfect. Similarly, we characterise pairs $\{ X, Y \}$ such that all $\{ X, Y \}$-free graphs (distinct from $C_5$) are $ω$-colourable (that is, their chromatic number is equal to their clique number). More generally, we show characterizations of pairs $\{ X, Y \}$ for perfectness and $ω$-colourability of all connected $\{ X, Y \}$-free graphs which are of independence at least $3$, distinct from an odd cycle, and of order at least $n_0$, and similar characterisations subject to each subset of these additional constraints. (The classes are non-hereditary and the characterisations for perfectness and $ω$-colourability are different.) We build on recent results of Brause et al. on $\{ K_{1,3}, Y \}$-free graphs, and we use Ramsey's Theorem and the Strong Perfect Graph Theorem as main tools. We relate the present characterisations to known results on forbidden pairs for $χ$-boundedness and deciding $k$-colourability in polynomial time.

Let $\overrightarrow{P_k}$ and $\overrightarrow{C_k}$ denote the directed path and the directed cycle of order $k$, respectively. In this paper, we determine the precise maximum size of $\overrightarrow{P_k}$-free digraphs of order $n$ as well as the extremal digraphs attaining the maximum size for large $n$. For all $n$, we also determine the precise maximum size of $\overrightarrow{C_k}$-free digraphs of order $n$ as well as the extremal digraphs attaining the maximum size. In addition, Huang and Lyu [\textit{Discrete Math. 343(5) 2020}] characterized the extremal digraphs avoiding an orientation of $C_4$. For all other orientations of $C_4$, we also study the maximum size and the extremal digraphs avoiding them.

For positive integers $n>d\geq k$, let $φ(n,d,k)$ denote the least integer $φ$ such that every $n$-vertex graph with at least $φ$ vertices of degree at least $d$ contains a path on $k+1$ vertices. Many years ago, Erdős, Faudree, Schelp and Simonovits proposed the study of the function $φ(n,d,k)$, and conjectured that for any positive integers $n>d\geq k$, it holds that $φ(n,d,k)\leq \lfloor\frac{k-1}{2}\rfloor\lfloor\frac{n}{d+1}\rfloor+ε$, where $ε=1$ if $k$ is odd and $ε=2$ otherwise. In this paper we determine the values of the function $φ(n,d,k)$ exactly. This confirms the above conjecture of Erdős et al. for all positive integers $k\neq 4$ and in a corrected form for the case $k=4$. Our proof utilizes, among others, a lemma of Erdős et al. \cite{EFSS89}, a theorem of Jackson \cite{J81}, and a (slight) extension of a very recent theorem of Kostochka, Luo and Zirlin \cite{KLZ}, where the latter two results concern maximum cycles in bipartite graphs. Moreover, we construct examples to provide answers to two closely related questions raised by Erdős et al.

Woodall proved that for a graph $G$ of order $n\geq 2k+3$ where $k\geq 0$ is an integer, if $e(G)\geq \binom{n-k-1}{2}+\binom{k+2}{2}+1$ then $G$ contains a $C_{\ell}$ for each $\ell\in [3,n-k]$. In this article, we prove a stability result of this theorem. As a byproduct, we give complete solutions to two problems in \cite{GN19}. Our second part is devoted to an open problem by Nikiforov: what is the maximum $C$ such that for all positive $\varepsilon<C$ and sufficiently large $n$, every graph $G$ of order $n$ with spectral radius $ρ(G)>\sqrt{\lfloor\frac{n^2}{4}\rfloor}$ contains a cycle of length $\ell$ for every $\ell\leq (C-\varepsilon)n$. We prove that $C\geq\frac{1}{4}$ by a method different from previous ones, improving the existing bounds. We also derive an Erdős-Gallai type edge number condition for even cycles, which may be of independent interest.

A subgraph of an edge-colored graph is rainbow, if all of its edges have different colors. For a graph $G$ and a family $\mathcal{H}$ of graphs, the anti-Ramsey number $ar(G, \mathcal{H})$ is the maximum number $k$ such that there exists an edge-coloring of $G$ with exactly $k$ colors without rainbow copy of any graph in $\mathcal{H}$. In this paper, we study the anti-Ramsey number of $C_{3}$ and $C_{4}$ in the complete $r$-partite graphs. For $r\ge 3$ and $n_{1}\ge n_{2}\ge \cdots\ge n_{r}\ge 1$, we determine $ ar(K_{n_{1}, n_{2}, \ldots, n_{r}},\{C_{3}, C_{4}\}), ar(K_{n_{1}, n_{2}, \ldots, n_{r}}, C_{3})$ and $ar(K_{n_{1}, n_{2}, \ldots, n_{r}}, C_{4})$.