arXiv++ Combinatorics

Extending recent work on the Euclidean hull, we derive closed-form ratio decompositions for the number of linear codes with prescribed Hermitian and symplectic hull dimension. The Hermitian ratio admits a uniform lower bound of at least $2/3$, while the symplectic ratio decays to $1/q^2$ asymptotically; a comparative analysis traces this qualitative difference to the Witt classification of the corresponding classical groups. The results translate directly into monotonicity statements for the number of entanglement-assisted quantum codes obtainable from Hermitian-hull-graded $[n, k]_{q^2}$ and symplectic-hull-graded $[2n, k]_q$ classical codes via the Guenda-Jitman-Gulliver and Wilde-Brun constructions, respectively.

In 2024, Ceballos and Chenevi{è}re introduced alt $ν$-Tamari lattices, parameterized by a lattice path $ν$ and an increment vector $δ$, as a common generalization of $ν$-Tamari and $ν$-Dyck lattices. We study rowmotion on two families: the alt hook-Tamari lattice $\mathsf{H}_δ(a,b)$ (where $ν=EN^{a-1}E^{b-1}N$) and the alt $2$-row-Tamari lattice $\mathsf{T}_δ(a,b)$ (where $ν=E^aNE^bN$). We explicitly determine the orbit structures of $\mathsf{H}_δ(a,b)$ and $\mathsf{T}_δ(a,b)$ under rowmotion, and prove that their orbit structures are independent of the increment vector $δ$. As a consequence, we show that rowmotion on $\mathsf{H}_δ(a,b)$ exhibits the cyclic sieving phenomenon. We also compute orbit sums for several natural statistics. In the hook case, we evaluate the down-degree, peak, valley, and area statistics; in the $2$-row case, we focus on the down-degree statistic. All of these -- except for the area statistic -- are homometric under rowmotion. Regarding the methodology of this paper, our results in the hook case are obtained by applying a simple local modification to their Hasse diagrams. In the $2$-row case, we introduce a switching property for semidistributive lattices, which allows us to compare the orbit structures arising from different increment vectors.

Given a group $G$, the model $\mathcal{G}(G,p)$ denotes the probability space of all Cayley graphs of $G$ where each element of $G$ is included in the generating set independently at random with probability $p$. In this article, we investigate the threshold probabilities for the diameter of random graphs in this model. Specifically, let $d_N = (1-γ)\sqrt{\frac{\log{N}}{2\log{\log{N}}}}$, where $γ\in (0,1)$ is any fixed real number. We show that for any $\varepsilon > 0$, any family of groups $G_k$ of order $N_k$ for which $N_k \to \infty$, and any integer $2 \leqslant d\leqslant d_{N_k}$, a graph $Γ_k \in \mathcal{G}(G_k,p)$ with high probability has diameter at most $d$ if $p \geqslant \sqrt[d]{(1+\varepsilon) d! \frac{\log{N_k}}{N_k^{d-1}}}$, and diameter greater than $d$ if $p \leqslant \sqrt[d]{\frac{1-\varepsilon}{2^d} \frac{\log{N_k}}{N_k^{d-1}}}$. Up to a constant factor, these thresholds are similar to those for the usual Erdős-Rényi random graphs. However, the precise thresholds in our model depend on the underlying family of groups. We provide specific examples of group families demonstrating that both of our bounds are best possible.

We study combinatorial structures arising from finite-time transition probabilities of the Totally Asymmetric Simple Exclusion Process with open boundary conditions. While much of the existing combinatorial theory regarding the TASEP concerns the steady-state distribution, we focus instead on the transient dynamics. We first show that the enumeration of transition sequences between two configurations of the open TASEP is equivalent to the enumeration of standard Young tableaux of a family of non-classical shapes which have been of recent interest in the combinatorial literature. This extends to the open-boundary setting the correspondence between the TASEP with periodic boundaries and cylindric tableaux. We then introduce a family of tableau-like objects associated with Young diagrams in which repetitions of cells are allowed, subject to the partial order induced by the diagram. For each diagram, we collect the numbers of these objects into an exponential generating function. We prove that the entries of the homogeneous open TASEP transition matrix can be expressed as signed sums of such generating functions over suitable families of diagrams. This gives a combinatorial and order-theoretic interpretation of finite-time transition probabilities for the open TASEP, analogous to the combinatorial mappings known for steady-state probabilities.

We determine the sharp threshold for Hamilton cycles in randomly perturbed sparse graphs. For any $α=α(n)=o(1)$, let $G_α$ be an $n$-vertex graph with minimum degree $δ(G_α)\geαn$. We prove that if $$p\ge(1+\varepsilon)\frac{\log(1/α)}{n},$$ then the union $G_α\cup G(n,p)$ is Hamiltonian asymptotically almost surely. This significantly strengthens a recent result of Hahn-Klimroth, Maesaka, Mogge, Mohr, and Parczyk by improving the leading constant from 6 to the optimal value of 1. Crucially, we show that this bound on $p$ is best possible when $αn\rightarrow\infty$, thereby establishing the exact probability threshold for Hamiltonicity in this sparse regime. Our proof relies on a robust random expansion lemma, Pósa's booster lemma, and a sprinkling argument.

We derive the local and central limit theorems for the Stirling numbers of the second kind by elementary means, obtaining as corollaries effective asymptotic estimates for the Bell numbers and for the moments of the distribution. We also develop asymptotic expansions along several directions, all based on a novel finite-differencing approach; this provides the first self-contained elementary justification of such expansions.

Let $G_1$ denote the incidence graph of the complete graph $K_{q+1}$. We study limited augmented Zarankiewicz numbers in this family by combining exact 0--1 ILP computations for the smallest cases with a constructive search procedure followed by exact admissibility verification in the larger cases considered here. We obtain \[ z_L(6,4)=14,\qquad z_L(10,5)=26,\qquad z_L(15,6)\ge 43,\qquad z_L(21,7)\ge 64,\qquad z_L(28,8)\ge 88. \] The first two values are exact. The three lower bounds arise from explicitly verified admissible families with $|E_2|=13$, $|E_2|=22$, and $|E_2|=32$, respectively; the families used to obtain these bounds are nondegenerate in the sense of [8]. In each case, the resulting value improves the corresponding classical Zarankiewicz number and hence strengthens the available lower bounds for BSR(m,n) within this family.

Given $m \in \mathbb{N}$ and a $p$-random subset $A \subseteq \mathbb{N}$, we asymptotically determine $\log \Pr(|\mathbb{N} \setminus (A + A)| \ge m)$ for $p$ above the threshold for this property. The proof is based on a bespoke container argument.

We introduce variants of the Maker-Breaker and Waiter-Client games, which we call \emph{stotting}, in which a player grants a slight advantage to the opponent. We prove that a winning strategy in either stotting variant yields winning strategies for both Maker and Waiter in the classical setting. Several existing Maker strategies in the literature in fact win with stotting, and therefore automatically provide both classical winning strategies (and similarly for stotting Waiter). Knox previously disproved a conjecture of Beck asserting that whenever Maker wins the Maker-Breaker game, Waiter also wins the corresponding Waiter-Client game; in this sense, our framework may be viewed as a way of repairing Beck's conjecture.

We study a question of Harju from 2019 regarding the existence of infinite ternary square-free words whose subsequences modulo $p$ and $q$ are also square-free for relatively prime integers $p$ and $q$. Among such pairs $(p, q)$ with $p, q \geq 3$, the only two pairs with this property known prior to this work were $(3, 11)$ and $(5, 6)$. We prove that there are finitely many pairs $(p, q)$ of relatively prime integers with $p, q \geq 3$ for which there is no infinite ternary square-free word whose subsequences modulo $p$ and $q$ are square-free. To prove our result, we combine different techniques, including the construction of words from multi-valued square-free morphisms and circular square-free morphisms. We also introduce the notion of square-free transducers, a generalization of square-free morphisms that may be of independent interest.

We consider Subtraction Nim, where two players have exactly the same options, but which is partizan in the sense that at the game ending, a partizan rule is applied for the decision of the winner. We consider the following example: Let $S$ be the set of removable numbers, which is a non-empty finite subset of positive integers greater than or equal to $2$, applied for both players Left and Right. At the end of the game, Left wins if the number of remaining tokens is even, and Right wins if the number of remaining tokens is odd. We computed the outcomes for many $S$, and found surprising phenomena that in most examples of $S$ (almost $98\%$ of some samples), the outcomes are $\mathcal{L}$-positions for all large enough $n$. In comparison, $\mathcal{R}$-positions appear only occasionally. The main theorem explains why this phenomenon occurs. We prove that $n+1$ and $n-1$ are $\mathcal{L}$-positions when $n$ is an $\mathcal{R}$-position. Similarly, $\mathcal{L}$-positions appear whenever $\mathcal{P}$-positions or $\mathcal{N}$-positions appear. Only $\mathcal{L}$-positions can last forever.

We extend the notion of mex, which is central in combinatorial number theory, to an arbitrary combinatorial structure, and we prove a general theorem to determine the generating function of the objects having fixed mex. We then study this new mex statistic for several classical combinatorial structures, by providing the mex generating function and/or a closed formula for its coefficients in each of the cases.

For large $R$, we consider measurable sets $A\subseteq [0,R]^2$ that avoid triples of points of the form $(x,y)$, $(x+t,y)$, $(x,y+1/t)$ with $x,y\in\mathbb{R}$ and $t>0$, i.e., the vertices of upward-oriented, axis-aligned right triangles of area $1/2$. We prove that the measures of such sets satisfy $|A|= O_c(R^2/(\log R)^c)$ for any constant $c<1/4$. An ingredient in the proof is a hyperbolic variant of the two-dimensional trilinear smoothing inequality by Christ, Durcik, and Roos. The aforementioned upper bound is complemented with an example of a set of measure $Ω(R\log R)$ avoiding the same point configuration. Next, we study measurable sets $A\subseteq [0,R]^2$ that avoid triples of points spanning a triangle of a given fixed area and establish a sharpening of the aforementioned upper bound to any $c<1/2$. This makes partial progress on a question by Erdős, who conjectured an upper bound $O(1)$, and improves over a quantitatively weak $o(R^2)$ result by Graham. The latter proof additionally uses induction on scales to interchangeably control the density and the Riesz energy of the set $A$.

We review known linear and matrix generalizations of Hall's classic ``marriage theorem'' and Kőnig's theorem on partial matchings in bipartite graphs, and relate them to linear and matrix generalizations of Dilworth's theorem about chains and antichains in posets and Menger's theorem about disjoint paths in directed graphs.

In this note, we give short proofs of three theorems concerning extremal problems in the Johnson scheme, or, in other terminology, on $(n,k,L)$-systems. The main result is a proof of the Aljohani--Bamberg--Cameron conjecture which claims that if $n > n_0(k)$ and there are an $(n,k,L)$-system and an $(n,k,\{0,\dots,k-1\}\setminus L)$-system whose sizes have product $\binom{n}{k}$, then they are a $t$-intersecting family and a Steiner system $S(t,k,n)$ for some $t$.