enumeration
2243 papers tagged with this keyword
Optimizing the double description method for normal surface enumeration
Published in Mathematics of Computation 79 (2010), no. 269, 453-484
• View Publication
• BIB
Many key algorithms in 3-manifold topology involve the enumeration of normal surfaces, which is based upon the double description method for finding the vertices of a convex polytope. Typically we are only interested in a small subset of these vertices, thus opening the way for substantial optimization. Here we give an account of the vertex enumeration problem as it applies to normal surfaces, and present new optimizations that yield strong improvements in both running time and memory consumption. The resulting algorithms are tested using the freely available software package Regina.
A Reflection Principle for Three Vicious Walkers
We establish a reflection principle for three lattice walkers and use this principle to reduce the enumeration of the configurations of three vicious walkers to that of configurations of two vicious walkers. In the combinatorial treatment of two vicious walkers, we make connections to two-chain watermelons and to the classical ballot problem. Precisely, the reflection principle leads to a bijection between three walks $(L_1, L_2, L_3)$ such that $L_2$ intersects both $L_1$ and $L_3$ and three walks $(L_1, L_2, L_3)$ such that $L_1$ intersects $L_3$. Hence we find a combinatorial interpretation of the formula for the generating function for the number of configurations of three vicious walkers, originally derived by Bousquet-Mélou by using the kernel method, and independently by Gessel by using tableaux and symmetric functions.
Enumeration of $(k,2)$-noncrossing partitions
Published in Discrete Mathematics 308:20 (2008) 4570-4577
• Search Publication
A set partition is said to be $(k,d)$-noncrossing if it avoids the pattern $12... k12... d$. We find an explicit formula for the ordinary generating function of the number of $(k,d)$-noncrossing partitions of $\{1,2,...,n\}$ when $d=1,2$.
A Complete Grammar for Decomposing a Family of Graphs into 3-connected Components
Published in Electronic Journal of Combinatorics, Volume 15(1), R148 (2008)
• View Publication
• BIB
Tutte has described in the book "Connectivity in graphs" a canonical decomposition of any graph into 3-connected components. In this article we translate (using the language of symbolic combinatorics)
Tutte's decomposition into a general grammar expressing any family of graphs (with some stability conditions) in terms of the 3-connected subfamily. A key ingredient we use is an extension of the so-called dissymmetry theorem, which yields negative signs in the grammar.
As a main application we recover in a purely combinatorial way the analytic expression found by Giménez and Noy for the series counting labelled planar graphs (such an expression is crucial to do asymptotic enumeration and to obtain limit laws of various parameters on random planar graphs). Besides the grammar, an important ingredient of our method is a recent bijective construction of planar maps by Bouttier, Di Francesco and Guitter.
A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations)
In the historic conference Combinatoire Enumerative[LL] wonderfully organized by Gilbert Labelle and Pierre Leroux there were many stimulating lectures, including a very interesting one by Pierre Leroux himself, who talked about his joint work with Xavier Viennot[LV], on solving differential equations combinatorially! During the problem session of that very same colloque, chaired by Pierre Leroux, Richard Stanley raised some intriguing problems about the enumeration of plane partitions, that he later expanded into a fascinating article[Sta1]. Most of these problems concerned the enumeration of symmetry classes of plane partitions, that were discussed in more detail in another article of Stanley[Sta2]. All of the conjectures in the latter article have since been proved (see Dave Bressoud's modern classic[B]), except one, that, so far, resisted the efforts of the greatest minds in enumerative combinatorics. It concerns the proof of an explicit formula for the q-enumeration of totally symmetric plane partitions, conjectured independently by George Andrews and Dave Robbins([Sta2],[Sta1](conj. 7), [B](conj. 13)). In this tribute to Pierre Leroux, we describe how to prove that last stronghold.
On the symmetry of ascents and descents over 01-fillings of moon polyominoes
The purpose of this short paper is to put recent results on the symmetry of the joint distribution of the numbers of crossings and nestings of two edges over matchings, set partitions and linked partitions, in the larger context of the enumeration of increasing and decreasing chains of length 2 in fillings of moon polyominoes.
Graph polynomials and Tutte-Grothendieck invariants: an application of elementary finite Fourier analysis
This paper is based on a series of talks given at the Patejdlovka Enumeration Workshop held in the Czech Republic in November 2007. The topics covered are as follows. The graph polynomial, Tutte-Grothendieck invariants, an overview of relevant elementary finite Fourier analysis, the Tutte polynomial of a graph as a Hamming weight enumerator of its set of tensions (or flows), and a description of a family of polynomials containing the graph polynomial which yield Tutte-Grothendieck invariants in a similar way.
Duality of real and quaternionic random matrices
Published in Electronic Journal Probab. Vol. 14 (2009), Paper no. 17, pages 452--476
• View Publication
• BIB
We show that quaternionic Gaussian random variables satisfy a generalization of the Wick formula for computing the expected value of products in terms of a family of graphical enumeration problems. When applied to the quaternionic Wigner and Wishart families of random matrices the result gives the duality between moments of these families and the corresponding real Wigner and Wishart families.
Canonical RNA pseudoknot structures
Published
• View Publication
• BIB
In this paper we study $k$-noncrossing, canonical RNA pseudoknot structures with minimum arc-length $\ge 4$. Let ${\sf T}_{k,σ}^{[4]} (n)$ denote the number of these structures. We derive exact enumeration results by computing the generating function ${\bf T}_{k,σ}^{[4]}(z)= \sum_n{\sf T}_{k,σ}^{[4]}(n)z^n$ and derive the asymptotic formulas ${\sf T}_{k,3}^{[4]}(n)^{}\sim c_k n^{-(k-1)^2-\frac{k-1}{2}} (γ_{k,3}^{[4]})^{-n}$ for $k=3,...,9$. In particular we have for $k=3$, ${\sf T}_{3,3}^{[4]}(n)^{}\sim c_3 n^{-5} 2.0348^n$. Our results prove that the set of biophysically relevant RNA pseudoknot structures is surprisingly small and suggest a new structure class as target for prediction algorithms.
Posets and Permutations in the Duplication-Loss Model: Minimal Permutations with d Descents
Published
• View Publication
• BIB
In this paper, we are interested in the combinatorial analysis of the whole genome duplication - random loss model of genome rearrangement initiated in a paper of Chaudhuri, Chen, Mihaescu, and Rao in SODA 2006 and continued by Bouvel and Rossin in 2007. In this model, genomes composed of n genes are modeled by permutations of the set of integers [1..n], that can evolve through duplication-loss steps. It was previously shown that the class of permutations obtained in this model after a given number p of steps is a class of pattern-avoiding permutations of finite basis. The excluded patterns were described as the minimal permutations with d=2^p descents, minimal being intended in the sense of the pattern-involvement relation on permutations. Here, we give a local and simpler characterization of the set B_d of minimal permutations with d descents. We also provide a more detailed analysis - characterization, bijection and enumeration - of two particular subsets of B_d, namely the patterns in B_d of size d+2 and 2d.
Some Enumerations for Parking Functions
In this paper, let $\mathcal{P}_{n,n+k;\leq n+k}$ (resp. $\mathcal{P}_{n;\leq s}$) denote the set of parking functions $α=(a_1,...,a_n)$ of length $n$ with $n+k$ (respe. $n$)parking spaces satisfying $1\leq a_i\leq n+k$ (resp. $1\leq a_i\leq s$) for all $i$. Let $p_{n,n+k;\leq n+k}=|\mathcal{P}_{n,n+k;\leq n+k}|$ and $p_{n;\leq s}=|\mathcal{P}_{n;\leq s}|$. Let $\mathcal{P}_{n;\leq s}^l$ denote the set of parking functions $α=(a_1,...,a_n)\in\mathcal{P}_{n;\leq s}$ such that $a_1=l$ and $p_{n;\leq s}^l=|\mathcal{P}_{n;\leq s}^l|$. We derive some formulas and recurrence relations for the sequences $p_{n,n+k;\leq n+k}$, $p_{n;\leq s}$ and $p_{n;\leq s}^l$ and give the generating functions for these sequences. We also study the asymptotic behavior for these sequences.
Enumerations of Permutations by Circular Descent Sets
Published
• View Publication
• BIB
The circular descent of a permutation $σ$ is a set $\{σ(i)\mid σ(i)>σ(i+1)\}$. In this paper, we focus on the enumerations of permutations by the circular descent set. Let $cdes_n(S)$ be the number of permutations of length $n$ which have the circular descent set $S$. We derive the explicit formula for $cdes_n(S)$. We describe a class of generating binary trees $T_k $ with weights. We find that the number of permutations in the set $CDES_n(S)$ corresponds to the weights of $T_k$. As a application of the main results in this paper, we also give the enumeration of permutation tableaux according to their shape.
Enumerations for Permutations by Circular Peak Sets
The circular peak set of a permutation $σ$ is the set $\{σ(i)\mid σ(i-1)<σ(i)>σ(i+1)\}$. In this paper, we focus on the enumeration problems for permutations by circular peak sets. Let $cp_n(S)$ denote the number of the permutations of order $n$ which have the circular peak set $S$. For the case with $|S|=0,1,2$, we derive the explicit formulas for $cp_n(S)$. We also obtain some recurrence relations for the sequence $cp_n(S)$ and give the formula for $cp_n(S)$ in the general case.
k-flaw Preference Sets
In this paper, let $\mathcal{P}_{n;\leq s;k}^l$ denote a set of $k$-flaw preference sets $(a_1,...,a_n)$ with $n$ parking spaces satisfying that $1\leq a_i\leq s$ for any $i$ and $a_1=l$ and $p_{n;\leq s;k}^l=|\mathcal{P}_{n;\leq s;k}^l|$. We use a combinatorial approach to the enumeration of $k$-flaw preference sets by their leading terms. The approach relies on bijections between the $k$-flaw preference sets and labeled rooted forests. Some bijective results between certain sets of $k$-flaw preference sets of distinct leading terms are also given. We derive some formulas and recurrence relations for the sequences $p_{n;\leq s;k}^l$ and give the generating functions for these sequences.
Topology Types of Adinkras and the Corresponding Representations of N-Extended Supersymmetry
We present further progress toward a complete classification scheme for describing supermultiplets of N-extended worldline supersymmetry, which relies on graph-theoretic topological invariants. In particular, we demonstrate a relationship between Adinkra diagrams and quotients of N-dimensional cubes, where the quotient groups are subgroups of $(Z_2)^N$. We explain how these quotient groups correspond precisely to doubly even binary linear error-correcting codes, so that the classification of such codes provides a means for describing equivalence classes of Adinkras and therefore supermultiplets. Using results from coding theory we exhibit the enumeration of these equivalence classes for all cases up to 26 supercharges, as well as the maximal codes, corresponding to minimal supermultiplets, for up to 32 supercharges.
Diagonal invariants and the refined multimahonian distribution
Published
• View Publication
• BIB
Combinatorial aspects of multivariate diagonal invariants of the symmetric group are studied. As a consequence it is proved the existence of a multivariate extension of the classical Robinson-Schensted correspondence. Further byproduct are a pure combinatorial algorithm to describe the irreducible decomposition of the tensor product of two irreducible representations of the symmetric group, and new symmetry results on permutation enumeration with respect to descent sets.
Schröder Paths and Pattern Avoiding Partitions
In this paper, we show that both 12312-avoiding partitions and 12321-avoiding partitions of the set $[n+1]$ are in one-to-one correspondence with Schröder paths of semilength $n$ without peaks at even level. As a consequence, the refined enumeration of 12312-avoiding (resp. 12321-avoiding) partitions according to the number of blocks can be reduced to the enumeration of certain Schröder paths according to the number of peaks. Furthermore, we get the enumeration of irreducible 12312-avoiding (resp. 12321-avoiding) partitions, which are closely related to skew Dyck paths.
Alternating, pattern-avoiding permutations
Published in Electronic J. Combinatorics, 16:N7, 2009
• View Publication
• BIB
We study the problem of counting alternating permutations avoiding collections of permutation patterns including 132. We construct a bijection between the set S_n(132) of 132-avoiding permutations and the set A_{2n + 1}(132) of alternating, 132-avoiding permutations. For every set p_1, ..., p_k of patterns and certain related patterns q_1, ..., q_k, our bijection restricts to a bijection between S_n(132, p_1, ..., p_k), the set of permutations avoiding 132 and the p_i, and A_{2n + 1}(132, q_1, ..., q_k), the set of alternating permutations avoiding 132 and the q_i. This reduces the enumeration of the latter set to that of the former.
Bell Polynomials and $k$-generalized Dyck Paths
Published
• View Publication
• BIB
A {\em k-generalized Dyck path} of length $n$ is a lattice path from $(0,0)$ to $(n,0)$ in the plane integer lattice $\mathbb{Z}\times\mathbb{Z}$ consisting of horizontal-steps $(k, 0)$ for a given integer $k\geq 0$, up-steps $(1,1)$, and down-steps $(1,-1)$, which never passes below the x-axis. The present paper studies three kinds of statistics on $k$-generalized Dyck paths: "number of $u$-segments", "number of internal $u$-segments" and "number of $(u,h)$-segments". The Lagrange inversion formula is used to represent the generating function for the number of $k$-generalized Dyck paths according to the statistics as a sum of the partial Bell polynomials or the potential polynomials. Many important special cases are considered leading to several surprising observations. Moreover, enumeration results related to $u$-segments and $(u,h)$-segments are also established, which produce many new combinatorial identities, and specially, two new expressions for Catalan numbers.
A note on the enumeration of directed animals via gas considerations
Published in Annals of Applied Probability 2009, Vol. 19, No. 5, 1860-1879
• View Publication
• BIB
In the literature, most of the results about the enumeration of directed animals on lattices via gas considerations are obtained by a formal passage to the limit of enumeration of directed animals on cyclical versions of the lattice. Here we provide a new point of view on this phenomenon. Using the gas construction given in [Electron. J. Combin. (2007) 14 R71], we describe the gas process on the cyclical versions of the lattices as a cyclical Markov chain (roughly speaking, Markov chains conditioned to come back to their starting point). Then we introduce a notion of convergence of graphs, such that if $(G_n)\to G$ then the gas process built on $G_n$ converges in distribution to the gas process on $G$. That gives a general tool to show that gas processes related to animals enumeration are often Markovian on lines extracted from lattices. We provide examples and computations of new generating functions for directed animals with various sources on the triangular lattice, on the $\mathcal {T}_n$ lattices introduced in [Ann. Comb. 4 (2000) 269--284] and on a generalization of the $\mathcaligr {L}_n$ lattices introduced in [J. Phys. A 29 (1996) 3357--3365].