arXiv++ Combinatorics

To bridge the gap between worst-case and heuristic analyses of lattice enumeration, we study the sizes of (unpruned) enumeration trees on $n$-dimensional Haar-random lattices. Writing $n^{cn+o(n)}$ for the tree size at the shortest vector radius, we investigate the asymptotic scaling of $c$, and which bases minimize it. For quasi-HKZ bases, we rigorously analyze the random-lattice HKZ geometry and establish $c=1/(2e)\approx 0.1839$. This matches the worst-case enumeration exponent of Hanrot-Stehlé and confirms earlier predictions for the geometry of HKZ bases on random lattices. Searching beyond quasi-HKZ bases, we prove that with high probability, the minimum achievable tree size exponent $c$ over all bases of a random lattice satisfies: \begin{align} 0.1464 \approx \frac{2-\sqrt{2}}{4}\leq c<0.1474. \end{align} For the lower bound, we use Kim's mean-value formula for nested chains of primitive sublattices to rule out bases with small prefix determinants. This strengthens the earlier Rankin-based heuristic lower bound exponent $c \geq 1/8$, discussed by Nguyen and Hanrot-Stehlé, and rules out the existence of random-lattice bases with trees as small as predicted by the geometric series assumption. For the upper bound, we show that with high probability a dense primitive half-rank sublattice exists with determinant at most $n^{n/8 + o(n)}$. Combining dual HKZ on this sublattice with HKZ on its quotient gives a basis with $c \leq 1/(4\sqrt{e}) \approx 0.1516$. Recursively splitting each half lowers the upper bound below $0.1474$, and under a natural heuristic assumption we prove that the lower bound is tight. Combined with the collision search of Feng-Gao-Liu, our two-block construction gives a polynomial-space algorithm solving the closest vector problem with preprocessing (CVPP) on random lattices in query time $n^{0.0892 n + o(n)}$ for arbitrary targets.

The classification and enumeration of short mesh patterns have emerged as two central directions in the area. We make substantial progress on both fronts. We construct an involution and a bijection that establish distributional equivalences for two classes of length-$2$ mesh patterns, thereby resolving a conjecture from 2019 and a recent conjecture. As a consequence, the best known upper bounds for the numbers of distribution-equivalence and Wilf-equivalence classes drop to $106$ and $47$, respectively. Combined with the known lower bounds of 105 and 46, conjectured to be exact, these results leave both classifications hinging on a single distribution-equivalence question conjectured in 2019, whose resolution would at once settle the remaining Wilf-equivalence case. We further conjecture that this unresolved equidistribution also holds for involutions, a subclass of all permutations. We also determine the distributions of three additional classes of length-$2$ mesh patterns through a detailed structural analysis. Our work combines bijective techniques with generating-function methods, yielding new insights into the structure and enumeration of short mesh patterns.

We study the distribution of output values produced by all fully bracketed implication terms on $n$ distinct variables in Gödel $m$-valued logic on the finite chain $V_m$. The Catalan decomposition of bracketings yields a stratified system of recurrences for the output counts. Passing to tail sums reduces this system to a finite iteration of a single map $Φ_x$ and its inverse branch $Ψ_x$. For each fixed $m$, this reduction gives a common dominant square-root singularity at $r=1/(4m)$, coefficient asymptotics of order $(4m)^n n^{-3/2}$, and limiting proportions for every truth level. In the four-valued case these proportions are obtained explicitly in nested radicals. The main new phenomenon appears when the number of truth values also tends to infinity. If $K_m$ denotes the output level under the limiting $n\to\infty$ distribution and $X_m=K_m/(m-1)$, then $X_m\Rightarrow X$, where $X$ has density $(1+2t)^{-3/2}$ on $[0,1)$ together with an atom of mass $1/\sqrt{3}$ at $1$. In particular, the top mass converges to $1/\sqrt{3}$, while the bottom mass is asymptotic to $1/m$. We further show that the same probability law arises intrinsically when Gödel implication is defined directly on $[0,1]$ and valuations are sampled from Lebesgue product measure: the continuum tail generating function satisfies an exact first-order differential equation whose critical specialization is the ODE appearing in the finite-chain Euler limit. We also record a root-split refinement whose pair-count generating functions factor as products of the level generating functions and inherit the same square-root scale.

The $(0,x,1,2)$-hiccup sequence starts at $x$ and increases by 1 when the current index has already appeared as a value, and by 2 otherwise. We prove directly that for $x\geq3$ the gaps between its missing values are $1,2,3,\ldots$, each repeated $x-2$ times, and we derive closed formulas, an explicit error bound, and a generating function in terms of Ramanujan's theta functions. The counting functions of the complements satisfy nested recurrences. The sequences of missing values are the partial complements of polygonal numbers. In particular, the $(x-2)$-fold composition of the enumeration of the positive integers that are not $x$-gonal is the hiccup sequence minus 1. We extend the nested recurrence and a tree interpretation to every miss increment $z\geq2$ and every initial value $x\geq2$. Further interpretations involve polyomino vertices, monochromatic pairs, and, by a theorem of Bickle, Ramsey core numbers.

Recently, Merino and Mütze (FOCS'23+SICOMP'24) presented an algorithm for computing a Hamilton path on the skeleton of any 0/1-polytope ${\rm conv}(X)$, where $X\subseteq\{0,1\}^n$. The algorithm uses as a black box an algorithm for solving the classical linear optimization problem $\min\{w\cdot x\mid x\in X\}$ for some weight vector $w\in\mathbb{R}^n$. The resulting delay per visited vertex on the Hamilton path is only by a $\log n$ factor larger than the time to solve one instance of the optimization algorithm. In this paper, we make the Hamilton path algorithm simpler and faster. Namely, we obtain an amortized delay that is only by a constant factor larger than the running time of the optimization algorithm, thus removing the $\log n$ factor. As concrete results, this yields improved algorithms for generating bases and independent sets in a matroid, spanning trees, forests, matchings and maximum matchings in a graph, vertex covers, minimum vertex covers, independent sets and maximum independent sets in a bipartite graph, and antichains, maximum antichains and ideals in a poset. All of these listings correspond to Hamilton paths on the corresponding polytopes. Furthermore, we obtain an $\mathcal{O}(t_{\rm LP})$ amortized delay algorithm for the vertex enumeration problem on 0/1-polytopes $\{x\in\mathbb{R}^n\mid Ax\leq b\}$, where $A\in \mathbb{R}^{m\times n}$ and $b\in\mathbb{R}^m$, and $t_{\rm LP}$ is the time needed to solve the linear program $\min\{w\cdot x\mid Ax\leq b\}$. This improves upon the $\mathcal{O}(t_{\rm LP} \log n)$ delay algorithm of Merino and Mütze, and the previous $\mathcal{O}(t_{\rm LP}\,n)$ delay algorithm of Bussieck and Lübbecke from 1998.

The computation of the vertices of a polyhedron described by a system of linear inequalities is a central problem in polyhedral computation. It is a fundamental step in the conversion between H-representations, by linear inequalities, and V-representations, by vertices and extreme rays. This operation plays an important role both in the study of polyhedra and their combinatorics in mathematics and in applications to software and system verification. We present a certificate-based approach for formally verifying the computation of the vertices of a polyhedron. Given an informally computed list of vertices, our method allows to certify in the proof assistant Rocq that the list is complete, or even exact. The cornerstone of the method is a new completeness criterion based on an abstract simplicial complex that generalizes a triangulation of the normal fan of the polyhedron. A significant advantage over previous approaches is that the usually expensive numerical computations are essentially reduced to membership tests to the polyhedron, while the other steps are cheap combinatorial tests. We implement the certification method and prove its correctness in the proof assistant Rocq. We experiment with it on a variety of polyhedra, including Birkhoff polytopes, cross-polytopes, cubes, permutahedra, hypersimplices, and high-dimensional polytopes involved in the disproof of the Hirsch conjecture. Our experiments show that certification with the Rocq-to-OCaml extracted checker is typically 1.5x to over 5x faster than vertex enumeration by the state-of-the-art informal C implementation lrslib of the reverse search method.

For a finite group \(G\), let \(N(G)\) be the simplicial complex of subsets that do not generate \(G\). We separate a general Frattini-topological reduction from the structure special to finite \(p\)-groups. For every finite noncyclic group, the non-cone Frattini core is homotopy equivalent to the order complex of the proper part of the subgroup lattice of \(G/Φ(G)\). For a finite \(p\)-group this quotient is an elementary abelian vector space, and the core becomes the non-spanning complex of a uniform parallel extension of \(\mathrm{PG}(r-1,p)\), where \(r=d(G)\) and \(q=|Φ(G)|\). We use this geometry to determine the exact simplicial isomorphism data and full simplicial automorphism group, identify top homology equivariantly with the appropriate restriction of the Steinberg module, and derive modular consequences. We also give an explicit supportwise formula for every multigraded Betti number and compare it with a closed single-sum formula for the \(\mathbb Z\)-graded Betti numbers. Known matroidal and building-theoretic inputs are stated separately from the group-specific consequences. The resulting framework also yields the homotopy type, depth, regularity, projective dimension, face enumeration, and the complete Cohen--Macaulay classification.

Let $S_g$ be the closed oriented surface of genus $g \geq 2$, and let $Γ$ be a finite collection of closed curves on $S_g$ that fills, in the sense that its complement is a union of disks. The total number of double points of such a $Γ$ in minimal position is at least $2g-1$; we call $Γ$ minimally intersecting when equality holds. We prove that the number $N_g$ of mapping class group orbits of minimally intersecting filling curve systems satisfies $N_g \sim 16^g (2g)!/(64π\sqrt{2}\, g^3)$ as $g \to \infty$. We also study the single-curve subproblem, in which $Γ$ consists of a single component. Every such curve is in particular a filling system, so the corresponding count $N_g^{(1)}$ satisfies $N_g^{(1)} \leq N_g$, which improves the upper bound previously known for single filling curves. Finally, we compute $N_g$ and $N_g^{(1)}$ exactly for small genus and conjecture an asymptotic growth rate.

For even $n$, let $P_n$ be the probability that independent uniform strict preference lists on $n$ participants admit a stable perfect matching. We prove \[ P_n\sim\frac{e\,2^{1/4}Γ(3/4)}{\sqrtπ}\,n^{-1/4}. \] This establishes Mertens's conjectured exponent of decay, with a leading constant different from his original numerical prediction. The proof starts from Mertens's exact alternating sum over stable permutations. To preserve its cancellation, we construct a common approximation for all cycle structures with the same number of vertices in cycles longer than two. By symmetry, the integrated first-order correction is the same for every such cycle structure, and the remaining errors can be summed in absolute value. The enumeration then reduces the probability to a one-dimensional sum with positive terms.

We study the total and average area of $(sn,n)$-Dyck paths: lattice paths from $(0,0)$ to $(sn,n)$ that stay weakly below the line $x=sy$, counted by the Fuss-Catalan numbers. Generalizing a result of Merlini, Sprugnoli, and Verri for the case $s=1$, we derive an exact formula for the total area over all such paths. From this we obtain explicit upper and lower bounds for both the total and the average area, together with the corresponding asymptotics: for fixed $s$, the average area is asymptotic to $\sqrt{πs(s+1)/8} \cdot n^{3/2}$, while for fixed $n$ it is asymptotic to $sn \cdot Q(n)/2$ as $s$ grows large, where $Q(n)$ denotes Ramanujan's $Q$-function. Along the way, we confirm a conjecture of Kotesovec on the asymptotics of a binomial sum that also arises in several other enumeration problems.

Oxley conjectured that a matroid with a circuit-cocircuit intersection of size $k\geq 4$ has one of size $k-2$. Using the standard polynomial representation of the classical extended binary Golay code, we construct an identically self-dual binary matroid of rank $12$ on $24$ elements. Its circuit-cocircuit intersection sizes are exactly $0,2,4,6,8$, and $12$, disproving the conjecture for $k=12$. The proof is self-contained and does not rely on the full weight distribution of the code or on an enumeration of all circuits.

Partly motivated by enumeration of parking functions and their variants, there is a long-standing interest in lattice paths refined by several statistics, including the notable $\mathsf{run}$ and $\mathsf{return}$. We consider bounded lattice paths, which are bounded by a given lattice path and are related to vector parking functions, for which we generalize $\mathsf{run}$ to composition runs, parameterized by a composition. By constructing involutions on these paths, we establish symmetries relating composition runs to some generalized return statistics. As an application, we settle an open problem of Dai, Fu, and Qiu on rational Dyck paths. The symmetries between generalized $\mathsf{run}$ and $\mathsf{return}$ are then transferred to vector parking functions, which suggest a new notion of prime decomposition. In the special case of $(a, b)$-parking functions, we compute the generating function refined by $\mathsf{run}$ and $\mathsf{pri}$, which is new even for classical parking functions.

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.

The recursive-line and signed Zarankiewicz numbers maximize the number of squares in augmentations of a maximum $C_4$-free base, subject to two sufficient irreducibility criteria. The count includes one square per base cell and one per selected pair of unused cells. We compare these parameters with the second-order number, which uses irreducibility itself. Every maximum $m\times n$ base admits a recursive-line augmentation with at least $mn/2-C\max(m,n)$ squares, for an absolute constant $C$. Combining this bound with a two-column extension of known fixed-width families, we show that all three parameters are asymptotically equivalent, uniformly as the larger dimension tends to infinity. For individual displays, a transfer graph shows that once the signed closure identifies every selected pair, the signed criterion is equivalent to irreducibility. We determine the second-order number for every six-column rectangle and give eventual exact formulas for all three numbers at widths seven, nine and eleven. We also prove signed and recursive-line equality at $8\times7$ and, together with earlier values, whenever the shorter side is at most six, except possibly at $14\times4$. The exact-value results are computer-assisted, using exhaustive enumeration, checked propositional refutations and symbolic certificates with a proved lifting argument for arbitrary lengths.

In this paper, we compute the orders of upper triangular symplectic Renner monoids using admissible sets. We obtain both recursive and closed-form formulas for these orders. We then derive their exponential generating functions and establish connections between these functions and the Laguerre polynomials.

The two-block odd partition function \(a(n)\) is the signed enumeration of partitions into exactly two distinct part sizes, each occurring an odd number of times. By separating the underlying representations according to the \(2\)-adic valuations of the two part sizes, we obtain a signed decomposition, completed by two classical theta-function evaluations, which explains the structural relation \(a(2^km)=a(m)+(2^{k-1}-1)σ(m)\), where \(m\) is odd, \(k\ge1\), and \(σ(m)\) is the sum-of-divisors function. Combined with a previously established arithmetic formula for \(a(n)\), this relation yields congruences along the dyadic progressions \(2^k(4n+3)\), as well as the families \(a\!\left(2^\alpha3^β(12n+11)\right)\equiv0\pmod3\) and \(a\!\left(2^α(18n+15)\right)\equiv0\pmod3\). We also use a factorization of the generating function of \(a(n)\) involving \(\operatorname{pod}(n)\), the number of partitions in which odd parts are distinct and even parts are unrestricted, to establish a uniform reduction modulo every odd prime of the associated auxiliary series. The resulting theta-weighted sums involving \(\operatorname{pod}(n)\) are congruent to \(a(n)\) and therefore admit explicit evaluations involving the sum-of-divisors function and the character divisor sum associated with the nonprincipal Dirichlet character modulo \(4\). As special cases, we obtain infinite families of weighted congruences modulo \(3\), \(5\), and \(13\).

Set partitions are arrangements of distinct objects into groups. After a brief review of the subject, we consider the task of counting and enumerating set partitions. The number of set partitions, known as Bell number, is a rapidly increasing number and does not have an explicit formula. We study approximate expressions for the Bell number given in the literature. We find that an asymptotic formula of Moser and Wyman gives a surprisingly accurate approximation to the Bell number even for small set sizes. Furthermore, a simple expression due to Berend and Tasssa can be conveniently used to approximate the Bell number for small set sizes. Next, we consider enumeration of set partitions. The problem of listing all set partitions arises in a variety of settings, in particular in combinatorial optimization tasks. Algorithms for enumerating all set partitions are reviewed. The focus is on non-recursive algorithms without Gray code constructions. We compare the classic algorithm of Hutchinson with three more modern ones. Empirically, it is found that all of them scale exponentially with the set size. While the exact compiler and optimization settings do matter, it can be concluded that the algorithm of Djokic et al. is the fastest one, thus it is recommended for practical use.

Let $\cP_{\ell,k}$ be the set of rooted binary phylogenetic networks with $\ell$ labelled leaves, $k$ reticulations and no parallel edges. We write $|\cP_{\ell,k}|=W_k(\ell)+D_k(\ell)$, where the weighted count $W_k(\ell)$ adds the inverse orders of the leaf-fixing automorphism groups and the defect $D_k(\ell)$ collects the remainder. The weighted count satisfies, for every $k$, a recursion over the source layers of the tree-component structure that involves neither a list of component graphs nor any distinction between symmetric and asymmetric configurations, and its exponential generating function is a Laurent polynomial in $\sqrt{1-2x}$. Automorphism groups of networks are $2$-groups, elementary abelian for $k\le5$ but not in general. For $k\le5$ the defect is the weighted count of networks with a distinguished involution, which obeys an extension of the same recursion. An exact symbolic evaluation of the two recursions yields $|\cP_{\ell,k}|$ in closed form for $k\le5$, the case $k=5$ being new; it reproduces the published counts for $k\le4$ and corrects a coefficient in a published generating function for $k=3$. For every $k$, uniformly over explicit ranges of $k$, we prove that the non-tree-child networks are a fraction $2k(k-1)/\ell$ of the tree-child networks to leading order, which gives the third term of the asymptotic expansion of $|\cP_{\ell,k}|$. We also prove that reticulation-visible networks exceed tree-child networks by the fraction $k(k-1)/\ell$, and that a uniformly random network in $\cP_{\ell,k}$ has a nontrivial automorphism with probability $k(k-1)/(4\ell^3)$ to leading order.

We extend the partition pairing theory of Andrews and Dastidar by replacing pairs with groups of $k$ equal parts. Two weight-preserving bijections give combinatorial interpretations of the joint pairing index--width distribution and the negative-rank enumerations. The first combines conjugation with the Stockhofe--Keith correspondence and sends the $k$-pairing index and width to the number of parts and the largest part, respectively. Consequently, their joint distribution is independent of $k$ and is given by a Gaussian polynomial. We also obtain finite refinements that record the residual statistics. The second bijection sends simply $k$-paired partitions of negative $k$-pairing rank to $k$-regular partitions with marked internal gaps. In a fixed nonzero residue class, sign cancellation leaves rectangular partitions, while gap markings correspond to overlining choices with the smallest part not overlined. This gives direct combinatorial explanations of the divisor counts and the factor $1/2$ in the overpartition enumeration, extending the odd-divisor and odd-overpartition results of Andrews and Dastidar. Finally, motivated by the diagonal pairing of Andrews and Dastidar, we extend the construction to ordered tuples of $k$ Young diagrams. Applying the two-wing transfer operation to pairs of component diagrams defines an equivalence relation on these tuples. We show that two tuples are equivalent if and only if they have the same cell-multiplicity function, and that every equivalence class contains a unique representative whose component diagrams are nested. We also determine the cardinalities of the equivalence classes and identify the nested representatives with plane partitions of rectangular shape.

We develop a unified framework for the exact enumeration and asymptotic analysis of the three most studied classes of phylogenetic networks: tree-child (TC), reticulation-visible (RV) and orchard networks, whose cardinalities satisfy the strict ordering $|\mathrm{TC}_{\ell,k}|<|\mathrm{RV}_{\ell,k}|<|\mathrm{Orch}_{\ell,k}|$ for reticulation number $k\geq2$ (with $\mathrm{TC}\subsetneq\mathrm{RV}$ and $\mathrm{TC}\subsetneq\mathrm{Orch}$, while $\mathrm{RV}$ and $\mathrm{Orch}$ are incomparable as sets). Using the Chang--Fuchs structural theorem, we derive a two-level master functional equation for the RV bivariate generating function and obtain exact closed-form identities for the differences $Δ_k(\ell):=|RV_{\ell,k}|-|TC_{\ell,k}|$ for $k=2,3$, with the asymptotic universality $Δ_k(\ell)/|TC_{\ell,k}|\sim k!/\ell$. For orchard networks, we prove a \emph{universal hypergeometric law} that resolves the exact enumeration problem for all $\ell$: the column generating function $F_\ell(v)$ is rational with denominator $D_\ell(v)=\prod_{j=2}^\ell X_j(v)$, where \[ X_\ell(v) = \sum_{k=0}^{\lfloor\ell/2\rfloor}(-1)^k\, \frac{\ell!}{(\ell-2k)!\,k!}\,v^k \] is the matching polynomial of the complete graph $K_\ell$ and a rescaled Jacobi polynomial. This immediately resolves the intractable $\ell=9$ case: $D_9$ has degree 20, dominant growth rate $\approx40.73$, and all spectral roots are positive real. A complete enumeration table is provided extending the published data of Cardona, Ribas and Pons.