enumeration
2243 papers tagged with this keyword
Algebraic polytopes in Normaliz
Published
• View Publication
• BIB
We describe the implementation of algebraic polyhedra in Normaliz. In addition to convex hull computation/vertex enumeration, it is possible to compute triangulations, volumes, lattice points, face lattices and automorphism groups. The arithmetic is based on the package e-antic by V.~Delecroix.
On Multitype Random Forests with a Given Degree Sequence, the Total Population of Branching Forests and Enumerations of Multitype Forests
The degree sequence $(N_{i,j}(k),1\leq i,j\leq d,k\geq 0)$ of a multitype forest with $d$ types, is the number of individuals type $i$, having $k$ children type $j$. We construct a multitype forest sampled uniformly from all multitype forest with a given degree sequence (MFGDS). For this, we use an extension of the Ballot Theorem by (Chaumont and Liu, 2016), and generalize the Vervaat transform (Vervaat, 1979) to multidimensional discrete exchangeable increment processes. We prove that MFGDS are extensions of multitype Galton-Watson (MGW) forests, since mixing the laws of the former, one obtains MGW forests with fixed sizes by type (CMGW). We also obtain the law of the total population by types in a MGW forest, generalizing Otter-Dwass formula (Otter 1949, Dwass 1969). We apply this to obtain enumerations of plane, labeled and binary multitype forests having fixed roots and individuals by types. We give an algorithm to simulate certain CMGW forests, generalizing the unitype case of (Devroye, 2012).
Deutsch paths and their enumeration
Published
• View Publication
• BIB
A variation of Dyck paths allows for down-steps of arbitrary length, not just one. Credits for this invention are given to Emeric Deutsch. Surprisingly, the enumeration of them is somewhat akin to the analysis of Motzkin-paths; the last section contains a bijection.
Bounded affine permutations I. Pattern avoidance and enumeration
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019, Special issues (March 29, 2021) dmtcs:6178
• View Publication
• BIB
We introduce a new boundedness condition for affine permutations, motivated by the fruitful concept of periodic boundary conditions in statistical physics. We study pattern avoidance in bounded affine permutations. In particular, we show that if $τ$ is one of the finite increasing oscillations, then every $τ$-avoiding affine permutation satisfies the boundedness condition. We also explore the enumeration of pattern-avoiding affine permutations that can be decomposed into blocks, using analytic methods to relate their exact and asymptotic enumeration to that of the underlying ordinary permutations. Finally, we perform exact and asymptotic enumeration of the set of all bounded affine permutations of size $n$. A companion paper will focus on avoidance of monotone decreasing patterns in bounded affine permutations.
Enumeration of Dumont permutations avoiding certain four-letter patterns
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019, Special issues (July 6, 2021) dmtcs:6174
• View Publication
• BIB
In this paper, we enumerate Dumont permutations of the fourth kind avoiding or containing certain permutations of length 4. We also conjecture a Wilf-equivalence of two 4-letter patterns on Dumont permutations of the first kind.
Formulae for calculating Hurwitz numbers
In this paper, we aim to provide an accessible survey to various formulae for calculating single Hurwitz numbers. Single Hurwitz numbers count certain classes of meromorphic functions on complex algebraic curves and have a rich geometric structure behind them which has attracted many mathematicians and physicists. Formulation of the enumeration problem is purely of topological nature, but with connections to several modern areas of mathematics and physics.
Enumeration of row-increasing tableaux of two-row skew shapes
Published in Discrete Mathematics, 344(3) (2021)
• View Publication
• BIB
In this paper, we firstly extend a result of Bonin, Shapiro and Simion by giving the distribution of the major index over generalized Schröder paths. Then by providing a bijection between generalized Schröder paths and row-increasing tableaux of skew shapes with two rows, we obtain the distribution of the major index and the amajor index over these tableaux, which extends a result of Du, Fan and Zhao. We also generalize a result of Pechenik and give the distribution of the major index over increasing tableaux of skew shapes with two rows. Especially, a bijection from row-increasing tableaux with shape $(n,m)$ and maximal value $n+m-k$ to standard Young tableaux with shape $((n-k+1,m-k+1,1^k)/(1^2))$ is obtained.
Descents on quasi-Stirling permutations
Published
• View Publication
• BIB
Stirling permutations were introduced by Gessel and Stanley, who used their enumeration by the number of descents to give a combinatorial interpretation of certain polynomials related to Stirling numbers.
Quasi-Stirling permutations, which can be viewed as labeled noncrossing matchings, were introduced by Archer et al. as a natural extension of Stirling permutations. Janson's correspondence between Stirling permutations and labeled increasing plane trees extends to a bijection between quasi-Stirling permutations and the same set of trees without the increasing restriction.
Archer et al. posed the problem of enumerating quasi-Stirling permutations by the number of descents, and conjectured that there are $(n+1)^{n-1}$ such permutations of size $n$ having the maximum number of descents. In this paper we prove their conjecture, and we give the generating function for quasi-Stirling permutations by the number of descents, expressed as a compositional inverse of the generating function of Eulerian polynomials. We also find the analogue for quasi-Stirling permutations of the main result from Gessel and Stanley's paper. We prove that the distribution of descents on these permutations is asymptotically normal, and that the roots of the corresponding quasi-Stirling polynomials are all real, in analogy to Bóna's results for Stirling permutations.
Finally, we generalize our results to a one-parameter family of permutations that extends $k$-Stirling permutations, and we refine them by also keeping track of the number of ascents and the number of plateaus.
Toric spaces and face enumeration on simplicial manifolds
In this paper, we study the well-know $g$-conjecture for rational homology spheres in a topological way. To do this, we construct a class of topological spaces with torus actions, which can be viewed as topological generalizations of toric varieties. Along this way we prove that after doing stellar subdivision operations at some middle dimensional faces of an arbitrary rational homology sphere, the $g$-conjecture is valid. Furthermore, we give topological proofs of several fundamental algebraic results about Buchsbaum complexes and simplicial manifolds. In this process, we also get a few interesting results in toric topology.
Polyharmonic functions and random processes in cones
We investigate polyharmonic functions associated to Brownian motion and random walks in cones. These are functions which cancel some power of the usual Laplacian in the continuous setting and of the discrete Laplacian in the discrete setting. We show that polyharmonic functions naturally appear while considering asymptotic expansions of the heat kernel in the Brownian case and in lattice walk enumeration problems. We provide a method to construct general polyharmonic functions through Laplace transforms and generating functions in the continuous and discrete cases, respectively. This is done by using a functional equation approach.
Enumeration of labelled 4-regular planar graphs II: asymptotics
Published in European Journal of Combinatorics Volume 110, May 2023, 103661
• View Publication
• BIB
This work is a follow-up of the article [Proc.\ London Math.\ Soc.\ 119(2):358--378, 2019], where the authors solved the problem of counting labelled 4-regular planar graphs. In this paper, we obtain a precise asymptotic estimate for the number $g_n$ of labelled 4-regular planar graphs on $n$ vertices. Our estimate is of the form $g_n \sim g\cdot n^{-7/2} ρ^{-n} n!$, where $g>0$ is a constant and $ρ\approx 0.24377$ is the radius of convergence of the generating function $\sum_{n\ge 0}g_n x^n/n!$, and conforms to the universal pattern obtained previously in the enumeration of several classes of planar graphs. In addition to analytic methods, our solution needs intensive use of computer algebra in order to deal with large systems of multivariate polynomial equations. We also obtain asymptotic estimates for the number of 2- and 3-connected 4-regular planar graphs, and for the number of 4-regular simple maps, both connected and 2-connected.
Parking functions on directed stars and orientation reversal with an extension to general directed trees
Parking functions, classically defined in terms of cars with preferred parking spots on a directed path attempting to park there, arise in many combinatorial situations and have seen various generalizations. In particular, parking functions have been defined for general digraphs, which yields many more enumeration problems. For example, in a directed tree whose edges are orientated away from the root, it is unknown in general how the number of parking functions on it changes once the orientation is reversed, even in the case when the tree is a star. We show that this orientation reversal results in more parking functions on the directed star in most cases, after which we extend these methods to show that this also results in more parking functions on the general directed tree if, in some sense, the number of vertices greatly exceeds the number of cars.
Bijective link between Chapoton's new intervals and bipartite planar maps
Published
• View Publication
• BIB
In 2006, Chapoton defined a class of Tamari intervals called "new intervals" in his enumeration of Tamari intervals, and he found that these new intervals are equi-enumerated with bipartite planar maps. We present here a direct bijection between these two classes of objects using a new object called "degree tree". Our bijection also gives an intuitive proof of an unpublished equi-distribution result of some statistics on new intervals given by Chapoton and Fusy.
Interval structures in the Bruhat and weak orders
Published
• View Publication
• BIB
We study the appearance of notable interval structures -- lattices, modular lattices, distributive lattices, and boolean lattices -- in both the Bruhat and weak orders of Coxeter groups. We collect and expand upon known results for principal order ideals, including pattern characterizations and enumerations for the symmetric group. This segues naturally into a similar analysis for arbitrary intervals, although the results are less characterizing for the Bruhat order at this generality. In counterpoint, however, we obtain a full characterization for intervals starting at rank one in the symmetric group, for each of the four structure types, in each of the two posets. Each category can be enumerated, with intriguing connections to Fibonacci and Catalan numbers. We conclude with suggestions for further directions and questions, including an interesting analysis of the intervals formed between a permutation and each generator in its support.
On the existence and the enumeration of bipartite regular representations of Cayley graphs over abelian groups
Published
• View Publication
• BIB
In this paper we are interested in the asymptotic enumeration of bipartite Cayley digraphs and Cayley graphs over abelian groups. Let $A$ be an abelian group and let $ι$ be the automorphism of $A$ defined by $a^ι=a^{-1}$, for every $a\in A$. A Cayley graph $\Cay(A, S)$ is said to have an automorphism group as small as possible if $\Aut(\Cay(A,S)) = \langle A,ι\rangle$. In this paper, we show that, except for two infinite families, almost all bipartite Cayley graphs on abelian groups have automorphism group as small as possible. We also investigate the analogous question for bipartite Cayley digraphs.
A conjecture on bipartite graphical regular representations
Published
• View Publication
• BIB
In this paper we are concerned with the classification of the finite groups admitting a bipartite DRR and a bipartite GRR.
First, we find a natural obstruction in a finite group for not admitting a bipartite GRR. Then we give a complete classification of the finite groups satisfying this natural obstruction and hence not admitting a bipartite GRR. Based on these results and on some extensive computer computations, we state a conjecture aiming to give a complete classification of the finite groups admitting a bipartite GRR.
Next, we prove the existence of bipartite DRRs for most of the finite groups not admitting a bipartite GRR found in this paper. Actually, we prove a much stronger result: we give an asymptotic enumeration of the bipartite DRRs over these groups. Again, based on these results and on some extensive computer computations, we state a conjecture aiming to give a complete classification of the finite groups admitting a bipartite DRR.
Plethystic formulas for permutation enumeration
Published in Adv. Math. 375: Article #107370, 55 pp., 2020
• View Publication
• BIB
We prove several general formulas for the distributions of various permutation statistics over any set of permutations whose quasisymmetric generating function is a symmetric function. Our formulas involve certain kinds of plethystic substitutions on quasisymmetric generating functions, and the permutation statistics we consider include the descent number, peak number, left peak number, and the number of up-down runs. We apply these results to cyclic permutations, involutions, and derangements, and more generally, to derive formulas for counting all permutations by the above statistics jointly with the number of fixed points and jointly with cycle type. A number of known formulas are recovered as special cases of our results, including formulas of Désarménien-Foata, Gessel-Reutenauer, Stembridge, Fulman, Petersen, Diaconis-Fulman-Holmes, Zhuang, and Athanasiadis.
Enumeration of symmetric Gelfand--Tsetlin patterns by linear algebra
We shall present a ``linear algebraic'' proof (involving some calculations in the algebra of linear operators on a vector space of polynomials and some manipulations of determinants) of the formula for the enumeration of symmetric Gelfand--Tsetlin patterns with fixed bottom row, which was proved by Tri Lai in the context of enumerating symmetric lozenge tilings of a ``halved'' hexagon with ``dents''.
A Combinatorial Identity for the p-Binomial Coefficient Based on Abelian Groups
Published in Moscow Journal of Combinatorics and Number Theory, Vol. 10 (2021), No. 1, 13-24
• View Publication
• BIB
For non-negative integers $k\leq n$, we prove a combinatorial identity for the $p$-binomial coefficient $\binom{n}{k}_p$ based on abelian p-groups. A purely combinatorial proof of this identity is not known. While proving this identity, for $r\in \mathbb{N}\cup\{0\},s\in \mathbb{N}$ and $p$ a prime, we present a purely combinatorial formula for the number of subgroups of $\mathbb{Z}^s$ of finite index $p^r$ with quotient isomorphic to the finite abelian $p$-group of type $\underlineλ$, which is a partition of $r$ into at most $s$ parts. This purely combinatorial formula is similar to that for the enumeration of subgroups of a certain type in a finite abelian $p$-group obtained by Lynne Marie Butler. As consequences, this combinatorial formula gives rise to many enumeration formulae that involve polynomials in $p$ with non-negative integer coefficients.
Catalan words avoiding pairs of length three patterns
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019, Special issues (April 16, 2021) dmtcs:6002
• View Publication
• BIB
Catalan words are particular growth-restricted words counted by the eponymous integer sequence. In this article we consider Catalan words avoiding a pair of patterns of length 3, pursuing the recent initiating work of the first and last authors and of S. Kirgizov where (among other things) the enumeration of Catalan words avoiding a patterns of length 3 is completed. More precisely, we explore systematically the structural properties of the sets of words under consideration and give enumerating results by means of recursive decomposition, constructive bijections or bivariate generating functions with respect to the length and descent number. Some of the obtained enumerating sequences are known, and thus the corresponding results establish new combinatorial interpretations for them.