enumeration
2243 papers tagged with this keyword
On the enumeration of permutation-invariant and complete Naples parking functions
Naples parking functions were introduced as a generalization of classical parking functions, in which cars are allowed to park backwards, by checking up to a fixed number of previous slots, before proceedings forward as usual. In our previous work (arXiv:2405.07522, 2024) we have provided a characterization of Naples parking functions in terms of the new notion of \emph{complete parking preference}. Our result also allowed us to describe a new characterization of permutation-invariant Naples parking functions, equivalent (but much simpler) to the one given by Carvalho et al.(arXiv:2109.01735, 2021) but using a completely different approach (and language).
In the present article we address some natural enumerative issues concerning the above mentioned objects. We propose an effective approach to enumerate permutation-invariant Naples parking functions and complete Naples parking functions which is based on some natural combinatorial decompositions. We thus obtain formulas depending on some (generally simpler) quantities, which are of interest in their own right, and that can be described in a recursive fashion.
Chow functions for partially ordered sets
Three decades ago, Stanley and Brenti initiated the study of the Kazhdan--Lusztig--Stanley (KLS) functions, putting on common ground several polynomials appearing in algebraic combinatorics, discrete geometry, and representation theory. In the present paper we develop a theory that parallels the KLS theory. To each kernel in a given poset, we associate a polynomial function that we call the \emph{Chow function}. The Chow function often exhibits remarkable properties, and sometimes encodes the graded dimensions of a cohomology or Chow ring. The framework of Chow functions provides natural polynomial analogs of graded module decompositions that appear in algebraic geometry, but that work for arbitrary posets, even when no graded module decomposition is known to exist. In this general framework, we prove a number of unimodality and positivity results without relying on versions of the Hard Lefschetz theorem. Our framework shows that there is an unexpected relation between positivity and real-rootedness conjectures about chains on face lattices of polytopes by Brenti and Welker, Hilbert--Poincaré series of matroid Chow rings by Ferroni and Schröter, and flag enumerations on Bruhat intervals of Coxeter groups by Billera and Brenti.
Enumeration modulo 4 of overpartitions wherein only even parts can be overlined
Published in Discrete Math. Lett. 14 (2024) 95-102
• View Publication
• BIB
In 2014, as part of a larger study of overpartitions with restrictions of the overlined parts based on residue classes, Munagi and Sellers defined $d_2(n)$ as the number of overpartitions of weight $n$ wherein only even parts can be overlined. As part of that work, they used a generating function approach to prove a parity characterization for $d_2(n)$. In this note, we give a combinatorial proof of their result and extend it to a modulus 4 characterization; we provide both generating function and combinatorial proofs of this stronger result. The combinatorial arguments incorporate classical involutions of Franklin, Glaisher, and Sylvester, along with a recent involution of van Leeuwen and methods new with this work.
Regular structures of an intractable enumeration problem: a diagonal recurrence relation of monomer-polymer coverings on two-dimensional rectangular lattices
The enumeration of polymer coverings on two-dimensional rectangular lattices is considered as "intractable". We prove that the number of coverings of $s$ polymer satisfies a simple recurrence relation $ \sum_{i=0}^{2s} (-1)^i \binom{2s}{i} a_{n-i, m-i} = 2^s {(2s)!} / {s!} $ on a $n \times m$ rectangular lattice with open boundary conditions in both directions.
Semirigidity and the enumeration of nilpotent semigroups of index three
There is strong evidence for the belief that `almost all' finite semigroups, whether we consider multiplication operations on a fixed set or their isomorphism classes, are nilpotent of index 3 (3-nilpotent for short). The only known method for counting all semigroups of given order is exhaustive testing, but formulae exist for the numbers of 3-nilpotent ones, and it is also known that `almost all' of these are rigid (have only trivial automorphism).
Here we express the number of distinct 3-nilpotent semigroup operations on a fixed set of cardinality $n$ as a sum of Stirling numbers, and provide a new expression for the number of isomorphism classes of 3-nilpotent semigroups of cardinality $n$. We introduce a notion of semirigidity for semigroups (as a generalization of rigidity) and find computationally tractable formulae giving an upper bound for the number of pairwise non-isomorphic semirigid 3-nilpotent semigroups, and thus an improved lower bound for the number of all 3-nilpotent semigroups up to isomorphism. Analogous formulae are also developed for isomorphism classes such as commutative and self-dual semigroups, and for equivalence classes (isomorphic or anti-isomorphic). The method relies on an application of the theory of orbit counting in permutation group actions. Our main results are accompanied by tables containing values of these numbers and bounds up to $n=10$ with computations carried out in GAP (but perfectly feasible well beyond this value of $n$).
Primeness of generalized parking functions
Classical parking functions are a generalization of permutations that appear in many combinatorial structures. Prime parking functions are indecomposable components such that any classical parking function can be uniquely described as a direct sum of prime ones. In this article, we extend the notion of primeness to three generalizations of classical parking functions: vector parking functions, $(p,q)$-parking functions, and two-dimensional vector parking functions. We study their enumeration by obtaining explicit formulas for the number of prime vector parking functions when the vector is an arithmetic progression, prime $(p,q)$-parking functions, and prime two-dimensional vector parking functions when the weight matrix is an affine transformation of the coordinates.
Some open mathematical problems on fullerenes
Fullerenes are hollow carbon molecules where each atom is connected to exactly three other atoms, arranged in pentagonal and hexagonal rings. Mathematically, they can be combinatorially modeled as planar, 3-regular graphs with facets composed only of pentagons and hexagons. In this work, we outline a few of the many open questions about fullerenes, beginning with the problem of generating fullerenes randomly. We then introduce an infinite family of fullerenes on which the generalized Stone-Wales operation is inapplicable. Furthermore, we present numerical insights on a graph invariant, called \textit{character} of a fullerene, derived from its adjacency and degree matrices. This descriptor may lead to a new method for linear enumeration of all fullerenes.
On combinatorial descriptions of faces of the cone of supermodular functions
Five different ways of combinatorial description of non-empty faces of the cone of supermodular functions on the power set of a finite basic set $N$ are introduced. Their identification with faces of the cone of supermodular games allows one to associate to them certain polytopes in $\mathbb{R}^{N}$, known as cores (of these games) in context of cooperative game theory, or generalized permutohedra in context of polyhedral geometry. Non-empty faces of the supermodular cone then correspond to normal fans of those polytopes. This (basically) geometric way of description of faces of the cone then leads to the combinatorial ways of their description. The first combinatorial way is to identify the faces with certain partitions of the set of enumerations of $N$, known as rank tests in context of algebraic statistics. The second combinatorial way is to identify faces with certain collections of posets on $N$, known as (complete) fans of posets in context of polyhedral geometry. The third combinatorial way is to identify the faces with certain coverings of the power set of $N$, introduced relatively recently in context of cooperative game theory under name core structures. The fourth combinatorial way is to identify the faces with certain formal conditional independence structures, introduced formerly in context of multivariate statistics under name structural semi-graphoids. The fifth way is to identify the faces with certain subgraphs of the permutohedral graph, whose nodes are enumerations of $N$. We prove the equivalence of those six ways of description of non-empty faces of the supermodular cone. This result also allows one to describe the faces of the polyhedral cone of (rank functions of) polymatroids over $N$ and the faces of the submodular cone over $N$.
Kleinian singularities: some geometry, combinatorics and representation theory
We review the relationship between discrete groups of symmetries of Euclidean three-space, constructions in algebraic geometry around Kleinian singularities including versions of Hilbert and Quot schemes, and their relationship to finite-dimensional and affine Lie algebras via the McKay correspondence. We focus on combinatorial aspects, such as the enumeration of certain types of partition-like objects, reviewing in particular a recently developed root-of-unity-substitution calculus. While the most complete results are in type A, we also develop aspects of the theory in type D, and end with some questions about the exceptional type E cases.
Enumeration of rooted binary perfect phylogenies
Rooted binary perfect phylogenies provide a generalization of rooted binary unlabeled trees in which each leaf is assigned a positive integer value that corresponds in a biological setting to the count of the number of indistinguishable lineages associated with the leaf. For the rooted binary unlabeled trees, these integers equal 1. We address a variety of enumerative problems concerning rooted binary perfect phylogenies with sample size $s$: the rooted binary unlabeled trees in which a sample of size $s$ lineages is distributed across the leaves of an unlabeled tree with $n$ leaves, $1 \leq n \leq s$. The enumerations further characterize the rooted binary perfect phylogenies, which include the rooted binary unlabeled trees, and which can provide a set of structures useful for various biological contexts.
A determinantal formula for cluster variables in cluster algebras from surfaces
For cluster algebras of surface type, Musiker, Schiffler and Williams gave a formula for cluster variables in terms of perfect matchings of snake graphs. Building on this, we provide a simple determinantal formula for cluster variables via the weighted biadjacency matrix of the associated snake graphs, thus circumventing the enumeration of their perfect matchings.
On the theory of Lucas coloring
In this paper, we introduce the notion of "$Lucas-Coloring$" associated with a planar graph $g$. When $g$ is a $4$-regular, the enumeration of $Lucas-Coloring$ has an interesting interpretation. Specifically, it yields a numerical invariant of the associated Khovanov-Lee complex of any link diagram $D$ whose projection is equal to $g$. This complex resides in the Karoubi envelope of Bar-Natan's formal cobordism category, $Cob^{3}_{/l}$ . The Karoubi envelope of $Cob^{3}_{/l}$ was introduced by Bar-Natan and Morrison to provide a conceptual proof of Lee's theorem. As an application of "Lucas-Coloring", we first show how the Alternating Sign Matrices can be retrieved as a special case of $Lucas-Coloring$. Next, we show a certain statistic on the $Lucas-Coloring$ enumerates the perfect matchings of a canonically defined graph on $g$. This construction allowed us to derive a summation formula of the enumeration of lozenge tilings of the region constructed out of a regular hexagon by removing the "maximal staircase" from its alternating corners in terms of powers of $2$. This formula is reminiscent of the celebrated Aztec Diamond Theorem of Elkies, Kuperberg, Larsen, and Propp, which concerns domino tilings of Aztec Diamonds.
Cyclotomic enumeration of polynomials
Published in Discrete Mathematics, 349 (2026), 114688
• View Publication
• BIB
Using the cyclotomic identity we compute sums over d-tuples of monic polynomials in F_q[x] weighted by the multiplicity of their irreducible factors. As consequences we determine explicit expressions for the number of d-tuples of polynomials such that their greatest common divisor is rth power free. We also compute the number of monic polynomials where the multiplicity of each irreducible factor belongs to the monoid generated by two relatively prime integers.
Enumeration of planar bipartite tight irreducible maps
We consider planar bipartite maps which are both tight, i.e. without vertices of degree $1$, and $2b$-irreducible, i.e. such that each cycle has length at least $2b$ and such that any cycle of length exactly $2b$ is the contour of a face. It was shown by Budd that the number $\mathcal N_n^{(b)}$ of such maps made out of a fixed set of $n$ faces with prescribed even degrees is a polynomial in both $b$ and the face degrees. In this paper, we give an explicit expression for $\mathcal N_n^{(b)}$ by a direct bijective approach based on the so-called slice decomposition. More precisely, we decompose any of the maps at hand into a collection of $2b$-irreducible tight slices and a suitable two-face map. We show how to bijectively encode each $2b$-irreducible slice via a $b$-decorated tree drawn on its derived map, and how to enumerate collections thereof. We then discuss the polynomial counting of two-face maps, and show how to combine it with the former enumeration to obtain $\mathcal N_n^{(b)}$.
A convex ear decomposition of the augmented Bergman complex of a matroid
In recent work of Braden, Huh, Matherne, Proudfoot and Wang, a class of simplicial complexes associated to matroids, called augmented Bergman complexes, was introduced. The present article concerns the face enumeration of these complexes. We prove that the augmented Bergman complex of any matroid admits a convex ear decomposition and deduce that augmented Bergman complexes are doubly Cohen--Macaulay and that they have top-heavy $h$-vectors. We provide some formulas for computing the $h$-polynomials of these complexes and exhibit examples which show that, in general, they are neither log-concave nor unimodal.
Hall-Littlewood polynomials, affine Schubert series, and lattice enumeration
We introduce multivariate rational generating series called Hall-Littlewood-Schubert ($\mathsf{HLS}_n$) series. They are defined in terms of polynomials related to Hall-Littlewood polynomials and semistandard Young tableaux. We show that $\mathsf{HLS}_n$ series provide solutions to a range of enumeration problems upon judicious substitutions of their variables. These include the problem to enumerate sublattices of a $p$-adic lattice according to the elementary divisor types of their intersections with the members of a complete flag of reference in the ambient lattice. This is an affine analog of the stratification of Grassmannians by Schubert varieties. Other substitutions of $\mathsf{HLS}_n$ series yield new formulae for Hecke series and $p$-adic integrals associated with symplectic $p$-adic groups, and combinatorially defined quiver representation zeta functions. $\mathsf{HLS}_n$ series are $q$-analogs of Hilbert series of Stanley-Reisner rings associated with posets arising from parabolic quotients of Coxeter groups of type $\mathsf{B}$ with the Bruhat order. Special values of coarsened $\mathsf{HLS}_n$ series yield analogs of the classical Littlewood identity for the generating functions of Schur polynomials.
Set-Valued Catalan Combinatorics
Set-valued standard Young tableaux are a generalization of standard Young tableaux due to Buch (2002) with applications in algebraic geometry. The enumeration of set-valued SYT is significantly more complicated than in the ordinary case, although product formulas are known in certain special cases. In this work we study the case of two-rowed set-valued SYT with a fixed number of entries. These tableaux are a new combinatorial model for the Catalan, Narayana, and Kreweras numbers, and can be shown to be in correspondence with both 321-avoiding permutations and a certain class of bicolored Motzkin paths. We also introduce a generalization of the set-valued comajor index studied by Hopkins, Lazar, and Linusson (2023), and use this statistic to find seemingly new q-analogs of the Catalan and Narayana numbers.
$k$-local Graphs
In 2017 Day et al. introduced the notion of locality as a structural complexity-measure for patterns in the field of pattern matching established by Angluin in 1980. In 2019 Casel et al. showed that determining the locality of an arbitrary pattern is NP-complete. Inspired by hierarchical clustering, we extend the notion to coloured graphs, i.e., given a coloured graph determine an enumeration of the colours such that colouring the graph stepwise according to the enumeration leads to as few clusters as possible. Next to first theoretical results on graph classes, we propose a priority search algorithm to compute the $k$-locality of a graph. The algorithm is optimal in the number of marking prefix expansions, and is faster by orders of magnitude than an exhaustive search. Finally, we perform a case study on a DBLP subgraph to demonstrate the potential of $k$-locality for knowledge discovery.
On maximum graphs in Tutte polynomial posets
Boesch, Li, and Suffel were the first to identify the existence of uniformly optimally reliable graphs (UOR graphs), graphs which maximize all-terminal reliability over all graphs with $n$ vertices and $m$ edges. The all-terminal reliability of a graph, and more generally a graph's all-terminal reliability polynomial $R(G;p)$, may both be obtained via the Tutte polynomial $T(G;x,y)$ of the graph $G$. Here we show that the UOR graphs found earlier are in fact maximum graphs for the Tutte polynomial itself, in the sense that they are maximum not just for all-terminal reliability but for a vast array of other parameters and polynomials that may be obtained from $T(G;x,y)$ as well. These parameters include, but are not limited to, enumerations of a wide variety of well-known orientations, partial orientations, and fourientations of $G$; the magnitudes of the coefficients of the chromatic and flow polynomials of $G$; and a wide variety of generating functions, such as generating functions enumerating spanning forests and spanning connected subgraphs of $G$. The maximality of all of these parameters is done in a unified way through the use of $(n,m)$ Tutte polynomial posets.
Combinatorics of a dissimilarity measure for pairs of draws from discrete probability vectors on finite sets of objects
Motivated by a problem in population genetics, we examine the combinatorics of dissimilarity for pairs of random unordered draws of multiple objects, with replacement, from a collection of distinct objects. Consider two draws of size $K$ taken with replacement from a set of $I$ objects, where the two draws represent samples from potentially distinct probability distributions over the set of $I$ objects. We define the set of \emph{identity states} for pairs of draws via a series of actions by permutation groups, describing the enumeration of all such states for a given $K \geq 2$ and $I \geq 2$. Given two probability vectors for the $I$ objects, we compute the probability of each identity state. From the set of all such probabilities, we obtain the expectation for a dissimilarity measure, finding that it has a simple form that generalizes a result previously obtained for the case of $K=2$. We determine when the expected dissimilarity between two draws from the same probability distribution exceeds that of two draws taken from different probability distributions. We interpret the results in the setting of the genetics of polyploid organisms, those whose genetic material contains many copies of the genome ($K > 2$).