enumeration
2301 papers tagged with this keyword
Linked partition ideals and Russell's three-colored partitions
Russell recently introduced a family of three-colored partitions in analogy with earlier work by Alladi and Gordon. He showed that their enumerations are surprisingly connected to the classic Rogers-Ramanujan identities. Using the method of linked partition ideals, we elaborate on Russell's results by further counting each part color. Unlike Russell's proofs, our arguments do not require any use of computer algebra systems. With these multivariate generating function relations, we are led to confirm a conjecture of Russell. Furthermore, our results offer a combinatorial understanding of a new triple Rogers-Ramanujan type identity.
Double-scaled SYK from boundary metrics of planar maps
The enumeration of planar maps with control on the boundary metric, i.e. the pseudometric induced on the outer face of the map by its bulk graph distance metric, is a difficult problem in general. However, we show that for a family of bipartite planar map models with special q-deformed face weights that arise in the physics context of the double-scaled Sachdev-Ye-Kitaev model (DSSYK) the enumeration admits a very simple answer. Encoding the boundary metric of a bipartite planar map by its so-called geodesic chord diagram, we prove that the weighted enumeration depends only on the crossing number of the chord diagram. At fixed perimeter, the induced law of the geodesic chord diagram in these planar map models coincides exactly with the chord diagram representation of the DSSYK model.
One-Weight Colorings, the Symmetric Class, and Lower Bounds for Hales--Jewett Numbers
A coloring of the Hales--Jewett cube $[t]^n$ is symmetric if it is invariant under all coordinate permutations, and one-weight if it reads only an integer-weighted count of the letters. We prove that the two classes coincide -- a radix weight realizes every symmetric coloring -- so the symmetric lower-bound problem for the Hales--Jewett numbers is exactly a one-dimensional coloring problem about homothetic copies of a $t$-point set, the case $d=1$ of Gallai's theorem. Optimizing the weight yields $\mathrm{HJ}(3,3)\ge22$ and $\mathrm{HJ}(4,2)\ge14$, the latter in closed form from the new Gallai homothety numbers $G_2(\{0,2,3,5\})=67$ and $G_2(\{0,1,5,6\})=80$; new values at three colors -- $G_3(\{0,1,3\})=42$, $G_3(\{0,1,4\})=57$ and $G_3(\{0,2,5\})\ge77$ -- give $\mathrm{HJ}(3,3)\ge16$ from a one-line certificate. An anatomy of the $(4,2)$ palette locates the source of its compression: it is an extremal object of the bracket regime plus a single boundary scale. An exhaustive census shows how thin the class is: of the $1644$ line-free $2$-colorings of $[3]^3$, exactly $36$ are symmetric. For lines with at most $K$ active coordinates the same machinery gives infinite bracket numbers, $\mathrm{HJ}^{[12]}(3,3)=\mathrm{HJ}^{[12]}(4,2)=\infty$, strictly beyond the sum-type ceilings $κ_{\mathrm{sum}}(3,3)=11$ and $κ_{\mathrm{sum}}(4,2)=10$; for lines whose active set is an interval the machinery is provably blind, the interval ceiling $λ(3,r)$ is settled for every $r$ by assembling the known bounds, and a SAT computation gives the exact value $\mathrm{HJ}^{(1)}(3)=5>4=\mathrm{HJ}(3)$. We close with the Collapse, diagonal-only, and symmetric-extremality conjectures and with open problems on optimal weights. Every certificate displayed in this note has been re-verified by direct enumeration, independently of any solver.
Decomposition of Greedy Tamari Intervals and Bipartite Planar Maps
The greedy Tamari poset, inspired by the well-studied Tamari lattice, was recently defined by Dermenjian in the more general setting of greedy $ν$-Tamari posets. Bousquet-Mélou and Chapoton counted intervals of the greedy $m$-Tamari poset in 2024 by solving a functional equation, and found that they are equi-enumerous to planar $(m+1)$-constellations. In this work, we give a combinatorial proof of this fact for the case $m = 1$, which also gives the refined enumeration conjectured by Bousquet-Mélou and Chapoton. This is done by establishing a recursive decomposition of greedy Tamari intervals isomorphic to that of bipartite planar maps. We also propose a more general and refined conjecture for the case of general $m$.
A Counterexample to Ziegler's Cross-Polytope Conjecture for Simplicial 0/1-Polytopes
Ziegler proved that every simplicial $d$-dimensional $0/1$-polytope has at most $2d$ vertices, and asked whether equality forces the polytope to be centrally symmetric and hence, equivalently, a $0/1$-realization of the $d$-dimensional cross polytope. In this note, we give a negative answer, exhibiting an explicit set of $14$ vertices in $\{0,1\}^7$ whose convex hull is a simplicial $7$-polytope and is not centrally symmetric. Moreover, via exhaustive enumeration we show that up to the symmetries of the cube, there are precisely five such polytopes in dimension $7$ (of two combinatorial types) that are not centrally symmetric.
On Deranged Unit-Interval Parking Functions and the Deranged Bell Numbers
Unit-interval parking functions of length $n$ are enumerated by the Fubini numbers $F_n$ and are in explicit bijection with the ordered set partitions of $[n]$. We use this bijection to single out the unit-interval parking functions whose associated ordered set partition is \emph{deranged} in the sense of Belbachir, Djemmada, and Németh -- no block occupies the position indexed by its minimum element -- and call them the \emph{deranged unit-interval parking functions} $\DUPF_n$. Since the bijection restricts to the deranged objects, $|\DUPF_n| = \tilde F_n$, the $n$-th deranged Bell number. We give an intrinsic, coordinate-wise characterization of the deranged condition through the lucky cars (equivalently, the block leaders) of a parking function, and we refine the enumeration by total displacement, obtaining $d_m\Stir{n}{m}$ deranged unit-interval parking functions with $m$ blocks. We derive the exponential generating function $e^{1-e^x}/(2-e^x)$ by the symbolic method, prove a fixed-block convolution relating $F_n$, the Bell numbers, and $\tilde F_n$, refine the count by singleton blocks via $2$-associated Stirling numbers, and describe an $r$-start extension together with a deranged Cayley-permutation model. Worked examples and a table of values are included.
Enumerating Toric-Colorable Seeds of Picard Number Five via Binary Matroids
We introduce a binary matroid approach to the enumeration of mod 2 toric-colorable seeds of fixed Picard number. We organize these matroids by their contraction category and enumerate weak pseudomanifold subcomplexes by a dynamic programming algorithm. The main computational step uses a Gray code traversal of the mod 2 kernel of the ridge-facet incidence matrix.
As the main new result, we find that there are 198,846 mod 2 toric-colorable seeds of dimension four and Picard number five. We also check that they all are toric-colorable. Finally, the same framework independently reproduces the Picard number 4 enumeration of Choi, Jang, and Vallée much faster than their previous method.
The Graph Algebra I: Representation-Theoretic Structure
The paper studies the graph algebra whose monomial basis is naturally indexed by simple graphs on a fixed set of vertices. This algebra is at the same time the algebra of pseudo-Boolean functions on the Boolean cube and a natural object of algebraic combinatorics, related to the Boolean lattice of subsets of the edge set of the complete graph.
The main aim of the paper is to study two compatible representation-theoretic structures on this algebra: the action of the Lie algebra $\mathfrak{sl}_2$, arising from the operators of adding and deleting one edge, and the action of the pair group $S_n^{(2)}$, induced by the renumbering of vertices. It is proved that the graph algebra with this $\mathfrak{sl}_2$-action is isomorphic to a tensor power of the standard two-dimensional $\mathfrak{sl}_2$-module, and on this basis its decomposition into irreducible $\mathfrak{sl}_2$-modules is obtained. Primitive spaces, that is, the kernels of the edge-deletion operator on rank components, are also described, and it is shown that they have a natural interpretation in terms of two-row Specht modules.
It is then established that the $\mathfrak{sl}_2$-action commutes with the action of the pair group. It follows that the space of graph invariants also inherits the structure of an $\mathfrak{sl}_2$-module. Using Schur--Weyl duality, primitive invariants are described through the fixed parts of the restrictions of two-row Specht modules from the full symmetric group on the edge set to the pair group. As a consequence, the classical enumeration of non-isomorphic graphs by the number of edges receives a representation-theoretic refinement: the orbital components entering the Burnside--Polya formula decompose into natural primitive contributions associated with the $\mathfrak{sl}_2$-structure and two-row Specht modules.
Classification of Boolean Cubic Forms in Ten Variables
We classify Boolean cubic forms in ten variables up to GL(10,2)-equivalence. The catalog contains all 3691560 nonzero orbits. For every orbit we provide a representative with small monomial count, the stabilizer order, and the alternating rank together with an explicit decomposition. The classification is obtained by rank-stratified enumeration. We verify completeness by the Burnside orbit count and independently by the orbit--stabilizer identity. We also provide a fast, complete GL(10,2)-invariant. By polarization, this gives the first complete classification of alternating trilinear forms in dimension 10 over GF(2).
Unimodular matrices and lattice paths enumeration via Pascal's triangle
Published in Communications in Combinatorics and Optimization, 2026
• View Publication
• BIB
This article investigates a remarkable combinatorial identity involving a distinguished family of matrices whose entries are defined via binomial coefficients. Specifically, we consider a class of \( n \times n \) matrices parameterized by a positive integer \( m \), where each entry reflects a structured pattern derived from Pascal's triangle, particularly the diagonals corresponding to figurate numbers such as triangular, tetrahedral, and higher-dimensional simplex numbers. We establish, by means of a bijective argument, that the determinant of any such matrix is identically equal to \( 1 \), independent of the specific values of \( m \) and \( n \), provided that \( 2 \leq m \leq n \). This result unveils a profound connection between classical binomial identities and the enumeration of lattice paths in grid graphs.
Divisible Arm Lengths, Crystal Reflections, and Enumeration of Newly Found Decomposition Columns
In recent work the authors determine complete columns of symmetric-group decomposition matrices in odd prime characteristic $p$ labeled by $p$-regular partitions for which every hook of length divisible by $p$ has even arm length. In the present paper we enumerate these partitions and prove that each block of $p$-weight $w$ contains precisely \[ \binom{w+\frac{p-3}{2}}{w} \] such partitions.
More generally, for any integers $d,e>1$, we study and enumerate $d$-balanced $e$-regular partitions -- partitions for which every hook of length divisible by $e$ has arm length divisible by $d$. Our first main result is that the crystal (affine) reflections preserve the $d$-balanced property for all $d,e > 1$. It follows that, for fixed $d$, $e$, and $w$, the number of $d$-balanced $e$-regular partitions in a block of $e$-weight $w$ is independent of the $e$-core. We then compute this number by working in RoCK blocks, obtaining an explicit binomial formula valid for every block.
We also investigate closely related odd sequences of partitions. Among others, we find the generating function of the number of odd sequences occurring in a block. Alongside their representation-theoretic relevance, we expect these results to be of independent combinatorial interest.
Fast Enumeration of Minimal Removable Sets in Monotone Systems with Application to Core Collapse Analysis
In network vulnerability analysis, it is crucial to evaluate the robustness of $k$-cores against vertex removals. A $k$-core is often fragile since removing a few vertices can trigger a large reduction in the core size, a phenomenon known as core collapse. In this paper, we study the problem of enumerating all minimal removable sets (MinRSs) of a given $k$-core, where a MinRS is a minimal nonempty set of vertices whose removal results in a smaller $k$-core graph. We consider this problem within a general mathematical framework based on monotone systems. We show that, for a monotone system that is given with an underlying graph $G=(V,E)$, all MinRSs of a solution can be enumerated in $O((n+m)nτ_ω)$ time, where $n=|V|$, $m=|E|$ and $τ_ω$ denotes the computation time of evaluating the monotone function of the system. Furthermore, if the system satisfies the newly defined in-dominating seed property, the complexity drops to $O((n+m) \log n \cdot τ_ω)$ time. We prove that standard $k$-cores in undirected graphs satisfy this property, enabling MinRS enumeration in $O((n+m)\log n)$ time, a significant improvement over the baseline. We also extend our framework to enumerate all solutions in a given monotone system. This yields an $O((n+m)\log n)$-delay algorithm for all $k$-core subgraphs, outperforming an algorithm given by [Boley et al., Theoretical Computer Science, 2010]. Our framework is applicable to various $k$-core extensions, including weighted $k$-cores, multi-layer $\boldsymbol{k}$-cores, and $(k,\ell)$-cores.
Exploring the world of edge-chromatic 3-critical graphs
A graph $G$ with maximum degree $Δ$ is $Δ$-critical if it is connected, satisfies $χ'(G)=Δ+1$, and the deletion of any edge reduces its chromatic index to $Δ$. A $Δ$-critical graph $G$ is called nontrivial if it contains no $Δ$-overfull subgraph; that is, no $H \subseteq G$ such that $|E(H)| > Δ\lfloor |V(H)| /2 \rfloor$. There are no $1$-critical graphs, and the $2$-critical graphs are exactly the odd cycles. By work of Chetwynd and Yap from 1983, there is a unique nontrivial $3$-critical graph of order $9$, and exactly two nontrivial $3$-critical graphs of order $11$. In 2005, Bokal, Brinkmann, and Grünewald showed that there are exactly fourteen nontrivial $3$-critical graphs of order $13$. For even orders, Brinkmann and Steffen proved in 1997 that no $3$-critical graphs of even order exist below order $22$, there is exactly one 3-critical graph of order $22$, and that there are exactly nine $3$-critical graphs of order $24$.
To the best of our knowledge, there has been no further progress on the existence of nontrivial $3$-critical graphs of odd orders beyond the cases established two decades ago. In this paper, using computer-assisted search techniques, we determine the exact numbers of nontrivial $3$-critical graphs of odd orders from $15$ to $21$. The same data pipeline also reproduces the known order-$22$ count of Brinkmann and Steffen, with one nontrivial $3$-critical graph. Beyond enumeration, we prove a characterization theorem for all nontrivial 3-critical graphs, with one case based on snarks. We also provide an analysis of our search algorithm.
Holes in Valid-Extension Sets of Finite Gilbreath Sequences
Given a finite sequence of integers, form its difference triangle by repeatedly taking absolute differences of consecutive entries. We call the sequence Gilbreath if the leftmost entry of every row below the top is 1. The Gilbreath conjecture, which remains open, asserts that every initial segment of the primes is a Gilbreath sequence.
This paper studies the local extension problem: given a Gilbreath sequence, which integers can be appended to it while preserving the Gilbreath property? We call the set of such admissible values the valid-extension set of the sequence. A previously proposed characterization in the literature predicts that this set always fills a natural parity interval around the last term. We show that this fails in general: the valid-extension set can have interior holes, with the smallest failure occurring at length 5 for the sequence (2,3,5,9,15).
The paper develops a corrected theory of valid extensions. We give an exact criterion for membership in the valid-extension set, an algorithm that computes it, and a sharp condition determining exactly when the set fills the candidate interval. This last condition is an order-sensitive analogue of the classical Brown completeness criterion for subset sums. We also establish endpoint validity and reflection symmetry, determine the exact minimum size of the valid-extension set together with its unique minimizer, exhibit a family whose valid-extension set has exponentially many components, and provide enumeration data through length 11.
Counting q-Matroids
$q$-Matroids, a $q$-analogue of classical matroids have attracted a lot of attention over the last decade, yet their enumeration remains largely unexplored. In this paper, we study the number of $q$-matroids, paving and sparse-paving $q$-matroids defined on a fixed ground space and with prescribed rank. We derive new lower bounds using constructions from constant-dimension codes and improve existing estimates. On the upper bound side, we develop two approaches: a combinatorial method based on controlling the number of dependent hyperplanes for paving $q$-matroids, and an entropy-based counting argument applicable to classes of $q$-matroids closed under contraction. These techniques yield explicit upper bounds on the logarithmic number of $q$-matroids with fixed rank and ground space. Finally, we analyze the asymptotic behavior of these bounds, and identify gaps between lower and upper estimates, leading to conjectures on the true asymptotic growth.
Asymptotics of the number of labelled connected sparse multitype graphs
We study the asymptotic enumeration of labelled connected multitype graphs in the sparse regime, where both the number of vertices and edges grow linearly and the excess is proportional to the size of the graph. Extending the classical theory of connected graph enumeration to the multitype setting, we consider graphs with prescribed numbers of vertices of each type and prescribed edge counts between each pair of types. Our approach is probabilistic and relies on the theory of inhomogeneous random graphs. In particular, we exploit large-deviation principles and asymptotic estimates for connectedness probabilities to relate the counting problem to the emergence of giant components in suitably tuned supercritical random graphs. From large deviation asymptotics of connected components of inhomogeneous random graphs, we recognize that a connected graph with a given edge statistics corresponds to the (unique) giant component of larger inhomogeneous random graph with a suitably chosen connection kernel. This correspondence allows us to derive the leading exponential asymptotics for the number of connected multitype graphs with fixed type profile and edge matrix. The resulting formula generalizes the asymptotic enumeration results of Bender, Canfield, and McKay for connected sparse graphs to the multitype framework. More broadly, the paper illustrates how probabilistic techniques can provide transparent and effective tools for addressing new combinatorial enumeration problems.
Asymptotic enumeration of unlabelled cubic planar graphs
We determine the precise asymptotic number of unlabelled cubic planar graphs with $n$ vertices. Our approach blends generating series methods with computational bounds and probabilistic local large deviation theorems.
Multisymmetric polynomials on set-theoretic quiver representations
Eventually constant set-valued representations of a quiver are set-theoretic analogues of nilpotent representations. In recent work by Green-Holmes-Im, the authors enumerated eventually constant set-valued representations for equioriented cyclic quivers using the directed matrix-tree theorem. In this paper, we extend this enumeration to finite quivers without sinks for which every vertex is the target of sufficiently long paths. We encode the representations as directed acyclic graphs and introduce a recursive source-removal method for certain classes of directed acyclic graphs. This yields a strictly upper triangular matrix enumerator in the incidence algebra of the subset lattice. To compute the cardinality of the eventually constant representations, we compress this enumerator to a matrix indexed by cardinality vectors, the set-theoretic analogues of dimension vectors. We conclude by specializing the formulas to the Jordan quiver and recovering the multisymmetric generating polynomial for the cyclic quiver without using the matrix-tree theorem.
On mesh patterns of short length: Equidistribution and enumeration
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.
A local bijection between alternating sign matrices and descending plane partitions and a Striker--Fulmek-type $q$-statistic
We prove a local bijection between alternating sign matrices (ASMs) and descending plane partitions (DPPs) in the refined fibres of Behrend--Di Francesco--Zinn-Justin. The map is constructed by moving a boundary line through the ASM and DPP pictures. At each step only a bounded neighbourhood of that boundary is changed. In growth-diagram language, the boundary states are ordinary ASM row frontiers and shifted DPP path frontiers, and the elementary moves are reversible Fomin-type square rules. The proof checks that overlapping local moves are confluent, that every square is invertible, and that the completed boundary again satisfies the ordinary ASM and DPP coordinate inequalities. The only terminal choice is resolved by a radius-two fan rule on the visible height contour.
The same local framework gives a statistic on refined ASMs whose generating function is the DPP degree enumerator. The statistic has a Striker--Fulmek quadratic core \[
Q_{\rm SF}(A)=
\sum_{1\le r<s\le n}\ \sum_{1\le b<a\le n}
(n-r+1)A_{r,a}A_{s,b}, \] plus a bounded fan-boundary correction and, outside the normal boundary gauge, an explicit compact-potential endpoint term. In the normal gauge this is \[
W_{\rm ASM}^{\rm SF}(A)=Q_{\rm SF}(A)+B_{\rm fan}(A). \] Thus the paper gives both a local ASM--DPP bijection and a statistic-preserving refined \(q\)-enumeration. The supplementary files reproduce selected local checks and the displayed arithmetic examples.