enumeration
2243 papers tagged with this keyword
A closed formula for the number of convex permutominoes
Published in El. J. Combinatorics 14 (2007) #R57
• View Publication
• BIB
In this paper we determine a closed formula for the number of convex permutominoes of size n. We reach this goal by providing a recursive generation of all convex permutominoes of size n+1 from the objects of size n, according to the ECO method, and then translating this construction into a system of functional equations satisfied by the generating function of convex permutominoes. As a consequence we easily obtain also the enumeration of some classes of convex polyominoes, including stack and directed convex permutominoes.
On the independence complex of square grids
Published in Journal of Algebraic Combinatorics / Journal of Algebraic Combinatorics An International Journal 27 (2008) 423--450
• View Publication
• BIB
The enumeration of independent sets of regular graphs is of interest in statistical mechanics, as it corresponds to the solution of hard-particle models. In 2004, it was conjectured by Fendleyet al. that for some rectangular grids, with toric boundary conditions, the alternating number of independent sets is extremely simple. More precisely, under a coprimality condition on the sides of the rectangle, the number of independent sets of even and odd cardinality always differ by 1. In physics terms, this means looking at the hard-particle model on these grids at activity -1. This conjecture was recently proved by Jonsson. Here we produce other families of grid graphs, with open or cylindric boundary conditions, for which similar properties hold without any size restriction: the number of independent sets of even and odd cardinality always differ by 0, 1,-1, or, in the cylindric case, by some power of 2. We show that these results reflect a stronger property of the independence complexes of our graphs. We determine the homotopy type of these complexes using Forman's discrete Morse theory. We find that these complexes are either contractible, or homotopic to a sphere, or, in the cylindric case, to a wedge of spheres. Finally, we use our enumerative results to determine the spectra of certain transfer matrices describing the hard-particle model on our graphs at activity -1. These results parallel certain conjectures of Fendley et al., proved by Jonsson in the toric case.
On the Number of Planar Orientations with Prescribed Degrees
Published
• View Publication
• BIB
We deal with the asymptotic enumeration of combinatorial structures on planar maps. Prominent instances of such problems are the enumeration of spanning trees, bipartite perfect matchings, and ice models. The notion of orientations with out-degrees prescribed by a function $å:V\to \NN$ unifies many different combinatorial structures, including the afore mentioned. We call these orientations $å$-orientations. The main focus of this paper are bounds for the maximum number of $å$-orientations that a planar map with $n$ vertices can have, for different instances of $å$. We give examples of triangulations with $2.37^n$ Schnyder woods, 3-connected planar maps with $3.209^n$ Schnyder woods and inner triangulations with $2.91^n$ bipolar orientations. These lower bounds are accompanied by upper bounds of $3.56^n$, $8^n$ and $3.97^n$ respectively. We also show that for any planar map $M$ and any $α$ the number of $α$-orientations is bounded from above by $3.73^n$ and describe a family of maps which have at least $2.598^n$ $α$-orientations.
Dyck paths with coloured ascents
Published
• View Publication
• BIB
We introduce a notion of Dyck paths with coloured ascents. For several ways of colouring, we establish bijections between sets of such paths and other combinatorial structures, such as non-crossing trees, dissections of a convex polygon, etc. In some cases enumeration gives new expression for sequences enumerating these structures.
Osculating Paths and Oscillating Tableaux
Published in Electron. J. Combin. 15 (2008) Research Paper 7
• View Publication
• BIB
The combinatorics of certain osculating lattice paths is studied, and a relationship with oscillating tableaux is obtained. More specifically, the paths being considered have fixed start and end points on respectively the lower and right boundaries of a rectangle in the square lattice, each path can take only unit steps rightwards or upwards, and two different paths are permitted to share lattice points, but not to cross or share lattice edges. Such paths correspond to configurations of the six-vertex model of statistical mechanics with appropriate boundary conditions, and they include cases which correspond to alternating sign matrices and various subclasses thereof. Referring to points of the rectangle through which no or two paths pass as vacancies or osculations respectively, the case of primary interest is tuples of paths with a fixed number $l$ of vacancies and osculations. It is then shown that there exist natural bijections which map each such path tuple $P$ to a pair $(t,η)$, where $η$ is an oscillating tableau of length $l$ (i.e., a sequence of $l+1$ partitions, starting with the empty partition, in which the Young diagrams of successive partitions differ by a single square), and $t$ is a certain, compatible sequence of $l$ weakly increasing positive integers. Furthermore, each vacancy or osculation of $P$ corresponds to a partition in $η$ whose Young diagram is obtained from that of its predecessor by respectively the addition or deletion of a square. These bijections lead to enumeration formulae for osculating paths involving sums over oscillating tableaux.
Area distribution and scaling function for punctured polygons
Published in Electronic J. Comb. 11 (2008), #R53
• View Publication
• BIB
Punctured polygons are polygons with internal holes which are also polygons. The external and internal polygons are of the same type, and they are mutually as well as self-avoiding. Based on an assumption about the limiting area distribution for unpunctured polygons, we rigorously analyse the effect of a finite number of punctures on the limiting area distribution in a uniform ensemble, where punctured polygons with equal perimeter have the same probability of occurrence. Our analysis leads to conjectures about the scaling behaviour of the models.
We also analyse exact enumeration data. For staircase polygons with punctures of fixed size, this yields explicit expressions for the generating functions of the first few area moments. For staircase polygons with punctures of arbitrary size, a careful numerical analysis yields very accurate estimates for the area moments. Interestingly, we find that the leading correction term for each area moment is proportional to the corresponding area moment with one less puncture. We finally analyse corresponding quantities for punctured self-avoiding polygons and find agreement with the conjectured formulas to at least 3-4 significant digits.
Random dense bipartite graphs and directed graphs with specified degrees
Published
• View Publication
• BIB
Let S and T be vectors of positive integers with the same sum. We study the uniform distribution on the space of simple bipartite graphs with degree sequence S in one part and T in the other; equivalently, binary matrices with row sums S and column sums T. In particular, we find precise formulae for the probabilities that a given bipartite graph is edge-disjoint from, a subgraph of, or an induced subgraph of a random graph in the class. We also give similar formulae for the uniform distribution on the set of simple directed graphs with out-degrees S and in-degrees T. In each case, the graphs or digraphs are required to be sufficiently dense, with the degrees varying within certain limits, and the subgraphs are required to be sufficiently sparse. Previous results were restricted to spaces of sparse graphs. Our theorems are based on an enumeration of bipartite graphs avoiding a given set of edges, proved by multidimensional complex integration. As a sample application, we determine the expected permanent of a random binary matrix with row sums S and column sums T.
Elliptic curves and explicit enumeration of irreducible polynomials with two coefficients prescribed
Published
• View Publication
• BIB
Let $F_q$ be a finite field of characteristic $p=2,3$. We give the number of irreducible polynomials $x^m+a_{m-1}x^{m-1}+...+a_0\in\F_q[x]$ with $a_{m-1}$ and $a_{m-3}$ prescribed for any given $m$ if $p=2$, and with $a_{m-1}$ and $a_1$ prescribed for $m=1,...,10$ if $p=2,3$.
Exact solution of close-packed dimers on the kagome lattice
Published in Phys. Rev. E 75, 040105R (2007)
• View Publication
• BIB
It is well-known that exact enumerations of close-packed dimers can be carried out for two-dimensional lattices. While details of results are now known for most lattices, due to the unique nature of the lattice structure, there has been no complete analysis for the kagome lattice. Here we derive the close-form expression $(1/3) \ln (4 x y z)$ for the free energy of close-packed dimers on the kagome lattice, where $x,y,z$ are dimer weights. We use two different approaches, the Kasteleyn method of evaluating a Pfaffian and an alternative vertex model formulation. Both methods lead to the same final expression. The correlation function between two dimers at a distance equal or greater than two lattice spacings is found to vanish identically.
Some statistics on permutations avoiding generalized patterns
In the last decade a huge amount of articles has been published studying pattern avoidance on permutations. From the point of view of enumeration, typically one tries to count permutations avoiding certain patterns according to their lengths. Here we tackle the problem of refining this enumeration by considering the statistics "first/last entry". We give complete results for every generalized patterns of type $(1,2)$ or $(2,1)$ as well as for some cases of permutations avoiding a pair of generalized patterns of the above types.
Colored loop-erased random walk on the complete graph
Published
• View Publication
• BIB
Starting from a sequence regarded as a walk through some set of values, we consider the associated loop-erased walk as a sequence of directed edges, with an edge from $i$ to $j$ if the loop erased walk makes a step from $i$ to $j$. We introduce a coloring of these edges by painting edges with a fixed color as long as the walk does not loop back on itself, then switching to a new color whenever a loop is erased, with each new color distinct from all previous colors. The pattern of colors along the edges of the loop-erased walk then displays stretches of consecutive steps of the walk left untouched by the loop-erasure process. Assuming that the underlying sequence generating the loop-erased walk is a sequence of independent random variables, each uniform on $[N]:=\{1, 2, ..., N\}$, we condition the walk to start at $N$ and stop the walk when it first reaches the subset $[k]$, for some $1 \leq k \leq N-1$. We relate the distribution of the random length of this loop-erased walk to the distribution of the length of the first loop of the walk, via Cayley's enumerations of trees, and via Wilson's algorithm. For fixed $N$ and $k$, and $i = 1,2, ...$, let $B_i$ denote the event that the loop-erased walk from $N$ to $[k]$ has $i +1$ or more edges, and the $i^{th}$ and $(i+1)^{th}$ of these edges are colored differently. We show that given that the loop-erased random walk has $j$ edges for some $1\leq j \leq N-k$, the events $B_i$ for $1 \leq i \leq j-1$ are independent, with the probability of $B_i$ equal to $1/(k+i+1)$. This determines the distribution of the sequence of random lengths of differently colored segments of the loop-erased walk, and yields asymptotic descriptions of these random lengths as $N \to \infty$.
Subdegree growth rates of infinite primitive permutation groups
Published in Journal of the London Mathematical Society 82 (2010) 526-548
• View Publication
• BIB
A transitive group $G$ of permutations of a set $Ω$ is primitive if the only $G$-invariant equivalence relations on $Ω$ are the trivial and universal relations.
If $α\in Ω$, then the orbits of the stabiliser $G_α$ on $Ω$ are called the $α$-suborbits of $G$; when $G$ acts transitively the cardinalities of these $α$-suborbits are the subdegrees of $G$.
If $G$ acts primitively on an infinite set $Ω$, and all the suborbits of $G$ are finite, Adeleke and Neumann asked if, after enumerating the subdegrees of $G$ as a non-decreasing sequence $1 = m_0 \leq m_1 \leq ...$, the subdegree growth rates of infinite primitive groups that act distance-transitively on locally finite distance-transitive graphs are extremal, and conjecture there might exist a number $c$ which perhaps depends upon $G$, perhaps only on $m$, such that $m_r \leq c(m-2)^{r-1}$.
In this paper it is shown that such an enumeration is not desirable, as there exist infinite primitive permutation groups possessing no infinite subdegree, in which two distinct subdegrees are each equal to the cardinality of infinitely many suborbits. The examples used to show this provide several novel methods for constructing infinite primitive graphs.
A revised enumeration method is then proposed, and it is shown that, under this, Adeleke and Neumann's question may be answered, at least for groups exhibiting suitable rates of growth.
Open boundary Quantum Knizhnik-Zamolodchikov equation and the weighted enumeration of Plane Partitions with symmetries
Published
• View Publication
• BIB
We propose new conjectures relating sum rules for the polynomial solution of the qKZ equation with open (reflecting) boundaries as a function of the quantum parameter $q$ and the $τ$-enumeration of Plane Partitions with specific symmetries, with $τ=-(q+q^{-1})$. We also find a conjectural relation à la Razumov-Stroganov between the $τ\to 0$ limit of the qKZ solution and refined numbers of Totally Symmetric Self Complementary Plane Partitions.
Matchings and entropies of cylinders
The enumeration of perfect matchings of graphs is equivalent to the dimer problem which has applications in statistical physics. A graph $G$ is said to be $n$-rotation symmetric if the cyclic group of order $n$ is a subgroup of the automorphism group of $G$. Jockusch (Perfect matchings and perfect squares, J. Combin. Theory Ser. A, 67(1994), 100-115) and Kuperberg (An exploration of the permanent-determinant method, Electron. J. Combin., 5(1998), #46) proved independently that if $G$ is a plane bipartite graph of order $N$ with $2n$-rotation symmetry, then the number of perfect matchings of $G$ can be expressed as the product of $n$ determinants of order $N/2n$. In this paper we give this result a new presentation. We use this result to compute the entropy of a bulk plane bipartite lattice with $2n$-notation symmetry. We obtain explicit expressions for the numbers of perfect matchings and entropies for two types of cylinders. Using the results on the entropy of the torus obtained by Kenyon, Okounkov, and Sheffield (Dimers and amoebae, Ann. Math. 163(2006), 1019--1056) and by Salinas and Nagle (Theory of the phase transition in the layered hydrogen-bonded $SnCl^2\cdot 2H_2O$ crystal, Phys. Rev. B, 9(1974), 4920--4931), we show that each of the cylinders considered and its corresponding torus have the same entropy. Finally, we pose some problems.
An effective algorithm for the enumeration of edge colorings and Hamiltonian cycles in cubic graphs
We propose an effective algorithm that enumerates (and actually finds) all 3-edge colorings and Hamiltonian cycles in a cubic graph. The idea is to make a preliminary run that separates the vertices into two types: ``rigid'' (such that the edges incident to them admit a unique coloring) and ``soft'' ones (such that the edges incident to them admit two distinct colorings), and then to perform the coloring. The computational complexity of this algorithm is on a par with (or even below) the fastest known algorithms that find a single 3-edge coloring or a Hamiltonian cycle for a cubic graph.
Minimal transitive factorizations of permutations into cycles
Published
• View Publication
• BIB
We introduce a new approach to an enumerative problem closely linked with the geometry of branched coverings; that is, we study the number of ways a permutation can be decomposed into a product of a given number of 2-cycles, 3-cycles, etc. with certain minimality and transitivity conditions imposed on the factors. The method is to encode such factorizations as planar maps with certain "descent structure" and apply a new combinatorial decomposition to make their enumeration more manageable. We apply our technique to count factorizations of permutations with one or two parts, extending earlier work of Goulden and Jackson. We also show how these methods are readily modified to count inequivalent factorizations, where equivalence is defined by permitting commutations of adjacent disjoint factors. Our technique permits a substantial generalization of recent work of Goulden, Jackson, and Latour, while allowing for a considerable simplification of their analysis.
An algorithm for map enumeration
Bauer and Itzykson showed that associated to each labeled map embedded on an oriented Riemann surface there was a group generated by a pair of permutations.
From this result an algorithm may be constructed for enumerating labeled maps, and this construction is easily augmented to bin the numbers by the genus of the surface the map is embedded in. The results agree with the calculations of Harer and Zagier of 1-vertex maps; with those of Bessis, Itzykson, and Zuber of 4-valent maps; and with those of Ercolani, McLaughlin, and Pierce for $2ν$-valent maps. We then modify this algorithm to one which counts unoriented maps or Mobius graphs. The results in this case agree with the calculation of Goulden and Jackson on 1-vertex unoriented maps.
Regularity properties of the Stern enumeration of the rationals
The Stern sequence (s(n)) is defined by s(0) = 0, s(1) = 1, s(2n) = s(n), s(2n+1) = s(n) + s(n+1). Stern showed in 1858 that gcd(s(n),s(n+1)) = 1, and that for every pair of relatively prime positive integers (a,b), there exists a unique n so that s(n) = a and s(n+1) = b. We show that, in a strong sense, the average value of s(n)/s(n+1) is 3/2, and that for all d, (s(n),s(n+1)) is uniformly distributed among all feasible pairs of congruence classes modulo d. More precise results are presented for d = 2 and 3.
Combinatorial Classes, Hyperelliptic Loci, and Hodge Integrals
A closed formula is obtained for the integral $\int_{\mathcal{\bar{H}}_g^1}κ_{1}ψ^{2g-2}$ of tautological classes over the locus of hyperelliptic Weierstraß points in the moduli space of curves. As a corollary, a relation between Hodge integrals is obtained.
The calculation utilizes the homeomorphism between the moduli space of curves $\mathcal{M}_{g,1}$ and the combinatorial moduli space $\mathcal{M}^{comb}_{g,1}$, a PL-orbifold whose cells are enumerated by fatgraphs. This cell decomposition can be used to naturally construct combinatorial PL-cycles $W_a\subset\mathcal{M}^{comb}_{g,1}$ whose homology classes are essentially the Poincaré duals of the Mumford-Morita-Miller classes $κ_a$. In this paper we construct another PL-cycle $\mathcal{H}^{comb}_g \subset \mathcal{M}^{comb}_{g,1}$ representing the locus of hyperelliptic Weierstraß points and explicitly describe the chain level intersection of this cycle with $W_1$. Using this description of $\mathcal{H}^{comb}_g\cap W_1$, the duality between Witten cycles $W_a$ and the $κ_a$ classes, and Kontsevich's scheme of integrating $ψ$ classes, the integral $\int_{\mathcal{\bar{H}}_g^1}κ_{1}ψ^{2g-2}$ is reduced to a weighted sum over graphs and is evaluated by the enumeration of trees.
Restricted Dumont permutations, Dyck paths, and noncrossing partitions
Published in Discrete Mathematics 306 (2006), 2851 to 2869
• View Publication
• BIB
We complete the enumeration of Dumont permutations of the second kind avoiding a pattern of length 4 which is itself a Dumont permutation of the second kind. We also consider some combinatorial statistics on Dumont permutations avoiding certain patterns of length 3 and 4 and give a natural bijection between 3142-avoiding Dumont permutations of the second kind and noncrossing partitions that uses cycle decomposition, as well as bijections between 132-, 231- and 321-avoiding Dumont permutations and Dyck paths. Finally, we enumerate Dumont permutations of the first kind simultaneously avoiding certain pairs of 4-letter patterns and another pattern of arbitrary length.