enumeration
2243 papers tagged with this keyword
A bijective enumeration of $3$-strip tableaux
Baryshnikov and Romik derived the combinatorial identities for the numbers of the $m$-strip tableaux. This generalized the classical André's theorem for the number of up-down permutations. They asked for a bijective proof for the enumeration of $3$-strip tableaux. In this paper we will provide such a bijective proof. First we count the $3$-strip tableaux by decomposition. Secondly we will apply this "decomposition" idea on the up-down permutations and down-up permutations to enumerate the $3$-strip tableaux bijectively.
Multispecies Weighted Hurwitz Numbers
Published in SIGMA 11 (2015), 097, 19 pages
• View Publication
• BIB
The construction of hypergeometric $2D$ Toda $τ$-functions as generating functions for weighted Hurwitz numbers is extended to multispecies families. Both the enumerative geometrical significance of multispecies weighted Hurwitz numbers, as weighted enumerations of branched coverings of the Riemann sphere, and their combinatorial significance in terms of weighted paths in the Cayley graph of $S_n$ are derived. The particular case of multispecies quantum weighted Hurwitz numbers is studied in detail.
Weighted Hurwitz numbers and hypergeometric $τ$-functions: an overview
Published in Proc. Symp. Pure Math. 93. 289-333 (2016)
• Search Publication
This is an overview of recent results on the use of 2D Toda $τ$-functions as generating functions for multiparametric families of weighted Hurwitz numbers. The Bose-Fermi equivalence composed with the characteristic map provides an isomorphism between the zero charge sector of the Fermionic Fock space and the direct sum of the centers of the group algebra of the symmetric groups $S_n$. Specializing the fermionic formula to the case of diagonal group elements gives $τ$-functions of hypergeometric type, for which the expansion over products of Schur functions is diagonal, with coefficients of {\em content product} type. The corresponding abelian group action on the centre of the $S_n$ group algebra is determined by forming symmetric functions multiplicatively from a weight generating function $G(z)$ and evaluating on the Jucys-Murphy elements of the group algebra. The resulting central elements act diagonally on the basis of orthogonal idempotents and the eigenvalues $r^{G(z)}_λ$ are the {\em content product} coefficients appearing in the double Schur function expansion. Both the geometrical meaning of weighted Hurwitz numbers, as weighted sums over $n$-sheeted branched coverings, and the combinatorial one, as weighted enumeration of paths in the Cayley graph of $S_n$ generated by transpositions follow from expansion of the Cauchy-Littlewood generating functions over dual pairs of bases of the algebra of symmetric functions. The coefficients in the resulting $τ$-function expansion over products of power sum symmetric functions are the weighted Hurwitz numbers. Replacement of the Cauchy-Littlewood generating function by that for Macdonald polynomials provides $(q,t)$-deformations that yield generating functions for quantum weighted Hurwitz numbers.
Derivative polynomials and enumeration of permutations by their alternating descents
Published
• View Publication
• BIB
In this paper we present an explicit formula for the number of permutations with a given number of alternating descents. Moreover, we study the interlacing property of the real parts of the zeros of the generating polynomials of these numbers.
The toggle group, homomesy, and the Razumov-Stroganov correspondence
Published in Electron. J. Combin. 22 (2015) no. 2
• View Publication
• BIB
The Razumov-Stroganov correspondence, an important link between statistical physics and combinatorics proved in 2011 by L. Cantini and A. Sportiello, relates the ground state eigenvector of the O(1) dense loop model on a semi-infinite cylinder to a refined enumeration of fully-packed loops, which are in bijection with alternating sign matrices. This paper reformulates a key component of this proof in terms of posets, the toggle group, and homomesy, and proves two new homomesy results on general posets which we hope will have broader implications.
Multi-Base Representations of Integers: Asymptotic Enumeration and Central Limit Theorems
Published in Applicable Analysis and Discrete Mathematics 2015 Volume 9, Issue 2, Pages: 285-312
• View Publication
• BIB
In a multi-base representation of an integer (in contrast to, for example, the binary or decimal representation) the base (or radix) is replaced by products of powers of single bases. The resulting numeral system has desirable properties for fast arithmetic. It is usually redundant, which means that each integer can have multiple different digit expansions, so the natural question for the number of representations arises. In this paper, we provide a general asymptotic formula for the number of such multi-base representations of a positive integer $n$. Moreover, we prove central limit theorems for the sum of digits, the Hamming weight (number of non-zero digits, which is a measure of efficiency) and the occurrences of a fixed digits in a random representation.
Enumeration formulæ in neutral sets
Published
• View Publication
• BIB
We present several enumeration results holding in sets of words called neutral and which satisfy restrictive conditions on the set of possible extensions of nonempty words. These formulae concern return words and bifix codes. They generalize formulae previously known for Sturmian sets or more generally for tree sets. We also give a geometric example of this class of sets, namely the natural coding of some interval exchange transformations.
Fourientations and the Tutte Polynomial
Published in Research in the Mathematical Sciences, 4, 2017
• View Publication
• BIB
A fourientation of a graph is a choice for each edge of the graph whether to orient that edge in either direction, leave it unoriented, or biorient it. Fixing a total order on the edges and a reference orientation of the graph, we investigate properties of cuts and cycles in fourientations which give trivariate generating functions that are generalized Tutte polynomial evaluations of the form \[(k+m)^{n-1}(k+l)^gT\left(\frac{αk + βl + m}{k+m},\frac{γk + l + δm}{k+l}\right)\] for $α,γ\in \{0,1,2\}$ and $β, δ\in \{0,1\}$. We introduce an intersection lattice of 64 cut-cycle fourientation classes enumerated by generalized Tutte polynomial evaluations of this form. We prove these enumerations using a single deletion-contraction argument and classify axiomatically the set of fourientation classes to which our deletion-contraction argument applies. This work unifies and extends earlier results for fourientations due to Gessel and Sagan, and results for partial orientations due to the first author, and the second author and David Perkinson, as well as results for total orientations due to many authors. We conclude by describing how these classes of fourientations relate to geometric, combinatorial, and algebraic objects including bigraphical arrangements, cycle-cocycle reversal systems, graphic Lawrence ideals, Riemann-Roch theory for graphs, zonotopal algebras, and the reliability polynomial.
Lattice Path Enumeration
Published in Handbook of Enumerative Combinatorics, M. Bóna (ed.), Discrete Math. and Its Appl., CRC Press, Boca Raton-London-New York, 2015, pp. 589-678
• Search Publication
This is a survey of results in the enumeration of lattice paths.
Generalized Hultman Numbers and Cycle Structures of Breakpoint Graphs
Published in Journal of Computational Biology 24:2 (2017), 93-105
• View Publication
• BIB
Genome rearrangements can be modeled as $k$-breaks, which break a genome at k positions and glue the resulting fragments in a new order. In particular, reversals, translocations, fusions, and fissions are modeled as $2$-breaks, and transpositions are modeled as $3$-breaks. While $k$-break rearrangements for $k>3$ have not been observed in evolution, they are used in cancer genomics to model chromothripsis, a catastrophic event of multiple breakages happening simultaneously in a genome. It is known that the $k$-break distance between two genomes (i.e., the minimum number of $k$-breaks required to transform one genome into the other) can be computed in terms of cycle lengths in the breakpoint graph of these genomes.
In the current work, we address the combinatorial problem of enumerating genomes at a given $k$-break distance from a fixed unichromosomal genome. More generally, we enumerate genome pairs, whose breakpoint graph has a given distribution of cycle lengths. We further show how our enumeration can be used for uniform sampling of random genomes at a given $k$-break distance, and describe its connection to various combinatorial objects such as Bell polynomials.
Reduced word manipulation: patterns and enumeration
Published
• View Publication
• BIB
We develop the technique of reduced word manipulation to give a range of results concerning reduced words and permutations more generally. We prove a broad connection between pattern containment and reduced words, which specializes to our previous work for vexillary permutations. We also analyze general tilings of Elnitsky's polygon, and demonstrate that these are closely related to the patterns in a permutation. Building on previous work for commutation classes, we show that reduced word enumeration is monotonically increasing with respect to pattern containment. Finally, we give several applications of this work. We show that a permutation and a pattern have equally many reduced words if and only if they have the same length (equivalently, the same number of 21-patterns), and that they have equally many commutation classes if and only if they have the same number of 321-patterns. We also apply our techniques to enumeration problems of pattern avoidance, and give a bijection between 132-avoiding permutations of a given length and partitions of that same size, as well as refinements of this data and a connection to the Catalan numbers.
Interlaced rectangular parking functions
The aim of this work is to extend to a general $S_m\times S_n$-module context the Grossman-Bizley paradigm that allows the enumeration of Dyck paths in a $m\times n$-rectangle. We obtain an explicit formula for the the "bi-Frobenius" characteristic of what we call {\em interlaced} rectangular parking functions in an $m\times n$-rectangle. These are obtained by labelling the $n$ vertical steps of an $m\times n$-Dyck path by the numbers from $1$ to $n$, together with an independent labelling of its horizontal steps by integers from $1$ to $m$. Our formula specializes to give the Frobenius characteristic of the $S_n$-module of $m\times n$-parking functions in the general situation. Hence, it subsumes the result of Armstrong-Loehr-Warrington which furnishes such a formula for the special case when $m$ and $n$ are coprime integers.
LGV proof of a determinantal theorem for TASEP probabilities
The Totally Asymmetric Simple Exclusion Process (TASEP) is a non-equilibrium particle model on a finite one-dimensional lattice with open boundaries. In our earlier paper, we obtained a determinantal formula that computes the steady state probabilities of this process by the enumeration of "Catalan alternative tableaux", which are certain fillings of Young diagrams. Here, we present a new, more illuminating bijective proof of this determinantal formula using the Lindström-Gessel-Viennot Lemma.
Selberg integrals, Askey-Wilson polynomials and lozenge tilings of a hexagon with a triangular hole
Published
• View Publication
• BIB
We obtain an explicit formula for a certain weighted enumeration of lozenge tilings of a hexagon with an arbitrary triangular hole. The complexity of our expression depends on the distance from the hole to the center of the hexagon. This proves and generalizes conjectures of Ciucu et al., who considered the case of plain enumeration when the triangle is located at or very near the center. Our proof uses Askey-Wilson polynomials as a tool to relate discrete and continuous Selberg-type integrals.
Counting dominating sets and related structures in graphs
Published
• View Publication
• BIB
We consider some problems concerning the maximum number of (strong) dominating sets in a regular graph, and their weighted analogues. Our primary tool is Shearer's entropy lemma. These techniques extend to a reasonably broad class of graph parameters enumerating vertex colorings satisfying conditions on the multiset of colors appearing in (closed) neighborhoods. We also generalize further to enumeration problems for what we call existence homomorphisms. Here our results are substantially less complete, though we do solve some natural problems.
Counting Trees in Supersymmetric Quantum Mechanics
We study the supersymmetric ground states of the Kronecker model of quiver quantum mechanics. This is the simplest quiver with two gauge groups and bifundamental matter fields, and appears universally in four-dimensional N=2 systems. The ground state degeneracy may be written as a multi-dimensional contour integral, and the enumeration of poles can be simply phrased as counting bipartite trees. We solve this combinatorics problem, thereby obtaining exact formulas for the degeneracies of an infinite class of models. We also develop an algorithm to compute the angular momentum of the ground states, and present explicit expressions for the refined indices of theories where one rank is small.
Some enumerations of binary digital images
The topology of digital images has been studied much in recent years, but no attempt has been made to exhaustively catalog the structure of binary images of small numbers of points. We produce enumerations of several classes of digital images up to isomorphism and decide which among them are homotopy equivalent to one another. Noting some patterns in the results, we make some conjectures about digital images which are irreducible but not rigid.
A $q$-enumeration of lozenge tilings of a hexagon with three dents
Published
• View Publication
• BIB
We $q$-enumerate lozenge tilings of a hexagon with three bowtie-shaped regions have been removed from three non-consecutive sides. The unweighted version of the result generalizes a problem posed by James Propp on enumeration of lozenge tilings of a hexagon of side-lengths $2n,2n+3,2n,2n+3,2n,2n+3$ (in cyclic order) with the central unit triangles on the $(2n+3)$-sides removed.
Sieved Enumeration of Interval Orders and Other Fishburn Structures
Following a result of Eriksen and Sjöstrand (2014) we detail a technique to construct structures following the Fishburn distribution from appropriate Mahonian structures.
This technique is introduced on a bivincular pattern of Bousquet-Mélou et al. (2010) and then used to introduce a previously unconsidered class of matchings; explicitly, zero alignment matchings according to the number of arcs which are both right-crossed and left nesting.
We then define a statistic on the factorial posets of Claesson and Linusson (2011) counting the number of features which we refer to as mislabelings and demonstrate that according to the number of mislabelings that factorial posets follow the Fishburn distribution.
As a consequence of our approach we find an identity for the Fishburn numbers in terms of the Mahonian numbers.
A $q$-enumeration of lozenge tilings of a hexagon with four adjacent triangles removed from the boundary
MacMahon proved a simple product formula for the generating function of plane partitions fitting in a given box. The theorem implies a $q$-enumeration of lozenge tilings of a semi-regular hexagon on the triangular lattice. In this paper we generalize MacMahon's classical theorem by $q$-enumerating lozenge tilings of a new family of hexagons with four adjacent triangles removed from their boundary.