-
Growth diagram proofs for the Littlewood identities
Authors:
Florian Schreier-Aigner
Abstract:
The (dual) Cauchy identity has an easy algebraic proof utilising a commutation relation between the up and (dual) down operators. By using Fomin's growth diagrams, a bijective proof of the commutation relation can be "bijectivised" to obtain RSK like correspondences. In this paper we give a concise overview of this machinery and extend it to Littlewood type identities by introducing a new family o…
▽ More
The (dual) Cauchy identity has an easy algebraic proof utilising a commutation relation between the up and (dual) down operators. By using Fomin's growth diagrams, a bijective proof of the commutation relation can be "bijectivised" to obtain RSK like correspondences. In this paper we give a concise overview of this machinery and extend it to Littlewood type identities by introducing a new family of relations between these operators, called projection identities. Thereby we obtain infinite families of bijections for the Littlewood identities generalising the classical ones. We believe that this approach will be useful for finding bijective proofs for Littlewood type identities in other settings such as for Macdonald polynomials and their specialisations, alternating sign matrices or vertex models.
△ Less
Submitted 5 April, 2024;
originally announced April 2024.
-
$qt$RSK${}^*$: A probabilistic dual RSK correspondence for Macdonald polynomials
Authors:
Gabriel Frieden,
Florian Schreier-Aigner
Abstract:
We introduce a probabilistic generalization of the dual Robinson--Schensted--Knuth correspondence, called $qt$RSK${}^*$, depending on two parameters $q$ and $t$. This correspondence extends the $q$RS$t$ correspondence, recently introduced by the authors, and allows the first tableaux-theoretic proof of the dual Cauchy identity for Macdonald polynomials. By specializing $q$ and $t$, one recovers th…
▽ More
We introduce a probabilistic generalization of the dual Robinson--Schensted--Knuth correspondence, called $qt$RSK${}^*$, depending on two parameters $q$ and $t$. This correspondence extends the $q$RS$t$ correspondence, recently introduced by the authors, and allows the first tableaux-theoretic proof of the dual Cauchy identity for Macdonald polynomials. By specializing $q$ and $t$, one recovers the row and column insertion version of the classical dual RSK correspondence as well as of $q$- and $t$-deformations thereof which are connected to $q$-Whittaker and Hall--Littlewood polynomials. When restricting to Jack polynomials and $\{0,1\}$-matrices corresponding to words, we prove that the insertion tableaux obtained by $qt$RSK${}^*$ are invariant under swapping letters in the input word. Our approach is based on Fomin's growth diagrams and the notion of probabilistic bijections.
△ Less
Submitted 24 March, 2024;
originally announced March 2024.
-
Skew symplectic and orthogonal characters through lattice paths
Authors:
Seamus P. Albion,
Ilse Fischer,
Hans Höngesberg,
Florian Schreier-Aigner
Abstract:
The skew Schur functions admit many determinantal expressions. Chief among them are the (dual) Jacobi-Trudi formula and the Lascoux-Pragacz formula, which is a skew analogue of the Giambelli identity. Comparatively, the skew characters of the symplectic and orthogonal groups, also known as the skew symplectic and orthogonal Schur functions, have received less attention in this direction. We establ…
▽ More
The skew Schur functions admit many determinantal expressions. Chief among them are the (dual) Jacobi-Trudi formula and the Lascoux-Pragacz formula, which is a skew analogue of the Giambelli identity. Comparatively, the skew characters of the symplectic and orthogonal groups, also known as the skew symplectic and orthogonal Schur functions, have received less attention in this direction. We establish analogues of the dual Jacobi-Trudi and Lascoux-Pragacz formulae for these characters. Our approach is entirely combinatorial, being based on lattice path descriptions of the tableaux models of Koike and Terada. Ordinary Jacobi-Trudi formulae are then derived in an algebraic manner from their duals.
△ Less
Submitted 15 July, 2024; v1 submitted 19 May, 2023;
originally announced May 2023.
-
(-1)-Enumerations of arrowed Gelfand-Tsetlin patterns
Authors:
Ilse Fischer,
Florian Schreier-Aigner
Abstract:
Arrowed Gelfand-Tsetlin patterns have recently been introduced to study alternating sign matrices. In this paper, we show that a $(-1)$-enumeration of arrowed Gelfand-Tsetlin patterns can be expressed by a simple product formula. The numbers are a one-parameter generalization of the numbers $2^{n(n-1)/2} \prod_{j=0}^{n-1} \frac{(4j+2)!}{(n+2j+1)!}$ that appear in recent work of Di Francesco. A sec…
▽ More
Arrowed Gelfand-Tsetlin patterns have recently been introduced to study alternating sign matrices. In this paper, we show that a $(-1)$-enumeration of arrowed Gelfand-Tsetlin patterns can be expressed by a simple product formula. The numbers are a one-parameter generalization of the numbers $2^{n(n-1)/2} \prod_{j=0}^{n-1} \frac{(4j+2)!}{(n+2j+1)!}$ that appear in recent work of Di Francesco. A second result concerns the (-1)-enumeration of arrowed Gelfand-Tsetlin patterns when excluding double-arrows as decoration in which case we also obtain a simple product formula. We are also able to provide signless interpretations of our results. The proofs of the enumeration formulas are based on a recent Littlewood-type identity, which allows us to reduce the problem to the evaluations of two determinants. The evaluations are accomplished by means of the LU-decompositions of the underlying matrices, and an extension of Sister Celine's algorithm as well as creative telescoping to evaluate certain triple sums. In particular, we use implementations of such algorithms by Koutschan, and by Wegschaider and Riese.
△ Less
Submitted 7 April, 2024; v1 submitted 8 February, 2023;
originally announced February 2023.
-
Fully complementary higher dimensional partitions
Authors:
Florian Schreier-Aigner
Abstract:
We introduce a symmetry class for higher dimensional partitions - fully complementary higher dimensional partitions (FCPs) - and prove a formula for their generating function. By studying symmetry classes of FCPs in dimension 2, we define variations of the classical symmetry classes for plane partitions. As a by-product we obtain conjectures for three new symmetry classes of plane partitions and p…
▽ More
We introduce a symmetry class for higher dimensional partitions - fully complementary higher dimensional partitions (FCPs) - and prove a formula for their generating function. By studying symmetry classes of FCPs in dimension 2, we define variations of the classical symmetry classes for plane partitions. As a by-product we obtain conjectures for three new symmetry classes of plane partitions and prove that another new symmetry class, namely quasi transpose complementary plane partitions are equinumerous to symmetric plane partitions.
△ Less
Submitted 28 January, 2023;
originally announced January 2023.
-
Charmed roots and the Kroweras complement
Authors:
Benjamin Dequêne,
Gabriel Frieden,
Alessandro Iraci,
Florian Schreier-Aigner,
Hugh Thomas,
Nathan Williams
Abstract:
Although both noncrossing partitions and nonnesting partitions are uniformly enumerated for Weyl groups, the exact relationship between these two sets of combinatorial objects remains frustratingly mysterious. In this paper, we give a precise combinatorial answer in the case of the symmetric group: for any standard Coxeter element, we construct an equivariant bijection between noncrossing partitio…
▽ More
Although both noncrossing partitions and nonnesting partitions are uniformly enumerated for Weyl groups, the exact relationship between these two sets of combinatorial objects remains frustratingly mysterious. In this paper, we give a precise combinatorial answer in the case of the symmetric group: for any standard Coxeter element, we construct an equivariant bijection between noncrossing partitions under the Kreweras complement and nonnesting partitions under a Coxeter-theoretically natural cyclic action we call the Kroweras complement. Our equivariant bijection is the unique bijection that is both equivariant and support-preserving, and is built using local rules depending on a new definition of charmed roots. Charmed roots are determined by the choice of Coxeter element -- in the special case of the linear Coxeter element $(1, 2, \dots, n)$, we recover one of the standard bijections between noncrossing and nonnesting partitions.
△ Less
Submitted 30 December, 2022;
originally announced December 2022.
