math.CO ↗ arXiv
5274 papers in this category
Two-place Laplacian matching root integral variations are impossible
Wang, Cui, and Cioabă introduced the Laplacian matching root integral variation of a graph and proved that it cannot occur in one place. They also showed that the two-place variation is impossible for connected graphs satisfying $g(G)/c(G)>7/6$, where $g(G)$ is the girth and $c(G)$ is the dimension of the cycle space, and conjectured that no connected graph admits such a two-place variation. In this paper, we confirm this conjecture. The proof combines a structural relation obtained in their paper with two new power-sum identities for Laplacian matching roots.
Hypergraph extensions of the Alon--Frankl Theorem and rainbow Turán problems
Given a graph $F$, the $r$-expansion $F^{(r)+}$ of $F$ is the $r$-uniform hypergraph obtained from $F$ by inserting $r-2$ new distinct vertices in each edge of $F$. Recently, Alon and Frankl (JCTB, 2024) and Gerbner (JGT, 2023) studied the maximum number of edges in $n$-vertex $F$-free graphs with bounded matching number, respectively. Gerbner, Tompkins and Zhou (EJC, 2025) considered the analogous Turán problems on hypergraphs with bounded matching number. In this paper, we study hypergraph extensions of the Alon--Frankl Theorem. More precisely, we determine the maximum number of hyperedges in an $n$-vertex $r$-uniform hypergraph containing neither a matching $M^r_{s+1}$ nor the expansion $K_{\ell+1}^{(r)+}$ of the clique $K_{\ell+1}$ for all small $s<\frac{\ell^2-1}{2}$ and all sufficiently large $s$, respectively. As a key tool, we determine the rainbow hyper-Turán number for expansions of cliques, which extends the result of Keevash, Saks, Sudakov and Verstra{ë}te (AAM, 2004) on rainbow copies of cliques. This shows a correlation between the hyper-Turán problem and the rainbow Turán number.
Latin hypercubes with restricted transversals
A $k$-plane of a $d$-dimensional array is a subarray formed by fixing $d-k$ coordinates and allowing the remaining $k$ coordinates to vary freely. A Latin hypercube of dimension $d$ and order $n$ is an $n\times n\times\cdots\times n$ array of dimension $d$ containing symbols from an $n$-set, such that each $1$-plane contains each of the possible entries exactly once. A transversal in a Latin hypercube of order $n$ is a set of $n$ entries of the hypercube, no pair of which agree in any coordinate or contain the same symbol.
The aim of this paper is to construct Latin hypercubes that have transversals but which have many entries that are not in any transversal, or for which the number of disjoint transversals is limited. We show the following results in the case when the dimension $d$ is even. For all even $n\ge 10$ there exists a Latin hypercube of order $n$ that contains a transversal but for which all transversals hit one $(d-2)$-plane. For $n\in\{6,8\}$ there exists a Latin hypercube of order $n$ that contains a transversal but for which all transversals hit one of two $(d-2)$-planes. For even $d>2$ there is a Latin hypercube of order $n=4$ that contains a transversal but has $2^d$ entries that are not in any transversal.
Our constructions use a quasigroup $(Q,\ast)$ to increase the dimension of a Latin hypercube using the rule $H_d(x_1,\dots,x_d)=H_{d-1}(x_1,\dots,x_{d-1})\ast x_d$. We give several characterisations which allow us to diagnose which entries of $H_d$ are in transversals in terms of properties of $H_{d-1}$ and $Q$.
Properties of tensorial free cumulants
In the past two years, several points of view have been proposed to address the question of the generalization of the theory of free probability to random tensors with different invariances, and it is unclear at this point whether they lead to the same notions of tensorial free cumulants and freeness. One way to approach this problem, developed by Collins, Gurau and the second named author for local unitary invariant random tensors, relies on finite size quantities involving averages over the invariance group, and whose asymptotics naturally possess the properties expected for tensorial generalizations of free cumulants of arbitrary orders. At this point, this approach has only been carried out for certain distributions, and for a subset of the moments that define such theories, and a more systematic and exhaustive study is lacking.
This is the program initiated in this paper: we link this approach to the one proposed by Nechita and Park; extend a number of their results as well as those of the aforementioned paper to arbitrary orders of fluctuations, thereby generalizing higher order free cumulants; push further the study of distributions with larger invariance groups; detail the link with the asymptotics of the free-energies of the tensor HCIZ and BGW integrals; and provide formulae for tensorial free cumulants of products of tensors.
Another important question is that of the definition of concrete distributions whose tensorial free-cumulants take non-trivial values. We compute the tensorial free cumulants for Gaussian random tensors with non-trivial covariances, and show that they provide such examples.
Generalization of Square Tiling Properties via Linear Algebra
While it is a classical result dating back to Dehn (1903) that squares composing a perfect rectangle must have rational side lengths, the arithmetic complexity of these tilings, specifically the growth of the denominators of these rational sizes, has remained largely unexplored. This paper addresses this gap by providing an explicit upper bound on these denominators. Departing from traditional electrical network analogies, we introduce a purely algebraic framework where the tiling's incidence geometry is encoded into a block matrix. This approach allows us to reduce geometric constraints to a finite set of additive relations and to prove, through the theory of total unimodularity of interval matrices (Ghouila-Houri, 1962), that the least common multiple of the denominators is bounded by $2^n$, where $n$ is the order of the tiling. We demonstrate the power of this result by providing a remarkably brief and self-contained proof of Richard Kenyon's 1996 theorem regarding the minimum number of squares required to tile a rectangle of integer dimensions.
Schur States, Average Mixing, and Counting Trees on Line Graphs' CTQW
We introduce a family of complex-valued edge weights on a finite simple graph $\G$ arising from a continuous-time quantum walk on the line graph $\ell\G$, packaged as the \emph{Schur state}: an $n \times n$ Hermitian matrix encoding the amplitudes of an edge-state walk. The entrywise modulus square induces a real-weighted adjacency matrix $A(e)$ and Laplacian $L(e)$, and time-averaging yields a weighted graph whose spanning-tree count we relate to that of $\G$. Our main result is \[
tn\!\left(\G, \tfrac{1}{m}\right) = \frac{1}{m^{n-1}}\, tn(\G), \] valid whenever the initial edge state is \emph{uniform commutative}, where $n=|V\G|$, $m=|E\G|$, and $tn(\G, w)$ denotes the weighted spanning-tree count. We further identify a structural mechanism -- the $-2$ eigenspace of $\ell\G$ -- providing uniform commutative states beyond the regular case, in particular for line graphs of Eulerian graphs with an even number of edges. As a side result, we establish that commutative states are precisely the states whose von Neumann entropy is preserved under average mixing.
Gaps in Multiplicative Sidon Sets
For a positive integer $n$, let $g(n)$ denote the infimum of all real numbers $L$ such that there exists a multiplicative Sidon set $A\subseteq\{1,2,\dots,n\}$ that intersects every interval $[x,x+L]\subseteq[1,n]$. Sárközy asked for estimates on $g(n)$, and he in particular asked whether one has $g(n)\le\sqrt n$ for every $n\in\mathbb{N}$. We first show that this estimate does indeed hold, with a proof that was autonomously discovered and formally verified in Lean by Aristotle. Next, we improve the upper bound further and, with $ρ= \frac{13-\sqrt{69}}{10} < 0.47$, prove that $g(n)\ll_{\varepsilon} n^{ρ+\varepsilon}$ for every $\varepsilon > 0$.
Faster Mixing for Triangulations via Transport Flows
We prove an $\widetilde O(n^2)$ bound for the \emph{relaxation time} and the \emph{log-Sobolev time} (inverse log-Sobolev constant) of the classical triangulation flip chain on a convex $(n+2)$-gon, implying a mixing time of $\widetilde O(n^2)$. The previous state of the art for the mixing time of this chain, due to Eppstein and Frishberg, was $\widetilde O(n^3)$, while the best known lower bound on the mixing time, due to Molloy, Reed, and Steiger, is $Ω(n^{3/2})$. Our relaxation time bound makes significant progress towards Aldous' conjectured bound of $Θ(n^{3/2})$ for the relaxation time.
We improve upon the analysis of Eppstein and Frishberg by further developing the framework of \emph{transport flows} introduced in the work of Chen et al. In this light, our results can be seen as a more efficient way of using combinatorial decompositions to obtain functional inequalities for Markov chains. We hope our ideas will find other applications in the future.
Higher Commutativity in Finite Groups: Exact Asymptotics and Finite Spectrum
For a finite group G, we study the higher commuting probabilities, namely the probabilities that r randomly chosen elements of G commute pairwise, together with the corresponding numbers of simultaneous conjugacy classes of commuting r-tuples. We prove an exact dominant asymptotic for the number of homomorphisms from the free abelian group of rank r to G. The exponential base is the maximum order of an abelian subgroup of G, and the leading coefficient is the number of abelian subgroups of that order. As a consequence, the r-th root of the higher commuting probability tends to this maximum abelian-subgroup order divided by the order of G, while the r-th root of the orbit count tends to the maximum abelian-subgroup order itself. We also prove that the associated rank-generating series is rational and has a finite Dirichlet-spectrum expansion supported on abelian subgroup indices. This spectrum yields a finite linear recurrence, a finite-rank Hankel matrix, and an inverse finite-spectrum theorem: the tail of the hierarchy determines the full abelian-index spectrum. For split abelian extensions, we express the dominant base through fixed-subgroup geometry, and for abelian acting quotients, we obtain an exact subgroup-lattice formula. In the cyclic and coprime cases, this gives closed formulas for all spectral coefficients.
Generic Irreducibility of Bloch Varieties for Periodic Graph Operators
We give a complete characterization of generic irreducibility for dispersion polynomials and Bloch varieties of periodic graph operators. More precisely, we prove that for a generic choice of edge weights and potentials, the dispersion polynomial/Bloch variety of a nontrivial periodic graph is irreducible if and only if the quotient graph is connected.
Our proof uses a strong dichotomy for parameterized Laurent polynomials: reducibility either occurs for every parameter or fails on a nonempty Zariski-open set. After establishing this dichotomy, we reduce the problem to minimally connected periodic graphs.
Improved Rate-versus-Distance Upper Bounds for LDPC Codes
LDPC codes play a vital role in coding theory and practical error correction. A central problem in this direction is to understand their rate--distance tradeoff. In this paper, we introduce a new framework for estimating ball sizes in the coset graphs of LDPC codes. The key new object is the coset-weight generating function, which encodes the minimum Hamming weights of all cosets of a linear code. Rather than estimating coset balls directly, we upper-bound this generating function through a local growth analysis for codes spanned by low-weight vectors. This framework sharpens the previous ball-size estimate of Iceland and Samorodnitsky. Combined with a general method of Friedman and Tillich that relates balls in coset graphs to sizes of error-correcting codes, it further improves the upper bounds on the rate of LDPC codes for a significant range of relative distances.
Tree-alpha and excluding finitely many graphs
We prove that a hereditary graph class $\mathcal{G}$ defined by finitely many excluded induced subgraphs has bounded tree-$α$ if and only if it is "$(\mathrm{tw},ω)$-bounded" (that is, for all $t\in \mathbb N$, the class of all $K_t$-free graphs in $\mathcal{G}$ has bounded treewidth). Equivalently, $\mathcal{G}$ has bounded tree-$α$ if and only if it excludes a complete bipartite graph, a forest whose components each have at most three leaves, and the line graph of such a forest.
This resolves two conjectures of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht: the above, and a weaker one that for all $a,b\in \mathbb N$, every hereditary class that excludes $K_{a,a}$ and the $b$-vertex path has bounded tree-$α$. The latter was already open even for $(a,b)\in \{(2,7),(3,5)\}$, and only recently proved for $(a,b)=(2,6)$.
The Normal Domination Partizan Game in Stars
The Domination game is an impartial game on graphs, introduced in 2010, and proved PSPACE-complete in the normal variant in 2026. In this game, Alice and Bob alternately select playable vertices, where a vertex is playable if it dominates at least one vertex not dominated by the vertices selected before in the game. The game ends when the selected vertices form a dominating set. In the normal variant, the player unable to move loses. In contrast to the impartial game, the partizan game has the vertices already colored with $A$, $B$, or $C$, in such a way that Alice (resp. Bob) can only select vertices colored with $A$ (resp. $B$) or $C$. The partizan game was proved PSPACE-hard in 2026. In this paper, we determine the winner of the Normal Partizan Domination game in graphs whose components are complete split graphs, including star forests, for any initial coloring of its vertices. We also obtain partial results for complete bipartite graphs.
Extremal Problems for the Family of $k$-Strongly Connected Digraphs
Let $\mathcal{D}$ be a family of digraphs. A digraph $D$ is \emph{$\mathcal{D}$-saturated} if it contains no member of $\mathcal{D}$ as a subdigraph, but for any arc $e$ in the complement of $D$, the digraph $D + e$ contains some member of $\mathcal{D}$ as a subdigraph. The \emph{saturation number} $\mathrm{sat}(n,\mathcal{D})$ and the \emph{extremal number} $\mathrm{ex}(n,\mathcal{D})$ are the minimum number and the maximum number of arcs among all $n$-vertex $\mathcal{D}$-saturated digraphs. For a positive integer $k$, let $\mathcal{D}_k$ denote the family of \emph{$k$-strongly connected digraphs}. In this paper, firstly, we prove that $$\mathrm{sat}(n,\mathcal{D}_k)=(k-1)(2n-k)+\binom{n-k+1}{2}.$$
Then for $n\geq 3(k-1)$, we prove that $$\mathrm{ex}(n,\mathcal{D}_k)\leq \binom{n-k+1}{2}+\frac{17}{6}(k-1)(n-k+1).$$ In addition, we conjecture that for sufficiently large $n$, $$\mathrm{ex}(n,\mathcal{D}_k)=\binom{n}{2}+\frac{3}{2}(k-\frac{4}{3})(n-k+1).$$
The deviation from right angles in $k$-subsets of points in the plane
A problem originating with Erdős and Silverman in the 1970s asks for the minimum integer $r(k)$ such that any set of $n \ge r(k)$ points in the plane has some $k$-subset with no right angles. The case $k=4$ has an interesting gap between the known bounds, namely $8 \le r(4) \le 10$. Here, we consider a relaxation that quantifies the deviation from right angles. Specifically, we study $Γ_k(n)$, the supremum of angles $γ$ such that every $n$-set of points in $\mathbb{R}^2$ has a $k$-subset with all angles outside of the interval $90^\circ \pm γ$. We show that $4^\circ \le Γ_4(10) \le 9.292^\circ$. For large $n$, the quantity $Γ_3(n)$ is closely related to a classical minimax angle problem pioneered by Blumenthal, Erdős and Szekeres. We give bounds on $Γ_k(n)$ for a general $k$ and large $n$.
Toric Schubert Varieties in Partial Flag Varieties
In this article, we investigate the toric Schubert varieties in partial flag varieties $G/P$ for a connected semisimple algebraic group $G$. Using Deodhar's decomposition of Richardson varieties and the work of Pasquier, we give an explicit description of the fan of a toric Schubert variety, leading to a combinatorial model for its cones. As an application, we obtain necessary and sufficient conditions for smoothness of toric Schubert varieties in terms of the Cartan integers associated to a reduced expression. Furthermore, we prove that for a Coxeter-type element $w \in W^P$, the interval $[e,w]_{W^P}$ is a supersolvable join-distributive lattice. Finally, we apply these results to the study of spherical and horospherical Schubert varieties, providing a combinatorial method for checking the smoothness via the associated toric Schubert varieties.
Bowen--Franks groups and minus class groups of cyclotomic number fields with prime conductor
Let $p$ be an odd rational prime and consider the cyclotomic number field $K = \mathbb{Q}(ζ_{p})$ of conductor $p$. We construct a directed graph $Y$ on $p-1$ vertices for which the torsion part of the corresponding Bowen--Franks group is closely related to the minus part of the class group of $K$. In particular, both groups have the same cardinality up to an explicit power of $p$. Furthermore, they are both $\mathrm{Gal}(K/\mathbb{Q})$-modules, and we prove the equality of the cardinalities of their isotypic components after tensoring them with the valuation ring of an appropriate $\ell$-adic field for $\ell \nmid p-1$.
Facial diagrams and cycle double cover
We approach the cycle double cover conjecture by looking for a circular 2-cell embedding of cubic graphs on an arbitrary surface. It is easy to see that if such an embedding exists, we can get to it from an arbitrary starting 2-cell embedding by repeating ``twists of an edge''. We study this twisting operation in detail and deduce bounds on the number of singular edges (edges where a face meets itself).
Variants of Wythoff's Games with Different Terminal Sets
We study a variant of the classical Wythoff's game. The classical form is played with two piles of stones, from which two players take turns to remove stones from one or both piles. When removing stones from both piles, an equal number must be removed from each. The player who removes the last stone or stones is the winner. Equivalently, we consider a single chess queen placed somewhere on a large grid of squares. Each player can move the queen toward the upper-left corner of the grid, either vertically, horizontally, or diagonally in any number of steps. The winner is the player who moves the queen to the terminal position in the upper-left corner, the position (0,0) in our coordinate system. Let k be a positive integer, and we consider the variant of Wythoff's game with the terminal set {(x,y):x,y are non-negative integers and x+y <=k}. The set of P-positions of this variant is described by the Fibonacci sequence without using recursion.
Multiplicative error set system sparsification: A simpler proof via chain length contraction
The chain length of a set family $\mathcal{S} \subseteq 2^{[m]}$ is the largest ascending sequence of sets in containment order in the union-closure of $\mathcal S$. In this work, we provide a significantly simpler and more optimal characterization of the sparsifiability of set systems in terms of their chain length, improving on the work of Brakensiek and Guruswami [STOC 2025]. Our proof relies on a generalization of Karger's [SODA 1993] famous contraction algorithm and its recent linear algebraic extensions [Khanna-Putterman-Sudan SODA 2024], and our resulting bounds show that, just as VC dimension characterizes the \emph{additive sparsifiability} of a set system, chain length governs the \emph{multiplicative sparsifiability}. As a corollary, we obtain improved bounds for weighted CSP sparsification.