enumeration
2243 papers tagged with this keyword
Chiral polyhedra in ordinary space, II
Published
• View Publication
• BIB
A chiral polyhedron has a geometric symmetry group with two orbits on the flags, such that adjacent flags are in distinct orbits. Part I of the paper described the discrete chiral polyhedra in ordinary Euclidean 3-space with finite skew faces and finite skew vertex-figures; they occur in infinite families and are of types {4,6}, {6,4} and {6,6}. Part II completes the enumeration of all discrete chiral polyhedra in 3-space. There exist several families of chiral polyhedra with infinite, helical faces. In particular, there are no discrete chiral polyhedra with finite faces in addition to those described in Part I.
Word Representations of m x n x p Proper Arrays
Let $m\neq n$. An $m\times n\times p$ proper array is a three-dimensional array composed of directed cubes that obeys certain constraints. Because of these constraints, the $m\times n\times p$ proper arrays may be classified via a schema in which each $m\times n\times p$ proper array is associated with a particular $m\times n$ planar face. By representing each connencted component present in the $m\times n$ planar face with a distinct letter, and the position of each outward pointing connector by a circle, an $m\times n$ array of circled letters is formed. This $m\times n$ array of circled letters is the word representation associated with the $m\times n\times p$ proper array. The main result of this paper involves the enumeration of all $m\times n$ word representations modulo symmetry, where the symmetry is derived from the group $D_2 = C_2\times C_2$ acting on the set of word representations. This enumeration is achieved by forming a linear combination of four exponential generating functions, each of which is derived from a particular symmetry operation. This linear combination counts the number of partitions of the set of $m\times n$ words representations that are inequivalent under $D_2$.
Letter Representations of m x n x p Proper Arrays
Let $m\neq n$. An $m\times n\times p$ {\it proper array} is a three-dimensional rectangular array composed of directed cubes that obeys certain constraints. Because of these constraints, the $m\times n\times p$ proper arrays may be classified via a schema in which each $m\times n\times p$ proper array is associated with a particular $m\times n$ planar face. By representing each connected component present in the $m\times n$ planar face with a distinct letter, an $m\times n$ array of letters is formed. This $m\times n$ array of letters is the {\it letter representation} associated with the $m\times n\times p$ proper array. The main result of this paper involves the enumeration of all $m\times n$ letter representations modulo symmetry, where the symmetry is derived from the group $D_2 = C_2\times C_2$ acting on the set of letter representations. The enumeration is achieved by forming a linear combination of four exponential generating functions, each of which is derived from a particular symmetry operation. This linear combination counts the number of partitions of the set of $m\times n$ letter representations that are inequivalent under $D_2$. This is done by forming four generating functions, each of which derives from a particular symmetry operation.
Free quasi-symmetric functions, product actions and quantum field theory of partitions
We examine two associative products over the ring of symmetric functions related to the intransitive and Cartesian products of permutation groups. As an application, we give an enumeration of some Feynman type diagrams arising in Bender's QFT of partitions. We end by exploring possibilities to construct noncommutative analogues.
(-1)-enumeration of self-complementary plane partitions
We prove a product formula for the remaining cases of the weighted enumeration of self-complementary plane partitions contained in a given box where adding one half of an orbit of cubes and removing the other half of the orbit changes the sign of the weight. We use nonintersecting lattice path families to express this enumeration as a Pfaffian which can be expressed in terms of the known ordinary enumeration of self-complementary plane partitions.
A CLT for a band matrix model
Published
• View Publication
• BIB
A law of large numbers and a central limit theorem are derived for linear statistics of random symmetric matrices whose on-or-above diagonal entries are independent, but neither necessarily identically distributed, nor necessarily all of the same variance. The derivation is based on systematic combinatorial enumeration, study of generating functions, and concentration inequalities of the Poincare type. Special cases treated, with an explicit evaluation of limiting variances, are generalized Wigner and Wishart matrices.
Enumeration of spanning subgraphs with degree constraints
Published
• View Publication
• BIB
For a finite undirected multigraph G=(V,E) and functions f,g:V-->\NN, let N_f^g(G,j) denote the number of (f,g)-factors of G with exactly j edges. The Heilmann-Lieb Theorem implies that \sum_j N_0^1(G,j) t^j is a polynomial with only real (negative) zeros, and hence that the sequence {N_0^1(G,j)} is strictly logarithmically concave. Separate generalizations of this theorem were obtained by Ruelle and by the author. We unify, simplify, and generalize these results by means of the Grace-Szegö-Walsh Coincidence Theorem.
A note on two identities arising from enumeration of convex polyominoes
Published in J. Comput. Appl. Math.180 (2005), 413--423
• View Publication
• BIB
Motivated by some binomial coefficients identities encountered in our approach to the enumeration of convex polyominoes, we prove some more general identities of the same type, one of which turns out to be related to a strange evaluation of ${}_3F_2$ of Gessel and Stanton.
Square ice, alternating sign matrices and classical orthogonal polynomials
Published in J.Stat.Mech.0501:P01005,2005
• View Publication
• BIB
The six-vertex model with Domain Wall Boundary Conditions, or square ice, is considered for particular values of its parameters, corresponding to 1-, 2-, and 3-enumerations of Alternating Sign Matrices (ASMs). Using Hankel determinant representations for the partition function and the boundary correlator of homogeneous square ice, it is shown how the ordinary and refined enumerations can be derived in a very simple and straightforward way. The derivation is based on the standard relationship between Hankel determinants and orthogonal polynomials. For the particular sets of parameters corresponding to 1-, 2-, and 3-enumerations of ASMs, the Hankel determinant can be naturally related to Continuous Hahn, Meixner-Pollaczek, and Continuous Dual Hahn polynomials, respectively. This observation allows for a unified and simplified treatment of ASMs enumerations. In particular, along the lines of the proposed approach, we provide a complete solution to the long standing problem of the refined 3-enumeration of AMSs.
Conjugacy in Permutation Representations of the Symmetric Group
Published
• View Publication
• BIB
Although the conjugacy classes of the general linear group are known, it is not obvious (from the canonic form of matrices) that two permutation matrices are similar if and only if they are conjugate as permutations in the symmetric group, i.e. that conjugacy classes of S_n do not unite under the natural representation. We prove this fact, and give its application to the enumeration of fixed points under a natural action of S_n x S_n. We also consider the permutation representations of S_n which arise from the action of S_n on k-tuples, and classify which of them unite conjugacy classes and which do not.
Characterization and enumeration of toroidal K_{3,3}-subdivision-free graphs
Published in Discrete Math. 307 (2007), no. 23, pp. 2993-3005
• View Publication
• BIB
We describe the structure of 2-connected non-planar toroidal graphs with no K_{3,3}-subdivisions, using an appropriate substitution of planar networks into the edges of certain graphs called toroidal cores. The structural result is based on a refinement of the algorithmic results for graphs containing a fixed K_5-subdivision in [A. Gagarin and W. Kocay, "Embedding graphs containing K_5-subdivisions'', Ars Combin. 64 (2002), 33-49]. It allows to recognize these graphs in linear-time and makes possible to enumerate labelled 2-connected toroidal graphs containing no K_{3,3}-subdivisions and having minimum vertex degree two or three by using an approach similar to [A. Gagarin, G. Labelle, and P. Leroux, "Counting labelled projective-planar graphs without a K_{3,3}-subdivision", submitted, arXiv:math.CO/0406140, (2004)].
Generating functions for generating trees
Published in Discrete Mathematics 246 (1-3) (2002) 29-55
• View Publication
• BIB
Certain families of combinatorial objects admit recursive descriptions in terms of generating trees: each node of the tree corresponds to an object, and the branch leading to the node encodes the choices made in the construction of the object. Generating trees lead to a fast computation of enumeration sequences (sometimes, to explicit formulae as well) and provide efficient random generation algorithms. We investigate the links between the structural properties of the rewriting rules defining such trees and the rationality, algebraicity, or transcendence of the corresponding generating function.
Why Delannoy numbers?
Published in Journal of Statistical Planning and Inference 135, 1 (11/2005) 40-54
• View Publication
• BIB
This article is not a research paper, but a little note on the history of combinatorics: We present here a tentative short biography of Henri Delannoy, and a survey of his most notable works. This answers to the question raised in the title, as these works are related to lattice paths enumeration, to the so-called Delannoy numbers, and were the first general way to solve Ballot-like problems. These numbers appear in probabilistic game theory, alignments of DNA sequences, tiling problems, temporal representation models, analysis of algorithms and combinatorial structures.
Generating Functions For Kernels of Digraphs (Enumeration & Asymptotics for Nim Games)
Published in Proceedings of FPSAC'04 (2004) 91-105
• Search Publication
In this article, we study directed graphs (digraphs) with a coloring constraint due to Von Neumann and related to Nim-type games. This is equivalent to the notion of kernels of digraphs, which appears in numerous fields of research such as game theory, complexity theory, artificial intelligence (default logic, argumentation in multi-agent systems), 0-1 laws in monadic second order logic, combinatorics (perfect graphs)... Kernels of digraphs lead to numerous difficult questions (in the sense of NP-completeness, #P-completeness). However, we show here that it is possible to use a generating function approach to get new informations: we use technique of symbolic and analytic combinatorics (generating functions and their singularities) in order to get exact and asymptotic results, e.g. for the existence of a kernel in a circuit or in a unicircuit digraph. This is a first step toward a generatingfunctionology treatment of kernels, while using, e.g., an approach "a la Wright". Our method could be applied to more general "local coloring constraints" in decomposable combinatorial structures.
Old and young leaves on plane trees
Published
• View Publication
• BIB
A leaf of a plane tree is called an old leaf if it is the leftmost child of its parent, and it is called a young leaf otherwise. In this paper we enumerate plane trees with a given number of old leaves and young leaves. The formula is obtained combinatorially by presenting two bijections between plane trees and 2-Motzkin paths which map young leaves to red horizontal steps, and old leaves to up steps plus one. We derive some implications to the enumeration of restricted permutations with respect to certain statistics such as pairs of consecutive deficiencies, double descents, and ascending runs. Finally, our main bijection is applied to obtain refinements of two identities of Coker, involving refined Narayana numbers and the Catalan numbers.
Determinant Formulae for some Tiling Problems and Application to Fully Packed Loops
Published
• View Publication
• BIB
We present determinant formulae for the number of tilings of various domains in relation with Alternating Sign Matrix and Fully Packed Loop enumeration.
A combinatorial proof of Postnikov's identity and a generalized enumeration of labeled trees
Published
• View Publication
• BIB
In this paper, we give a simple combinatorial explanation of a formula of A. Postnikov relating bicolored rooted trees to bicolored binary trees. We also present generalized formulas for the number of labeled k-ary trees, rooted labeled trees, and labeled plane trees.
Enumeration of Symmetry Classes of Alternating Sign Matrices and Characters of Classical Groups
Published
• View Publication
• BIB
An alternating sign matrix is a square matrix with entries 1, 0 and -1 such that the sum of the entries in each row and each column is equal to 1 and the nonzero entries alternate in sign along each row and each column. To some of the symmetry classes of alternating sign matrices and their variations, G. Kuperberg associate square ice models with appropriate boundary conditions, and give determinanat and Pfaffian formulae for the partition functions. In this paper, we utilize several determinant and Pfaffian identities to evaluate Kuperberg's determinants and Pfaffians, and express the round partition functions in terms of irreducible characters of classical groups. In particular, we settle a conjecture on the number of vertically and horizontally symmetric alternating sign matrices (VHSASMs).
Reciprocal domains and Cohen-Macaulay $d$-complexes in $R^d$
Published
• View Publication
• BIB
We extend a reciprocity theorem of Stanley about enumeration of integer points in polyhedral cones when one exchanges strict and weak inequalities. The proof highlights the roles played by Cohen-Macaulayness and canonical modules. The extension raises the issue of whether a Cohen-Macaulay complex of dimension d embedded piecewise-linearly in d-space is necessarily a d-ball. This is observed to be true for d at most 3, but false for d=4.
On vertex covers, matchings and random trees
We study minimal vertex covers and maximal matchings on trees. We pay special attention to the corresponding backbones i.e. these vertices that are occupied and those that are empty in every minimal vertex cover (resp. these egdes that are occupied and those that are empty in every maximal matching). The key result in our approach is that for trees, the backbones can be recovered from a particular tri-coloring which has a simple characterization. We give applications to the computation of some averages related to the enumeration of minimal vertex covers and maximal matchings in the random labeled tree ensemble, both for finite size and in the asymptotic regime.