math.CO ↗ arXiv
7121 papers in this category
Arrangements of Consecutive Numbers in Mallows Permutations
We study the random variable that counts the number of specific arrangements of clustered consecutive numbers in permutations under the Mallows distribution. We provide an asymptotic expression for the expected value of this random variable. This result extends and tightens the previously known result by Pinsky (2022) concerning clustered consecutive numbers in Mallows permutations. Moreover, we identify a range of parameters for which the distribution of the number of arrangements of clustered consecutive numbers in Mallows permutations is close to a Poisson distribution.
On the Spectra of Digraph Laplacians
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.
On a Conjecture of D. B. Shapiro
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.
Balanced Sperner families via the topological Tverberg theorem
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.
Handbook of Error-Correcting Codes
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.
Dominance and symmetry-breaking rules for the Graph Burning Problem
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.
On Terwilliger $\mathbb{F}$-algebras of factorial association schemes II
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.
Extremal Matchings and Height Functions
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.
On Balance, To What Degree is Burr's Conjecture True?
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$.
Domination in Johnson graphs J(n, 3) for odd n
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$.
Orthogonal degree-similarity of edge-deleted strongly regular graphs
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.
The two-sided peak polynomial
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}$.
A sporadic strongly regular graph with parameters $(120,56,28,24)$ from a primitive action of the symmetric group on $7$ elements
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)$.
Index perturbation of signed graphs
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 sharp threshold for Hausdorff convexification under Minkowski addition
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).$$
Topology and Euler characteristics of tropical varieties
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.
Finite free convolution via reproducing kernels and squarefree algebras
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.
Non-Isomorphic Optimal Cayley Graphs
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.
On zero-sum polytopes: reciprocity, rigidity, and cyclic sieving
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.
Weighted partitions with interval restrictions: exact formulas and a bivariate master identity
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.