-
Robinson-Schensted Algorithms Obtained from Tableau Recursions
Authors:
Adriano M. Garsia,
Timothy J. McLarnan
Abstract:
The numbers $f_λ$ of standard tableaux of shape $λ\vdash n$ satisfy 2 fundamental recursions: $f_λ= \sum f_{λ^-}$ and $(n + 1)f_λ=\sum f_{λ^+}$, where $λ^-$ and $λ^+$ run over all shapes obtained from $λ$ by adding or removing a square respectively. The first of these recursions is trivial; the second can be proven algebraically from the first. These recursions together imply algebraically the dim…
▽ More
The numbers $f_λ$ of standard tableaux of shape $λ\vdash n$ satisfy 2 fundamental recursions: $f_λ= \sum f_{λ^-}$ and $(n + 1)f_λ=\sum f_{λ^+}$, where $λ^-$ and $λ^+$ run over all shapes obtained from $λ$ by adding or removing a square respectively. The first of these recursions is trivial; the second can be proven algebraically from the first. These recursions together imply algebraically the dimension formula $n! =\sum f_λ^2$ for the irreducible representations of $S_n$. We show that a combinatorial analysis of this classical algebraic argument produces an infinite family of algorithms, among which are the classical Robinson-Schensted row and column insertion algorithms. Each of our algorithms yields a bijective proof of the dimension formula.
△ Less
Submitted 30 January, 2022;
originally announced January 2022.
-
$e$-Positivity Results and Conjectures
Authors:
Adriano M. Garsia,
James Haglund,
Dun Qiu,
Marino Romero
Abstract:
In a 2016 ArXiv posting F. Bergeron listed a variety of symmetric functions $G[X;q]$ with the property that $G[X;1+q]$ is $e$-positive. A large subvariety of his examples could be explained by the conjecture that the Dyck path LLT polynomials exhibit the same phenomenon. In this paper we list the results of computer explorations which suggest that other examples exhibit the same phenomenon. We pro…
▽ More
In a 2016 ArXiv posting F. Bergeron listed a variety of symmetric functions $G[X;q]$ with the property that $G[X;1+q]$ is $e$-positive. A large subvariety of his examples could be explained by the conjecture that the Dyck path LLT polynomials exhibit the same phenomenon. In this paper we list the results of computer explorations which suggest that other examples exhibit the same phenomenon. We prove two of the resulting conjectures and propose algorithms that would prove several of our conjectures. In writing this paper we have learned that similar findings have been independently discovered by Per Alexandersson.
△ Less
Submitted 16 April, 2019;
originally announced April 2019.
-
On the Sweep Map for Fuss Rational Dyck Paths
Authors:
Adriano M. Garsia,
Guoce Xin
Abstract:
Our main contribution here is the discovery of a new family of standard Young tableaux $ {\cal T}^k_n$ which are in bijection with the family ${\cal D}_{m,n}$ of Rational Dyck paths for $m=k\times n\pm 1$ (the so called "Fuss" case). Using this family we give a new proof of the invertibility of the sweep map in the Fuss case by means of a very simple explicit algorithm. This new algorithm has runn…
▽ More
Our main contribution here is the discovery of a new family of standard Young tableaux $ {\cal T}^k_n$ which are in bijection with the family ${\cal D}_{m,n}$ of Rational Dyck paths for $m=k\times n\pm 1$ (the so called "Fuss" case). Using this family we give a new proof of the invertibility of the sweep map in the Fuss case by means of a very simple explicit algorithm. This new algorithm has running time $O(m+n)$. It is independent of the Thomas-William algorithm.
△ Less
Submitted 19 July, 2018;
originally announced July 2018.
-
Dinv and Area
Authors:
Adriano M. Garsia,
Guoce Xin
Abstract:
We give a new combinatorial proof of the well known result that the dinv of an $(m,n)$-Dyck path is equal to the area of its sweep map image. The first proof of this remarkable identity for co-prime $(m,n)$ is due to Loehr and Warrington. There is also a second proof (in the co-prime case) due to Gorsky and Mazin and a third proof due to Mazin.
We give a new combinatorial proof of the well known result that the dinv of an $(m,n)$-Dyck path is equal to the area of its sweep map image. The first proof of this remarkable identity for co-prime $(m,n)$ is due to Loehr and Warrington. There is also a second proof (in the co-prime case) due to Gorsky and Mazin and a third proof due to Mazin.
△ Less
Submitted 22 May, 2017; v1 submitted 14 September, 2016;
originally announced September 2016.
-
Inverting the Rational Sweep Map
Authors:
Adriano M. Garsia,
Guoce Xin
Abstract:
We present a simple algorithm for inverting the sweep map on rational $(m,n)$-Dyck paths for a co-prime pair $(m,n)$ of positive integers. This work is inspired by Thomas-Williams work on the modular sweep map. A simple proof of the validity of our algorithm is included.
We present a simple algorithm for inverting the sweep map on rational $(m,n)$-Dyck paths for a co-prime pair $(m,n)$ of positive integers. This work is inspired by Thomas-Williams work on the modular sweep map. A simple proof of the validity of our algorithm is included.
△ Less
Submitted 24 May, 2017; v1 submitted 7 February, 2016;
originally announced February 2016.
-
A new Plethystic Symmetric Function Operator and The rational Compositional Shuffle Conjecture at t=1/q
Authors:
A. M. Garsia,
E. Leven,
N. Wallach,
G. Xin
Abstract:
Our main result here is that the specialization at $t=1/q$ of the $Q_{km,kn}$ operators studied in [4] may be given a very simple plethystic form. This discovery yields elementary and direct derivations of several identities relating these operators at $t=1/q$ to the Rational Compositional Shuffle conjecture of [3]. In particular we show that if $m,n $ and $k$ are positive integers and $(m,n)$ is…
▽ More
Our main result here is that the specialization at $t=1/q$ of the $Q_{km,kn}$ operators studied in [4] may be given a very simple plethystic form. This discovery yields elementary and direct derivations of several identities relating these operators at $t=1/q$ to the Rational Compositional Shuffle conjecture of [3]. In particular we show that if $m,n $ and $k$ are positive integers and $(m,n)$ is a coprime pair then $$ q^{(km-1)(kn-1)+k-1\over 2} Q_{km,kn}(-1)^{kn}\Big|_{t=1/q} \,=\, \textstyle{[k]_q\over [km]_q} e_{km}\big[ X[km]_q\big] $$ where as customarily, for any integer $s \geq 0$ and indeterminate $u$ we set $[s]_u=1+u+\cdots +u^{s-1}$. We also show that the symmetric polynomial on the right hand side is always Schur positive. Moreover, using the Rational Compositional Shuffle conjecture, we derive a precise formula expressing this polynomial in terms of Parking functions in the $km\times kn$ lattice rectangle.
△ Less
Submitted 3 January, 2015;
originally announced January 2015.
-
Some new applications of the Stanley-Macdonald Pieri Rules
Authors:
A. M. Garsia,
J. Haglund,
G. Xin,
M. Zabrocki
Abstract:
In a seminal paper Richard Stanley derived Pieri rules for the Jack symmetric function basis. These rules were extended by Macdonald to his now famous symmetric function basis. The original form of these rules had a forbidding complexity that made them difficult to use in explicit calculations. In the early 90's it was discovered that, due to massive cancellations, the dual rule, which expresses s…
▽ More
In a seminal paper Richard Stanley derived Pieri rules for the Jack symmetric function basis. These rules were extended by Macdonald to his now famous symmetric function basis. The original form of these rules had a forbidding complexity that made them difficult to use in explicit calculations. In the early 90's it was discovered that, due to massive cancellations, the dual rule, which expresses skewing by $e_1$ the modified Macdonald polynomial ${\tilde H}_μ[X;q,t]$, can be given a very simple combinatorial form in terms of corner weights of the Ferrers' diagram of $μ$. A similar formula was later obtained by the last named author for the multiplication of ${\tilde H}_μ[X;q,t]$ by $e_1$, but never published. In the years that followed we have seen some truly remarkable uses of these two Pieri rules in establishing highly non trivial combinatorial results in the Theory of Macdonald polynomials. This theory has recently been spectacularly enriched by various Algebraic Geometrical results in the works of Hikita, Schiffmann, Schiffmann-Vasserot, A. Negut and Gorsky-Negut. This development opens up the challenging task of deriving their results by purely Algebraic Combinatorial methods. In this paper we present the progress obtained by means of Pieri rules.
△ Less
Submitted 29 July, 2014;
originally announced July 2014.
-
A three shuffle case of the compositional parking function conjecture
Authors:
Adriano M. Garsia,
Guoce Xin,
Mike Zabrocki
Abstract:
We prove here that the polynomial <nabla(C_p(1)), e_a h_b h_c> q, t-enumerates, by the statistics dinv and area, the parking functions whose supporting Dyck path touches the main diagonal according to the composition p of size a + b + c and have a reading word which is a shuffle of one decreasing word and two increasing words of respective sizes a, b, c. Here Cp(1) is a rescaled Hall-Littlewood po…
▽ More
We prove here that the polynomial <nabla(C_p(1)), e_a h_b h_c> q, t-enumerates, by the statistics dinv and area, the parking functions whose supporting Dyck path touches the main diagonal according to the composition p of size a + b + c and have a reading word which is a shuffle of one decreasing word and two increasing words of respective sizes a, b, c. Here Cp(1) is a rescaled Hall-Littlewood polynomial and "nabla" is the Macdonald eigenoperator introduced in [1]. This is our latest progress in a continued effort to settle the decade old shuffle conjecture of [14]. It includes as special cases all previous results connected with this conjecture such as the q, t-Catalan [3] and the Schroder and h, h results of Haglund in [12] as well as their compositional refinements recently obtained in [9] and [10]. It also confirms the possibility that the approach adopted in [9] and [10] has the potential to yield a resolution of the shuffle parking function conjecture as well as its compositional refinement more recently proposed by Haglund, Morse and Zabrocki in [15].
△ Less
Submitted 8 May, 2013; v1 submitted 28 August, 2012;
originally announced August 2012.
-
A new `dinv' arising from the two part case of the Shuffle Conjecture
Authors:
Adrian Duane,
Adriano M. Garsia,
Mike Zabrocki
Abstract:
In a recent paper J. Haglund showed that a certain symmetric function expresion enumerates by t^{area} q^{dinv} of the parking functions whose diagonal word is in the shuffle of 12...j and j+1...j+n with k of the cars j+1,...,j+n in the main diagonal including car j+n in the cell (1,1). In view of some recent conjectures of Haglund-Morse-Zabrocki it is natural to conjecture that replacing E_{n,k}…
▽ More
In a recent paper J. Haglund showed that a certain symmetric function expresion enumerates by t^{area} q^{dinv} of the parking functions whose diagonal word is in the shuffle of 12...j and j+1...j+n with k of the cars j+1,...,j+n in the main diagonal including car j+n in the cell (1,1). In view of some recent conjectures of Haglund-Morse-Zabrocki it is natural to conjecture that replacing E_{n,k} by the modified Hall-Littlewood functions would yield a polynomial that enumerates the same collection of parking functions but now restricted by the requirement that the Dyck path supporting cars j+1,...,j+n hits the diagonal according to the composition p=(p_1,p_2,...,p_k). We prove here this conjecture by deriving a recursion for the symmetric function expression then using this recursion to construct a new dinv statistic we will denote ndinv and show that this polynomial enumerates the latter parking functions by t^{area} q^{ndinv}.
△ Less
Submitted 28 May, 2012;
originally announced May 2012.
-
Polynomiality of the q,t-Kostka Revisited
Authors:
A. M. Garsia,
Mike Zabrocki
Abstract:
Let $K(q,t)= \|K_{\laμ}(q,t)\|_{\la,μ}$ be the Macdonald q,t-Kostka matrix and $K(t)=K(0,t)$ be the matrix of the Kostka-Foulkes polynomials K_{\laμ}(t). In this paper we present a new proof of the polynomiality of the q,t-Kostka coefficients that is both short and elementary. More precisely, we derive that $K(q,t)$ has entries in \ZZ[q,t] directly from the fact that the matrix $K(t)^{-1}$ has e…
▽ More
Let $K(q,t)= \|K_{\laμ}(q,t)\|_{\la,μ}$ be the Macdonald q,t-Kostka matrix and $K(t)=K(0,t)$ be the matrix of the Kostka-Foulkes polynomials K_{\laμ}(t). In this paper we present a new proof of the polynomiality of the q,t-Kostka coefficients that is both short and elementary. More precisely, we derive that $K(q,t)$ has entries in \ZZ[q,t] directly from the fact that the matrix $K(t)^{-1}$ has entries in \ZZ[t]. The proof uses only identities that can be found in the original paper [7] of Macdonald.
△ Less
Submitted 25 August, 2000;
originally announced August 2000.
-
Lattice Diagram Polynomials and Extended Pieri Rules
Authors:
F. Bergeron,
N. Bergeron,
A. M. Garsia,
M. Haiman,
G. Tesler
Abstract:
The lattice cell in the ${i+1}^{st}$ row and ${j+1}^{st}$ column of the positive quadrant of the plane is denoted $(i,j)$. If $μ$ is a partition of $n+1$, we denote by $μ/ij$ the diagram obtained by removing the cell $(i,j)$ from the (French) Ferrers diagram of $μ$. We set $Δ_{μ/ij}=\det \| x_i^{p_j}y_i^{q_j} \|_{i,j=1}^n$, where $(p_1,q_1),... ,(p_n,q_n)$ are the cells of $μ/ij$, and let…
▽ More
The lattice cell in the ${i+1}^{st}$ row and ${j+1}^{st}$ column of the positive quadrant of the plane is denoted $(i,j)$. If $μ$ is a partition of $n+1$, we denote by $μ/ij$ the diagram obtained by removing the cell $(i,j)$ from the (French) Ferrers diagram of $μ$. We set $Δ_{μ/ij}=\det \| x_i^{p_j}y_i^{q_j} \|_{i,j=1}^n$, where $(p_1,q_1),... ,(p_n,q_n)$ are the cells of $μ/ij$, and let ${\bf M}_{μ/ij}$ be the linear span of the partial derivatives of $Δ_{μ/ij}$. The bihomogeneity of $Δ_{μ/ij}$ and its alternating nature under the diagonal action of $S_n$ gives ${\bf M}_{μ/ij}$ the structure of a bigraded $S_n$-module. We conjecture that ${\bf M}_{μ/ij}$ is always a direct sum of $k$ left regular representations of $S_n$, where $k$ is the number of cells that are weakly north and east of $(i,j)$ in $μ$. We also make a number of conjectures describing the precise nature of the bivariate Frobenius characteristic of ${\bf M}_{μ/ij}$ in terms of the theory of Macdonald polynomials. On the validity of these conjectures, we derive a number of surprising identities. In particular, we obtain a representation theoretical interpretation of the coefficients appearing in some Macdonald Pieri Rules.
△ Less
Submitted 22 September, 1998;
originally announced September 1998.
