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.

Sublinear expansion is weak enough to be extracted from arbitrary graphs while retaining nearly all of their average degree, yet it has proved strong enough to force global structures in many sparse extremal problems. Letzter, Methuku and Sudakov [JLMS 2026] developed methods yielding nearly Hamilton cycles in sufficiently dense regular sublinear expanders, and Montgomery [ICM 2026] subsequently conjectured that, every sufficiently large (but constant) degree $d$-regular sublinear expander is Hamiltonian. We disprove this conjecture in a strong form by constructing $n$-vertex $d$-regular sublinear expanders with degree $d=\left(\frac12+o(1)\right)\log^2 n$, which does not even has a cycle covering a positive fraction of its vertices. The construction blows up one side of a biregular Ramanujan graph into almost-complete blocks while keeping the other side independent. The Ramanujan incidence graph certifies expansion for arbitrary mixtures of partial blocks and separator vertices, whereas the independent side forms a sparse vertex separator that prevents a cycle from visiting enough blocks. The construction also explains why $\log^2 n$ is the natural degree scale for this obstruction.

In 2022, Holmsen showed that any graph with at least \( c \binom{n}{r} \) \(r\)-cliques but no induced complete $r$-partite graph $K_{2,\ldots, 2}$ must contain a clique of order \(Ω(c^{2^{r-1}} n)\). In this paper, we study graphs forbidding semi-induced substructures and show that every $n$-vertex graph $G$ containing at least $c\binom{n}{r}$ copies of $K_r$ (for some constant $c>0$) and forbidding semi-induced substructures, related to $K_{2,\ldots, 2}$, must contain a clique of order $Ω(cn)$. Our result strengthens Holmsen's bound by improving the dependence on $c$ from $c^{2^{r-1}}$ to linear in $c$ with bounded number of forbidden structures. Furthermore, our approach is naturally linked to the notion of VC-dimension.

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.

Line graph transformation has been widely studied in graph theory, where each node in a line graph corresponds to an edge in the original graph. This has inspired a series of graph neural networks (GNNs) applied to transformed line graphs, which have proven effective in various graph representation learning tasks. However, there is limited theoretical study on how line graph transformation affects the expressivity of GNN models. In this study, we focus on two types of graphs known to be challenging to the Weisfeiler-Leman (WL) tests: Cai-Fürer-Immerman (CFI) graphs and strongly regular graphs, and show that applying line graph transformation helps exclude these challenging graph properties, thus potentially assist WL tests in distinguishing these graphs. We empirically validate our findings by conducting a series of experiments that compare the accuracy and efficiency of graph isomorphism tests and GNNs on both line-transformed and original graphs across these graph structure types.

Let $ t\ge s\ge2$ be integers. Confirming a conjecture of Mader, Liu and Montgomery [J. Lond. Math. Soc., 2017] showed that every $K_{s, t}$-free graph with average degree $d$ contains a subdivision of a clique with at least $Ω(d^{\frac{s}{2(s-1)}})$ vertices. We give an improvement by showing that such a graph contains a balanced subdivision of a clique with the same order, where a balanced subdivision is a subdivision in which each edge is subdivided the same number of times. In 1975, Erdős asked whether the sum of the reciprocals of the cycle lengths in a graph with infinite average degree $d$ is necessarily infinite. Recently, Liu and Montgomery [J. Amer. Math. Soc., 2023] confirmed the asymptotically correct lower bound on the reciprocals of the cycle lengths, and provided a lower bound of at least $(\frac{1}{2} -o_d(1)) \log d$. In this paper, we improve this low bound to $\left(\frac{s}{2(s-1)} -o_d(1)\right) \log d$ for $K_{s, t}$-free graphs. Both proofs of our results use the graph sublinear expansion property as well as some novel structural techniques.

For a graph $G$ and a constant $α>0$, we denote by $C_α(G)$ the minimum order of a subgraph $H\subseteq G$ with $d(H)\ge αd(G)$. Liu and Montgomery conjectured that every graph $G$ contains $K_{Ω(t)}$ as a subdivision for $t=\min \{d(G), \sqrt{\tfrac{C_α(G)}{\log C_α(G)}}\}$. In the paper, we prove this conjecture.

Given a graph $H$, a balanced subdivision of $H$ is obtained by replacing all edges of $H$ with internally disjoint paths of the same length. In this paper, we prove that for any graph $H$, a linear-in-$e(H)$ bound on average degree guarantees a balanced $H$-subdivision. This strengthens an old result of Bollobás and Thomason, and resolves a question of Gil-Fernández, Hyde, Liu, Pikhurko and Wu. We observe that this linear bound on average degree is best possible whenever $H$ is logarithmically dense. We further show that this logarithmic density is the critical threshold: for many graphs $H$ below this density, its subdivisions are forcible by a sublinear-in-$e(H)$ bound on average degree. We provide such examples by proving that the subdivisions of any almost bipartite graph $H$ with sublogarithmic density are forcible by a sublinear-in-$e(H)$ bound on average degree, provided that $H$ satisfies some additional separability condition.

We study uniformly random lozenge tilings of general simply connected polygons. Under a technical assumption that is presumably generic with respect to polygon shapes, we show that the local statistics around a cusp point of the arctic curve converge to the Pearcey process. This verifies the widely predicted universality of edge statistics in the cusp case. Together with the smooth and tangent cases proved in Aggarwal-Huang and Aggarwal-Gorin, these are believed to be the three types of edge statistics that can arise in a generic polygon. Our proof is via a local coupling of the random tiling with non-intersecting Bernoulli random walks (NBRW). To leverage this coupling, we establish an optimal concentration estimate for the tiling height function around the cusp. As another step and also a result of potential independent interest, we show that the local statistics of NBRW around a cusp converge to the Pearcey process when the initial configuration consists of two parts with proper density growth, via careful asymptotic analysis of the determinantal formula.

By a well-known theorem of Thomassen and a planar graph depicted by Voigt, we know that every planar graph is $5$-choosable, and the bound is tight. In 1999, Lam, Xu and Liu reduced $5$ to $4$ on $C_4$-free planar graphs. In the paper, by applying the famous Combinatorial Nullstellensatz, we design an effective algorithm to deal with list coloring problems. At the same time, we prove that a planar graph $G$ is $4$-choosable if any two $4$-cycles having distance at least $5$ in $G$, which extends the result of Lam et al.

For a planar graph $G$, Borodin stated that $G$ is $(Δ+1)$-edge-choosable if $Δ\geq9$ and later Bonamy showed that $G$ is $9$-edge-choosable if $Δ=8$. At the same time, Borodin et al. proved that $G$ is $Δ$-edge-choosable if $Δ\geq12$. In the paper, we extend these results to $K_5$-minor free graphs.

In this paper, we study the flexibility of two planar graph classes $\mathcal{H}_1$, $\mathcal{H}_2$, where $\mathcal{H}_1$, $\mathcal{H}_2$ denote the set of all hopper-free planar graphs and house-free planar graphs, respectively. Let $G$ be a planar graph with a list assignment $L$. Suppose a preferred color is given for some of the vertices. We prove that if $G\in \mathcal{H}_1$ or $G\in \mathcal{H}_2$ such that all lists have size at least $5$, then there exists an $L$-coloring respecting at least a constant fraction of the preferences.

A total $k$-coloring of a graph $G$ is a coloring of $V(G)\cup E(G)$ using $k$ colors such that no two adjacent or incident elements receive the same color. The total chromatic number $χ"(G)$ of $G$ is the smallest integer $k$ such that $G$ has a total $k$-coloring. In the paper, it is proved that for any $K_5$-minor-free graph $G$, $χ''(G)\leq Δ(G)+2$ if $Δ(G)\geq 7$. Moreover, $χ"(G)=Δ(G)+1$ if $Δ(G)\geq 10$.

Given graphs $G, H_1, H_2$, we write $G \rightarrow ({H}_1, H_2)$ if every $\{$red, blue$\}$-coloring of the edges of $G$ contains a red copy of $H_1$ or a blue copy of $H_2$. A non-complete graph $G$ is $(H_1, H_2)$-co-critical if $G \nrightarrow ({H}_1, H_2)$, but $G+e\rightarrow ({H}_1, H_2)$ for every edge $e$ in $\overline{G}$. Motivated by a conjecture of Hanson and Toft from 1987, we study the minimum number of edges over all $(K_t, K_{1,k})$-co-critical graphs on $n$ vertices. We prove that for all $t\ge3$ and $k\ge 3$, there exists a constant $\ell(t, k)$ such that, for all $n \ge (t-1)k+1$, if $G$ is a $(K_t, K_{1,k})$-co-critical graph on $n$ vertices, then $$ e(G)\ge \left(2t-4+\frac{k-1}{2}\right)n-\ell(t, k).$$ Furthermore, this linear bound is asymptotically best possible when $t\in\{3, 4,5\}$ and all $k\ge3$ and $n\ge (2t-2)k+1$. It seems non-trivial to construct extremal $(K_t, K_{1,k})$-co-critical graphs for $t\ge6$. We also obtain the sharp bound for the size of $(K_3, K_{1,3})$-co-critical graphs on $n\ge13$ vertices by showing that all such graphs have at least $3n-4$ edges.

We prove a Roth type theorem for polynomial corners in the finite field setting. Let $φ_1$ and $φ_2$ be two polynomials of distinct degree. For sufficiently large primes $p$, any subset $ A \subset \mathbb F_p \times \mathbb F_p$ with $ \lvert A\rvert > p ^{2 - \frac1{16}} $ contains three points $ (x_1, x_2) , (x_1 + φ_1 (y), x_2), (x_1, x_2 + φ_2 (y))$. The study of these questions on $ \mathbb F_p$ was started by Bourgain and Chang. Our Theorem adapts the argument of Dong, Li and Sawin, in particular relying upon deep Weil type inequalities established by N. Katz.

Let $G$ be a $\{C_4, C_5\}$-free planar graph with a list assignment $L$. Suppose a preferred color is given for some of the vertices. We prove that if all lists have size at least four, then there exists an $L$-coloring respecting at least a constant fraction of the preferences.

Let $G$ be a graph. A zero-sum flow of $G$ is an assignment of non-zero real numbers to the edges of $G$ such that the sum of the values of all edges incident with each vertex is zero. Let $k$ be a natural number. A zero-sum $k$-flow is a flow with values from the set $\{\pm1, \ldots, \pm(k - 1)\}$. In this paper, we prove that every 5-regular graph admits a zero-sum 6-flow.

We study a randomized algorithm for graph domination, by which, according to a uniformly chosen permutation, vertices are revealed and added to the dominating set if not already dominated. We determine the expected size of the dominating set produced by the algorithm for the path graph $P_n$ and use this to derive the expected size for some related families of graphs. We then provide a much-refined analysis of the worst and best cases of this algorithm on $P_n$ and enumerate the permutations for which the algorithm has the worst-possible performance and best-possible performance. The case of dominating the path graph has connections to previous work of Bouwer and Star, and of Gessel on greedily coloring the path.

A signed graph is a graph with a positive or negative sign on each edge. Regarding each edge as two half edges, an orientation of a signed graph is an assignment of a direction to each of its half edges such that the two half edges of a positive edge receive the same direction and that of a negative edge receive opposite directions. A signed graph with such an orientation is called a bidirected graph. A nowhere-zero $k$-flow of a bidirected graph is an assignment of an integer from $\{-(k-1), \ldots, -1, 1, \ldots, (k-1)\}$ to each of its half edges such that Kirchhoff's law is respected, that is, the total incoming flow is equal to the total outgoing flow at each vertex. A signed graph is said to admit a nowhere-zero $k$-flow if it has an orientation such that the corresponding bidirected graph admits a nowhere-zero $k$-flow. It was conjectured by Bouchet that every signed graph admitting a nowhere-zero $k$-flow for some integer $k \ge 2$ admits a nowhere-zero 6-flow. In this paper we prove that every $3$-edge-connected signed graph admitting a nowhere-zero $k$-flow for some $k$ admits a nowhere-zero $9$-flow.

Let G be a 3-edge-connected graph on n vertices. It is proved in this paper that if the number of independent set no more than 2, then either G can be Z3-contracted to one of graphs {K1;K4} or G is one of the graphs in Fig. 1.