enumeration
2243 papers tagged with this keyword
On enumeration of a class of toroidal graphs
Published
• View Publication
• BIB
We present enumerations of a class of toroidal graphs which give rise to semi-equivelar maps. There are eleven different types of semi-equivelar maps on the torus. These are of the types $\{3^{6}\}$, $\{4^{4}\}$, $\{6^{3}\}$, $\{3^{3}, 4^{2}\}$, $\{3^{2}, 4, 3, 4\}$, $\{3, 6, 3, 6\}$, $\{3^{4}, 6\}$, $\{4, 8^{2}\}$, $\{3, 12^{2}\}$, $\{4, 6, 12\}$, $\{3, 4, 6, 4\}$. We know the classification of the maps of types $\{3^{6}\}$, $\{4^{4}\}$, $\{6^{3}\}$ on the torus. In this article, we attempt to classify maps of types $\{3^{3}, 4^{2}\}$, $\{3^{2}, 4, 3, 4\}$, $\{3, 6, 3, 6\}$, $\{3^{4}, 6\}$, $\{4, 8^{2}\}$, $\{3, 12^{2}\}$, $\{4, 6, 12\}$, $\{3, 4, 6, 4\}$ on the torus.
A Determinantal Formula for Catalan Tableaux and TASEP Probabilities
Published in Journal of Combinatorial Theory, Series A (2015), pp. 120-141
• View Publication
• BIB
We present a determinantal formula for the steady state probability of each state of the TASEP (Totally Asymmetric Simple Exclusion Process) with open boundaries, a 1D particle model that has been studied extensively and displays rich combinatorial structure. These steady state probabilities are computed by the enumeration of Catalan tableaux, which are certain Young diagrams filled with $α$'s and $β$'s that satisfy some conditions on the rows and columns. We construct a bijection from the Catalan tableaux to weighted lattice paths on a Young diagram, and from this we enumerate the paths with a determinantal formula, building upon a formula of Narayana that counts unweighted lattice paths on a Young diagram. Finally, we provide a formula for the enumeration of Catalan tableaux that satisfy a given condition on the rows, which corresponds to the steady state probability that in the TASEP on a lattice with $n$ sites, precisely $k$ of the sites are occupied by particles. This formula is an $α /\ β$ generalization of the Narayana numbers.
Pattern-Avoiding Involutions: Exact and Asymptotic Enumeration
We consider the enumeration of pattern-avoiding involutions, focusing in particular on sets defined by avoiding a single pattern of length 4. As we demonstrate, the numerical data for these problems demonstrates some surprising behavior. This strange behavior even provides some very unexpected data related to the number of 1324-avoiding permutations.
Enumeration of weighted games with minimum and an analysis of voting power for bipartite complete games with minimum
Published
• View Publication
• BIB
This paper is a twofold contribution. First, it contributes to the problem of enumerating some classes of simple games and in particular provides the number of weighted games with minimum and the number of weighted games for the dual class as well. Second, we focus on the special case of bipartite complete games with minimum, and we compare and rank these games according to the behavior of some efficient power indices of players of type 1 (or of type 2). The main result of this second part establishes all allowable rankings of these games when the Shapley-Shubik power index is used on players of type 1.
Enumeration of one class of plane weighted trees
Published
• View Publication
• BIB
By weighted tree we understand such connected tree,that: a) each its vertex and each edge have a positive integer weight; b) the weight of each vertex is equal to the sum of weights of outgoing edges. Each tree has a binary structure --- we can color its vertices in two colors, black and white so, that adjacent vertices have different colors. A type is a set of pairwise non-isotopic plane weighted trees with a given list of weights of white vertices and a given list of weights of black vertices. In this work we present a method for computing the cardinality of a given type.
Two Vignettes On Full Rook Placements
Using bijections between pattern-avoiding permutations and certain full rook placements on Ferrers boards, we give short proofs of two enumerative results. The first is a simplified enumeration of the 3124, 1234-avoiding permutations, obtained recently by Callan via a complicated decomposition. The second is a streamlined bijection between 1342-avoiding permutations and permutations which can be sorted by two increasing stacks in series, originally due to Atkinson, Murphy, and Ruškuc.
A Polyhedral Method to Compute All Affine Solution Sets of Sparse Polynomial Systems
To compute solutions of sparse polynomial systems efficiently we have to exploit the structure of their Newton polytopes. While the application of polyhedral methods naturally excludes solutions with zero components, an irreducible decomposition of a variety is typically understood in affine space, including also those components with zero coordinates. We present a polyhedral method to compute all affine solution sets of a polynomial system. The method enumerates all factors contributing to a generalized permanent. Toric solution sets are recovered as a special case of this enumeration. For sparse systems as adjacent 2-by-2 minors our methods scale much better than the techniques from numerical algebraic geometry.
Enumeration of Hybrid Domino-Lozenge Tilings II: Quasi-octagonal regions
Published
• View Publication
• BIB
We use the subgraph replacement method to prove a simple product formula for the tilings of an 8-vertex counterpart of Propp's quasi-hexagons (Problem 16 in New Perspectives in Geometric Combinatorics, Cambridge University Press, 1999), called quasi-octagon.
Pattern Avoidance in Extensions of Comb-Like Posets
Published
• View Publication
• BIB
This paper investigates pattern avoidance in linear extensions of a certain class of partially ordered set. Since the question of enumerating pattern avoiding linear extensions of posets in general is a very hard one, we focus instead on certain partially ordered sets called combs. Combs consist of a fully ordered spine, and several fully ordered teeth, where each tooth coincides with a corresponding element of the spine. We consider two natural assignments of integers to elements of the combs; we refer to the resulting integer posets as type-alpha combs and type-beta combs. In this paper, we enumerate the linear extensions of type-alpha and type-beta combs which avoid some of the length-three pattern. Most notably, the number of linear extensions of type-beta combs which avoid 312 is shown to be the same as the number 1/(st + 1)*(s(t+1) choose s) of (t+1)-ary trees on s nodes, where t is the length of each tooth, and s is the length of the comb spine, or equivalently, the number of its teeth. We also investigate the enumeration of linear extensions of type-alpha and type-beta combs avoiding multiple length-three patterns.
Combinatoire algébrique liée aux ordres sur les permutations
This thesis comes within the scope of algebraic combinatorics and studies problems related to three orders on permutations: the two said weak orders (right and left) and the strong order or Bruhat order. The first part deals with bases of multivariate polynomials. Most specifically, we study a product of Grothendieck polynomials and prove that it can interpreted as a sum over the Bruhat order. We also present our implementation of Grothendieck polynomials and other bases in Sage. In a second part, we study the Tamari order binary trees. We obtain a new enumeration formula on the Tamari lattice and a new combinatorial prove of Chapoton's functional equation of the generating functions of Tamari intervals. We extend our results to the m-Tamari case and thus retrieve a formula given by Bousquet-Mélou, Préville-Ratelle and Fusy.
Number of cycles in the graph of 312-avoiding permutations
Published in Journal of Combinatorial Theory, Series A 129 (2015) 1-18
• View Publication
• BIB
The graph of overlapping permutations is defined in a way analogous to the De Bruijn graph on strings of symbols. That is, for every permutation $π= π_{1} π_{2} ... π_{n+1}$ there is a directed edge from the standardization of $π_{1} π_{2} ... π_{n}$ to the standardization of $π_{2} π_{3} ... π_{n+1}$. We give a formula for the number of cycles of length $d$ in the subgraph of overlapping 312-avoiding permutations. Using this we also give a refinement of the enumeration of 312-avoiding affine permutations and point out some open problems on this graph, which so far has been little studied.
Order polynomials and Pólya's enumeration theorem
Published
• View Publication
• BIB
Pólya's enumeration theorem is concerned with counting labeled sets up to symmetry. Given a finite group acting on a finite set of labeled elements it states that the number of labeled sets up to symmetry is given by a polynomial in the number of labels. We give a new perspective on this theorem by generalizing it to partially ordered sets and order preserving maps. Further we prove a reciprocity statement in terms of strictly order preserving maps generalizing a classical result by Stanley (1970). We apply our results to counting graph colorings up to symmetry.
Enumeration of PLCP-orientations of the 4-cube
Published
• View Publication
• BIB
The linear complementarity problem (LCP) provides a unified approach to many problems such as linear programs, convex quadratic programs, and bimatrix games. The general LCP is known to be NP-hard, but there are some promising results that suggest the possibility that the LCP with a P-matrix (PLCP) may be polynomial-time solvable. However, no polynomial-time algorithm for the PLCP has been found yet and the computational complexity of the PLCP remains open. Simple principal pivoting (SPP) algorithms, also known as Bard-type algorithms, are candidates for polynomial-time algorithms for the PLCP. In 1978, Stickney and Watson interpreted SPP algorithms as a family of algorithms that seek the sink of unique-sink orientations of $n$-cubes. They performed the enumeration of the arising orientations of the $3$-cube, hereafter called PLCP-orientations. In this paper, we present the enumeration of PLCP-orientations of the $4$-cube.The enumeration is done via construction of oriented matroids generalizing P-matrices and realizability classification of oriented matroids.Some insights obtained in the computational experiments are presented as well.
The local limit of unicellular maps in high genus
Published in Electron. Commun. Probab. 18 (2013), no. 86, 8 pp
• View Publication
• BIB
We show that the local limit of unicellular maps whose genus is proportional to the number of edges is a supercritical geometric Galton-Watson tree conditioned to survive. The proof relies on enumeration results obtained via the recent bijection given by the second author together with Feray and Fusy.
The Joseph Greenberg problem: combinatorics and comparative linguistics
Published in Math. Mag. 91 (2018), no. 3, 192-197
• View Publication
• BIB
We correct a 1957 combinatorial enumeration by the linguist J. Greenberg. The desired count, the Bell number B(25), supported using his Mass Comparison method for language classification. In 1987, he used this method to classify indigenous languages of the Americas into three families. Actually, the same combinatorics provides a back-of-the-envelope estimate for the number of families. This suggests that alternative classifications with over a hundred families possess the right order of magnitude.
Enumeration of Hybrid Domino-Lozenge Tilings
Published
• View Publication
• BIB
We solve and generalize an open problem posted by James Propp (Problem 16 in New Perspectives in Geometric Combinatorics, Cambridge University Press, 1999) on the number of tilings of quasi-hexagonal regions on the square lattice with every third diagonal drawn in. We also obtain a generalization of Douglas' Theorem on the number of tilings of a family of regions of the square lattice with every second diagonal drawn in.
Proof of two conjectures of Ciucu and Krattenthaler on the enumeration of lozenge tilings of hexagons with cut off corners
Published
• View Publication
• BIB
In their 2002 paper, Ciucu and Krattenthaler proved several product formulas for the number of lozenge tilings of various regions obtained from a centrally symmetric hexagon on the triangular lattice by removing maximal staircase regions from two non-adjacent corners. For the case when the staircases are removed from adjacent corners of the hexagon, they presented two conjectural formulas, whose proofs, as they remarked, seemed at the time "a formidable task". In this paper we prove those two conjectures. Our proofs proceed by first generalizing the conjectures, and then proving them by induction, using Kuo's graphical condensation method.
Enumeration of labeled and unlabeled k-gonal and polygonal 2-trees and succulents by vertices
We use the theory of Γ-species to enumerate k-gonal and polygonal 2-trees with respect to their vertices. We then extend this result to enumerate "succulents", a tree-like class of graphs which generalize cacti.
On the share of closed IL formulas which are also in GL
Published in Arch. Math. Logic 54 (2015), no. 7, 741-767
• View Publication
• BIB
Normal forms for wide classes of closed IL formulas were given in [4]. Here we quantify asymptotically, in exact numbers, how wide those classes are. As a consequence, we show that the "majority" of closed IL formulas have GL-equivalents, and by that, they have the same normal forms as GL formulas. Our approach is entirely syntactical, except for applying the results of [4]. As a byproduct we devise a convenient way of computing asymptotic behaviors of somewhat general classes of formulas given by their grammar rules. Its applications do not require any knowledge of the recurrence relations, generating functions, or the asymptotic enumeration methods, as all these are incorporated into two fundamental parameters.
On topological and geometric $(19_4)$ configurations
Published in European J. Combin., 50:4-17, 2015
• View Publication
• BIB
An $(n_k)$ configuration is a set of $n$ points and $n$ lines such that each point lies on $k$ lines while each line contains $k$ points. The configuration is geometric, topological, or combinatorial depending on whether lines are considered to be straight lines, pseudolines, or just combinatorial lines. The existence and enumeration of $(n_k)$ configurations for a given $k$ has been subject to active research. A current front of research concerns geometric $(n_4)$ configurations: it is now known that geometric $(n_4)$ configurations exist for all $n \ge 18$, apart from sporadic exceptional cases. In this paper, we settle by computational techniques the first open case of $(19_4)$ configurations: we obtain all topological $(19_4)$ configurations among which none are geometrically realizable.