arXiv++ Combinatorics

We show the subgroup of 20 nonzero fourth powers in the finite field of order 81 is a cap set. Similarly, the subgroup of 9 nonzero seventh powers in the field of order 64 is a cap set. These are the cases related to the card games of SET and EvenQuads, and both are known to be maximal cap sets. A corollary is that the cosets of these subgroups form a partition by maximal caps of the multiplicative groups of their respective fields. We identify certain multiplicative subgroups of fields of orders 243 and 729 as cap sets, and show in general that the subgroup of $(2^n-1)$-th powers is a cap set in the field of order $2^{2n}$.

We develop a terminal-defect method for the double Dixie cup problem and use it to prove the finite-variance extremality conjecture of Doumas and Papanicolaou. For every \(m\ge1\) and \(N\ge2\), among all positive coupon probability vectors \(p=(p_1,\ldots,p_N)\), the variance of the time \(T_m(N)\) to collect \(m\) complete sets is uniquely minimized at the uniform vector. We prove the stronger radial statement that the variance is strictly increasing along every ray from the uniform vector. The proof is finite-\(N\) and exact: after Poissonization, the completion time is a maximum of independent Erlang variables, and the radial derivative of its distribution is compared to a size-biased law using a monotone-likelihood-ratio argument based on a log-scale monotonicity property of the Gamma reverse hazard. The same framework gives a growing-multiplicity Gumbel theorem in the equal-probability case, with expectation and variance asymptotics on the inverse gamma-tail scale. This recovers the fixed-\(m\) equal-probability variance asymptotic stated as Conjecture 1 by Doumas and Papanicolaou, classically known for \(m=1\), and extends the mechanism to \(m=m_N\). We also illustrate the unequal-probability theory with endpoint-Laplace limits for power-law probabilities.

Christoph, Draganić, Girão, Hurley, Michel, and Müyesser conjectured that, when $d\mid n$, the expected number of cycles in a uniformly random cycle-factor of a directed $d$-regular graph on $n$ vertices is uniquely maximised by the disjoint union of $n/d$ copies of the complete looped digraph $K_d^\circ$, with value $(n/d)H_d$ [FOCS 2025]. We disprove this conjecture in the strongest possible range. For every $d\ge 3$ and every multiple $n=kd$ with $k\ge 2$, we construct a directed $d$-regular graph on $n$ vertices whose uniformly random cycle-factor has expected cycle count strictly larger than $kH_d$. We also show that the conjectured extremal picture is correct in degree $d=2$, giving a sharp dichotomy between degree two and all higher degrees.

We study statistical properties of random numerical semigroups of a given genus. We analyze the graph of a typical numerical semigroup, understood as a function from $\mathbb{N}$ to $\mathbb{N}$. If $S$ is a numerical semigroup of genus $g$, this leads us to consider the collection of points $\left(\frac{k-1}{g-1},\frac{a_k(S)}{g} \right)$ where $1 \le k \le g$ and $a_k(S)$ denotes the $k$th smallest nonzero element of $S$. We show that as $g \rightarrow \infty$, this set of points typically becomes closer to a union of two line segments. We prove analogous results for numerical semigroups ordered by Frobenius number.

A graph is Schur-positive if its chromatic symmetric function expands non-negatively in the Schur basis. We determine a full Schur-positivity classification for complete multipartite graphs by showing that a complete multipartite graph $K_λ$ is Schur-positive if and only if either $λ_i\in \{1,2\}$ for all $i$ or $λ=(3,2^β)$ for some $β\ge 1$. These results extend earlier classifications for complete bipartite and complete tripartite graphs to full generality. Our proofs combine structural arguments ruling out most cases, with a combinatorial analysis of Schur coefficients for the remaining family $K_{(3,2^β)}$ via special rim hook $G$-tabloids. Along the way, we establish a simpler formula for Schur coefficients of incomparability graphs, which we then apply to compute the coefficients of interest in terms of non-increasing sequences.

Tilings of a surface of negative Euler characteristic by n-gons with n\ge 7 is a finite problem. We develop the algorithm for finding all the tilings for fixed number of tiles and present the calculation for tilings of surfaces of small genus by two tiles. We also discuss the number of distinct edge lengths in multiple tile tilings.

This paper concerns fractional $K_s$-decompositions of multipartite graphs. For integers $r\ge s\ge 3$, we consider balanced $r$-partite graphs $G$ on $rn$ vertices. We establish necessary conditions for $G$ to admit a fractional $K_s$-decomposition, extending the notion of $s$-admissibility from the case $r=s$ to $r>s$. Using an association scheme on the edge set of a complete $r$-partite graph, we prove that if $r\ge s+2$ and the partite minimum degree of $G$ is at least $(1-c)n$ with $c\le 1/((s-2)(s+1)(s-1)^4)$, then $G$ has a fractional $K_s$-decomposition. For $r=s+1$, we show that under the condition $c\le 1/(3s^3(s-2)^2)$, every $s$-admissible balanced $(s+1)$-partite graph with partite minimum degree at least $(1-c)n$ admits a fractional $K_s$-decomposition. These results provide new degree thresholds for fractional $K_s$-decompositions of multipartite graphs with more than $s$ parts.

Scaffolds are the one-dimensional skeleta of high-dimensional flag simplicial complexes of nonpositive curvature. They generalize the phylogenetic trees of Trop G(2,n) to arbitrary $k$, drawing together SL(k)-web bases, affine buildings, the combinatorics of the positive tropical Grassmannian and low-dimensional topology. We prove that scaffolds model points in all tropical Grassmannians via a $k$-point distance function. In this paper, we study in detail CAT(0) planar graphs, which are positive scaffolds for the tropical Grassmannian of three-planes. CAT(0) planar graphs are directed versions of the diskoids of Fontaine-Kamnitzer-Kuperberg, planar dual to SL(3)-webs. Our main result is the construction of a unique representation of any given integer positive tropical Plucker vector by a normal CAT(0) planar graph. We show that any normal CAT(0) planar graph embeds into the tropical linear space as a Lam-Postnikov membrane, and embeds into the Keel-Tevelev membrane within the affine building. We show that Early's planar basis expansion can be computed directly from the strand combinatorics of the dual web, and connect this expansion to Petersen-Pylyavskyy-Speyer's noncrossing tableaux, explored further in our companion paper.

While the positive Grassmannian is deeply understood through the rich combinatorics of plabic graphs and positroid cells, its tropical counterpart, the positive tropical Grassmannian Trop$_{>0}G(k,n)$, has lacked a comparable structural framework for general $k$. Both the global face structure of Trop$_{>0}G(k,n)$ and the internal metric geometry of the tropical linear spaces it parametrizes have remained largely uncharted. This paper develops a systematic algebraic and polyhedral foundation that resolves this gap. The engine of our framework is a fundamental tropical duality, analogous to the duality between cluster variables (or more precisely, their $u$-coordinates) and $\mathbf{g}$-vectors, pairing two families of objects introduced by the first author: the planar basis of tropical Plücker vectors and the planar cross-ratios on the positive configuration space. We prove that this duality links the fan structure of the positive tropical Grassmannian to the noncrossing fan of Santos, Stump, and Welker, yielding a global bijection between integer points of $Trop_{>0}G(k,n)$ and noncrossing tableaux. We then study how this discrete combinatorial data controls the continuous metric geometry of positive tropical linear spaces. We realize the bounded complex of an integer positive tropical linear space as the subdifferential of a central roof function on the hypersimplex, and use this realization to embed it into a dilate of the fundamental alcoved simplex. The dilation factor, and hence the geometric diameter of the complex, is governed by a single invariant, the planar kinematics ($K) weight, which we show equals the number of columns in the associated noncrossing tableau. The results of this work are applied in our parallel work on scaffolds for higher tropical Grassmannians.

A finite set $S \subset \mathbb{Z}$ is a \emph{Sidon set} if its pairwise differences are distinct. A \emph{perfect difference set} (PDS) of order $n$ is a set $B \subset \mathbb{Z}_v$ ($v = n^2 - n + 1$) of size $n$ such that every nonzero residue arises exactly once as a difference of two elements of $B$. Erdős's \$1000 conjecture -- that every finite Sidon set extends to a finite PDS -- was disproved by Alexeev and Mixon (arXiv:2510.19804, October 2025) via the size-5 counterexamples $\{1,2,4,8,13\}$ and Hall's earlier $\{1,3,9,10,13\}$; they raised the question of the smallest size $s$ of a non-extending Sidon set, with $3 \le s \le 5$. We present strong empirical evidence that $s = 4$. Specifically we exhibit two integer Sidon sets, \[ A = \{0, 1, 3, 11\}, \qquad B = \{0, 1, 4, 11\}, \] together with the apparent infinite family of dilations $kA$, $kB$ and their reflections, all of which fail to extend for every prime power $q \le 317$ via the Singer affine-orbit check (rigorous under Hall's 1947 uniqueness for Desarguesian cyclic planes through $q \le 40$ and under the prime-power conjecture beyond that), and unconditionally for every modulus $v \le 133$ via brute-force depth-first search. We give the exact density formula $N_{\text{ne}}(N) = 4 \lfloor N / 11 \rfloor$ of non-extending size-4 Sidon sets in $[0, N]$ for $N \le 50$, an exact match suggesting the $kA, kB$ family is complete in this range. A complete proof, in the spirit of Alexeev--Mixon's polarity argument or via a multiplier descent, remains the central open problem.

We study Chebyshev quotients that arise in the representation theory of Lie algebras, specifically within the theory of Demazure flags for fusion products of $\mathfrak{sl}_2[t]$-modules. Motivated by a recent formula that expresses certain Demazure multiplicities as coefficients of such quotients, we prove a general eventual non-negativity theorem: each quotient either terminates or has strictly positive coefficients for sufficiently large degrees, which we in turn interpret in terms of matchings and bounded walks. In several natural infinite families, these are unsigned bounded Dyck path models, giving both a structural explanation for the observed positivity phenomenon and concrete combinatorial models for key families of Demazure multiplicities. The theorems in this paper were autonomously produced and formalized in Lean/Mathlib by AxiomProver from natural-language statements.

The longstanding Nash-Williams conjecture asserts that every $K_3$-divisible graph $G$ with $δ(G)\ge 3n/4$ admits a triangle decomposition. In the random setting, Frankl and Rödl showed that, with high probability, $G(n,p)$ contains a triangle packing covering all but $o(n^2p)$ edges whenever $p\ge n^{-1/2+\varepsilon}$. In this paper, we study near-perfect triangle packings in randomly perturbed graphs. We prove that for every $d>0$ and every $p>2d/(1+2d)$, if $G_d$ is a $dn$-regular graph on $n$ vertices, then with high probability the union $G_d\cup G(n,p)$ contains a triangle packing covering all but $o(n^2)$ edges. Moreover, this bound on $p$ is best possible for $0<d\le 1/2$, thereby determining the threshold in this range. A key ingredient in the proof is a new triangle-weighting lemma for weighted complete graphs.

The $A_α$-matrix of a digraph $D$ is defined as a linear convex combination $α\operatorname{Deg}(D)+(1-α)A(D)$ of the adjacency matrix $A(D)$ and the diagonal out-degree matrix $\operatorname{Deg}(D)$, where $α\in[0,1]$. The low energy of $A_α(D)$ is defined as the sum of the absolute values of the real parts of the eigenvalues of $A_α(D)$. In this paper, we establish new upper bounds for the spectral radius of the $A_α$-matrix and derive two Koolen--Moulton type upper bounds for its low energy, together with characterizations of the equality cases. Numerical comparisons further show that these bounds can be sharper than existing bounds for certain digraph families. Furthermore, when $α=0$, our results recover several classical bounds, and in particular, the low-energy bounds generalizes the classical Koolen--Moulton bound.

We estimate the maximum ratio between the $σ_t$- and $σ$-irregularity for graphs and trees of order $n$, which are respectively bounded by $Θ(n^{5/2})$ and $n-2$. This answers a question and a conjecture by Filipovski et al. in an elegant way. For trees, we obtain that the (Albertson) irregularity measure $\irr$ is an upper bound for the graph variance (normalised with the order).

The continuous linear $P(k; N, w)$ and circular scan statistics $P_c(k; N, w)$ are fundamental tools in probability and spatial statistics, frequently used to detect clustering in uniform data. Let $X_1, X_2, \dots, X_N$ be independently and uniformly distributed random variables on a unit interval or unit ring. The exact distribution of these scan statistics relies on the minimum window width required to capture exactly $k$ points. Furthermore, the survival function $1 - P_c(k; N, w)$ directly corresponds to the geometric probability that if $N$ arcs of length $1 - w$ are uniformly and randomly placed on a unit circle, every point on the circle is covered at least $N + 1 - k$ times. Historically, evaluating the exact cumulative distribution functions, $P(k; N, w)$ and $P_c(k; N, w)$, relies heavily on complex recursive approximations. In this paper, we bypass these traditional recursive methods to derive direct, generalized closed-form expressions for some linear and circular continuous scan statistics. Specifically, we present the exact analytical solutions for $P_c(N - 1; N, w)$, $P_c(3; N, w)$, and $P(3; N, w)$ for arbitrary values of $N$ and window width $w$. These newly derived closed-form expressions not only provide exact baseline distributions for extreme spacings but also significantly simplify computational complexity compared to existing iterative approaches.

We prove the congruence $\sum_{1 \leq k < \sqrt{N}} σ_0 (N - k^2) \equiv 0 \pmod 4$, where $σ_0(m)$ denotes the number of positive divisors of $m$, for $N = An + B$ with $(A,B) \in \{ (16,14),$ $(36,30),$ $(72,42),$ $(196,70),$ $(252,114) \}$. Our proof relies on a result of Keith which states that $ν_2 (N) \equiv 0 \pmod 4$, where $ν_2(N)$ is the number of partitions of $N$ with exactly two part sizes. Inspired by Dewitt and Keith, our approach combines combinatorial arguments with modular arithmetic techniques.

We introduce a linear map on symmetric functions that 'divides' a partition by a positive integer $k$, sending a Schur function indexed by a partition of $kn$ to a symmetric function indexed by partitions of $n$. We prove that the image of this map is always Schur-positive, meaning it expands in the Schur basis with nonnegative integer coefficients. These coefficients are enumerated by a new family of combinatorial objects, called $k$-Yamanouchi tableaux, which generalize the classical ballot (Yamanouchi) tableaux appearing in the Littlewood-Richardson rule. We also obtain expansions in the power-sum basis and establish power-sum positivity. A further application establishes a connection to work of Tewodros Amdeberhan, John Shareshian, and Richard Stanley on alternating permutations and Euler numbers.

We study the deterministic recursion $n_{j+1} = n_j - τ(n_j)$, where $τ(n)$ denotes the divisor function, and the associated orbit length $a(x)$. Heuristics based on the average order of $τ(n)$ suggest that $a(x) \asymp x / \log x$, but the strong dependence along the orbit places the problem outside the scope of existing methods for multiplicative functions. We develop a deterministic framework that reduces the analysis of the orbit to the distribution of $τ(n_j)$ on dyadic scales. This yields a structure-versus-randomness principle: either the orbit exhibits divisor mixing, or it develops strong additive structure. In the latter case, we show, under a phase-rigidity hypothesis, that the orbit contains long near-arithmetic progressions along which $τ(n)$ is essentially constant, which we call divisor ladders. Our main result reduces the asymptotic behavior of $a(x)$ to a single structural obstruction. Assuming an anti-concentration hypothesis that rules out energy-saturating divisor ladders, we obtain $a(x) \asymp x / \log x$. The paper also establishes several unconditional structural results, including that large values of $τ(n)$ are negligible on dyadic scales and that any potential obstruction must occur at a single divisor scale $τ(n) \asymp \log n$.

We study the occurrence of curved three-point configurations in fractal subsets of the real line. We prove that if \(E \subset [0,1]\) is a compact set with sufficiently large Hausdorff dimension, then \(E\) contains a curved three-point progression associated with a broad class of nonlinear functions. Our approach can also show the existence of the curved three-point pattern under the assumption that the Hausdorff content of \(E\) is bounded away from zero. The class of functions includes, in addition to polynomials with vanishing constant term, nonlinear functions such as \[ t^k \log(1+t), \quad \forall k \geq 1. \]

In this paper, we investigate arithmetical structures on Cartesian product graphs, particularly, ladder graph of the form P2\square Pm and grid graph of the form Pn \square Pm. An arithmetical structure on a finite and connected graph G is a pair (d, r) of positive integer vectors such that r is primitive (the gcd of its entries is 1) and (diag(d) - A)r = 0, where A is the adjacency matrix of G. Arithmetical structures have been widely studied for basic graph families such as paths and cycles. Extending these ideas to graph products, we first analyze the ladder graph P2 \square Pm, deriving structural properties and identifying patterns in the corresponding arithmetical configurations. We then generalize these results to the grid graph Pn \square Pm, where increased complexity arises due to higher-dimensional interactions. Our work provides new insights into the behavior, characterization, and enumeration of arithmetical structures on grid-like graphs, contributing to the broader understanding of Laplacian based invariants and their combinatorial properties.

An $n$-tuple $D=(d(1),\dots,d(n))$ is a \emph{feasible degree sequence} if there is a graph on $\{1,\dots,n\}$ such that $i$ has degree $d(i)$. Any such graph will have $m=\sum_{i=1}^n d(i)/2$ edges. Letting $G(D)$ be a graph chosen uniformly from those with the given degree sequence, we upper-bound the probability that $G(D)$ is disconnected based on the number of vertices of degree $d$ for small $d$, and develop a powerful tool for proving such bounds. If there are any vertices of degree zero the probability $G$ is disconnected is $1$, so we assume there are no such vertices. Our results then imply that if there are $o(\sqrt{m})$ vertices of degree $1$ and $o(m)$ vertices of degree 2 then with high probability $G$ is connected, while if there are no vertices of degree 1 or 2 then the probability $G$ is disconnected is $O(\frac{n^4}{m^6})$.

We study enumeration problems for multi-operator monomials generated from one indeterminate by an associative multiplication together with finitely many unary operators. We consider four regimes, according to whether multiplication is commutative and whether the unary operators commute. In the case where the unary operators do not commute, we obtain explicit multigraded generating functions and coefficient formulas, including a multinomial refinement of the Narayana numbers, together with interpretations in terms of rooted trees, restricted lattice paths, and binary trees. When the unary operators commute, we derive canonical representatives and effective recurrences, with corresponding monotonicity conditions in the combinatorial models. When multiplication is commutative, the sequence decomposition is replaced by a multiset decomposition, leading to exp--log generating functions and Euler-transform recurrences. In special cases, the resulting sequences recover classical families including the Catalan numbers, the small Schröder numbers, and rooted-tree numbers.

As emerging quantum architectures evolve into heterogeneous networks combining different physical substrates, such as qubits for logic and higher-dimensional qudits for robust communication, the traditional scalar metrics of quantum error correction become insufficient. To address this, we introduce a mathematical framework based on dimension multisets to characterize quantum error-correcting codes (QECC) and absolutely maximally entangled (AME) states in mixed-dimensional Hilbert spaces. By replacing scalar weights with multisets, we accurately capture the exact physical composition of error supports across these diverse systems. Our central result is the mixed-dimensional quantum MacWilliams identity, which establishes the formal algebraic relationship between Shor-Laflamme enumerators and unitary weight enumerators. From this foundation, we deduce the mixed-dimensional shadow identity and derive rigorous, generalized constraints on code parameters, explicitly formulating the mixed-dimensional quantum Hamming, Singleton and Scott bounds, and developing a linear program to systematically evaluate code viability. For the Singleton bound, a tighter bound that has no homogeneous analogue is derived for pure mixed-dimensional codes. Finally, we deploy this enumerator machinery to thoroughly analyze AME states, utilizing shadow inequalities to constrain their existence and introducing a combinatorial grid method for the explicit construction of mixed-dimensional tripartite AME states.

Defant and Kravitz introduced generalizations of West's stack-sorting map $s$ from permutations to finite words. This raises questions as to how such generalizations could be applied in the field of combinatorics on words. The Defant-Kravitz generalizations of $s$ depend on how repeated occurrences of the same character within a word may be repositioned, according to their $\textsf{tortoise}$ and $\textsf{hare}$ operations. As demonstrated in this paper, these operations provide a natural way of extending abelian complexity functions for infinite sequences, in a way that gives light to structural properties associated with infinite words. We apply these new ideas to two famous infinite words: the paperfolding word and the Thue-Morse word. In the case of the Thue-Morse word, we discover an interesting connection to the previous work of several authors, such as de Luca and Varricchio, on the ``special'' factors of the Thue-Morse word. This may be seen as providing a basis for a new and interdisciplinary area linking the combinatorics about the stack-sorting of permutations with the field of combinatorics on words.

In this note we prove an upper bound on the $\mathbb F_p$-rank of the incidence matrix of points and hyperplanes in $(\mathbb Z/p^k \mathbb Z)^n$, improving a recent bound of Laba and Trainer when $k$ is large.

The planar Turá number of a graph $F$ is the maximum number of edges an $n$-vertex $F$-free planar graph can have. We study the case where $F$ is forbidden as an induced subgraph, thereby introducing the induced planar Turá numbers. We will determine a sharp upper bound when $F$ is $Θ_4$, a $4$-cycle with a diagonal edge, and obtain exact extremal values in case $F$ is a path $P_k$ on $k$ vertices, for $k=3,4$ and $5$.

We introduce the slack of a recording tableau in the quantum Littlewood-Richardson (LR) map and show that it inherits the needed data from LR-Sundaram tableaux to define the inverse of the quantum LR map. Notably this enriched slack information packs the suitable reverse Schensted column insertion routes to compute the inverse. The slack data is then applied to $\mathfrak{k}$-highest symplectic tableaux.

We study a natural analogue of Ulam's problem for random rooted trees distributed according to a Plancherel-type measure. This probability measure is closely related to the classical Plancherel measure on integer partitions. For a Plancherel random tree $T_n$ with $n$ vertices, we investigate the asymptotic behavior of its height $H_n$, defined as the maximal distance from the root to a leaf. We prove that this height grows logarithmically. More precisely, there is a one-parameter family of random trees $(T_n(θ))_{n \in \mathbb{N}}$ indexed by $θ>0$ such that $\frac{H_n}{\log n}$ converges in probability to $c_\star(θ)$, where $c_\star(θ)$ is an explicit constant depending on the parameter $θ$. The case of Plancherel trees corresponds to the parameter $θ=2$. The proof is based on the fact that the Plancherel random trees can be viewed as Ewens fragmentation trees, for which the height exhibits a sharp threshold phenomenon. An upper bound is obtained via $s$-mass functionals and contraction estimates, while the lower bound is derived by embedding the model into a branching random walk with logarithmic displacements governed by a Poisson--Dirichlet distribution. The constant $c_\star(θ)$ is characterized through a variational principle associated with this branching random walk.

We design the Arboretum$.$hs package for symbolic computations with algebras of trees and more general graphs in Haskell. Thanks to the declarative nature of functional programming, the package's implementation closely follows mathematical definitions, making the code intuitive and transparent for users working with algebraic and combinatorial structures. To assist with current mathematical research, Arboretum$.$hs supports experimentation by facilitating the introduction of new algebraic operations, as well as providing functionality for rendering trees and forests through LaTeX integration. Compared to recent imperative implementations in languages such as Julia or Python, Arboretum$.$hs offers greater flexibility for manipulating and extending tree-based structures. Its use of Haskell enables safe programming and strong compile-time guarantees, serving both as a practical computational tool and a foundation for further research in algebraic combinatorics, beyond the setting of trees usually considered in the implementation of Butcher series, which are a fundamental tool for the analysis of numerical integrators.

We prove a structural result for sets of integers with doubling at most $4 + δ$, with $δ>0$ sufficiently small. This generalises earlier work of Eberhard--Green--Manners which dealt with sets of integers with doubling strictly less than $4$, and makes progress towards a question of Green.

A permutation $π$ strongly avoids the pattern $τ$ if both $π$ and $π^2$ avoid $τ$. In this paper, we enumerate permutations of size $n$ that strongly avoid the pattern 132. This enumeration allows us to prove a conjecture that the growth rate of such permutations is 2.