enumeration
2243 papers tagged with this keyword
A new way to deal with Izergin-Korepin determinant at root of unity
Published
• View Publication
• BIB
I consider the partition function of the inhomogeneous 6-vertex model defined on the $n$ by $n$ square lattice. This function depends on 2n spectral parameters $x_i$ and $y_i$ attached to the horizontal and vertical lines respectively. In the case of domain wall boundary conditions it is given by Izergin-Korepin determinant. For $q$ being a root of unity the partition function satisfies to a special linear functional equation. This equation is particularly good when the crossing parameter $η=2π/3$. In this case it can be used for solving some of the problems related to the enumeration of alternating sign matrices. In particular, it is possible to reproduce the refined ASM distribution discovered by Mills, Robbins and Rumsey and proved by Zeilberger. Further, it is well known that the partition function is symmetric in the $\{x\}$ and as well in the $\{y\}$ variables. I have found that in the case of $η=2π/3$, the partition function is symmetric in the union $\{x\} \cup \{y\}$! This nice symmetry is used to find some relations between the numbers of such alternating sign matrices of order $n$ whose two '1' are located in fixed positions on the boundary of the matrices. Finally I derive the equation giving `top-bottom double refined' ASM distribution.
Restricted Permutations, Fibonacci Numbers, and k-generalized Fibonacci Numbers
A permutation $π\in S_n$ is said to {\it avoid} a permutation $σ\in S_k$ whenever $π$ contains no subsequence with all of the same pairwise comparisons as $σ$. For any set $R$ of permutations, we write $S_n(R)$ to denote the set of permutations in $S_n$ which avoid every permutation in $R$. In 1985 Simion and Schmidt showed that $|S_n(132, 213, 123)|$ is equal to the Fibonacci number $F_{n+1}$. In this paper we generalize this result in several ways. We first use a result of Mansour to show that for any permutation $τ$ in a certain infinite family of permutations, $|S_n(132, 213, τ)|$ is given in terms of Fibonacci numbers or $k$-generalized Fibonacci numbers. In many cases we give explicit enumerations, which we prove bijectively. We then use generating function techniques to show that for any permutation $γ$ in a second infinite family of permutations, $|S_n(123, 132, γ)|$ is also given in terms of Fibonacci numbers or $k$-generalized Fibonacci numbers. In many cases we give explicit enumerations, some of which we prove bijectively. We go on to use generating function techniques to show that for any permutation $ω$ in a third infinite family of permutations, $|S_n(132, 2341, ω)|$ is given in terms of Fibonacci numbers, and for any permutation $μ$ in a fourth infinite family of permutations, $|S_n(132, 3241, μ)|$ is given in terms of Fibonacci numbers and $k$-generalized Fibonacci numbers. In several cases we give explicit enumerations. We conclude by giving an infinite class of examples of a set $R$ of permutations for which $|S_n(R)|$ satisfies a linear homogeneous recurrence relation with constant coefficients.
Boundary correlation functions of the six-vertex model
Published in J. Phys. A: Math. Gen. 35, 5525-5541 (2002)
• View Publication
• BIB
We consider the six-vertex model on an $N \times N$ square lattice with the domain wall boundary conditions. Boundary one-point correlation functions of the model are expressed as determinants of $N\times N$ matrices, generalizing the known result for the partition function. In the free fermion case the explicit answers are obtained. The introduced correlation functions are closely related to the problem of enumeration of alternating sign matrices and domino tilings.
Dimers on a simple-quartic net with a vacancy
Published in Journal of Stat. Phys. 110, 671-689 (2003)
• View Publication
• BIB
A seminal milestone in lattice statistics is the exact solution of the enumeration of dimers on a simple-quartic net obtained by Fisher,Kasteleyn, and Temperley (FKT) in 1961. An outstanding related and yet unsolved problem is the enumeration of dimers on a net with vacant sites. Here we consider this vacant-site problem with a single vacancy occurring at certain specific sites on the boundary of a simple-quartic net. First, using a bijection between dimer and spanning tree configurations due to Temperley, Kenyon, Propp, and Wilson, we establish that the dimer generating function is independent of the location of the vacancy, and deduce a closed-form expression for the generating function. We next carry out finite-size analyses of this solution as well as that of the FKT solution. Our analyses lead to a logarithmic correction term in the large-size expansion for the vacancy problem with free boundary conditions. A concrete example exhibiting this difference is given. We also find the central charge c=-2 in the language of conformal field theory for the vacancy problem, as versus the value c=1 when there is no vacancy.
A classification of plane and planar 2-trees
Published in Theorical Computer Science, 307 (2003), 337-363
• View Publication
• BIB
We present new functional equations for the species of plane and of planar (in the sense of Harary and Palmer, 1973) 2-trees and some associated pointed species. We then deduce the explicit molecular expansion of these species, i.e a classification of their structures according to their stabilizers. There result explicit formulas in terms of Catalan numbers for their associated generating series, including the asymmetry index series. This work is closely related to the enumeration of polyene hydrocarbons of molecular formula C_nH_n+2.
Enumeration of permutations containing a prescribed number of occurrences of a pattern of length 3
Published
• View Publication
• BIB
We consider the problem of enumerating the permutations containing exactly $k$ occurrences of a pattern of length 3. This enumeration has received a lot of interest recently, and there are a lot of known results. This paper presents an alternative approach to the problem, which yields a proof for a formula which so far only was conjectured (by Noonan and Zeilberger). This approach is based on bijections from permutations to certain lattice paths with ``jumps'', which were first considered by Krattenthaler.
Dedekind sums: a combinatorial-geometric viewpoint
Published in M. B. Nathanson (ed.), Unusual Applications of Number Theory, DIMACS: Series in Discrete Mathematics and Theoretical Computer Science 64 (2004), 25-35
• View Publication
• BIB
The literature on Dedekind sums is vast. In this expository paper we show that there is a common thread to many generalizations of Dedekind sums, namely through the study of lattice point enumeration of rational polytopes. In particular, there are some natural finite Fourier series which we call Fourier-Dedekind sums, and which form the building blocks of the number of partitions of an integer from a finite set of positive integers. This problem also goes by the name of the `coin exchange problem'. Dedekind sums have enjoyed a resurgence of interest recently, from such diverse fields as topology, number theory, and combinatorial geometry. The Fourier-Dedekind sums we study here include as special cases generalized Dedekind sums studied by Berndt, Carlitz, Grosswald, Knuth, Rademacher, and Zagier. Our interest in these sums stems from the appearance of Dedekind's and Zagier's sums in lattice point count formulas for polytopes. Using some simple generating functions, we show that generalized Dedekind sums are natural ingredients for such formulas. As immediate `geometric' corollaries to our formulas, we obtain and generalize reciprocity laws of Dedekind, Zagier, and Gessel. Finally, we prove a polynomial-time complexity result for Zagier's higher-dimensional Dedekind sums.
Kolmogorov Random Graphs and the Incompressibility Method
Published in H. Buhrman, M. Li, J. Tromp and P.M.B. Vitanyi, Kolmogorov random graphs and the incompressibility method, SIAM J. Comput., 29:2(2000), 590--599
• Search Publication
We investigate topological, combinatorial, statistical, and enumeration properties of finite graphs with high Kolmogorov complexity (almost all graphs) using the novel incompressibility method. Example results are: (i) the mean and variance of the number of (possibly overlapping) ordered labeled subgraphs of a labeled graph as a function of its randomness deficiency (how far it falls short of the maximum possible Kolmogorov complexity) and (ii) a new elementary proof for the number of unlabeled graphs.
Enumeration of Isomorphism Classes of Extensions of p-adic Fields
Published
• View Publication
• BIB
Let $Ω$ be an algebraic closure of ${\mathbb Q}_p$ and let $F$ be a finite extension of ${\mathbb Q}_p$ contained in $Ω$. Given positive integers $f$ and $e$, the number of extensions $K/F$ contained in $Ω$ with residue degree $f$ and ramification index $e$ was computed by Krasner. This paper is concerned with the number ${\mathfrak I}(F,f,e)$ of $F$-isomorphism classes of such extensions. We determine ${\mathfrak I}(F,f,e)$ completely when $p^2\nmid e$ and get partial results when $p^2\parallel e$. When $s$ is large, ${\mathfrak I}({\mathbb Q}_p,f,e)$ is equal to the number of isomorphism classes of finite commutative chain rings with residue field ${\mathbb F}_{p^f}$, ramification index $e$, and length $s$.
Free cumulants and enumeration of connected partitions
Published in European J. Combin. 23 (2002), no. 8, 1025--1031
• View Publication
• BIB
A combinatorial formula is derived which expresses free cumulants in terms of classical comulants. As a corollary, we give a combinatorial interpretation of free cumulants of classical distributions, notably Gaussian and Poisson distributions. The latter count connected pairings and connected set partitions respectively. The proof relies on Moebius inversion on the partition lattice.
Restricted permutations related to Fibonacci numbers and k-generalized Fibonacci numbers
We give enumerations of various families of restricted permutations involving the Fibonacci numbers or k-generalized Fibonacci numbers.
Kasteleyn cokernels
Published in Electron. J. Combin. 9 (2002), #R29
• View Publication
• BIB
We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in enumerating matchings of planar graphs, up to matrix operations on their rows and columns. If such a matrix is defined over a principal ideal domain, this is equivalent to considering its Smith normal form or its cokernel. Many variations of the enumeration methods result in equivalent matrices. In particular, Gessel-Viennot matrices are equivalent to Kasteleyn-Percus matrices.
We apply these ideas to plane partitions and related planar of tilings. We list a number of conjectures, supported by experiments in Maple, about the forms of matrices associated to enumerations of plane partitions and other lozenge tilings of planar regions and their symmetry classes. We focus on the case where the enumerations are round or $q$-round, and we conjecture that cokernels remain round or $q$-round for related ``impossible enumerations'' in which there are no tilings. Our conjectures provide a new view of the topic of enumerating symmetry classes of plane partitions and their generalizations. In particular we conjecture that a $q$-specialization of a Jacobi-Trudi matrix has a Smith normal form. If so it could be an interesting structure associated to the corresponding irreducible representation of $\SL(n,\C)$. Finally we find, with proof, the normal form of the matrix that appears in the enumeration of domino tilings of an Aztec diamond.
Modeles avec particules dures, animaux diriges et series en variables partiellement commutatives
We give a systematic presentation of relations between lattice gas models with hard-core interactions, enumeration of directed-site animals, and the algebra of formal power-series in the partially commutative case, along the work of X.G.Viennot. We present a complete and simplified solution, using this algebra, of the directed animals enumeration problem in two dimensions, including a fast program for random generation of such animals (with uniform distribution) and images produced by this program.
On the Enumeration of Skew Young Tableaux
Published
• View Publication
• BIB
We extend work of McKay, Morse, and Wilf by giving exact formulas and asymptotic formulas for the number of skew Young tableaux T in two situations: (1) the "inside shape" and total number of cells of T are fixed, and (2) the inside shape of T is fixed. The proofs use the theory of symmetric functions and estimates for irreducible characters of the symmetric group due to Thoma, Vershik, Kerov, and Biane.
Explicit Enumeration of 321,Hexagon-Avoiding Permutations
Published
• View Publication
• BIB
The 321,hexagon-avoiding (321-hex) permutations were introduced and studied by Billey and Warrington in as a class of elements of S_n whose Kazhdan-Lusztig and Poincare polynomials and the singular loci of whose Schubert varieties have certain fairly simple and explicit descriptions. This paper provides a 7-term linear recurrence relation leading to an explicit enumeration of the 321-hex permutations. A complete description of the corresponding generating tree is obtained as a by-product of enumeration techniques used in the paper, including Schensted's 321-subsequences decomposition, a 5-parameter generating function and the symmetries of the octagonal patterns avoided by the 321-hex permutations.
2-enumerations of halved alternating sign matrices
Published in Séminaire Lotharingien Combin. 46, (2001), Article B46c, 11pp
• Search Publication
We compute 2-enumerations of certain halved alternating sign matrices. In one case the enumeration equals the number of perfect matchings of a halved Aztec diamond. In the other case the enumeration equals the number of perfect matchings of a halved fortress graph. Our results prove three conjectures by Jim Propp.
Improved bounds on the number of ternary square-free words
Published in Journal of Integer Sequences, Vol. 4 (2001), Ar ticle 01.2.7
• Search Publication
Improved upper and lower bounds on the number of square-free ternary words are obtained. The upper bound is based on the enumeration of square-free ternary words up to length 110. The lower bound is derived by constructing generalised Brinkhuis triples. The problem of finding such triples can essentially be reduced to a combinatorial problem, which can efficiently be treated by computer. In particular, it is shown that the number of square-free ternary words of length n grows at least as 65^(n/40), replacing the previous best lower bound of 2^(n/17).
A transfer matrix approach to the enumeration of colored links
Published
• View Publication
• BIB
We propose a transfer matrix algorithm for the enumeration of alternating link diagrams with external legs, giving a weight $n$ to each connected component. Considering more general tetravalent diagrams with self-intersections and tangencies allows us to treat topological (flype) equivalences. This is done by means of a finite renormalization scheme for an associated matrix model. We give results, expressed as polynomials in $n$, for the various generating functions up to order 19 (link diagrams), 15 (prime alternating tangles) and 11 (6-legged links) intersections. The limit $n\to\infty$ is solved explicitly. We then analyze the large-order asymptotics of the generating functions. For $0\le n \le 2$ good agreement is found with a conjecture for the critical exponent, based on the KPZ relation.
Enumeration of lozenge tilings of hexagons with cut off corners
Published in J. Combin. Theory Ser. A 100 (2002), 201-231.
• View Publication
• BIB
Motivated by the enumeration of a class of plane partitions studied by Proctor and by considerations about symmetry classes of plane partitions, we consider the problem of enumerating lozenge tilings of a hexagon with ``maximal staircases'' removed from some of its vertices. The case of one vertex corresponds to Proctor's problem. For two vertices there are several cases to consider, and most of them lead to nice enumeration formulas. For three or more vertices there do not seem to exist nice product formulas in general, but in one special situation a lot of factorization occurs, and we pose the problem of finding a formula for the number of tilings in this case.
A Transfer Matrix approach to the Enumeration of Knots
Published
• View Publication
• BIB
We propose a new method to enumerate alternating knots using a transfer matrix approach. We apply it to count numerically various objects, including prime alternating tangles with two connected components, up to order 18--22, and comment on the large-order behavior in connection with one of the authors' conjecture.