arXiv++ Combinatorics

Erdős and Gallai in 1959 proved the seminal result that every $n$-vertex graph with no cycle of length at least $2t+2$ has at most $\frac{2t+1}{2}(n-1)$ edges. We prove the extension that, for every sufficiently large $t$, the same quantity is also the sharp extremal bound for graphs with no $t$ consecutive even cycle lengths, resolving a conjecture of Verstraëte. Thus, at the Erdős--Gallai threshold, forcing an entire interval of even cycle lengths costs no more than forcing its longest member. More precisely, every $n$-vertex graph $G$ with \[ e(G)\ge \frac{(2t+1)(n-1)}2 \] either contains $t$ consecutive even cycle lengths, or equality holds and $G$ is connected with every block isomorphic to $K_{2t+1}$. As consequences, for every sufficiently large even $k$ we determine the sharp edge thresholds forcing a cycle of length $0\pmod k$ or $2\pmod k$, answering questions of Bai, Grzesik, Li, and Prorok and of Gao, Li, Ma and Xie, respectively. The proof develops a stability-enhanced sublinear-expander method. Its main new ingredient is a dense-case decomposition that recovers the lengths lost in the expander extraction by combining a flexible dense core with rooted cycle families in the vertices outside the core.

A graph $G$ is $m$-joined if there is an edge between every two disjoint $m$-sets of vertices. In this paper, we prove that for any $\varepsilon>0$ and sufficiently large $m, n\in \mathbb{N}$ with $m \le n^{1-\varepsilon}$, every $n$-vertex $m$-joined graph $G$ contains a minor with density $Ω\!\left(\tfrac{n}{\sqrt{m}}\right)$, which is best possible up to a constant factor. When $m \ge n^{1-\varepsilon}$, we further show that $G$ contains a clique minor of order $Ω\!\left(\tfrac{n}{\sqrt{m\log m}}\right)$.

In this paper, we generalize the concepts related to rainbow coloring to hypergraphs. Specifically, an $(n,r,H)$-local coloring is defined as a collection of $n$ edge-colorings, $f_v: E(K^{(r)}_n) \rightarrow [k]$ for each vertex $v$ in the complete $r$-uniform hypergraph $K^{(r)}_n$, with the property that for any copy $T$ of $H$ in $K^{(r)}_n$, there exists at least one vertex $u$ in $T$ such that $f_u$ provides a rainbow edge-coloring of $T$ (i.e., no two edges in $T$ share the same color under $f_u$). The minimum number of colors required for this coloring is denoted as the local rainbow coloring number $C_r(n, H)$. We first establish an upper bound of the local rainbow coloring number for $r$-uniform hypergraphs $H$ consisting of $h$ vertices, that is, $C_r(n, H)= O\left( n^{\frac{h-r}{h}} \cdot h^{2r + \frac{r}{h}} \right)$. Furthermore, we identify a set of $r$-uniform hypergraphs whose local rainbow coloring numbers are bounded by a constant. A notable special case indicates that $C_3(n,H) \leq C(H)$ for some constant $C(H)$ depending only on $H$ if and only if $H$ contains at most 3 edges and does not belong to a specific set of three well-structured hypergraphs, possibly augmented with isolated vertices. We further establish two 3-uniform hypergraphs $H$ of particular interest for which $C_3(n,H) = n^{o(1)}$. Regarding lower bounds, we demonstrate that for every $r$-uniform hypergraph $H$ with sufficiently many edges, there exists a constant $b = b(H) > 0$ such that $C_r(n,H) = Ω(n^b)$. Additionally, we obtain lower bounds for several hypergraphs of specific interest.

In the paper, we focus on embedding clique immersions and subdivisions within sparse expanders, and we derive the following main results: (1) For any $0< η< 1/2$, there exists $K>0$ such that for sufficiently large $n$, every $(n,d,λ)$-graph $G$ contains a $K_{(1-5η)d}$-immersion when $d\geq Kλ$. (2) For any $\varepsilon>0$ and $0<η<1/2$, the following holds for sufficiently large $n$. Every $(n,d,λ)$-graph $G$ with $2048λ/η^2<d\leq ηn^{1/2-\varepsilon}$ contains a $K_{(1-η)d}^{(\ell)}$-subdivision, where $\ell = 2 \left\lceil \log(η^2n/4096)\right\rceil + 5$. (3) There exists $c>0$ such that the following holds for sufficiently large $d$. If $G$ is an $n$-vertex graph with average degree $d(G)\geq d$, then $G$ contains a $K_{c d}^{(\ell)}$-immersion for some $\ell\in \mathbb{N}$. In 2018, Dvo{ř}{á}k and Yepremyan asked whether every graph $G$ with $δ(G)\geq t$ contains a $K_t$-immersion. Our first result shows that it is asymptotically true for $(n,d,λ)$-graphs when $λ=o(d)$. In addition, our second result extends a result of Dragani{ć}, Krivelevich and Nenadov on balanced subdivisions. The last result generalises a result of DeVos, Dvo{ř}{á}k, Fox, McDonald, Mohar, Scheide on $1$-immersions of large cliques in dense graphs.