arXiv++ Combinatorics

We prove that the canonical orientation of the generalized Kneser graph $KG(n,k,s)$ contains a directed Hamiltonian cycle for all integers $s \geq 3$ and $n>sk$. Furthermore, we establish that the dichromatic number of this oriented graph is exactly $k$. As a special case, our results apply to the $s$-stable Kneser graphs $K_{s\text{-stab}}(n,k)$, resolving their directed Hamiltonicity and dichromatic number. Our proof adapts the class graph framework of Ledezma and Pastine to the directed setting, leveraging cyclic rotations and friend class adjacencies to construct a single directed cycle spanning all vertices. This work provides a unified and strengthened perspective on the Hamiltonian properties of Kneser-type graphs.

We present compact SAT encodings and certifying exact solvers for boxicity and cubicity. The boxicity of a graph is the minimum dimension in which it is the intersection graph of axis-aligned boxes; cubicity is defined analogously using unit cubes. Grid-based formulations face a geometric discretization bottleneck, growing rapidly with the target dimension. We avoid this bottleneck by encoding the total order of interval endpoints in each coordinate. For an $n$-vertex graph and target dimension $d$, our boxicity encoding uses $O(n^2d)$ variables and $O(n^3d)$ clauses, both linear in $d$. Requiring the left- and right-endpoint orders to agree yields a cubicity encoding of the same asymptotic size. Satisfying models are decoded into independently checked geometric representations, while unsatisfiable instances used as lower-bound evidence carry mechanically verified DRAT certificates. In a controlled evaluation with 186 trials per encoding on standard and structured graph families, the order encoding solves 96.8% of trials, compared with 71.0% for the known grid formulation, and reduces mean PAR-2 time from 178.21 to 21.70 seconds. The pipeline also certifies exact values for several named graphs. We turn one such value into a reusable obstruction by proving that every Kneser graph $K(n,k)$ with $k\ge3$ and $n\ge2k+1$ contains an induced Desargues graph. The resulting lower bound, together with an explicit three-dimensional representation of $K(7,3)$, establishes $\operatorname{boxicity}(K(7,3))=3$. This disproves the conjecture of Caoduro and Sebo that $\operatorname{boxicity}(K(n,k))=n-k$ for all $k\ge3$ and $n\ge2k+1$.

Extending the notions of Kneser graphs and Schrijver graphs, we define the $G$-stable Kneser graph $KG(G,k)$ (where $k\geq 2$ and $G$ is a graph on $n\geq 2k$ vertices) as the graph whose vertices are the $k$-element independent sets in $G$ and whose edges join pairs of disjoint independent sets. The well-known result of Lovász on the chromatic number of Kneser graphs implies that $χ(KG(G,k)) \leq n-2k+2$ for any $G$. We call $G$ $k$-tight if equality holds, and we study the following question: Which graphs are $k$-tight? A result of Daneshpajouh et al.\ implies a characterization of $2$-tight graphs. We prove a necessary condition for a graph to be $k$-tight for $k\geq 3$ which extends this characterization, and we conjecture it to be sufficient. Another result gives a lower bound to the chromatic number of the $G$-stable Kneser graphs when $G$ is a disjoint union of cycles. We use this result to give a short proof of the fact that $4$-regular graphs on $3k$ vertices consisting of two vertex-disjoint cycles and $k$ cycles of length $3$ admit an independent set of size $k$.

The independence complex of the Kneser graph $\KG(n,k)$ is the simplicial complex of pairwise intersecting families of $n$-subsets of $[2n+k]$; equivalently, it is a Vietoris--Rips complex of the $n$-subsets of $[2n+k]$ under the symmetric-difference metric. Feng and Wang asked whether, for $n=3$, its reduced homology is nontrivial only in dimensions $6$ and $9$, and conjectured the rank in dimension $9$. We answer the question affirmatively over the rationals and determine all the associated Betti numbers. For every $k\ge0$, the only nonzero reduced Betti numbers using rationals of $\Ind(\KG(3,k))$ are \[ β_6=\binom{k+5}{7}+29\binom{k+6}{7} \qquad\text{and}\qquad β_9=\binom{k+6}{6}. \] The proof uses an inductive decomposition based on a simplicial retraction and Barmak's star clusters, Dowker duality together with Jonsson's computation of the homology of complexes of graphs with bounded covering number, and a relative Mayer--Vietoris spectral sequence which reduces the problem to the six-element sets.

We give an independent computer-assisted proof of the k=4 case of the Chen-Raspaud conjecture. We prove that every graph G with odd-girth(G) >= 9 and mad(G) < 9/4 admits a homomorphism to the Kneser graph K(9,4). The proof combines a minimal-counterexample argument with a rooted star replacement, exact finite computations in K(9,4), and a final charging argument. After all reducible local types are removed, the unique positive local type is (3,3,4). Its unit excess is transferred through its 4-thread to a relative with sufficient negative capacity. The computer-assisted statements used in the proof are certified by exact C++ bitset verifiers, and a separate Python implementation provides an independent cross-check; the complete source code and raw certificates accompany the manuscript.

Inspired by work of Gaster, Greene, and Vlamis on the chromatic number of curve graphs, we prove that every endomorphism of the total Kneser graph is an automorphism. We also show that the automorphism group of the total Kneser graph is the product of a pair of permutation groups.

We determine the orientable genus of an infinite family of bipartite Kneser graphs. The graph $H(h,2)$ has two copies of the two-element subsets of $[h]$, with opposite-class vertices adjacent when the corresponding subsets are disjoint. For every prime $h>3$ with $h\equiv3\pmod8$, we prove $$ γ(H(h,2))=1-\frac{h(h-1)}{2} +\frac{h(h-1)(h-2)(h-3)}{16}. $$ Euler's formula gives this lower bound, with equality for a quadrangulation. We construct a vertex-transitive orientable quadrangulation using an odd-order affine group that acts simply transitively on the two-element subsets. This gives an infinite family satisfying Pisanski's conjecture on quadrilateral embeddings of regular bipartite graphs.

A family of sets is intersecting if every two members intersect, and trivial if all its members contain a common element. We determine the typical structure of $k$-uniform intersecting families on $2k+1$ and $2k+2$ elements as $k\to\infty$. For $n=2k+2$, we prove that almost all intersecting families are trivial and that their number is \[ (2k+2+o(1))\,2^{\binom{2k+1}{k-1}}. \] Together with Yang's recent result for $n\ge 2k+3$, this settles a conjecture of Balogh, Garcia, Li, and Wagner. For $n=2k+1$, almost all intersecting families are nontrivial. We prove that, as conjectured by the same authors, a typical intersecting family is close to a full star: its members outside the star form components of size at most two in the graph joining sets that intersect in $k-1$ elements. We also obtain an asymptotic formula for the number of intersecting families in this case, with an explicit second-order term in the exponent. Our proof combines Sapozhenko's graph container method and stability in Kneser graphs to control families far from every star, and a polymer model and cluster expansion to enumerate families close to a fixed star.

Recently, Heath, McCourt, Parker, Schwieder, and Zerbib initiated the systematic study of the $r$-Kneser Ramsey number $R_r^{KG}(s,t)$ and investigated related Ramsey-type problems. A central motivation for their work comes from a question of Holmsen, Hrusak, and Roldán-Pensado, who asked whether, for $n=2k-1$ and sufficiently large $k$, every red/blue edge-coloring of the complete graph on the vertex set $V = \binom{[n]}{k}$ necessarily contains a monochromatic triangle $ABC$ with $A,B,C \in V$ and $A \cap B \cap C = \emptyset$. Heath, McCourt, Parker, Schwieder, and Zerbib established that this conclusion holds when $n \ge \frac{7k}{3}$ and $k\ge 12$. We make substantial progress toward the problem of Holmsen, Hrusak, and Roldán-Pensado by proving that the conclusion already holds for every $k\ge 2$ whenever $n\ge 2k+1$. In addition, we obtain improved lower bounds for $R_r^{KG}(s,t)$ when $s$ and $t$ are fixed and $r$ is sufficiently large.

We prove that every triangle-free graph with minimum degree at least $\frac{n}{3}$ is $4$-colorable and thereby settle a problem of Brandt and Thomassé (2005) at the threshold $\frac{n}{3}$. The number four is best possible. For a positive integer-valued function $f(n)=o(n)$, we relate the chromatic number of $f(n)$-vertex subgraphs of the Kneser graph $KG(n,f(n))$ to that of triangle-free graphs with minimum degree at least $\frac{n}{3}-f(n)$. Consequently, for every $0<δ<1$ and $\varepsilon>0$, and for all sufficiently large $n$, every $n$-vertex triangle-free graph with minimum degree at least $\frac{n}{3}-n^{1-δ}$ has chromatic number at most $10^{391}+1+\left\lceil{(1+\varepsilon)(1-δ)}/δ\right\rceil$. We also show that every sufficiently large $n$-vertex maximal triangle-free graph with minimum degree at least $\frac{n}{3}-f(n)$ and chromatic number at least $10^{391}$ contains a bipartite subgraph with parts of orders $\frac{n}{3}-O(f(n))$ and $\frac{2n}{3}-O(f(n))$; the remaining induced subgraph admits a homomorphism to $KG(\frac{n}{3}-O(f(n)),O(f(n)))$. Finally, we connect maximal $K_r$-free graphs with minimum degree at least $\frac{2r-5}{2r-3}n-f(n)$ to $K_{r-1}$-free graphs and extend these results to $K_r$-free graphs. Our proofs employ the recent strong Brandt--Thomassé theorem of Łuczak, Polcyn, and Reiher.

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 finite-rank submonoid $H$ satisfying $1<ρ(H)<ρ(G)$, 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.

We prove RE-completeness of the quantum homomorphism problem parameterised by families of graphs derived from the classic metric association schemes. These include Kneser graphs, $q$-Kneser graphs, and the complements of Johnson, Grassmann, and Hamming graphs. Our proof develops a spectral method for establishing non-contextuality of quantum polymorphisms. It combines an equality analysis of Roberson's bound on the projective packing number in terms of Schrijver's theta with a structural argument inspired by Erdős-Ko-Rado theory.

Majority bootstrap percolation is a monotone cellular automaton that can be thought of as a model of infection spreading in networks. Starting with an initially infected set, new vertices become infected once at least half of their neighbours are infected. The average case behaviour of this process was studied on the $n$-dimensional hypercube by Balogh, Bollobás and Morris, who showed that there is a phase transition as the typical density of the initially infected set increases: For small enough densities the spread of infection is typically local, whereas for large enough densities typically the whole graph eventually becomes infected. Perhaps surprisingly, they showed that the critical window in which this phase transition occurs does not contain $p=1/2$, and they gave bounds on its width on a finer scale. In this paper we consider the majority bootstrap percolation process on a class of high-dimensional geometric graphs which includes many of the graph families on which percolation processes are typically considered, such as grids, tori and Hamming graphs, as well as other well-studied families of graphs such as (bipartite) Kneser graphs, including the odd graph and the middle layer graph. We show similar quantitative behaviour in terms of the location and width of the critical window for the majority bootstrap percolation process on this class of graphs.

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.

Let $A$ be an $n$-element set of positive real numbers, let $FS(A)$ be its set of subset sums, and put $T_n=\binom{n+1}{2}$. For every fixed integer $C\geq-1$ and all sufficiently large $n$, we classify the sets satisfying $$ |FS(A)|\leq T_n+n+C+1. $$ Each such set is commensurable. Its unique primitive integer normalisation $B$ either satisfies $\sum B\leq T_n+n+C$ or belongs to an explicit exceptional family specified by a missing element $m\in\{1,2\}$ and an integer partition of $C+m$ or $C+m+1$. If $P$ denotes the partition function, the exceptional family has exactly $$ P(C+1)+2P(C+2)+P(C+3) $$ primitive dilation classes. We also prove a local inverse theorem for bounded increment excess. If, for sufficiently large $i$, adjoining the largest element to the preceding $i-1$ elements creates only $i+e$ new subset sums, where $e$ is bounded, then the $i$-element set is a dilation of $[1,i+e]_{\mathbb{Z}}$ with exactly $e$ elements deleted. Conversely, every such deletion pattern has increment excess $e$. The proof combines a stabiliser argument in $\mathbb{R}/x\mathbb{Z}$, Kneser's theorem, a quadratic subset-sum bound, and endpoint propagation. These arguments also give effective commensurability and a finite-state encoding. Together with earlier results for $C\leq-2$, this completes the eventual fixed-defect classification for every integer $C$.

For a finite abelian group $Γ$, a map $f\colon V(G)\toΓ$ is a $Γ$-magic map if the sum of its values over the neighbors of a vertex is independent of the vertex. It is affinely generating if its pairwise differences generate $Γ$. When $|Γ|=|V(G)|$, a bijective $Γ$-magic map is a $Γ$-distance magic labeling. For a regular graph $G$ with adjacency matrix $A$, write $\mathbf1$ for the all-ones vector indexed by $V(G)$, and let $\overline A$ denote the endomorphism induced by $A$ on $Λ_{\mathbf1}=\mathbb Z^{V(G)}/\mathbb Z\mathbf1$. When $\overline A$ is nonsingular over $\mathbb Q$, define the reduced Smith group by $\mathsf S_{\mathrm{red}}(G)=\operatorname{coker}\overline A$. In previous work, we established that for every regular graph $G$ of positive degree with $\overline A$ nonsingular over $\mathbb Q$, one has \[ G\text{ admits an affinely generating }Γ\text{-magic map} \quad\Longleftrightarrow\quad Γ\hookrightarrow\mathsf S_{\mathrm{red}}(G). \] We determine this group explicitly for Kneser graphs. If $r\ge1$, $n\ge2r$, and $m_j=\binom nj-\binom n{j-1}$, then \[ \mathsf S_{\mathrm{red}}(K(n,r))\cong \bigoplus_{j=1}^{r} \left(\mathbb Z/\binom{n-r-j}{r-j}\mathbb Z\right)^{m_j}. \] When the labeling group and the Kneser graph have the same order, the resulting embedding criterion leaves only one case in which an affinely generating map exists. More precisely, if $Γ$ is an abelian group of order $\binom nr$, then $K(n,r)$ admits an affinely generating $Γ$-magic map if and only if $(n,r)=(9,2)$ and $Γ\cong\mathbb Z/6\mathbb Z\oplus\mathbb Z/6\mathbb Z$. A weak-Sidon-set bound shows that the affinely generating maps in the exceptional case cannot be bijective. Hence $K(n,r)$ admits no $Γ$-distance magic labeling throughout the range $r\ge1$ and $n\ge2r$.

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}).$