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.

For a prime $p \equiv 2 \pmod 3$, it is well known that the largest sum-free subsets of $\mathbb{F}_p^n$ have size $\frac{p+1}{3} p^{n-1}$, and the extremal sets must be a cuboid of the form $\{\frac{p+1}{3}, \frac{p+1}{3}+1, \ldots, \frac{2p-1}{3}\} \times \mathbb{F}_p^{n-1}$ up to isomorphism. Recently, Reiner and Zotova proved a Hilton--Milner type stability result showing that for large $p$, any sum-free set not contained in the extremal cuboid has size at most $\frac{p-2}{3} p^{n-1}$, and all possible structures attaining this bound were classified. In this paper, we develop a general Hilton--Milner theory for $(k,\ell)$-sum-free sets in $\mathbb{F}_p^n$ for $k > \ell \ge 1$. We determine the maximum size of such sets for all $p \equiv μ\pmod{k+\ell}$ with $2 \le μ\le k+\ell-1$, and show that the extremal configurations are precisely $\lceil (μ-1)/2 \rceil$ non-isomorphic cuboids. Beyond the extremal regime, we prove sharp Hilton--Milner type stability results showing that, for all sufficiently large $p$, a $(k,\ell)$-sum-free set not contained in any of these extremal cuboids is uniformly bounded away from the maximum by a gap of order $p^{n-1}$, and we determine the full structure of all sets achieving this second-best bound in several broad parameter ranges. In particular, when $2 \le μ\le k+\ell-3$ (which is tight), only two structural types occur for all $k+\ell \ge 5$; and when $μ= 2$ or $3$, we obtain a complete classification for all $k > \ell \ge 1$. Our arguments combine additive combinatorics and Fourier-analytic methods, and make use of recent progress toward the long-standing $3k-4$ conjecture, highlighting new connections between inverse additive number theory and extremal problems over finite vector spaces.

Set systems with strongly restricted intersections, called $α$-intersecting families for a vector $α$, were introduced recently as a generalization of several well-studied intersecting families including the classical oddtown and eventown. Given a binary vector $α=(a_1, \ldots, a_k)$, a collection $\mathcal F$ of subsets over an $n$ element set is an $α$-intersecting family modulo $2$ if for each $i=1,2,\ldots,k$, all $i$-wise intersections of distinct members in $\mathcal F$ have sizes with the same parity as $a_i$. Let $f_α(n)$ denote the maximum size of such a family. In this paper, we study the asymptotic behavior of $f_α(n)$ when $n$ goes to infinity. We show that if $t$ is the maximum integer such that $a_t=1$ and $2t\leq k$, then $f_{α(n)} \sim {(t! n)}^{\frac 1 t}$. More importantly, we show that for any constant $c$, as the length $k$ goes larger, $f_α(n)$ is upper bounded by $O (n^c)$ for almost all $α$. Equivalently, no matter what $k$ is, there are only finitely many $α$ satisfying $f_α(n)=Ω(n^c)$. This answers an open problem raised by Johnston and O'Neill in 2023. All of our results can be generalized to modulo $p$ setting for any prime $p$ smoothly.

To prevent service time bottlenecks in distributed storage systems, the access balancing problem has been studied by designing almost supermagic edge labelings of certain graphs to balance the access requests to different servers. In this paper, we introduce the concept of robustness of edge labelings under limited-magnitude swaps, which is important for studying the dynamical access balancing problem with respect to changes in data popularity. We provide upper and lower bounds on the robustness ratio for complete graphs with $n$ vertices, and construct $O(n)$-almost supermagic labelings that are asymptotically optimal in terms of the robustness ratio.

Separating hash families are useful combinatorial structures which generalize several well-studied objects in cryptography and coding theory. Let $p_t(N, q)$ denote the maximum size of universe for a $t$-perfect hash family of length $N$ over an alphabet of size $q$. In this paper, we show that $q^{2-o(1)}<p_t(t, q)=o(q^2)$ for all $t\geq 3$, which answers an open problem about separating hash families raised by Blackburn et al. in 2008 for certain parameters. Previously, this result was known only for $t=3, 4$. Our proof is obtained by establishing the existence of a large set of integers avoiding nontrivial solutions to a set of correlated linear equations.

We study the supersaturation problems of oddtown and eventown. Given a family $\mathcal A$ of subsets of an $n$ element set, let $op(\mathcal A)$ denote the number of distinct pairs $A,B\in \mathcal A$ for which $|A \cap B|$ is odd. We show that if $\mathcal A$ consists of $n+s$ odd-sized subsets, then $op(\mathcal A)\geq s+2$, which is tight when $s\le n-4$. This disproves a conjecture by O'Neill on the supersaturation problem of oddtown. For the supersaturation problem of eventown, we show that for large enough $n$, if $\mathcal A$ consists of $2^{\lfloor \frac n 2\rfloor}+s$ even-sized subsets, then $op(\mathcal A)\ge s\cdot2^{\lfloor \frac n 2\rfloor-1} $ for any positive integer $s\le \frac{2^{\lfloor\frac n 8\rfloor}} n$. This partially proves a conjecture by O'Neill on the supersaturation problem of eventown. Previously, the correctness of this conjecture was only verified for $s=1$ and $2$. We further provide a twice weaker lower bound in this conjecture for eventown, that is $op(\mathcal{A})\ge s\cdot 2^{\lfloor n/2\rfloor-2}$ for general $n$ and $s$ by using discrete Fourier analysis. Finally, some asymptotic results for the lower bounds of $op(\mathcal A)$ are given when $s$ is large for both problems.

The study of constant-weight codes in $\ell_1$-metric was motivated by the duplication-correcting problem for data storage in live DNA. It is interesting to determine the maximum size of a code given the length $n$, weight $w$, minimum distance $d$ and the alphabet size $q$. In this paper, based on graph decompositions, we determine the maximum size of ternary codes with constant weight $w$ and distance $2w-2$ for all sufficiently large length $n$. Previously, this was known only for a very sparse family $n$ of density $4/w(w-1)$.

The covering radius of permutation group codes are studied in this paper with $l_{\infty}$-metric. We determine the covering radius of the $(p,q)$-type group, which is a direct product of two cyclic transitive groups. We also deduce the maximum covering radius among all the relabelings of this group under conjugation, that is, permutation groups with the same algebraic structure but with relabelled members. Finally, we give a lower bound of the covering radius of the dihedral group code, which differs from the trivial upper bound by a constant at most one. This improves the result of Karni and Schwartz in 2018, where the gap between their lower and upper bounds tends to infinity as the code length grows.