arXiv++ Combinatorics

We present several Laplacian-type matrices associated with a loopless digraph $D$: the out-/in-degree Laplacians $\mathcal L_{\mathrm{out}},\mathcal L_{\mathrm{in}}$, the incidence Laplacian $\mathcal L_{\mathrm{inc}}=BB^{\mathsf T}$, and the symmetrized and skew-symmetrized variants $\mathcal S_{\mathrm{out}},\mathcal K_{\mathrm{out}}$. We show that $\mathcal L_{\mathrm{inc}}(D)$ coincides with the Laplacian of the underlying undirected multigraph, and we derive spectral and characteristic-polynomial relations under arc reversal and complementation (including a simplification for Eulerian digraphs for $\mathcal S_{\mathrm{out}}$). We demonstrate that the spectral radius of $\mathcal L_{\mathrm{out}}$ is bounded above by the order of the digraph and give a characterization in the equality case. We further obtain explicit formulas for joins and line digraphs, giving a general determinantal identity relating the out-degree Laplacian characteristic polynomials of a regular digraph and its line digraph.

We prove a conjecture of D. B. Shapiro, which asserts that no integral [10,10,16] formula can arise as a restriction of any Hurwitz-Radon formula.

For every prime power $r\ge 2$, we show that any Sperner family $\mathcal F\subseteq 2^{[n]}$ with $|\mathcal F|\ge (r-1)n+1$ contains $r$ pairwise disjoint nonempty subfamilies whose unions are all equal and whose intersections are all equal. For $r=2$, this confirms a conjecture of Hegedüs, with the sharp threshold $n+1$. In this purely combinatorial problem, our proof combines a multilinear polynomial method, a continuity argument, and the topological Tverberg theorem.

Barcode scans, clear phone calls, reliable data storage, satellite communication, and large-scale quantum computation are all made possible by error correction. We present a handbook version of The Error Correction Zoo, a curated reference of methods for protecting classical or quantum information from errors during storage and transmission. The handbook includes descriptions of these error-correcting codes and a classification according to the symbols they use. It also catalogues relations among codes and related objects such as sphere packings, lattices, designs, groups, and classical and quantum phases of matter. The collection is intended both as a rigorous reference and as a practical aid for tracing the web of code relationships and uncovering new connections.

The Graph Burning Problem (GBP) is a NP-Hard combinatorial optimization problem that models the propagation of influence or contagion in a network. The propagation is represented through the metaphor of a fire spreading through the vertices of a graph. A burning process takes place in a series of discrete time-steps. At each time step, the burning process is characterized by a propagation (where burned nodes spread the fire to their neighbors), and an ignition (where one additional unburned node is chosen to become burned). The minimum number of steps required to burn all vertices of a graph defines its burning number. Literature provides integer linear programming formulations to solve the problem, but with no surprise, such approaches struggle to converge as the graph size increases. Therefore, reducing the search space explored by these formulations becomes a key point to improve performances. In this work, we study the similarities of the Graph Burning Problem with the well-known Dominating Set Problem. We propose a new formulation based on this study and apply dominance rules and symmetry-breaking techniques to reduce the search space and consequently speed up resolution time. We also introduce a perturbation of the proposed objective function, as well as a pruning rule for the perturbed model in order to further accelerate its resolution.

The Terwilliger algebras of association schemes over an arbitrary field $\mathbb{F}$ were called the Terwilliger $\mathbb{F}$-algebras of association schemes in [10]. In [7], He and Jiang studied the Terwilliger $\mathbb{F}$-algebras of factorial association schemes. In this paper, we continue studying the Terwilliger $\mathbb{F}$-algebras of factorial association schemes. We get all block idempotents of the Terwilliger $\mathbb{F}$-algebras of factorial association schemes. We get the $\mathbb{F}$-dimensions, the centers, the Jacobson radicals of the block algebras of the Terwilliger $\mathbb{F}$-algebras of factorial association schemes.

This paper studies a lattice structure for almost perfect matchings on certain planar, bipartite (plabic) graphs embedded in a disk. Postnikov's boundary measurement map, and subsequent related work, yielded that plabic graphs parameterize positroid cells within the totally nonnegative Grassmannian with the map itself given in terms of almost perfect matchings with fixed boundary condition. For finite planar bipartite graphs, Propp introduced a distributive lattice structure on their set of perfect matchings. Subsequently Muller--Speyer, provided this distributive lattice structure on the aforementioned almost perfect matchings with fixed boundary condition. Their work also identified the extremal matchings of this lattice for boundary conditions that coincide with face labels of the plabic graph given by the positroid structure. We extend this by giving an explicit construction of extremal matchings in terms of height functions and show that all possible boundary conditions of an almost perfect matching can be obtained within this construction.

For many trees $T$, the Ramsey number of $T$, denoted by ${\mathcal R}(T)$, is determined by the sizes of the partition classes in its unique bipartition. In 1976, Burr proved that when $T$ has partition classes of size $t_1$ and $t_2$ with $t_1 \le t_2$, the Ramsey number is at least $\max(2t_2-1,2t_1+t_2-1)$, and conjectured that this is tight. While counterexamples have been found for some pairs $(t_1, t_2)$, a main focus of research on this problem has been determining ratios $t_2/t_1$ or bounds on the maximum degree of $T$ for which Burr's bound is either exactly or asymptotically tight. We essentially resolve these questions for lopsided trees. Specifically, we show that (a) there are counterexamples whenever $t_2 \ge 2t_1$, with the order of magnitude of the difference between the largest Ramsey numbers and Burr's bound being $\max \left( t_1^2/t_2, \sqrt{t_1} \right)$, and (b) for $t_2 \ge 500 t_1$, Burr's bound is tight when $Δ(T) \le t_2 - t_1$, but is off by at least $C \log t_2$ (even when $t_2 \ge 2 t_1$) when $Δ(T) \gtrsim t_2 - t_1$. In particular, this shows that Burr's bound need not hold for $t$-vertex trees $T$ with $Δ(T) \approx t/3$.

In 2025 Cornet, Dravec, and Torres determined the domination number $γ(J(n, 3))$ of the Johnson graph for every even $n \ge 6$, expressing it as a closed form $φ_n$ in terms of Fort\textendash{}Hedlund covering numbers, and conjectured the same value for odd $n$. We prove this conjecture: $γ(J(n, 3)) = φ_n$ for every odd $n \ge 7$, completing the determination of $γ(J(n, 3))$ for all $n \ge 6$.

Godsil and Sun asked whether, for a strongly regular graph $X$ and any two different edges $e$ and $f$, the edge-deleted graphs $X\setminus e$ and $X\setminus f$ are degree-similar. We give an affirmative answer to the problem of Godsil and Sun. In fact, we prove the stronger statement that if $X$ is a $1$-walk-regular graph, then for any two edges $e$ and $f$ of $X$, the graphs $X\setminus e$ and $X\setminus f$ are orthogonally degree-similar. The proof is based on an edge version of the orthogonal-intertwiner method: the equality of the Gram matrices of the projected endpoint vectors in every eigenspace yields an orthogonal matrix commuting with the adjacency matrix and sending one pair of ordered endpoint vectors to the other.

In 2023, Greaves, Syatriadi, and Yatsyna found a set of $57$ equiangular lines in $\mathbb{R}^{18}$, breaking the previous record. In 2025, Lin, Munemasa, Taniguchi, and Yoshino constructed a large number of sets of $57$ equiangular lines in $\mathbb{R}^{18}$ as affine equiangular sets in an integral overlattice of $A_9^2 \oplus A_1$. In this paper, we construct further sets of $57$ equiangular lines in $\mathbb{R}^{18}$ from Latin squares of order $6$ and Pasch configurations, realized as affine equiangular sets in an integral overlattice of $A_5^3 \oplus A_1^4$. Unlike the previously known examples, these sets are not strongly maximal. Moreover, some of them have only five distinct Seidel eigenvalues, fewer than any previously known examples.

We derive a generating function identity for the joint distribution of the numbers of peaks of a permutation and its inverse, via enriched $P$-partitions. The coefficients of the corresponding peak polynomial $W_n(s,t)$ satisfy a second-order recurrence. A martingale formulation of this recurrence yields a bivariate central limit theorem, showing that the two statistics are asymptotically independent. We also give an exact closed form for their covariance, which is of order $n^{-1}$.

There are up to isomorphism exactly three strongly regular graphs with parameters $(120,56,28,24)$ whose automorphism group acts primitively on the vertices. Two of these graphs belong to classical families: one is the non-orthogonality graph on anisotropic points of the hyperbolic quadric $\mathcal Q^+(7,2)$, and the other one belongs to the Johnson scheme. The third one is not well understood. In this paper, we give a description of this graph in terms of ovoids and spreads of $\mathcal Q^+(7,2)$, or equivalently in terms of overlarge sets of Steiner systems with parameters $(3,4,8)$.

Let $Γ= (G, σ)$ be a signed graph and $v$ a non-isolated vertex of $Γ$. Let $Γ-v$ denote the graph obtained by deleting the vertex $v$ together with all signed edges incident to it from $Γ$, and $d_Γ(v)$ the degree of $v$ in $Γ$. In this paper, we prove that the largest eigenvalue $λ_1(Γ)$ of $Γ$ satisfies \[ λ_1(Γ) \le \sqrt{λ_1^2(Γ- v) + 2d_Γ(v) - 1}, \] and we also present a refined version of this bound. Moreover, we characterize the extremal signed graphs achieving equality when $Γ$ is connected and $d_Γ(v)\ge 2$, which are switching equivalent to the balanced complete signed graph.

The Dyn-Farkhi conjecture asserts that the square of the Hausdorff distance from a compact set to its convex hull is subadditive with respect to Minkowski addition. The conjecture is elementary in dimension 1, was recently proved by Meyer in dimension 2, and was disproved in dimensions $n\geq3$ by Fradelizi, Madiman, Marsiglietti, and Zvavitch. The symmetric case $A=B$, however, remained open. We show that the conjecture already fails in this restricted setting. More precisely, for every $n\geq3$, we construct a compact set $A\subset\mathbb{R}^n$ such that $$d(A(k))=d(A)>0$$ for every $1\leq k\leq n-1$, where $d(X)$ is the Hausdorff distance from $X$ to its convex hull and $A(k):=\frac1k (A+\dots+A)$ is the $k$-fold iterated Minkowski average of $A$. We also prove that the threshold $k=n$ is sharp: for every nonempty compact $A\subset\mathbb{R}^n$ with $n\geq 2$, we have $$d(A(n))\leq \left(1-\frac{n-1}{n(2n-1)}\right)d(A).$$

We study Euler characteristics of tropical subvarieties of tropical abelian varieties. We prove that every H-regular subvariety, locally modeled on tropicalizations of sufficiently well-behaved very affine varieties, has nonnegative signed Euler characteristic. This gives a tropical analogue of a theorem of Green-Lazarsfeld for subvarieties of complex abelian varieties. The main input is a local vanishing theorem for H-regular tropical fans, which also yields a Lefschetz-type theorem for affine H-regular tropical varieties. We further show that the signed Euler characteristic inequality fails for general tropical subvarieties of tropical abelian varieties, and we construct a 3-dimensional tropical fan whose link is not homotopy equivalent to a bouquet of 2-spheres.

We give a structural account of the finite free convolutions of Marcus, Spielman, and Srivastava in terms of reproducing kernel inner products on polynomial spaces and a multilinear model over the squarefree algebra. In this model, additive convolution becomes algebra multiplication, and the nilpotent logarithm linearizes it, recovering the finite free cumulants of Arizmendi and Perales. This perspective leads to a class $\mathcal{LC}_n$ of multilinear polynomials characterized by nonpositivity of higher-order cumulants, closed under additive convolution and satisfying several key permanence properties associated with negatively dependent measures. We show that every graph Laplacian pencil belongs to this class, with higher-order cumulants given by Hamiltonian cycle counts in induced subgraphs.

We present more than seventy optimal degree-diameter Cayley graphs that are non-isomorphic to previously known optimal Cayley graphs with the same degree and diameter. For each graph, we provide comprehensive data on its parameters and structural invariants. Comparison with known constructions reported by Marston Conder on the Combinatorics Wiki and in related works reveals significant differences in girth, algebraic connectivity, domination number, automorphism group structure, cycle distributions, distance-related properties, and other graph invariants. These findings show that optimal degree-diameter Cayley graphs are frequently non-unique. The new examples enlarge the catalogue of known optimal graphs and provide benchmarks for investigations in degree-diameter problems, algebraic graph theory, and extremal graph theory. Since some of the graphs were identified through randomized search techniques, the collection is not exhaustive.

Let $G$ be a finite abelian group of order $n$, and let $\mathsf M(G,m)$ denote the set of zero-sum sequences over $G$ of length $m$. We introduce the zero-sum polytope $\mathcal P_G$, a rational polytope of dimension $n-1$, whose lattice points encode zero-sum sequences: \[ |\mathsf M(G,m)|=|m\mathcal P_G\cap \mathbb Z^n|. \] This naturally realizes the enumeration of zero-sum sequences as a problem in rational Ehrhart theory, which leads to a combinatorial reciprocity theorem identifying the negative evaluations of the corresponding counting quasipolynomial with zero-sum sequences of full support. Our main results establish a face-stratified rigidity for zero-sum polytopes: whenever two such polytopes have equal total lattice point counts at specific dilations, the dimension-wise open-face strata are equinumerous. Moreover, we study the natural $\operatorname{Aut}(G)$-action on $\mathcal P_G$, derive equivariant generating functions and reciprocity formulas, and obtain cyclic sieving phenomena for natural cyclic actions.

Let $a_2''(n)$ and $b_2''(n)$ be the signed partition functions introduced by Andrews and El Bachraoui for interval-restricted partitions whose parts greater than $1$ are controlled by the smallest even part and by the number of ones. We prove two conjectures for these functions. The first gives the generating function for $a_2''(n)$ as an elementary rational term plus a false theta series with periodic signs; the second asserts that the companion coefficients $b_2''(n)$ take only the values $-1,0,1,2$. The central structural result introduces an auxiliary variable $z$ recording the number of non-compulsory parts greater than $1$. We obtain closed forms for the two resulting generating functions and prove the master identity $(1+q^2)\mathcal B(z,q)-(1+q)\mathcal A(z,q)=-q^4/(1-q^3)$ using both analytic and combinatorial techniques. At $z=-1$, this identity, together with a Rogers--Fine evaluation, gives the false theta formula for $a_2''(n)$ and an explicit generating function for $b_2''(n)$. The latter formula implies the asserted coefficient range and leads to an exact coefficient description of $b_2''(n)$. We also include a direct Heine--Rogers--Fine proof of the false theta formula, ordinary and fixed-refinement consequences of the master identity, and the resulting quantum modular interpretation.

Our paper shows that if a matroid contains the Fano plane or its dual as a minor, then its toric ideal does not have any quadratic Gröbner basis. More than 25 years ago, Hibi, Herzog, and Sturmfels established a direct connection between the existence of quadratic Gröbner bases and regular unimodular flag triangulations. Our paper solves a famous question posed by Herzog and Hibi on a polyhedral reformulation for the existence of quadratic Gröbner bases: we show that the base polytopes of the Fano plane and its dual do not have regular unimodular flag triangulations which implies the main result on Gröbner bases. Our proof relies on several novel tools: a lemma that connects the $1$-skeleton of a lattice polytope to the lattice points in its dilations, an encoding with Boolean formulas and SAT solvers, and symmetry-breaking arguments.

A long-standing conjecture in the emerging discrete Bakry-Émery theory asserts that bounded-degree graphs satisfying $\mathrm{CD}(0,\infty)$ have polynomial growth. In the present paper, we prove this conjecture for all edge-regular graphs, and even obtain a volume doubling estimate with a constant that depends only on the degree. This is made possible thanks to the discovery of a surprising self-improvement phenomenon, which seems of independent interest: any edge-regular graph satisfying $\mathrm{CD}(κ,\infty)$ for some $κ\in\mathbb R$ must in fact satisfy $\mathrm{CD}(κ,n)$ for some explicit, universal and optimal dimension parameter $n$.

A signed graph is a graph with signatures ($+1$ or $-1$) on its edges. A cycle is called positive if the product of its edge signatures is positive, and a signed graph is called balanced if each cycle in it is positive. The frustration index is the minimum number of edges whose deletion makes the signed graph balanced, which is considered to be a measurement of the imbalance of the signed graph. In this paper, we compare the frustration index of the all-negative signature with the maximum frustration index of all possible signatures on the unsigned graph. We classify some families of graphs into three scenarios: the all-negative signature does not maximise the frustration index, the all-negative signature maximises the frustration index non-uniquely, and the all-negative signature maximises the frustration index uniquely. For all three scenarios, we can exhibit chordal and non-chordal graphs alike. The classes we consider include apex trees, fan graphs, wheel graphs, and complete split graphs. Moreover, for the families of fan graphs and wheel graphs, we fully characterise and count the signatures maximising the frustration index. Throughout our study, we exhibit different classes of signed graphs for which the frustration index equals the number of edge-disjoint negative triangles. Moreover, as part of our study, we are able to refute three conjectures of Zaslavsky on the frustration index.

Spherical $G$-parking functions are a distinguished subset of standard monomials, arising from the skeleton ideals of the $G$-parking function ideal. Explicit spherical $G$-parking function enumeration formulas are known only in a few classes of graphs. In this paper, we consider a family of graphs $\Gl$ ($1\leq \ell \leq n-2$), obtained from the complete bipartite $K_{n+1}$ by deleting the $\ell$ edges joining vertex $1$ to the vertices in $F_\ell= \{n-\ell+1, \ldots, n\}$. The uprooted spanning trees of $\Gl-\{0\}$ are counted by the set $\UnFl$ of uprooted trees with the vertex set $[n]$ in which vertex $1$ is not adjacent to any vertex in $F_\ell$, and we establish that $|\UnFl| = (n-1)^{n-\ell-2}(n-2)^{\ell}(n-\ell-1).$ We derive this formula combinatorially and independently recover it as an application of the matrix tree theorem, obtaining some combinatorial identities as consequences. Finally, we determine the number of spherical $\Gl$-parking functions as $|\SPF(\Gl)| = (n-1)^{n-3}(n-\ell-1)^2.$

For $\boldsymbolα = (α_1, \dots, α_k) \in \mathbb{F}_2^k$, an $\boldsymbolα$-town is a set family in which every $i$-wise intersection has parity $α_i$. Denote by $f_{\boldsymbolα}(n)$ the maximum size of an $\boldsymbolα$-town on $[n]$. The classical oddtown and eventown problems study the cases $\boldsymbolα = (1, 0)$ and $(0, 0)$, respectively. We determine the sharp asymptotics of $f_{\boldsymbolα}(n)$ for all $\boldsymbolα$, answering questions of Johnston--O'Neill and Wei--Zhang--Ge. We also study a symmetric variant $g_{\boldsymbolα}(n)$, in which $i$-wise intersection sizes $|F_1 \cap \dots \cap F_i|$ are replaced by $i$-wise intersection-union sizes $|F_1 \cap \dots \cap F_i| + |F_1 \cup \dots \cup F_i|$.

In this paper, we prove that for every $k$ and every graph $H$ with $m$ edges and no isolated vertices, the Ramsey number $R(C_k,H)$ is at most $(k-1)m+1\le km$. This settles a problem of Erdős, Faudree, Rousseau and Schelp, which is listed as problem 34 in the graph theory collection.

A central open question in extremal design theory is Nash-Williams' Conjecture from 1970 that every triangle-divisible graph on $n$ vertices (for $n$ large enough) with minimum degree at least $0.75 n$ has a triangle decomposition. In this paper, we prove this conjecture in full. In 2016, Barber, Kühn, Lo, and Osthus proved that if the fractional relaxation of Nash-Williams' Conjecture holds for minimum degree $cn$ for some constant $c\ge 0.75$, then Nash-Williams' Conjecture holds for any constant $c' > c$. The previously best-known bound on the fractional relaxation was due to Delcourt and Postle from 2021 with $c= \frac{7+\sqrt{21}}{14} \approx 0.82733$. This bound on the fractional relaxation has grown in importance over the years as it has been directly tied to bounds for a number of other problems in extremal design theory. This paper consists of three parts. In Part I, our first main result is a proof of the Fractional Nash-Williams' Conjecture: if $G$ is a graph on $n$ vertices with minimum degree at least $\frac{3n}{4}$, then $G$ has a fractional triangle decomposition. In Part II, our second main result is a Fractional Stability Theorem for Nash-Williams' Conjecture: if a graph $G$ on $n$ vertices has minimum degree close to $\frac{3n}{4}$ but no fractional $K_3$-decomposition, then $G$ is close (in edit distance) to the join of two $\frac{n}{4}$-regular graphs each on $\frac{n}{2}$ vertices. We use this to prove that if a triangle-divisible graph $G$ on $n$ vertices has minimum degree close to $\frac{3n}{4}$ but no $K_3$-decomposition, then $G$ is close (in edit distance) to the join of two $\frac{n}{4}$-regular graphs each on $\frac{n}{2}$ vertices. In Part III, our final main result is a proof of Nash-Williams' Conjecture in full.