arXiv++ Combinatorics

A valuation-theoretic framework is developed for studying tropical degenerations of multilinear network games. Equilibrium conditions are modeled by an ideal over the Puiseux field, and valuation classes and cluster multiplicities are used to describe the organization of Puiseux equilibrium branches under degeneration. For valuation vectors lying in the relative interiors of generator-wise maximal tropical cells, multilinearity is shown to force a binomial reduction of the generator-wise initial system. The resulting binomial systems are governed by exponent-difference graphs, strongly connected component decompositions, and lattice indices computed via Smith normal form. In particular, unimodular diagonal blocks yield initial-coefficient rigidity, whereas non-unimodular blocks give rise to torsion-type leading-coefficient multiplicities. The generic binomial theory is complemented by a collision-normalized cross-prism family. In this family, 2^L Puiseux equilibrium branches share the same valuation vector and the same leading-coefficient vector. The corresponding limiting initial fiber is supported at a single torus point, but this point is nonreduced with scheme-theoretic length 2^L. Thus valuation coalescence is realized as an intrinsic scheme-theoretic collision rather than merely as a loss of higher-order terms. These local degeneration invariants are then related to the algebraic-degree theory of network games, showing how global equilibrium counts can be refined by valuation classes, binomial initial systems, Smith lattice data, and nonreduced collision fibers.

Fix $k \in \mathbb{N}$ and let $G$ be a connected graph with treewidth at most $k$. We say that $xy \notin E(G)$ is a {\em $k$-ghost-edge} of $G$ if for every tree decomposition $(T, \cB)$ of $G$ with width at most $k$, both $x$ and $y$ are contained in a bag of $(T, \cB)$. Moreover, if $G$ does not contain any $k$-ghost-edges, then $G$ is {\em $k$-ghost-free}. Hickingbotham proposed a conjecture that every connected $k$-ghost-free graph $G$ has a tree decomposition $(T, \cB)$ with width at most $k$ such that $T$ is a subgraph of $G$. In this paper, we prove that Hickingbotham's conjecture is false for all $k\geq3$.

Determining an upper bound on $s$ for vertex-primitive $s$-arc-transitive digraphs has been an open problem of considerable interest since a question asked by Praeger in 1990. Although much progress has been made and an upper bound is conjectured to be $2$, a complete classification for $s=2$ remains out of reach. In this paper, we prove that the tight upper bound on $s$ for finite vertex-primitive $s$-arc-transitive Cayley digraphs is exactly $2$. Furthermore, we completely characterize the structure of these digraphs when $s=2$.

We prove a conjecture that arose in the context of a subspace enumeration problem over finite fields. We prove, more generally, a bibasic, double-sum identity, which extends a $q$-analogue of the (terminating) binomial theorem.

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.

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.

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

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.

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.

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.

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

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.

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.