arXiv++ Combinatorics

The Kneser graphs $\text{KG}(n,k)$ are a classically studied family of graphs. One known invariant of graphs is gonality (also called divisorial gonality), which is the minimum degree of a rank 1 divisor on the graph. Using known bounds on gonality of simple, connected graphs, one may obtain that the gonality of $\text{KG}(n,k)$ is bounded above by $\binom{n-1}{k}$. In 2014, Harvey and Wood showed that the treewidth (a lower bound on gonality) for $\text{KG}(n,k)$ is $\binom{n-1}{k}-1$ for $n\geq 4k^2-3k+2$. In this paper, using scramble number, another lower bound on gonality, we improve this polynomial bound and show that the gonality of $\text{KG}(n,k)$ is exactly $\binom{n-1}{k}$ for $n\geq \frac{3k^2+k+2}{2}$, and conjecture an even stricter polynomial bound using the uniform edge scramble. We then extend our argument to the family of generalized Kneser Graphs, computing the scramble number and gonality using the same polynomial bound.

We unify two matching theories, one for finite subsets of groups and the other for finite-dimensional subspaces in a field extension. To achieve this, we study groups equipped with a compatible finitary matroid structure, termed here independence groups. Applying Rado's independent transversal theorem, we derive necessary and sufficient rank criteria for matchability between finite-rank sets. In the setting of a modular abelian independence group $G$, we develop an analogue of the $e$-transform from additive number theory, derive structural matching criteria, and characterize a global matching property by the absence of a submonoid $H$ satisfying $1<ρ(H)<ρ(G)$ and $ρ(H)<\infty$, where $ρ$ denotes rank. Examples of modular abelian independence groups are given and examined in the matching context. Arising from this matching theory, but formulated without any reference to it, is a product-growth bound that generalizes the Cauchy--Davenport theorem: we define a parameter $μ(G)$ and prove that $ρ(XY)\geq \min\{μ(G),ρ(X)+ρ(Y)-1\}$ for all nonempty finite-rank subsets $X,Y$ of $G$. Furthermore, $ρ(XY)$ is shown to be controlled from below by a submonoid of $G$ that stabilizes a flat, a phenomenon reminiscent of Kneser's theorem.

For $s\ge1$, let $G_s$ be the bipartite graph between the $s$-subsets and the $(s-1)$-subsets of $[2s]$, where adjacency means disjointness, and let $w(s)$ be the maximum number of $s$-subsets on an induced path in $G_s$. We prove $w(s)\ge \frac{4^s}{2048s^{5/2}}$ for all $s\geq 6$. This implies $\sup_{s\ge1}w(s)^{1/s}=4$, as conjectured by Kohayakawa (1991). His recursive construction then gives induced paths of order $Ω(4^r/r^{5/2})$ in the Kneser graph $KG(2r+1,r)$ and yields \[ \max\{\cc(\overline{P_n}),\ \cc(\overline{C_n})\} \le \log_2 n+\frac52\log_2\log_2 n+O(1). \] Together with the known lower bounds, this settles a conjecture of de Caen, Gregory, and Pullman (1985) and gives \[ \cc(\overline{P_n})=\log_2 n+Θ(\log_2\log_2 n), \qquad \cc(\overline{C_n})=\log_2 n+Θ(\log_2\log_2 n). \] We also give an independent proof of the latter order estimates. It uses a Hamiltonicity result of Kneser graphs and a key lemma proved by the Lovász local lemma.

For an integer $s \ge 2$, a subset $S \subseteq [n]$ is {\em $s$-stable} if $\min \{j - i, n + i - j\}\ge s$ for every $i,j \in S$ with $i<j$. Denote the set of all $s$-stable subsets of size $k$ of $[n]$ by $\binom{[n]}{k}_{s\text{-stable}}$. Schrijver proved in 1978 that whenever $n\ge 2k$, the chromatic number of the Kneser graph $\mathrm{KG}\big( \binom{[n]}{k}_{2\text{-stable}}\big)$ is $n - 2k +2$. Generalizing this result, Meunier conjectured in 2011 that $χ\left( \mathrm{KG}\big( \binom{[n]}{k}_{s\text{-stable}} \big) \right)= n - sk +s$ for all $n\ge sk$. This conjecture was previously proven for all even $s$, for $s \ge 4$ and large enough $n$, and for $k=2$. We prove the conjecture in the cases $s=3$ and $n$ large enough, or $k=s=3$. To this end, we prove versions of the Hilton-Milner theorem for $s$-stable sets. We also present a topological approach towards Meunier's conjecture.

We determine the symmetric minimum rank of the complement of the Kneser graph $\operatorname{KG}(n,k)$ over every infinite field. More precisely, if $I(n,k)$ is the graph on the $k$-subsets of $[n]$ in which two vertices are adjacent exactly when they intersect, then $$ \operatorname{mr}^{\mathbb F}(I(n,k))=n-2k+2 $$ for every infinite field $\mathbb F$ and all integers $n,k$ with $2\le k\le n/2$. In particular, over the real numbers, this settles a question posed in the AIM workshop open questions report on spectra of families of matrices described by graphs.

Burr, Erd\H os, Graham, and Sós introduced the maximal anti-Ramsey function $χ_{\mathrm{S}}(n,e,L)$, the minimum number of colors required over all $n$-vertex graphs with at least $e$ edges such that every copy of $L$ is rainbow. In \cite{BEGS1989}, they posed the following two problems: (i) Is it true that there exists $C>0$, such that for all $u\ge 1$, $χ_{\mathrm{S}}\left(n,\lfloor un \rfloor,P_4 \right)<Cu$ holds for all sufficiently large $n$? (ii) Is it true that for all $ε>0$, there exists $c(ε)>0$ such that for all sufficiently large $n$, \\ $χ_{\mathrm{S}}\left(n,\binom{n}{2}-\lfloor n^{2-ε} \rfloor,P_4 \right)>c(ε)n^{2}$? In this note, we give an affirmative answer to the first problem and a negative answer to the second problem. For the first problem, our proof uses a local density inequality with strong edge-colorings of odd Kneser graphs. In particular, our proof uses the characterization by Lužar, Máčajová, Škoviera, and Soták of~$k$-regular graphs whose strong chromatic index equals~$2k-1$. For the second result, our main tool is the construction of Alon, Moitra, and Sudakov. We show that for every fixed~$0<ε<1/2$ there exist~$γ>0$ and arbitrarily large~$n$ such that~$χ_{\mathrm{S}}\bigl(n,\tbinom{n}{2}-\lfloor n^{2-ε}\rfloor,P_4\bigr)\;\le\; n^{2-γ}=o(n^{2}).$

Let $A$ be a finite non-empty subset of an abelian group $G$, and let $r_A(d)=|\{(a,a')\in A^2:a-a'=d\}|$. Croot and Lev asked whether the pointwise half-threshold condition $r_A(d)\ge |A|/2$ for every $d\in A-A$ forces $A-A$ to be either a subgroup or a union of three cosets. We resolve this open problem in its sharp general form by identifying the essential obstruction: the statement is false in arbitrary abelian groups, but becomes true after excluding non-zero two-torsion. More precisely, if $G$ is two-torsion-free and the half-threshold condition holds, then either $A-A$ is a finite subgroup of $G$, or there are a finite subgroup $H\le G$ and elements $x,g\in G$ such that \[ A=(x+H)\cup(x+g+H). \] The two-torsion-free hypothesis is essential: for every $r\ge1$ we construct $A\subseteq\F_2^{2r+1}$ with $A-A=\F_2^{2r+1}\setminus\{t\}$ such that every non-zero represented difference has exactly $|A|/2$ representations, giving genuine counterexamples to the Croot--Lev conclusion. The proof of the positive result combines a Kneser quotient reduction with Lev's formulation of Kemperman's critical-pair theory.

Given \(H\leq G\) finite abelian groups, a transversal \(T\subseteq G\) for \(G/H\) has fixed size \(|G/H|\), but its ambient difference support \(D(T)=T-T\) can vary with the embedding of \(H\) in \(G\). We call $ δ(G,H)=\min_T |D(T)| $ the transversal difference number of the pair \((G,H)\). This invariant is related to finite abelian factorisation, tiling complements, and small-sumset questions, and is motivated by recent work regarding ambient Galois labels in CRT transforms for cyclotomic-subfield homomorphic encryption. We prove various results regarding this invariant, including a general lower bound $δ(G,H)\geq 2|G/H|-m(G,H), $ where \(m(G,H)\) is the largest order of a subgroup of \(G\) disjoint from \(H\). The bound is sharp for cyclic quotients, and Kneser's theorem gives a cross-transversal estimate leading to exact product families with one nonsplit cyclic coordinate and arbitrary split factors. These results isolate the first genuinely new residual obstruction, namely the same-prime square plane \[ G=(\mathbb Z/p^2\mathbb Z)^2,\qquad H=pG. \] For odd \(p\), this case is the technical core of the paper. Here transversals are graphs of functions \(\mathbb F_p^2\to \mathbb F_p^2\), and \(D(T)\) decomposes into carry-corrected finite-field derivative images. We conjecture that \[ δ(G,H)=(2p-1)^2 \] for all odd primes \(p\), prove the unconditional lower bound \(3p^2-p-1\), and give small-prime, probabilistic, and fixed-polynomial evidence for the conjecture.

Motivated by the dimension-bound part of a problem of Bukh, we study Veronese circuits: how large can the span of $t$ linear forms be if their $m$-th powers are minimally linearly dependent? We prove the sharp finite dimension bound \[ \dim L\leq \frac{t+m-2}{m}. \] Here $\ell_1,\ldots,\ell_t$ are nonzero homogeneous linear forms over a field of characteristic zero, the powers $\ell_1^m,\ldots,\ell_t^m$ form a circuit, and $L=\Span\{\ell_1,\ldots,\ell_t\}$. Rational-normal-curve configurations attain equality for infinitely many pairs $(t,\dim L)$; in particular, the affine bound itself is sharp and the optimal leading constant in Bukh's question is $1/m$. The proof uses a coding-theoretic translation: the coefficient row space of the powers is the $m$-th Schur power of the coefficient code, and the minimality hypothesis makes this Schur power a full-support hyperplane to which the Schur-product Kneser theorem of Mirandola and Zémor applies. The same method yields flat-concentration and interpolation criteria, a Cayley--Bacharach lower bound, Segre--Veronese and positive-characteristic variants, and Hilbert-function constraints for equality and near-equality in Veronese circuits.

The Alon--Frankl--Lovász theorem determines the chromatic number of Kneser hypergraphs; equivalently, it gives the sharp minimum size of a monochromatic matching in every \(r\)-edge-colouring of the complete \(t\)-uniform hypergraph. The known proofs of the exact theorem are topological. We develop a topology-free structural framework for its asymptotic form and for related sparse and tiling problems. Our main theorem shows that every \(r\)-colouring of a sufficiently pseudo-random \(t\)-graph can be reduced, with only \(o(n)\) loss in the largest monochromatic matching, to a colouring of \(K_n^{(t)}\) whose vertex set is partitioned into at most \(r\) parts and whose edge colours depend only on intersection profiles. The proof combines hypergraph regularity, LP duality, and convex-geometric compression. As consequences, we obtain a topology-free proof of the asymptotic AFL theorem, a sparse random transference theorem, and near-exact bounds in a linear-uniformity regime of Meunier's stable Kneser conjecture. For a graph \(H\), let \(Rt_r(H;K_n)\) be the minimum, over all \(r\)-edge-colourings of \(K_n\), of the largest monochromatic \(H\)-tiling. We prove \[ Rt_r(H;K_n)=(β_{r,H}+o(1))n, \] where \(β_{r,H}\) is effectively computable from finitely many linear programs depending only on \(H\) and \(r\). An additional multipartite Ramsey extraction is the key ingredient needed to reconstruct consistent graph templates. This gives an effective asymptotic solution to the complete-host multicolour Ramsey-tiling problem, extending the classical two-colour theorem of Burr, Erdős and Spencer. We also determine explicit constants for several natural families, including connected non-bipartite graphs, balanced Hall-type bipartite graphs, complete bipartite graphs with three, four, and five colours, and a non-Hall bipartite example.

For a finite poset $\mathcal{P}$, its height $h(\mathcal{P})$ is the number of cover relations in its longest chain. When $\mathcal{P}$ is a lattice $\mathcal{L}$, we label its elements $x$ with $h(x_\downarrow) = h([\hat{0},x])$ and its cover relations $x \lessdot y$ with $h(y_\downarrow) - h(x_\downarrow)$. When a lattice $\mathcal{L}'$ extends $\mathcal{L}$, $h(x_\downarrow)_\mathcal{L} \leq h(x_\downarrow)_{\mathcal{L}'}$. We study lattices $\mathcal{L}$ and $\mathcal{L}'$ such that $h(x_\downarrow)_\mathcal{L} = h(x_\downarrow)_{\mathcal{L}'}$. Cover relations labeled $1$ in $\mathcal{L}$ induce a poset that we call the (long) skeletal poset $\mathrm{SK}(\mathcal{L})$. Its Hasse diagram is the largest spanning subgraph that the Hasse diagrams of $\mathcal{L}$ and $\mathcal{L}'$ have in common. An example of lattices $\mathcal{L}$ and $\mathcal{L}'$ is the alt-Tamari lattices introduced by Chenevière, where every alt-Tamari lattice $\mathrm{alt}\text{-}\mathrm{Tam}_n$ extends the Tamari lattice $\mathrm{Tam}_n$/refines the Dyck lattice $\mathrm{Dyck}_n$ such that $h(x_\downarrow)_{\mathrm{Tam}_n} = h(x_\downarrow)_{\mathrm{alt}\text{-}\mathrm{Tam}_n}$. We study $\mathrm{SK}(\mathrm{Tam}_n)$ with another poset we introduce. We enumerate intervals in these posets. For a well-chosen distributive lattice, we introduce its altitude lattices, which generalize the alt-Tamari lattices $\mathrm{alt}\text{-}\mathrm{Tam}_n$. Altitude lattices within a family have the same number of linear intervals. They are related to each other via extensions, refinements, and embeddings of some skeletal posets. For a poset $\mathcal{P}$ with $\hat{0}$, we define its Kneser graphs $KG(k) := (V(k),E)$, where $V(k) := \{x: h(x_\downarrow) = k, 1 \leq k \leq h(\mathcal{P})\}$ and $E := \{(x,y): x_\downarrow \cap y_\downarrow =\hat{0}\}$. We give some observations about them in a reconstruction setting.

We say that a $d$-regular graph is a $γ$-expander if for every not too large set of vertices $S$, there are at least $γd |S|$ edges leaving $S$, and we say that a graph $G$ is $γ$-far from bipartite if at least $γe(G)$ edges need to be removed to make it bipartite. We prove that there exists an absolute constant $K$ such that any $n$-vertex $d$-regular $γ$-expander with $d \ge (γ^{-1} \log n)^K$ is Hamiltonian, provided that it is bipartite or $γ$-far from bipartite. As applications, we obtain highly robust versions of recent important results on the Hamiltonicity of Cayley graphs and Kneser graphs. As part of our proof, we prove a random connecting lemma for sublinear expanders which might be of independent interest.

Let $D=(\mathcal{P},\mathcal{B})$ be a symmetric $(v,k,λ)$-design and let $(X,Y)$ be an equinumerous incidence-free pair, with $X\subseteq \mathcal{P}$ and $Y\subseteq \mathcal{B}$. In this note, we give an elementary proof which shows the existence of a perfect matching between $\mathcal{P} \setminus X$ and $\mathcal{B}\setminus Y$ in the incidence graph of $D$. This recovers a result of Spiro, Adriaensen and Mattheus, who already showed this using different arguments for $k\geq 36$. We use this to connect some dots in the literature and prove that finding the chromatic number of the Kneser graph on chambers of a projective plane is equivalent to finding the incidence-free number of the incidence graph of the plane.

For every $n \geq 5$, we show that the Kneser graph of triangulations of a convex $n$-gon contains a Hamiltonian cycle.

Let $d(\cdot)$ denote the natural density on the positive integers. We characterize all sets $A,B$ with positive density satisfying $d(A+B)=d(A)+d(B)$, under the assumption that the two sets are not both contained in a proper finite union of residue classes. This gives a new inverse theorem for Kneser's sumset inequality in the integers, and provides a partial answer to a long-standing open question of Erdős and Graham.

In the finite projective space PG$(2n,q)$ we consider flags of type $(n-1,n)$, that is, pairs $(A,B)$ consisting of an $(n-1)$-space $A$ and an $n$-space $B$ that are incident. Two such flags $(A_1,B_1)$ and $(A_2,B_2)$ are opposite if $A_1\cap B_2=A_2\cap B_1=\emptyset$. Let $Γ_{2n}$ be the graph whose vertices are the flags of type $(n-1,n)$ of PG$(2n,q)$, with two vertices being adjacent if the corresponding flags are opposite. Using the Erdős-Matching theorem for vector spaces shown by Ihringer, we determine, for $q$ large enough, the largest cocliques of $Γ_{2n}$ and obtain a stability result. This EKR-type theorem proves a conjecture of D'haeseleer, Metsch and Werner.

We characterize the pairs of sets $A, B$ in an arbitrary (countable or uncountable) discrete abelian group $Γ$ satisfying $\tilde{m}(A+B)<\tilde{m}(A)+\tilde{m}(B)$, where $\tilde{m}$ is an arbitrary finitely additive translation-invariant probability measure on $Γ$, extending M.~Kneser's theorem on Haar measure in compact abelian groups. We then characterize, for an arbitrary Følner sequence or Følner net $\mathbf F=(F_{i})_{i\in I}$ on $Γ$, those $A$, $B$ satisfying $\underline{d}_{\mathbf F}(A+B)<\underline{d}_{\mathbf F}(A)+\underline{d}_{\mathbf F}(B)$, where $\underline{d}_{\mathbf F}(C):=\liminf_{i\in I} |C\cap F_{i}|/|F_{i}|$. This extends Kneser's theorem on lower asymptotic density in $\mathbb N$. We also generalize theorems of Prerna Bihani and Renling Jin by characterizing pairs $A$, $B$ satisfying $d^{*}(A+B)<d^{*}(A)+d^{*}(B)$, where $d^{*}$ is upper Banach density on $Γ$.

We answer a recent question of Csóka and Vidnyánszky [arXiv:2407.10006] and give an alternate proof of one of their results. The subject of both is which finite graphs admit factor of i.i.d. homomorphisms from the 3-regular tree. We then give yet another proof of the result in the Borel setting which leads to the following: For each $d > 2$ and $k \in \mathbb{N}$, there is a Borel hyperfinite $d$-regular forest $G$ and a finite graph with chromatic number $k$, $H$, so that $G$ does not admit a Borel homomorphism to $H$. All of this is tied together by a focus on the case when the target graph $H$ is a (subgraph of a) Kneser graph.

We investigate spectral lower bounds on the chromatic number $χ$ of Hamming graph powers $H(n, q)^p$, Johnson graph powers $J(n, k)^p$, and Kneser graph powers $K(n, k)^p$ providing the first computationally feasible nontrivial results. While the classical Hoffman bound on $χ$ can, in principle, be applied to any graph, naïve computation requires $O(q^{3n})$ time for $H(n, q)^p$ and $O(({}_nC_k)^3)$ time for both $J(n, k)^p$ and $K(n, k)^p$. We thus express the adjacency eigenvalues of these graphs in terms of hypergeometric orthogonal polynomials, exploiting recurrence relations that arise to efficiently compute the entire spectra. We then apply dynamic programming to compute the Hoffman bounds for $H(n, q)^p$, $J(n, k)^p$, and $K(n, k)^p$ in $O(np)$, $O(kp)$, and $O(k^2)$ time, respectively.

Hadwiger's Conjecture states that every graph with chromatic number $k$ contains a complete graph on $k$ vertices as a minor. This conjecture is a tremendous strengthening of the Four-Colour Theorem and is regarded as one of the most important open problems in graph theory. The case of Hadwiger's Conjecture for graphs with $α(G) = 2$ has garnered much attention. Seymour writes: ``My own belief is, if Hadwiger's Conjecture is true for graphs with stability number two then it is probably true in general, so it would be very nice to decide this case.'' This paper presents several tools useful for proving that a graph $G$ with $α(G) = 2$ satisfies Hadwiger's Conjecture. In doing so, we survey and generalise several classical results on the $α(G) = 2$ case of Hadwiger's Conjecture. Further, we apply these tools to prove variants of Hadwiger's Conjecture for several noteworthy classes of graphs with $α(G) = 2$. In particular, we prove Hadwiger's Conjecture for inflations of the complements of the following graphs: graphs with girth at least $5$, triangle-free Kneser graphs, and the Clebsch, Mesner, and Gewirtz graphs. This paper also highlights classes of graphs with $α(G) = 2$ where it is unknown if Hadwiger's Conjecture holds.