arXiv++ Combinatorics

The first non-zero Laplacian eigenvalue $λ_1$ of a finite graph is bounded below by its minimum Lin--Lu--Yau curvature $κ$. This is a discrete analogue of the classical Lichnerowicz Theorem. A graph with $λ_1=κ$ is called Lichnerowicz sharp. In this note, we completely classify all Lichnerowicz sharp distance-regular graphs. Our result substantially strengthens the corresponding classification by Cushing, Kamtue, Koolen, Liu, Münch, and Peyerimhoff (Adv. Math. 2020), which required an extra spectral condition. As a key preparatory step, we provide a classification of all amply regular Terwilliger graphs with positive Lin-Lu-Yau curvature, a result that is interesting of its own right.

This paper establishes a classification of the critical numbers for restricted sumsets in finite abelian groups, determining them exactly for even-order groups and bounding them for odd-order groups, while revealing a fundamental structural dichotomy governed by parity. For groups of even order, we prove a universal rigidity theorem: the index-$2$ subgroup creates an immutable arithmetic barrier at density $1/2$, fixing the critical number at $|G|/2+1$ regardless of the group's internal structure. In sharp contrast, we demonstrate that for groups of odd order, this barrier vanishes, causing the critical threshold to collapse to significantly lower densities bounded by index-$5$ obstructions or the smallest prime divisor. These results unify and vastly generalize previous work on cyclic groups, providing a definitive structural theory for the transition from sparsity to saturation. As a decisive application, we resolve a conjecture of Han and Ren in algebraic coding theory. By translating the additive rigidity at density $1/2$ into a geometric constraint, we prove that for all sufficiently large $q$, any subset of rational points on an elliptic curve $E/\mathbb{F}_q$ generating an MDS code must satisfy the tight bound $|P|\le|E(\mathbb{F}_q)|/2$.

For integers m >= 1, s >= 0, and t >= 1, let K_s + mK_t denote the join of a clique K_s and m vertex-disjoint copies of K_t. We prove that for fixed m >= 1, t >= 1, and s >= 0, R(K_s + mK_t, K_n) = O( n^{s+t-1} / (log n)^{s+t-2} ). This settles a problem proposed by Liu and Li (2026). Moreover, for (s,t) = (0,3) the bound is tight up to a constant factor, matching the classical result R(K_3, K_n) = Theta( n^2 / log n ) of Kim (1995).

Starting with a known polynomial identity, we derive two generalizations of Touchard's identity concerning Catalan numbers; one obtained using the Beta function and the other via a connection with Stirling numbers of the second kind. We subsequently establish several new combinatorial identities.

Let a graph be observed through a finite random sampling mechanism. Spectral methods are routinely applied to such graphs, yet their outputs are treated as deterministic objects. This paper develops finite-sample inference for spectral graph procedures. The primary result constructs explicit confidence regions for latent eigenspaces of graph operators under an explicit sampling model. These regions propagate to confidence regions for spectral clustering assignments and for smooth graph centrality functionals. All bounds are nonasymptotic and depend explicitly on the sample size, noise level, and spectral gap. The analysis isolates a failure of common practice: asymptotic perturbation arguments are often invoked without a finite-sample spectral gap, leading to invalid uncertainty claims. Under verifiable gap and concentration conditions, the present framework yields coverage guarantees and certified stability regions. Several corollaries address fairness-constrained post-processing and topological summaries derived from spectral embeddings.

We show that for any constant $μ>0$ and $k\ge 3$, there exists $α>0$ such that the following holds for sufficiently large $n \in \mathbb{N}$. If $G=(V_{1},\ldots,V_{k},E)$ is a spanning subgraph of the $n$-blow-up of $K_{k}$ with ${δ^*}(G)\geq (\frac{1}{2}+μ) n$ and $α^*_{k-1}(G)<αn$, then $G$ has a transversal $K_{k}$-factor. Moreover, the bound $\frac{1}{2}$ is asymptotically tight for the case \(k=3\). In addition, we show that if $k\ge 4$, $G=(V_{1},\ldots,V_{k},E)$ is a spanning subgraph of the $n$-blow-up of $C_{k}$ with ${δ^*}(G)\ge (\frac{2}{k}+μ) n$, and $α^*_{2}(G)<αn$, then $G$ has a transversal $C_{k}$-factor. This extends a recent result of Han, Hu, Ping, Wang, Wang and Yang.

The thagomizer matroid, realized as the graphic matroid of the complete tripartite graph $K_{1,1,n}$, has full automorphism group isomorphic to the hyperoctahedral group whenever $n \ge 2$. In the equivariant setting for this action, we compute both the Kazhdan--Lusztig polynomial and the inverse Kazhdan--Lusztig polynomial in the sense of Proudfoot's Kazhdan--Lusztig--Stanley theory, and we show that each coefficient is an honest representation with a multiplicity-free irreducible decomposition. Our main idea is to exploit the palindromicity of the equivariant $Z$-polynomial, reducing the computation to the already established symmetric-group equivariant Kazhdan--Lusztig theory for the graphic matroids of cycle graphs, and then to apply Proudfoot's equivariant Kazhdan--Lusztig--Stanley inversion identity to obtain the inverse polynomial. Passing to dimensions recovers the previously known nonequivariant thagomizer polynomials, while the coefficient formulas admit a natural expression in terms of the wreath product Frobenius characteristic for the hyperoctahedral group.

Gishboliner, Krivelevich, and Michaeli (2023) conjectured the following generalization of Dirac's theorem: If the minimum degree $δ$ of an $n$-vertex oriented graph $G$ is greater or equal to $n/2$, then $G$ has a Hamilton oriented cycle with at least $δ$ forward arcs. Freschi and Lo (2024) proved this conjecture. In this paper, we study the problem of maximizing the number of forward arcs in Hamilton oriented cycles/paths in generalizations of tournaments. We obtain characterizations for the maximum number of forward arcs in semicomplete multipartite digraphs and locally semicomplete digraphs. These characterizations lead to polynomial-time algorithms. Note that the above problems are NP-hard for some other generalizations of tournaments even though the Hamilton cycle problem is polynomial-time solvable for these digraph classes.

In this paper we investigate the chromatic number of the Grassmann graphs and of their powers, denoted $J_q(n,m,t)$. In this graph, the vertices correspond to the $m$-dimensional subspaces in $\mathbb{F}_q^n$ and two vertices are adjacent if the corresponding subspaces intersect in a subspace of dimension at least $t$. By generalizing the lifting technique of Silva, Kötter and Kschischang, we use \emph{maximum rank distance (MRD)} codes to establish that $χ(J_q(n, m, t)) \leq (1 +o(1))n^{m-t}q^{(n-m)(m-t)})$ when $n \geq 2m$. Given that $J_q(n, m, t)$ is isomorphic to $J_q(n,n-m,n-2m+t)$, this establishes a new upper bound on $J_q(n, m, t)$ for any valid choice of parameters. Furthermore, we observe that in the regime that $n, m $, and $t$ are fixed, our bound is asymptotically tight, implying that $ χ(J_q(n, m, t)) = Θ(q^{(m-t)\max(n-m, m)}). $

When particles on a line collide, they may coalesce into one. Such systems model diverse phenomena, from voter dynamics and opinion formation to ancestral lineages in population genetics. Computing exact coalescence probabilities has been difficult because collisions reduce the particle count, while classical determinantal methods require a fixed count throughout. We introduce ghost particles: when two particles merge, the discarded trajectory continues as an invisible walker. Ghosts restore the missing dimension, enabling an exact determinantal formula. We prove that the probability of any specified coalescence pattern is given by a determinant. Integrating out ghost positions yields a closed-form ghost-free formula for the surviving particles. The framework applies to discrete lattice paths, birth-death chains, and continuous diffusions including Brownian motion.

The famous Ham-Sandwich theorem states that any $d$ point sets in $\mathbb{R}^d$ can be simultaneously bisected by a single hyperplane. The $α$-Ham-Sandwich theorem gives a sufficient condition for the existence of biased cuts, i.e., hyperplanes that do not cut off half but some prescribed fraction of each point set. We give two new proofs for this theorem. The first proof is completely combinatorial and highlights a strong connection between the $α$-Ham-Sandwich theorem and Unique Sink Orientations of grids. The second proof uses point-hyperplane duality and the Poincaré-Miranda theorem and allows us to generalize the result to and beyond oriented matroids. For this we introduce a new concept of rainbow arrangements, generalizing colored pseudo-hyperplane arrangements. Along the way, we also show that the realizability problem for rainbow arrangements is $\exists \mathbb{R}$-complete, which also implies that the realizability problem for grid Unique Sink Orientations is $\exists \mathbb{R}$-complete.

A smooth Hermitian surface $X$ is a projective surface isomorphic to the Fermat surface of degree $q+1$ in positive characteristic. We study incidence relations of the rational curves of degree $q+1$ contained in $X$, and show that such curves produce a family of certain strongly regular graphs and association schemes.

We prove the following ``symmetric analogue'' of Lovász's estimate (1975): if an $r$-partite hypergraph of rank $r\geqslant2$ has a cover of cardinality $n<\infty$, then it admits a cover of cardinality at most $nr/2$, which is invariant with respect to all automorphisms preserving the parts. We obtain also symmetric analogues of generalisations of Lovász's estimate due to Aharoni, Holzman, and Krivelevich (1996).

Semialgebraic graphs are graphs whose vertices are points in $\mathbb{R}^d$, and adjacency between two vertices is determined by the truth value of a semialgebraic predicate of constant complexity. We show how to harness polynomial partitioning methods to construct compact adjacency labeling schemes for families of semialgebraic graphs. That is, we show that for any family of semialgebraic graphs, given a graph on $n$ vertices in this family, we can assign a label consisting of $O(n^{1-2/(d+1) + \varepsilon})$ bits to each vertex (where $\varepsilon > 0$ can be made arbitrarily small and the constant of proportionality depends on $\varepsilon$ and on the complexity of the adjacency-defining predicate), such that adjacency between two vertices can be determined solely from their two labels, without any additional information. We obtain for instance that unit disk graphs and segment intersection graphs have such labelings with labels of $O(n^{1/3 + \varepsilon})$ bits. This is in contrast to their natural implicit representation consisting of the coordinates of the disk centers or segment endpoints, which sometimes require exponentially many bits. It also improves on the best known bound of $O(n^{1-1/d}\log n)$ for $d$-dimensional semialgebraic families due to Alon (Discrete Comput. Geom., 2024), a bound that holds more generally for graphs with shattering functions bounded by a degree-$d$ polynomial. We also give new bounds on the size of adjacency labels for other families of graphs. In particular, we consider semilinear graphs, which are semialgebraic graphs in which the predicate only involves linear polynomials. We show that semilinear graphs have adjacency labels of size $O(\log n)$. We also prove that polygon visibility graphs, which are not semialgebraic in the above sense, have adjacency labels of size $O(\log^3 n)$.

We study the graph-theoretic properties of the trace of random walks on pseudorandom graphs. We show that for any $\varepsilon>0$, there exists a constant $C$ such that the cover time of an $(n,d,λ)$-graph $G$ with $d/λ\ge C$ is at most $(1+\varepsilon)n\log n$, meaning the expected number of steps needed to reach all vertices at least once is at most $(1+\varepsilon)n\log n$ regardless of the starting vertex. Furthermore, we prove that with high probability, the trace of a random walk of length $(1+\varepsilon)n\log n$ on $G$ is Hamiltonian, regardless of the starting vertex. These results also hold for random $d$-regular graphs with sufficiently large $d$. These findings answer two questions proposed by Frieze, Krivelevich, Michaeli, and Peled [PLMS, 2018]. Notably, our results imply a bound on a stronger version of the cover time: with high probability, all vertices are covered after $(1+\varepsilon)n\log n$ steps, regardless of the starting vertex. Our proofs rely on the spectral properties of the adjacency matrix and the graph expansion. All results are asymptotically optimal.

We investigate and generalise Levine sequences like A011784, A061892 and A061894 and develop an algebraic theory for them. We thereby also cover other fast growing sequences like A014644, which we call golombic due to their strong ties with Golomb's sequence A001462.

We construct a statistic-swapping involution on the Cartesian product of the generalized symmetric group $S(k,n)$ with the symmetric group $S_{kn}$, which swaps the number of fixed points in the generalized symmetric group element with the number of $k$-cycles in the symmetric group element. This gives a combinatorial proof for a probabilistic observation: the distribution of fixed points on $S(k,n)$ matches the distribution of $k$-cycles on $S_{kn}$.

We introduce a mathematical framework for the linear representation hypothesis (LRH), which asserts that intermediate layers of language models store features linearly. We separate the hypothesis into two claims: linear representation (features are linearly embedded in neuron activations) and linear accessibility (features can be linearly decoded). We then ask: How many neurons $d$ suffice to both linearly represent and linearly access $m$ features? Classical results in compressed sensing imply that for $k$-sparse inputs, $d = O(k\log (m/k))$ suffices if we allow non-linear decoding algorithms (Candes and Tao, 2006; Candes et al., 2006; Donoho, 2006). However, the additional requirement of linear decoding takes the problem out of the classical compressed sensing, into linear compressed sensing. Our main theoretical result establishes nearly-matching upper and lower bounds for linear compressed sensing. We prove that $d = Ω_ε(\frac{k^2}{\log k}\log (m/k))$ is required while $d = O_ε(k^2\log m)$ suffices. The lower bound establishes a quantitative gap between classical and linear compressed setting, illustrating how linear accessibility is a meaningfully stronger hypothesis than linear representation alone. The upper bound confirms that neurons can store an exponential number of features under the LRH, giving theoretical evidence for the "superposition hypothesis" (Elhage et al., 2022). The upper bound proof uses standard random constructions of matrices with approximately orthogonal columns. The lower bound proof uses rank bounds for near-identity matrices (Alon, 2003) together with Turán's theorem (bounding the number of edges in clique-free graphs). We also show how our results do and do not constrain the geometry of feature representations and extend our results to allow decoders with an activation function and bias.

Consider $n$ points generated uniformly at random in the unit square, and let $L_n$ be the length of their optimal traveling salesman tour. Beardwood, Halton, and Hammersley (1959) showed $L_n / \sqrt n \to β$ almost surely as $n\to \infty$ for some constant $β$. The exact value of $β$ is unknown but estimated to be approximately $0.71$ (Applegate, Bixby, Chvátal, Cook 2011). Beardwood et al. further showed that $0.625 \leq β\leq 0.92116.$ Currently, the best known bounds are $0.6277 \leq β\leq 0.90380$, due to Gaudio and Jaillet (2019) and Carlsson and Yu (2023), respectively. The upper bound was derived using a computer-aided approach that is amenable to lower bounds with improved computation speed. In this paper, we show via simulation and concentration analysis that future improvement of the $0.90380$ is limited to $\sim0.88$. Moreover, we provide an alternative tour-constructing heuristic that, via simulation, could potentially improve the upper bound to $\sim0.85$. Our approach builds on a prior \emph{band-traversal} strategy, initially proposed by Beardwood et al. (1959) and subsequently refined by Carlsson and Yu (2023): divide the unit square into bands of height $Θ(1/\sqrt{n})$, construct paths within each band, and then connect the paths to create a TSP tour. Our approach allows paths to cross bands, and takes advantage of pairs of points in adjacent bands which are close to each other. A rigorous numerical analysis improves the upper bound to $0.90367$.

The celebrated Steiner tree problem is the problem of finding a set $\St$ of minimum one-dimensional Hausdorff measure $\H$ (length) such that $\St \cup \mathcal{A}$ is connected, where $\mathcal{A} \subset \mathbb{R}^d$ is a given compact set. Paolini and Stepanov provided very general existence and regularity results for the Steiner problem. Their main regularity result is that under a natural assumption, $\H(\St) < \infty$, for almost every $\varepsilon>0$ the set $\St_\varepsilon := \St\setminus B_\varepsilon(\mathcal A)$ is an embedded finite forest (acyclic graph). We give a quantitative regularity result by proving that the set $\St_\varepsilon$ is Ahlfors--David regular with constants that depend only on $d$ (and not on $\mathcal{A}$). Namely, for $d > 2$, every $\varepsilon > 0$, every $x \in \St_\varepsilon$, and every choice of $ρ\in (0,1)$, we have \[ \frac{\H(\St_\varepsilon \cap B_{ρ\varepsilon}(x))}{\varepsilon} \leq \left ( \frac{64d}{1-ρ} \right) ^{d-2}. \] As a corollary, we obtain a density-type result, i.e. that the set $\St_\varepsilon \cap B_{ρ\varepsilon}(x)$ consists of at most \[ \left ( \frac{64d}{1-ρ} \right) ^{d-1} \] line segments. In the plane (i.e., for $d=2$), it is possible to obtain tight structural results.

Let $G$ be a connected graph with vertex set $V$. The distance, $d_G(u, v)$, between vertices $u$ and $v$ of $G$ is defined as the length of a shortest path between $u$ and $v$ in $G$. The distance matrix of $G$ is the matrix $\mathbf{D}(G) =[d_G(u, v)]_{u,v\in V}$. The second largest distance eigenvalue $λ_2(G)$ of $G$ is the second largest one in the spectrum of $\mathbf{D}(G)$. In this work, we completely characterize the connected graphs $G$ for which $λ_2(G)<-1/2$ through approaches both spectral and structural.

We classify the combinatorial types of Murai spheres in dimensions $1$ and $2$, thereby showing that the corresponding convex simple polytopes have Delzant realizations. Then we describe all chordal Murai spheres $\mathrm{Bier}_c(M)$ with $c\in\mathbb N^m$ and $m\leq 2$. Finally, we find all possible values for the Buchstaber and chromatic numbers of arbitrary Murai spheres.

We introduce a refinement of Boolean-Catalan numbers and call them Boolean-Narayana numbers. We provide an explicit formula for these numbers, and prove unimodality, log-concavity, and real-roots-only results for their sequences.

We introduce $k$-robust clique complexes, a family of simplicial complexes that generalizes the traditional clique complex. Here, a subset of vertices forms a simplex provided it does not contain an independent set of size $k$. We investigate these complexes for square sequence graphs, a class of bipartite graphs introduced here that are constructed by iteratively attaching $C_4$ cycles. This class includes rectangular grid graphs $G_{m,n}$. We show that for $k=2$ and $k=3$, the homotopy type is a wedge sum of $(2k-3)$-dimensional spheres, a result we extend to arbitrary $k$ under specific structural constraints on the attachment sequence. Our approach utilizes König's theorem to decompose the complex into manageable components, whose homotopy types are easy to understand. This then enables an inductive proof based on the decomposition and standard tools of algebraic topology. Finally, we utilize Alexander duality to connect our results to the study of total-$k$-cut complexes, generalizing recent results concerning the homotopy types of total-$k$-cut complexes for grid graphs.

How can a stack of identical blocks be arranged to extend beyond the edge of a table as far as possible? We consider a generalization of this classic puzzle to blocks that differ in width and mass. Despite the seemingly simple premise, we demonstrate that it is unlikely that one can efficiently determine a stack configuration of maximum overhang. Formally, we prove that the Block-Stacking Problem is NP-hard, partially answering an open question from the literature. Furthermore, we demonstrate that the restriction to stacks without counterweights has a surprising connection to the Airplane Refueling Problem, another famous puzzle, and to Robust Appointment Scheduling, a problem of practical relevance. In addition to revealing a remarkable relation to the real-world challenge of devising schedules under uncertainty, their equivalence unveils a polynomial-time approximation scheme, that is, a $(1+ε)$-approximation algorithm, for Block Stacking without counterbalancing and a $(2+ε)$-approximation algorithm for the general case.