-
Crystal skeletons: Combinatorics and axioms
Authors:
Sarah Brauner,
Sylvie Corteel,
Zajj Daugherty,
Anne Schilling
Abstract:
Crystal skeletons were introduced by Maas-Gariépy in 2023 by contracting quasi-crystal components in a crystal graph. On the representation theoretic level, crystal skeletons model the expansion of Schur functions into Gessel's quasisymmetric functions. Motivated by questions of Schur positivity, we provide a combinatorial description of crystal skeletons, and prove many new properties, including…
▽ More
Crystal skeletons were introduced by Maas-Gariépy in 2023 by contracting quasi-crystal components in a crystal graph. On the representation theoretic level, crystal skeletons model the expansion of Schur functions into Gessel's quasisymmetric functions. Motivated by questions of Schur positivity, we provide a combinatorial description of crystal skeletons, and prove many new properties, including a conjecture by Maas-Gariépy that crystal skeletons generalize dual equivalence graphs. We then present a new axiomatic approach to crystal skeletons. We give three versions of the axioms based on $GL_n$-branching, $S_n$-branching, and local axioms in analogy to the local Stembridge axioms for crystals based on novel commutation relations.
△ Less
Submitted 18 March, 2025;
originally announced March 2025.
-
Decorated square paths at q=-1
Authors:
Sylvie Corteel,
Alexander Lazar,
Anna Vanden Wyngaerd
Abstract:
The valley Delta square conjecture states that the symmetric function $\frac{[n-k]_q}{[n]_q}Δ_{e_{n-k}}ω(p_n)$ can be expressed as the enumerator of a certain class of decorated square paths with respect to the bistatistic (dinv,area). Inspired by recent positivity results of Corteel, Josuat-Vergès, and Vanden Wyngaerd, we study the evaluation of this enumerator at $q=-1$. By considering a cyclic…
▽ More
The valley Delta square conjecture states that the symmetric function $\frac{[n-k]_q}{[n]_q}Δ_{e_{n-k}}ω(p_n)$ can be expressed as the enumerator of a certain class of decorated square paths with respect to the bistatistic (dinv,area). Inspired by recent positivity results of Corteel, Josuat-Vergès, and Vanden Wyngaerd, we study the evaluation of this enumerator at $q=-1$. By considering a cyclic group action on the decorated square paths which we call cutting and pasting, we show that $\left.\left\langle \frac{[n-k]_q}{[n]_q}Δ_{e_{n-k}}ω(p_n), h_1^n\right\rangle\right|_{q=-1}$ is $0$ whenever $n-k$ is even, and is a positive polynomial related to the Euler numbers when $n-k$ is odd. We also show that the combinatorics of this enumerator is closely connected to that of the Dyck path enumerator for $\langleΔ_{e_{n-k-1}}'e_n,h_1^n\rangle$ considered by Corteel-Josuat Vergès-Vanden Wyngaerd.
△ Less
Submitted 20 August, 2024;
originally announced August 2024.
-
Rhombic staircase tableaux and Koornwinder polynomials
Authors:
Sylvie Corteel,
Olya Mandelshtam,
Lauren Williams
Abstract:
In this article we give a combinatorial formula for a certain class of Koornwinder polynomials, also known as Macdonald polynomials of type $\tilde{C}$. In particular, we give a combinatorial formula for the Koornwinder polynomials $K_λ = K_λ(z_1,\dots,z_N; a,b,c,d; q,t)$, where $λ= (1,\dots,1,0,\dots,0)$. We also give combinatorial formulas for all ``open boundary ASEP polynomials'' $F_μ$, where…
▽ More
In this article we give a combinatorial formula for a certain class of Koornwinder polynomials, also known as Macdonald polynomials of type $\tilde{C}$. In particular, we give a combinatorial formula for the Koornwinder polynomials $K_λ = K_λ(z_1,\dots,z_N; a,b,c,d; q,t)$, where $λ= (1,\dots,1,0,\dots,0)$. We also give combinatorial formulas for all ``open boundary ASEP polynomials'' $F_μ$, where $μ$ is a composition in $\{-1,0,1\}^N$; these polynomials are related to the nonsymmetric Koornwinder polynomials $E_μ$ up to a triangular change of basis. Our formulas are in terms of rhombic staircase tableaux, certain tableaux that we introduced in previous work to give a formula for the stationary distribution of the two-species asymmetric simple exclusion process (ASEP) on a line with open boundaries.
△ Less
Submitted 18 May, 2024; v1 submitted 28 December, 2023;
originally announced December 2023.
-
Lecture hall graphs and the Askey scheme
Authors:
Sylvie Corteel,
Bhargavi Jonnadula,
Jonathan P. Keating,
Jang Soo Kim
Abstract:
We establish, for every family of orthogonal polynomials in the $q$-Askey scheme and the Askey scheme, a combinatorial model for mixed moments and coefficients in terms of paths on the lecture hall graph. This generalizes the previous results of Corteel and Kim for the little $q$-Jacobi polynomials. We build these combinatorial models by bootstrapping, beginning with polynomials at the bottom and…
▽ More
We establish, for every family of orthogonal polynomials in the $q$-Askey scheme and the Askey scheme, a combinatorial model for mixed moments and coefficients in terms of paths on the lecture hall graph. This generalizes the previous results of Corteel and Kim for the little $q$-Jacobi polynomials. We build these combinatorial models by bootstrapping, beginning with polynomials at the bottom and working towards Askey-Wilson polynomials which sit at the top of the $q$-Askey scheme. As an application of the theory, we provide the first combinatorial proof of the symmetries in the parameters of the Askey-Wilson polynomials.
△ Less
Submitted 22 November, 2023; v1 submitted 21 November, 2023;
originally announced November 2023.
-
Domino tilings of generalized Aztec triangles
Authors:
Sylvie Corteel,
Frederick Huang,
Christian Krattenthaler
Abstract:
Di Francesco introduced Aztec triangles as combinatorial objects for which their domino tilings are equinumerous with certain sets of configurations of the twenty-vertex model that are the main focus of his article. We generalize Di Francesco's construction of Aztec triangles. While we do not know whether there is again a correspondence with configurations in the twenty-vertex model, we prove clos…
▽ More
Di Francesco introduced Aztec triangles as combinatorial objects for which their domino tilings are equinumerous with certain sets of configurations of the twenty-vertex model that are the main focus of his article. We generalize Di Francesco's construction of Aztec triangles. While we do not know whether there is again a correspondence with configurations in the twenty-vertex model, we prove closed-form product formulas for the number of domino tilings of our generalized Aztec triangles. As a special case, we obtain a proof of Di Francesco's conjectured formula for the number of domino tilings of his Aztec triangles, and thus for the number of the corresponding configurations in the twenty-vertex model.
△ Less
Submitted 4 May, 2023; v1 submitted 2 May, 2023;
originally announced May 2023.
-
Combinatorics of the Delta conjecture at q=-1
Authors:
Sylvie Corteel,
Matthieu Josuat-Vergès,
Anna Vanden Wyngaerd
Abstract:
In the context of the shuffle theorem, many classical integer sequences appear with a natural refinement by two statistics $q$ and $t$: for example the Catalan and Schröder numbers. In particular, the bigraded Hilbert series of diagonal harmonics is a $q,t$-analog of $(n+1)^{n-1}$ (and can be written in terms of symmetric functions via the nabla operator). The motivation for this work is the obser…
▽ More
In the context of the shuffle theorem, many classical integer sequences appear with a natural refinement by two statistics $q$ and $t$: for example the Catalan and Schröder numbers. In particular, the bigraded Hilbert series of diagonal harmonics is a $q,t$-analog of $(n+1)^{n-1}$ (and can be written in terms of symmetric functions via the nabla operator). The motivation for this work is the observation that at $q=-1$, this $q,t$-analog becomes a $t$-analog of Euler numbers, a famous integer sequence that counts alternating permutations. We prove this observation via a more general statement, that involves the Delta operator on symmetric functions (on one side), and new combinatorial statistics on permutations involving peaks and valleys (on the other side). An important tool are the schedule numbers of a parking function first introduced by Hicks; and expanded upon by Haglund and Sergel. Other empirical observation suggest that nonnegativity at $q=-1$ holds in far greater generality.
△ Less
Submitted 8 February, 2023;
originally announced February 2023.
-
Partitions with constrained ranks and lattice paths
Authors:
Sylvie Corteel,
Sergi Elizalde,
Carla Savage
Abstract:
In this paper we study partitions whose successive ranks belong to a given set. We enumerate such partitions while keeping track of the number of parts, the largest part, the side of the Durfee square, and the height of the Durfee rectangle. We also obtain a new bijective proof of a result of Andrews and Bressoud that the number of partitions of $N$ with all ranks at least $1-\ell$ equals the numb…
▽ More
In this paper we study partitions whose successive ranks belong to a given set. We enumerate such partitions while keeping track of the number of parts, the largest part, the side of the Durfee square, and the height of the Durfee rectangle. We also obtain a new bijective proof of a result of Andrews and Bressoud that the number of partitions of $N$ with all ranks at least $1-\ell$ equals the number of partitions of $N$ with no parts equal to $\ell+1$, for $\ell\ge0$, which allows us to refine it by the above statistics. Combining Foata's second fundamental transformation for words with Greene and Kleitman's mapping for subsets, interpreted in terms of lattice paths, we obtain enumeration formulas for partitions whose successive ranks satisfy certain constraints, such as being bounded by a constant.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
Colored vertex models and $k$-tilings of the Aztec diamond
Authors:
Sylvie Corteel,
Andrew Gitlin,
David Keating
Abstract:
We study $k$-tilings ($k$-tuples of domino tilings) of the Aztec diamond of rank $m$. We assign a weight to each $k$-tiling, depending on the number of dominos of certain types and the number of "interactions" between the tilings. Employing the colored vertex models introduced in earlier work to study supersymmetric LLT polynomials, we compute the generating polynomials of the $k$-tilings. We then…
▽ More
We study $k$-tilings ($k$-tuples of domino tilings) of the Aztec diamond of rank $m$. We assign a weight to each $k$-tiling, depending on the number of dominos of certain types and the number of "interactions" between the tilings. Employing the colored vertex models introduced in earlier work to study supersymmetric LLT polynomials, we compute the generating polynomials of the $k$-tilings. We then prove some combinatorial results about $k$-tilings, including a bijection between $k$-tilings with no interactions and $1$-tilings, and we compute the arctic curves of the tilings for $t=0$ and $t\rightarrow\infty$. We also present some lozenge $k$-tilings of the hexagon and compute the arctic curves of the tilings for $t=0$.
△ Less
Submitted 27 October, 2024; v1 submitted 12 February, 2022;
originally announced February 2022.
-
A vertex model for LLT polynomials
Authors:
Sylvie Corteel,
Andrew Gitlin,
David Keating,
Jeremy Meza
Abstract:
We describe a novel Yang-Baxter integrable vertex model. From this vertex model we construct a certain class of partition functions that we show are equal to the LLT polynomials of Lascoux, Leclerc, and Thibon. Using the vertex model formalism, we give alternate proofs of many properties of these polynomials, including symmetry and a Cauchy identity.
We describe a novel Yang-Baxter integrable vertex model. From this vertex model we construct a certain class of partition functions that we show are equal to the LLT polynomials of Lascoux, Leclerc, and Thibon. Using the vertex model formalism, we give alternate proofs of many properties of these polynomials, including symmetry and a Cauchy identity.
△ Less
Submitted 3 December, 2020;
originally announced December 2020.
-
Cylindric partitions and some new $A_2$ Rogers-Ramanujan identities
Authors:
Sylvie Corteel,
Jehanne Dousse,
Ali K. Uncu
Abstract:
We study the generating functions for cylindric partitions with profile $(c_1,c_2,c_3)$ for all $c_1,c_2,c_3$ such that $c_1+c_2+c_3=5$. This allows us to discover and prove seven new $A_2$ Rogers-Ramanujan identities modulo $8$ with quadruple sums, related with work of Andrews, Schilling, and Warnaar.
We study the generating functions for cylindric partitions with profile $(c_1,c_2,c_3)$ for all $c_1,c_2,c_3$ such that $c_1+c_2+c_3=5$. This allows us to discover and prove seven new $A_2$ Rogers-Ramanujan identities modulo $8$ with quadruple sums, related with work of Andrews, Schilling, and Warnaar.
△ Less
Submitted 25 November, 2020;
originally announced November 2020.
-
Expanding the quasisymmetric Macdonald polynomials in the fundamental basis
Authors:
Sylvie Corteel,
Olya Mandelshtam,
Austin Roberts
Abstract:
The quasisymmetic Macdonald polynomials $G_γ(X; q, t)$ were recently introduced by the first and second authors with Haglund, Mason, and Williams in [3] to refine the symmetric Macdonald polynomials $P_λ(X; q, t)$ with the property that $G_γ(X; 0, 0)$ equals $QS_γ(X)$, the quasisymmetric Schur polynomial of [9]. We derive an expansion for $G_γ(X; q, t)$ in the fundamental basis of quasisymmetric f…
▽ More
The quasisymmetic Macdonald polynomials $G_γ(X; q, t)$ were recently introduced by the first and second authors with Haglund, Mason, and Williams in [3] to refine the symmetric Macdonald polynomials $P_λ(X; q, t)$ with the property that $G_γ(X; 0, 0)$ equals $QS_γ(X)$, the quasisymmetric Schur polynomial of [9]. We derive an expansion for $G_γ(X; q, t)$ in the fundamental basis of quasisymmetric functions.
△ Less
Submitted 29 October, 2020;
originally announced October 2020.
-
Combinatorics of the 2-species exclusion processes, marked Laguerre histories, and partially signed permutations
Authors:
Sylvie Corteel,
Arthur Nunge
Abstract:
Starting from the two-species partially asymmetric simple exclusion process, we study a subclass of signed permutations, the partially signed permutations, using the combinatorics of Laguerre histories. From this physical and bijective point of view, we obtain a natural descent statistic on partially signed permutations; as well as partially signed permutations patterns.
Starting from the two-species partially asymmetric simple exclusion process, we study a subclass of signed permutations, the partially signed permutations, using the combinatorics of Laguerre histories. From this physical and bijective point of view, we obtain a natural descent statistic on partially signed permutations; as well as partially signed permutations patterns.
△ Less
Submitted 12 May, 2020;
originally announced May 2020.
-
Compact formulas for Macdonald polynomials and quasisymmetric Macdonald polynomials
Authors:
Sylvie Corteel,
Jim Haglund,
Olya Mandelshtam,
Sarah Mason,
Lauren Williams
Abstract:
We present several new and compact formulas for the modified and integral form of the Macdonald polynomials, building on the compact "multiline queue" formula for Macdonald polynomials due to Corteel, Mandelshtam, and Williams. We also introduce a new quasisymmetric analogue of Macdonald polynomials. These "quasisymmetric Macdonald polynomials" refine the (symmetric) Macdonald polynomials and spec…
▽ More
We present several new and compact formulas for the modified and integral form of the Macdonald polynomials, building on the compact "multiline queue" formula for Macdonald polynomials due to Corteel, Mandelshtam, and Williams. We also introduce a new quasisymmetric analogue of Macdonald polynomials. These "quasisymmetric Macdonald polynomials" refine the (symmetric) Macdonald polynomials and specialize to the quasisymmetric Schur polynomials defined by Haglund, Luoto, Mason, and van Willigenburg.
△ Less
Submitted 24 April, 2020;
originally announced April 2020.
-
Compact formulas for Macdonald polynomials and quasisymmetric Macdonald polynomials
Authors:
Sylvie Corteel,
Jim Haglund,
Olya Mandelshtam,
Sarah Mason,
Lauren Williams
Abstract:
We present several new and compact formulas for the modified and integral form of the Macdonald polynomials, building on the compact "multiline queue" formula for Macdonald polynomials due to Corteel, Mandelshtam and Williams. We also introduce a new quasisymmetric analogue of Macdonald polynomials. These quasisymmetric Macdonald polynomials refine the (symmetric) Macdonald polynomials and special…
▽ More
We present several new and compact formulas for the modified and integral form of the Macdonald polynomials, building on the compact "multiline queue" formula for Macdonald polynomials due to Corteel, Mandelshtam and Williams. We also introduce a new quasisymmetric analogue of Macdonald polynomials. These quasisymmetric Macdonald polynomials refine the (symmetric) Macdonald polynomials and specialize at $q=t=0$ to the quasisymmetric Schur polynomials defined by Haglund, Luoto, Mason, and van Willigenburg. This is an extended abstract.
△ Less
Submitted 6 December, 2019;
originally announced December 2019.
-
The $A_2$ Rogers-Ramanujan identities revisited
Authors:
Sylvie Corteel,
Trevor Welsh
Abstract:
In this note we show how to rederive the $A_2$ Rogers-Ramanujan identities proven by Andrews, Schilling and Warnaar using cylindric partitions. This paper is dedicated to George Andrews for his $80^{th}$ birthday.
In this note we show how to rederive the $A_2$ Rogers-Ramanujan identities proven by Andrews, Schilling and Warnaar using cylindric partitions. This paper is dedicated to George Andrews for his $80^{th}$ birthday.
△ Less
Submitted 26 November, 2019; v1 submitted 20 May, 2019;
originally announced May 2019.
-
Arctic curves phenomena for bounded lecture hall Tableaux
Authors:
Sylvie Corteel,
David Keating,
Matthew Nicoletti
Abstract:
Recently the first author and Jang Soo Kim introduced lecture hall tableaux in their study of multivariate little q-Jacobi polynomials. They then enumerated bounded lecture hall tableaux and showed that their enumeration is closely related to standard and semistandard Young tableaux. In this paper we study the asymptotic behavior of these bounded tableaux thanks to two other combinatorial models:…
▽ More
Recently the first author and Jang Soo Kim introduced lecture hall tableaux in their study of multivariate little q-Jacobi polynomials. They then enumerated bounded lecture hall tableaux and showed that their enumeration is closely related to standard and semistandard Young tableaux. In this paper we study the asymptotic behavior of these bounded tableaux thanks to two other combinatorial models: non intersecting paths on a graph whose faces are squares and pentagons and dimer models on a lattice whose faces are hexagons and octogons. We use the tangent method to investigate the arctic curve in the model of nonintersecting lattice paths with fixed starting points and ending points distributibuted according to some arbitrary piecewise differentiable function. We then study the dimer model and use some ansatz to guess the asymptotics of the inverse of the Kasteleyn matrix confirm the arctic curve computed with the tangent method for two examples.
△ Less
Submitted 11 January, 2021; v1 submitted 7 May, 2019;
originally announced May 2019.
-
Enumeration of bounded lecture hall tableaux
Authors:
Sylvie Corteel,
Jang Soo Kim
Abstract:
Recently the authors introduced lecture hall tableaux in their study of multivariate little $q$-Jacobi polynomials. In this paper, we enumerate bounded lecture hall tableaux. We show that their enumeration is closely related to standard and semistandard Young tableaux. We also show that the number of bounded lecture hall tableaux is the coefficient of the Schur expansion of…
▽ More
Recently the authors introduced lecture hall tableaux in their study of multivariate little $q$-Jacobi polynomials. In this paper, we enumerate bounded lecture hall tableaux. We show that their enumeration is closely related to standard and semistandard Young tableaux. We also show that the number of bounded lecture hall tableaux is the coefficient of the Schur expansion of $s_λ(m+y_1,\dots,m+y_n)$. To prove this result, we use two main tools: non-intersecting lattice paths and bijections. In particular we use ideas developed by Krattenthaler to prove bijectively the hook content formula.
△ Less
Submitted 6 November, 2019; v1 submitted 23 April, 2019;
originally announced April 2019.
-
Cylindric rhombic tableaux and the two-species ASEP on a ring
Authors:
Sylvie Corteel,
Olya Mandelshtam,
Lauren Williams
Abstract:
The asymmetric simple exclusion exclusion process (ASEP) is a model of particles hopping on a one-dimensional lattice of n sites. It was introduced around 1970, and since then has been extensively studied by researchers in statistical mechanics, probability, and combinatorics. Recently the ASEP on a lattice with open boundaries has been linked to Koornwinder polynomials, and the ASEP on a ring has…
▽ More
The asymmetric simple exclusion exclusion process (ASEP) is a model of particles hopping on a one-dimensional lattice of n sites. It was introduced around 1970, and since then has been extensively studied by researchers in statistical mechanics, probability, and combinatorics. Recently the ASEP on a lattice with open boundaries has been linked to Koornwinder polynomials, and the ASEP on a ring has been linked to Macdonald polynomials. In this article we study the two-species asymmetric simple exclusion process (ASEP) on a ring, in which two kinds of particles ("heavy" and "light"), as well as "holes," can hop both clockwise and counterclockwise (at rates 1 or t depending on the particle types) on a ring of n sites. We introduce some new tableaux on a cylinder called cylindric rhombic tableaux (CRT), and use them to give a formula for the stationary distribution of the two-species ASEP -- each probability is expressed as a sum over all CRT of a fixed type. When lambda is a partition in {0,1,2}^n, we then give a formula for the nonsymmetric Macdonald polynomial E_{lambda} and the symmetric Macdonald polynomial P_{lambda} by refining our tableaux formulas for the stationary distribution.
△ Less
Submitted 14 January, 2020; v1 submitted 2 November, 2018;
originally announced November 2018.
-
From multiline queues to Macdonald polynomials via the exclusion process
Authors:
Sylvie Corteel,
Olya Mandelshtam,
Lauren Williams
Abstract:
Recently James Martin introduced multiline queues, and used them to give a combinatorial formula for the stationary distribution of the multispecies asymmetric simple exclusion exclusion process (ASEP) on a circle. The ASEP is a model of particles hopping on a one-dimensional lattice, which was introduced around 1970, and has been extensively studied in statistical mechanics, probability, and comb…
▽ More
Recently James Martin introduced multiline queues, and used them to give a combinatorial formula for the stationary distribution of the multispecies asymmetric simple exclusion exclusion process (ASEP) on a circle. The ASEP is a model of particles hopping on a one-dimensional lattice, which was introduced around 1970, and has been extensively studied in statistical mechanics, probability, and combinatorics. In this article we give an independent proof of Martin's result, and we show that by introducing additional statistics on multiline queues, we can use them to give a new combinatorial formula for both the symmetric Macdonald polynomials P_{lambda}(x; q, t), and the nonsymmetric Macdonald polynomials E_{lambda}(x; q, t), where lambda is a partition. This formula is rather different from others that have appeared in the literature, such as the formulas due to Haglund, Haiman, and Loehr, the formula due to Ram and Yip, and the one due to Lenart. Our proof uses results of Cantini, de Gier, and Wheeler, who recently linked the multispecies ASEP on a circle to Macdonald polynomials.
△ Less
Submitted 6 October, 2021; v1 submitted 2 November, 2018;
originally announced November 2018.
-
Lecture hall tableaux
Authors:
Sylvie Corteel,
Jang Soo Kim
Abstract:
We introduce lecture hall tableaux, which are fillings of a skew Young diagram satisfying certain conditions. Lecture hall tableaux generalize both lecture hall partitions and anti-lecture hall compositions, and also contain reverse semistandard Young tableaux as a limit case. We show that the coefficients in the Schur expansion of multivariate little $q$-Jacobi polynomials are generating function…
▽ More
We introduce lecture hall tableaux, which are fillings of a skew Young diagram satisfying certain conditions. Lecture hall tableaux generalize both lecture hall partitions and anti-lecture hall compositions, and also contain reverse semistandard Young tableaux as a limit case. We show that the coefficients in the Schur expansion of multivariate little $q$-Jacobi polynomials are generating functions for lecture hall tableaux. Using a Selberg-type integral we show that moments of multivariate little $q$-Jacobi polynomials, which are equal to generating functions for lecture hall tableaux of a Young diagram, have a product formula. We also explore various combinatorial properties of lecture hall tableaux.
△ Less
Submitted 30 June, 2020; v1 submitted 6 April, 2018;
originally announced April 2018.
-
Volumes of generalized Chan-Robbins-Yuen polytopes
Authors:
Sylvie Corteel,
Jang Soo Kim,
Karola Mészáros
Abstract:
The normalized volume of the Chan-Robbins-Yuen polytope ($CRY_n$) is the product of consecutive Catalan numbers. The polytope $CRY_n$ has captivated combinatorial audiences for over a decade, as there is no combinatorial proof for its volume formula. In their quest to understand $CRY_n$ better, the third author and Morales introduced two natural generalizations of it and conjectured that their vol…
▽ More
The normalized volume of the Chan-Robbins-Yuen polytope ($CRY_n$) is the product of consecutive Catalan numbers. The polytope $CRY_n$ has captivated combinatorial audiences for over a decade, as there is no combinatorial proof for its volume formula. In their quest to understand $CRY_n$ better, the third author and Morales introduced two natural generalizations of it and conjectured that their volumes are certain powers of $2$ multiplied by a product of consecutive Catalan numbers. Zeilberger proved one of these conjectures. In this paper we present proofs of both conjectures.
△ Less
Submitted 10 April, 2017;
originally announced April 2017.
-
Flow polytopes with Catalan volumes
Authors:
Sylvie Corteel,
Jang Soo Kim,
Karola Mészáros
Abstract:
The Chan-Robbins-Yuen polytope can be thought of as the flow polytope of the complete graph with netflow vector $(1, 0, \ldots, 0, -1)$. The normalized volume of the Chan-Robbins-Yuen polytope equals the product of consecutive Catalan numbers, yet there is no combinatorial proof of this fact. We consider a natural generalization of this polytope, namely, the flow polytope of the complete graph wit…
▽ More
The Chan-Robbins-Yuen polytope can be thought of as the flow polytope of the complete graph with netflow vector $(1, 0, \ldots, 0, -1)$. The normalized volume of the Chan-Robbins-Yuen polytope equals the product of consecutive Catalan numbers, yet there is no combinatorial proof of this fact. We consider a natural generalization of this polytope, namely, the flow polytope of the complete graph with netflow vector $(1,1, 0, \ldots, 0, -2)$. We show that the volume of this polytope is a certain power of $2$ times the product of consecutive Catalan numbers. Our proof uses constant term identities and further deepens the combinatorial mystery of why these numbers appear. In addition we introduce two more families of flow polytopes whose volumes are given by product formulas.
△ Less
Submitted 30 November, 2016;
originally announced December 2016.
-
Patterns in Inversion Sequences I
Authors:
Sylvie Corteel,
Megan A. Martinez,
Carla D. Savage,
Michael Weselcouch
Abstract:
Permutations that avoid given patterns have been studied in great depth for their connections to other fields of mathematics, computer science, and biology. From a combinatorial perspective, permutation patterns have served as a unifying interpretation that relates a vast array of combinatorial structures. In this paper, we introduce the notion of patterns in inversion sequences. A sequence…
▽ More
Permutations that avoid given patterns have been studied in great depth for their connections to other fields of mathematics, computer science, and biology. From a combinatorial perspective, permutation patterns have served as a unifying interpretation that relates a vast array of combinatorial structures. In this paper, we introduce the notion of patterns in inversion sequences. A sequence $(e_1,e_2,\ldots,e_n)$ is an inversion sequence if $0 \leq e_i<i$ for all $i \in [n]$. Inversion sequences of length $n$ are in bijection with permutations of length $n$; an inversion sequence can be obtained from any permutation $π=π_1π_2\ldots π_n$ by setting $e_i = |\{j \ | \ j < i \ {\rm and} \ π_j > π_i \}|$. This correspondence makes it a natural extension to study patterns in inversion sequences much in the same way that patterns have been studied in permutations. This paper, the first of two on patterns in inversion sequences, focuses on the enumeration of inversion sequences that avoid words of length three. Our results connect patterns in inversion sequences to a number of well-known numerical sequences including Fibonacci numbers, Bell numbers, Schröder numbers, and Euler up/down numbers.
△ Less
Submitted 28 March, 2016; v1 submitted 19 October, 2015;
originally announced October 2015.
-
Combinatorics of the two-species ASEP and Koornwinder moments
Authors:
Sylvie Corteel,
Olya Mandelshtam,
Lauren Williams
Abstract:
In previous work, the first and third authors introduced staircase tableaux, which they used to give combinatorial formulas for the stationary distribution of the asymmetric simple exclusion process (ASEP) and for the moments of the Askey-Wilson weight function. The fact that the ASEP and Askey-Wilson moments are related at all is quite surprising, and is due to Uchiyama-Sasamoto-Wadati. The ASEP…
▽ More
In previous work, the first and third authors introduced staircase tableaux, which they used to give combinatorial formulas for the stationary distribution of the asymmetric simple exclusion process (ASEP) and for the moments of the Askey-Wilson weight function. The fact that the ASEP and Askey-Wilson moments are related at all is quite surprising, and is due to Uchiyama-Sasamoto-Wadati. The ASEP is a model of particles hopping on a one-dimensional lattice of N sites with open boundaries, particles can enter and exit at both left and right borders. It was introduced around 1970 and is cited as a model for both traffic flow and translation in protein synthesis. Meanwhile, the Askey-Wilson polynomials are a family of orthogonal polynomials in one variable, they sit at the top of the hierarchy of classical orthogonal polynomials. So we have the relationship
ASEP -- staircase tableaux -- Askey-Wilson moments
It is well-known that Askey-Wilson polynomials can be viewed as the one-variable case of the multivariate Koornwinder polynomials, also known as the Macdonald polynomials for the type BC root system. It is natural then to ask whether one can generalize the relationships among the ASEP, Askey-Wilson moments, and staircase tableaux, in such a way that Koornwinder moments replace Askey-Wilson moments. In a recent work, we demonstrated a close connection between Koornwinder moments and the two-species ASEP (a particle model involving two species of particles with different "weights"). In this article we introduce rhombic staircase tableaux, and show that we have the relationship
2-species ASEP -- rhombic staircase tableaux -- Koornwinder moments
In particular, we give formulas for the steady state distribution of the two-species ASEP and for Koornwinder moments, in terms of rhombic staircase tableaux.
△ Less
Submitted 14 January, 2020; v1 submitted 16 October, 2015;
originally announced October 2015.
-
Macdonald-Koornwinder moments and the two-species exclusion process
Authors:
Sylvie Corteel,
Lauren Williams
Abstract:
Introduced in the late 1960's, the asymmetric exclusion process (ASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice with open boundaries. It has been known for awhile that there is a tight connection between the partition function of the ASEP and moments of Askey-Wilson polynomials, a family o…
▽ More
Introduced in the late 1960's, the asymmetric exclusion process (ASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice with open boundaries. It has been known for awhile that there is a tight connection between the partition function of the ASEP and moments of Askey-Wilson polynomials, a family of orthogonal polynomials which are at the top of the hierarchy of classical orthogonal polynomials in one variable. On the other hand, Askey-Wilson polynomials can be viewed as a specialization of the multivariate Macdonald-Koornwinder polynomials (also known as Koornwinder polynomials), which in turn give rise to the Macdonald polynomials associated to any classical root system via a limit or specialization. In light of the fact that Koornwinder polynomials generalize the Askey-Wilson polynomials, it is natural to ask whether one can find a particle model whose partition function is related to Koornwinder polynomials. In this article we answer this question affirmatively, by showing that the "homogeneous" Koornwinder moments at q=t recover the partition function for the two-species exclusion process. We also provide a "hook length" formula for Koornwinder moments when q=t=1.
△ Less
Submitted 15 February, 2019; v1 submitted 4 May, 2015;
originally announced May 2015.
-
Dimers on Rail Yard Graphs
Authors:
Cédric Boutillier,
Jérémie Bouttier,
Guillaume Chapuy,
Sylvie Corteel,
Sanjay Ramassamy
Abstract:
We introduce a general model of dimer coverings of certain plane bipartite graphs, which we call rail yard graphs (RYG). The transfer matrices used to compute the partition function are shown to be isomorphic to certain operators arising in the so-called boson-fermion correspondence. This allows to reformulate the RYG dimer model as a Schur process, i.e. as a random sequence of integer partitions…
▽ More
We introduce a general model of dimer coverings of certain plane bipartite graphs, which we call rail yard graphs (RYG). The transfer matrices used to compute the partition function are shown to be isomorphic to certain operators arising in the so-called boson-fermion correspondence. This allows to reformulate the RYG dimer model as a Schur process, i.e. as a random sequence of integer partitions subject to some interlacing conditions.
Beyond the computation of the partition function, we provide an explicit expression for all correlation functions or, equivalently, for the inverse Kasteleyn matrix of the RYG dimer model. This expression, which is amenable to asymptotic analysis, follows from an exact combinatorial description of the operators localizing dimers in the transfer-matrix formalism, and then a suitable application of Wick's theorem.
Plane partitions, domino tilings of the Aztec diamond, pyramid partitions, and steep tilings arise as particular cases of the RYG dimer model. For the Aztec diamond, we provide new derivations of the edge-probability generating function, of the biased creation rate, of the inverse Kasteleyn matrix and of the arctic circle theorem.
△ Less
Submitted 29 June, 2015; v1 submitted 20 April, 2015;
originally announced April 2015.
-
Bumping sequences and multispecies juggling
Authors:
Arvind Ayyer,
Jérémie Bouttier,
Sylvie Corteel,
Svante Linusson,
François Nunzi
Abstract:
Building on previous work by four of us (ABCN), we consider further generalizations of Warrington's juggling Markov chains. We first introduce "multispecies" juggling, which consist in having balls of different weights: when a ball is thrown it can possibly bump into a lighter ball that is then sent to a higher position, where it can in turn bump an even lighter ball, etc. We both study the case w…
▽ More
Building on previous work by four of us (ABCN), we consider further generalizations of Warrington's juggling Markov chains. We first introduce "multispecies" juggling, which consist in having balls of different weights: when a ball is thrown it can possibly bump into a lighter ball that is then sent to a higher position, where it can in turn bump an even lighter ball, etc. We both study the case where the number of balls of each species is conserved and the case where the juggler sends back a ball of the species of its choice. In this latter case, we actually discuss three models: add-drop, annihilation and overwriting. The first two are generalisations of models presented in (ABCN) while the third one is new and its Markov chain has the ultra fast convergence property. We finally consider the case of several jugglers exchanging balls. In all models, we give explicit product formulas for the stationary probability and closed form expressions for the normalisation factor if known.
△ Less
Submitted 28 March, 2018; v1 submitted 10 April, 2015;
originally announced April 2015.
-
Perfect sampling algorithm for Schur processes
Authors:
Dan Betea,
Cédric Boutillier,
Jérémie Bouttier,
Guillaume Chapuy,
Sylvie Corteel,
Mirjana Vuletić
Abstract:
We describe random generation algorithms for a large class of random combinatorial objects called Schur processes, which are sequences of random (integer) partitions subject to certain interlacing conditions. This class contains several fundamental combinatorial objects as special cases, such as plane partitions, tilings of Aztec diamonds, pyramid partitions and more generally steep domino tilings…
▽ More
We describe random generation algorithms for a large class of random combinatorial objects called Schur processes, which are sequences of random (integer) partitions subject to certain interlacing conditions. This class contains several fundamental combinatorial objects as special cases, such as plane partitions, tilings of Aztec diamonds, pyramid partitions and more generally steep domino tilings of the plane. Our algorithm, which is of polynomial complexity, is both exact (i.e. the output follows exactly the target probability law, which is either Boltzmann or uniform in our case), and entropy optimal (i.e. it reads a minimal number of random bits as an input).
The algorithm encompasses previous growth procedures for special Schur processes related to the primal and dual RSK algorithm, as well as the famous domino shuffling algorithm for domino tilings of the Aztec diamond. It can be easily adapted to deal with symmetric Schur processes and general Schur processes involving infinitely many parameters. It is more concrete and easier to implement than Borodin's algorithm, and it is entropy optimal.
At a technical level, it relies on unified bijective proofs of the different types of Cauchy and Littlewood identities for Schur functions, and on an adaptation of Fomin's growth diagram description of the RSK algorithm to that setting. Simulations performed with this algorithm suggest interesting limit shape phenomena for the corresponding tiling models, some of which are new.
△ Less
Submitted 4 September, 2018; v1 submitted 14 July, 2014;
originally announced July 2014.
-
From Aztec diamonds to pyramids: steep tilings
Authors:
Jérémie Bouttier,
Guillaume Chapuy,
Sylvie Corteel
Abstract:
We introduce a family of domino tilings that includes tilings of the Aztec diamond and pyramid partitions as special cases. These tilings live in a strip of $\mathbb{Z}^2$ of the form $1 \leq x-y \leq 2\ell$ for some integer $\ell \geq 1$, and are parametrized by a binary word $w\in\{+,-\}^{2\ell}$ that encodes some periodicity conditions at infinity. Aztec diamond and pyramid partitions correspon…
▽ More
We introduce a family of domino tilings that includes tilings of the Aztec diamond and pyramid partitions as special cases. These tilings live in a strip of $\mathbb{Z}^2$ of the form $1 \leq x-y \leq 2\ell$ for some integer $\ell \geq 1$, and are parametrized by a binary word $w\in\{+,-\}^{2\ell}$ that encodes some periodicity conditions at infinity. Aztec diamond and pyramid partitions correspond respectively to $w=(+-)^\ell$ and to the limit case $w=+^\infty-^\infty$. For each word $w$ and for different types of boundary conditions, we obtain a nice product formula for the generating function of the associated tilings with respect to the number of flips, that admits a natural multivariate generalization. The main tools are a bijective correspondence with sequences of interlaced partitions and the vertex operator formalism (which we slightly extend in order to handle Littlewood-type identities). In probabilistic terms our tilings map to Schur processes of different types (standard, Pfaffian and periodic). We also introduce a more general model that interpolates between domino tilings and plane partitions.
△ Less
Submitted 20 April, 2017; v1 submitted 2 July, 2014;
originally announced July 2014.
-
Bijections between affine hyperplane arrangements and valued graphs
Authors:
Sylvie Corteel,
David Forge,
Véronique Ventos
Abstract:
We show new bijective proofs of previously known formulas for the number of regions of some deformations of the braid arrangement, by means of a bijection between the no-broken-circuit sets of the corresponding integral gain graphs and some kinds of labelled binary trees. This leads to new bijective proofs for the Shi, Catalan, and similar hyperplane arrangements.
We show new bijective proofs of previously known formulas for the number of regions of some deformations of the braid arrangement, by means of a bijection between the no-broken-circuit sets of the corresponding integral gain graphs and some kinds of labelled binary trees. This leads to new bijective proofs for the Shi, Catalan, and similar hyperplane arrangements.
△ Less
Submitted 23 August, 2014; v1 submitted 11 March, 2014;
originally announced March 2014.
-
Multivariate Juggling Probabilities
Authors:
Arvind Ayyer,
Jérémie Bouttier,
Sylvie Corteel,
François Nunzi
Abstract:
We consider refined versions of Markov chains related to juggling introduced by Warrington. We further generalize the construction to juggling with arbitrary heights as well as infinitely many balls, which are expressed more succinctly in terms of Markov chains on integer partitions. In all cases, we give explicit product formulas for the stationary probabilities. The normalization factor in one c…
▽ More
We consider refined versions of Markov chains related to juggling introduced by Warrington. We further generalize the construction to juggling with arbitrary heights as well as infinitely many balls, which are expressed more succinctly in terms of Markov chains on integer partitions. In all cases, we give explicit product formulas for the stationary probabilities. The normalization factor in one case can be explicitly written as a homogeneous symmetric polynomial. We also refine and generalize enriched Markov chains on set partitions. Lastly, we prove that in one case, the stationary distribution is attained in bounded time.
△ Less
Submitted 16 January, 2015; v1 submitted 15 February, 2014;
originally announced February 2014.
-
Combinatorics of the permutation tableaux of type B
Authors:
Sylvie Corteel,
Matthieu Josuat-Vergès,
Jang Soo Kim
Abstract:
Permutation tableaux are combinatorial objects related with permutations and various statistics on them. They appeared in connection with total positivity in Grassmannians, and stationary probabilities in a PASEP model. In particular they gave rise to an interesting q-analog of Eulerian numbers. The purpose of this article is to study some combinatorial properties of type B permutation tableaux, d…
▽ More
Permutation tableaux are combinatorial objects related with permutations and various statistics on them. They appeared in connection with total positivity in Grassmannians, and stationary probabilities in a PASEP model. In particular they gave rise to an interesting q-analog of Eulerian numbers. The purpose of this article is to study some combinatorial properties of type B permutation tableaux, defined by Lam and Williams, and links with signed permutation statistics. We show that many of the tools used for permutation tableaux generalize in this case, including: the Matrix Ansatz (a method originally related with the PASEP), bijections with labeled paths and links with continued fractions, bijections with signed permutations. In particular we obtain a q-analog of the type B Eulerian numbers, having a lot in common with the previously known q-Eulerian numbers: for example they have a nice symmetry property, they have the type B Narayana numbers as constant terms. The signed permutation statistics arising here are of several kinds. Firstly, there are several variants of descents and excedances, and more precisely of flag descents and flag excedances. Other statistics are the crossings and alignments, which generalize a previous definition on (unsigned) permutations. There are also some pattern-like statistics arising from variants of the bijection of Fran\ccon and Viennot.
△ Less
Submitted 1 March, 2012;
originally announced March 2012.
-
Formulae for Askey-Wilson moments and enumeration of staircase tableaux
Authors:
Sylvie Corteel,
Richard Stanley,
Dennis Stanton,
Lauren Williams
Abstract:
We explain how the moments of the (weight function of the) Askey Wilson polynomials are related to the enumeration of the staircase tableaux introduced by the first and fourth authors. This gives us a direct combinatorial formula for these moments. Then we use techniques developed by Ismail and the third author to give explicit formulae for these moments and for the enumeration of staircase tablea…
▽ More
We explain how the moments of the (weight function of the) Askey Wilson polynomials are related to the enumeration of the staircase tableaux introduced by the first and fourth authors. This gives us a direct combinatorial formula for these moments. Then we use techniques developed by Ismail and the third author to give explicit formulae for these moments and for the enumeration of staircase tableaux. Finally we study the enumeration of staircase tableaux at various specializations of the parameterizations; for example, we obtain the Catalan numbers, Fibonacci numbers, Eulerian numbers, the number of permutations, and the number of matchings.
△ Less
Submitted 12 August, 2010; v1 submitted 29 July, 2010;
originally announced July 2010.
-
Combinatorics on permutation tableaux of type $A$ and type $B$
Authors:
Sylvie Corteel,
Jang Soo Kim
Abstract:
We give another bijective proof of a result of Corteel and Nadeau. We find a generating function related to unrestricted columns of permutation tableaux. As a consequence, we obtain a sign-imbalance formula for permutation tableaux. We extend the first bijection of Corteel and Nadeau between permutations and permutation tableaux to type $B$ objects. Using this type $B$ bijection, we generalize a r…
▽ More
We give another bijective proof of a result of Corteel and Nadeau. We find a generating function related to unrestricted columns of permutation tableaux. As a consequence, we obtain a sign-imbalance formula for permutation tableaux. We extend the first bijection of Corteel and Nadeau between permutations and permutation tableaux to type $B$ objects. Using this type $B$ bijection, we generalize a result of Lam and Williams. We prove that the bijection of Corteel and Nadeau and our type $B$ bijection can be expressed as zigzag maps on the alternative representation.
△ Less
Submitted 29 August, 2011; v1 submitted 18 June, 2010;
originally announced June 2010.
-
The Matrix Ansatz, Orthogonal Polynomials, and Permutations
Authors:
Sylvie Corteel,
Matthieu Josuat-Vergès,
Lauren K. Williams
Abstract:
In this paper we outline a Matrix Ansatz approach to some problems of combinatorial enumeration. The idea is that many interesting quantities can be expressed in terms of products of matrices, where the matrices obey certain relations. We illustrate this approach with applications to moments of orthogonal polynomials, permutations, signed permutations, and tableaux.
In this paper we outline a Matrix Ansatz approach to some problems of combinatorial enumeration. The idea is that many interesting quantities can be expressed in terms of products of matrices, where the matrices obey certain relations. We illustrate this approach with applications to moments of orthogonal polynomials, permutations, signed permutations, and tableaux.
△ Less
Submitted 15 May, 2010;
originally announced May 2010.
-
Tableaux combinatorics for the asymmetric exclusion process and Askey-Wilson polynomials
Authors:
Sylvie Corteel,
Lauren Williams
Abstract:
Introduced in the late 1960's, the asymmetric exclusion process (ASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice of n sites with open boundaries. It has been cited as a model for traffic flow and protein synthesis. In the most general form of the ASEP with open boundaries, particles may ent…
▽ More
Introduced in the late 1960's, the asymmetric exclusion process (ASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice of n sites with open boundaries. It has been cited as a model for traffic flow and protein synthesis. In the most general form of the ASEP with open boundaries, particles may enter and exit at the left with probabilities alpha and gamma, and they may exit and enter at the right with probabilities beta and delta. In the bulk, the probability of hopping left is q times the probability of hopping right. The first main result of this paper is a combinatorial formula for the stationary distribution of the ASEP with all parameters general, in terms of a new class of tableaux which we call staircase tableaux. This generalizes our previous work for the ASEP with parameters gamma=delta=0. Using our first result and also results of Uchiyama-Sasamoto-Wadati, we derive our second main result: a combinatorial formula for the moments of Askey-Wilson polynomials. Since the early 1980's there has been a great deal of work giving combinatorial formulas for moments of various other classical orthogonal polynomials (e.g. Hermite, Charlier, Laguerre, Meixner). However, this is the first such formula for the Askey-Wilson polynomials, which are at the top of the hierarchy of classical orthogonal polynomials.
△ Less
Submitted 6 February, 2013; v1 submitted 9 October, 2009;
originally announced October 2009.
-
Plane overpartitions and cylindric partitions
Authors:
Sylvie Corteel,
Cyrille Savelief,
Mirjana Vuletić
Abstract:
Generating functions for plane overpartitions are obtained using various methods such as nonintersecting paths, RSK type algorithms and symmetric functions. We extend some of the generating functions to cylindric partitions. Also, we show that plane overpartitions correspond to certain domino tilings and we give some basic properties of this correspondence.
Generating functions for plane overpartitions are obtained using various methods such as nonintersecting paths, RSK type algorithms and symmetric functions. We extend some of the generating functions to cylindric partitions. Also, we show that plane overpartitions correspond to certain domino tilings and we give some basic properties of this correspondence.
△ Less
Submitted 3 September, 2010; v1 submitted 11 March, 2009;
originally announced March 2009.
-
Matrix Ansatz, lattice paths and rook placements
Authors:
Sylvie Corteel,
Matthieu Josuat-Verges,
Thomas Prellberg,
Martin Rubey
Abstract:
We give two combinatorial interpretations of the Matrix Ansatz of the PASEP in terms of lattice paths and rook placements. This gives two (mostly) combinatorial proofs of a new enumeration formula for the partition function of the PASEP. Besides other interpretations, this formula gives the generating function for permutations of a given size with respect to the number of ascents and occurrences…
▽ More
We give two combinatorial interpretations of the Matrix Ansatz of the PASEP in terms of lattice paths and rook placements. This gives two (mostly) combinatorial proofs of a new enumeration formula for the partition function of the PASEP. Besides other interpretations, this formula gives the generating function for permutations of a given size with respect to the number of ascents and occurrences of the pattern 13-2, the generating function according to weak exceedances and crossings, and the n-th moment of certain q-Laguerre polynomials.
△ Less
Submitted 27 November, 2008;
originally announced November 2008.
-
Tableaux Combinatorics for the Asymmetric Exclusion Process II
Authors:
Sylvie Corteel,
Lauren Williams
Abstract:
The results of this paper have been subsumed by those of our new paper arXiv:0910.1858
The results of this paper have been subsumed by those of our new paper arXiv:0910.1858
△ Less
Submitted 10 October, 2009; v1 submitted 16 October, 2008;
originally announced October 2008.
-
A simple bijection between permutation tableaux and permutations
Authors:
Sylvie Corteel
Abstract:
We present a simple a bijection between permutations of $\{1,..., n\}$ with $k$ descents and permutation tableaux of length $n$ with $k$ columns.
We present a simple a bijection between permutations of $\{1,..., n\}$ with $k$ descents and permutation tableaux of length $n$ with $k$ columns.
△ Less
Submitted 25 September, 2006;
originally announced September 2006.
-
A Markov chain on permutations which projects to the PASEP
Authors:
Sylvie Corteel,
Lauren K. Williams
Abstract:
The partially asymmetric exclusion process (PASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice of N sites. It is partially asymmetric in the sense that the probability of hopping left is q times the probability of hopping right. Additionally, particles may enter from the left with probabili…
▽ More
The partially asymmetric exclusion process (PASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice of N sites. It is partially asymmetric in the sense that the probability of hopping left is q times the probability of hopping right. Additionally, particles may enter from the left with probability alpha and exit from the right with probability beta.
It has been observed that the (unique) stationary distribution of the PASEP has remarkable connections to combinatorics -- see for example the papers of Derrida, Duchi and Schaeffer, and Corteel. Most recently we proved that in fact the (normalized) probability of being in a particular state of the PASEP can be viewed as a certain weight generating function for permutation tableaux of a fixed shape. (This result implies the previous combinatorial results.) However, our proof relied on the matrix ansatz of Derrida et al, and hence did not give an intuitive explanation of why one should expect the steady state distribution of the PASEP to involve such nice combinatorics.
In this paper we define a Markov chain -- which we call the PT chain -- on the set of permutation tableaux which projects to the PASEP in a very strong sense. This gives a new proof of our previous result which bypasses the matrix ansatz altogether. Furthermore, via the bijection from permutation tableaux to permutations, the PT chain can also be viewed as a Markov chain on the symmetric group. Another nice feature of the PT chain is that it possesses a certain symmetry which extends the "particle-hole symmetry" of the PASEP. More specifically, this is a graph-automorphism on the state diagram of the PT chain which is an involution; this has a simple description in terms of permutations.
△ Less
Submitted 18 May, 2007; v1 submitted 6 September, 2006;
originally announced September 2006.
-
Five Guidelines for Partition Analysis with Applications to Lecture Hall-type Theorems
Authors:
Sylvie Corteel,
Sunyoung Lee,
Carla Savage
Abstract:
Five simple guidelines are proposed to compute the generating function for the nonnegative integer solutions of a system of linear inequalities. In contrast to other approaches, the emphasis is on deriving recurrences. We show how to use the guidelines strategically to solve some nontrivial enumeration problems in the theory of partitions and compositions. This includes a strikingly different ap…
▽ More
Five simple guidelines are proposed to compute the generating function for the nonnegative integer solutions of a system of linear inequalities. In contrast to other approaches, the emphasis is on deriving recurrences. We show how to use the guidelines strategically to solve some nontrivial enumeration problems in the theory of partitions and compositions. This includes a strikingly different approach to lecture hall-type theorems, with new $q$-series identities arising in the process. For completeness, we prove that the guidelines suffice to find the generating function for any system of homogeneous linear inequalities with integer coefficients. The guidelines can be viewed as a simplification of MacMahon's partition analysis with ideas from matrix techiniques, Elliott reduction, and ``adding a slice''.
△ Less
Submitted 29 May, 2006;
originally announced May 2006.
-
Tableaux combinatorics for the asymmetric exclusion process
Authors:
Sylvie Corteel,
Lauren K. Williams
Abstract:
The partially asymmetric exclusion process (PASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice of $n$ sites. It is partially asymmetric in the sense that the probability of hopping left is $q$ times the probability of hopping right. Additionally, particles may enter from the left with proba…
▽ More
The partially asymmetric exclusion process (PASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice of $n$ sites. It is partially asymmetric in the sense that the probability of hopping left is $q$ times the probability of hopping right. Additionally, particles may enter from the left with probability $α$ and exit from the right with probability $β$.
In this paper we prove a close connection between the PASEP and the combinatorics of permutation tableaux. (These tableaux come indirectly from the totally nonnegative part of the Grassmannian, via work of Postnikov, and were studied in a paper of Steingrimsson and the second author.) Namely, we prove that in the long time limit, the probability that the PASEP is in a particular configuration $τ$ is essentially the generating function for permutation tableaux of shape $λ(τ)$ enumerated according to three statistics. The proof of this result uses a result of Derrida, Evans, Hakim, and Pasquier on the {\it matrix ansatz} for the PASEP model.
As an application, we prove some monotonicity results for the PASEP. We also derive some enumerative consequences for permutations enumerated according to various statistics such as weak excedence set, descent set, crossings, and occurences of generalized patterns.
△ Less
Submitted 18 May, 2007; v1 submitted 7 February, 2006;
originally announced February 2006.
-
Crossing and alignments of permutations
Authors:
Sylvie Corteel
Abstract:
We introduce the notion of crossings and nestings of a permutation. We compute the generating function of permutations with a fixed number of weak exceedances, crossings and nestings. We link alignments and permutation patterns to these statistics. We generalize to the case of decorated permutations. Finally we show how this is related to the stationary distribution of the Partially ASymmetric E…
▽ More
We introduce the notion of crossings and nestings of a permutation. We compute the generating function of permutations with a fixed number of weak exceedances, crossings and nestings. We link alignments and permutation patterns to these statistics. We generalize to the case of decorated permutations. Finally we show how this is related to the stationary distribution of the Partially ASymmetric Exclusion Process (PASEP) model.
△ Less
Submitted 19 January, 2006;
originally announced January 2006.
-
Overpartitions, lattice paths and Rogers-Ramanujan identities
Authors:
Sylvie Corteel,
Olivier Mallet
Abstract:
We extend partition-theoretic work of Andrews, Bressoud, and Burge to overpartitions, defining the notions of successive ranks, generalized Durfee squares, and generalized lattice paths, and then relating these to overpartitions defined by multiplicity conditions on the parts. This leads to many new partition and overpartition identities, and provides a unification of a number of well-known iden…
▽ More
We extend partition-theoretic work of Andrews, Bressoud, and Burge to overpartitions, defining the notions of successive ranks, generalized Durfee squares, and generalized lattice paths, and then relating these to overpartitions defined by multiplicity conditions on the parts. This leads to many new partition and overpartition identities, and provides a unification of a number of well-known identities of the Rogers-Ramanujan type. Among these are Gordon's generalization of the Rogers-Ramanujan identities, Andrews' generalization of the Göllnitz-Gordon identities, and Lovejoy's ``Gordon's theorems for overpartitions."
△ Less
Submitted 22 December, 2006; v1 submitted 19 January, 2006;
originally announced January 2006.
-
Crossings and alignments of permutations
Authors:
Sylvie Corteel
Abstract:
We derive the continued fraction form of the generating function of some new $q$-analogs of the Eulerian numbers $\hat{E}_{k,n}(q)$ introduced by Lauren Williams building on work of Alexander Postnikov. They are related to the number of alignments and weak exceedances of permutations. We show how these numbers are related to crossing and generalized patterns of permutations We generalize to the…
▽ More
We derive the continued fraction form of the generating function of some new $q$-analogs of the Eulerian numbers $\hat{E}_{k,n}(q)$ introduced by Lauren Williams building on work of Alexander Postnikov. They are related to the number of alignments and weak exceedances of permutations. We show how these numbers are related to crossing and generalized patterns of permutations We generalize to the case of decorated permutations. Finally we show how these numbers appear naturally in the stationary distribution of the ASEP model.
△ Less
Submitted 2 May, 2005;
originally announced May 2005.
-
An iterative-bijective approach to generalizations of Schur's theorem
Authors:
Sylvie Corteel,
Jeremy Lovejoy
Abstract:
We start with a bijective proof of Schur's theorem due to Alladi and Gordon and describe how a particular iteration of it leads to some very general theorems on colored partitions. These theorems imply a number of important results, including Schur's theorem, Bressoud's generalization of a theorem of Göllnitz, two of Andrews' generalizations of Schur's theorem, and the Andrews-Olsson identities.
We start with a bijective proof of Schur's theorem due to Alladi and Gordon and describe how a particular iteration of it leads to some very general theorems on colored partitions. These theorems imply a number of important results, including Schur's theorem, Bressoud's generalization of a theorem of Göllnitz, two of Andrews' generalizations of Schur's theorem, and the Andrews-Olsson identities.
△ Less
Submitted 11 September, 2007; v1 submitted 28 April, 2004;
originally announced April 2004.
-
Partitions and Compositions defined by inequalities
Authors:
S. Corteel,
C. D. Savage
Abstract:
We consider sequences of integers defined by a system of linear inequalities with integer coefficients. We show that when the constraints are strong enough to guarantee that all the entries are nonnegative, the generating function for the integer solutions of weight $n$ has a finite product form. The results are proved bijectively and are used to give several examples of interesting identities f…
▽ More
We consider sequences of integers defined by a system of linear inequalities with integer coefficients. We show that when the constraints are strong enough to guarantee that all the entries are nonnegative, the generating function for the integer solutions of weight $n$ has a finite product form. The results are proved bijectively and are used to give several examples of interesting identities for integer partitions and compositions. The method can be adapted to accommodate equalities along with inequalities and can be used to obtain multivariate forms of the generating function. We show how to extend the technique to obtain the generating function when some coefficients are allowed to be rational, generalizing the case of lecture hall partitions. Our initial results were conjectured thanks to the Omega package.
△ Less
Submitted 5 September, 2003;
originally announced September 2003.
-
Lecture Hall Theorems, q-series and Truncated Objects
Authors:
S. Corteel,
C. D. Savage
Abstract:
We show here that the refined theorems for both lecture hall partitions and anti-lecture hall compositions can be obtained as straightforward consequences of two q-Chu Vandermonde identities, once an appropriate recurrence is derived. We use this approach to get new lecture hall-type theorems for truncated objects. We compute their generating function and give two different multivariate refineme…
▽ More
We show here that the refined theorems for both lecture hall partitions and anti-lecture hall compositions can be obtained as straightforward consequences of two q-Chu Vandermonde identities, once an appropriate recurrence is derived. We use this approach to get new lecture hall-type theorems for truncated objects. We compute their generating function and give two different multivariate refinements of these new results : the q-calculus approach gives (u,v,q)-refinements, while a completely different approach gives odd/even (x,y)-refinements. From this, we are able to give a combinatorial characterization of truncated lecture hall partitions and new finitizations of refinements of Euler's theorem.
△ Less
Submitted 5 September, 2003;
originally announced September 2003.
-
Random partitions with non negative rth differences
Authors:
Rod Canfield,
Sylvie Corteel,
Pawel Hitczenko
Abstract:
Let $P_r(n)$ be the set of partitions of n with non negative rth differences. Let $λ$ be a partition chosen uniformly at random among the set $P_r(n)$. Let $d(λ)$ be a positive rth difference chosen uniformly at random in $λ$. The aim of this work is to show that for every $m\ge 1$, the probability that $d(λ)\ge m$ approaches $m^{-1/r}$ as $n\to\infty$. To prove this result we use bijective, asy…
▽ More
Let $P_r(n)$ be the set of partitions of n with non negative rth differences. Let $λ$ be a partition chosen uniformly at random among the set $P_r(n)$. Let $d(λ)$ be a positive rth difference chosen uniformly at random in $λ$. The aim of this work is to show that for every $m\ge 1$, the probability that $d(λ)\ge m$ approaches $m^{-1/r}$ as $n\to\infty$. To prove this result we use bijective, asymptotic/analytic, and probabilistic combinatorics.
△ Less
Submitted 17 October, 2001;
originally announced October 2001.
