arXiv++ Combinatorics

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.

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.

The geometric crystal operators and geometric $R$-matrices (or geometric Weyl group actions) give commuting actions on the field of rational functions in $mn$ variables. We study the invariants of various combinations of these actions, which we view as "crystal analogues" of the invariants of $S_m$, ${\rm SL}_m$, $S_n \times S_m$, ${\rm SL}_n \times \, S_m$, and ${\rm SL}_n \times {\rm SL}_m$ acting on the polynomial ring in an $m \times n$ matrix of variables. The polynomial invariants of the $S_m$-action generated by the ${\rm GL}_m$-geometric $R$-matrices were described by Lam and the third-named author as the ring of loop symmetric functions. In a previous paper of the authors, the polynomial invariants of the ${\rm GL}_m$-geometric crystal operators were described as a subring of the ring of loop symmetric functions. In this paper, we give conjectural generating sets for the fields of rational invariants in the remaining cases, and we give formulas expressing a large class of loop symmetric functions in terms of these conjectural generators. Our results include new positive formulas for the central charge and energy function of a product of single-row geometric crystals, and a new derivation of Kirillov and Berenstein's piecewise-linear formula for cocharge. The formulas manifest the symmetries possessed by these functions.

Berenstein and Kazhdan's theory of geometric crystals gives rise to two commuting families of geometric crystal operators acting on the space of complex $m \times n$ matrices. These are birational actions, which we view as a crystal-theoretic analogue of the usual action of ${\rm SL}_m \times {\rm SL}_n$ on $m \times n$ matrices. We prove that the field of rational invariants (and ring of polynomial invariants) of each family of geometric crystal operators is generated by a set of algebraically independent polynomials, which are generalizations of the elementary symmetric polynomials in $m$ (or $n$) variables. We also give a set of algebraically independent generators for the intersection of these fields, and we explain how these fields are situated inside the larger fields of geometric $R$-matrix invariants, which were studied by Lam and the third-named author under the name loop symmetric functions. The key tool in our proof is the geometric RSK correspondence of Noumi and Yamada, which we show to be an isomorphism of geometric crystals. In an appendix jointly written with Thomas Lam, we prove the fundamental theorem of loop symmetric functions, which says that the polynomial invariants of the geometric $R$-matrix are generated by the loop elementary symmetric functions.

We present a probabilistic generalization of the Robinson--Schensted correspondence in which a permutation maps to several different pairs of standard Young tableaux with nonzero probability. The probabilities depend on two parameters $q$ and $t$, and the correspondence gives a new proof of the squarefree part of the Cauchy identity for Macdonald polynomials. By specializing $q$ and $t$ in various ways, one recovers both the row and column insertion versions of the Robinson--Schensted correspondence, as well as several $q$- and $t$-deformations of row and column insertion which have been introduced in recent years in connection with integrable probability.

We present a probabilistic generalization of the Robinson--Schensted correspondence in which a permutation maps to several different pairs of standard Young tableaux with nonzero probability. The probabilities depend on two parameters $q$ and $t$, and the correspondence gives a new proof of the squarefree part of the Cauchy identity for Macdonald polynomials (i.e., the equality of the coefficients of $x_1 \cdots x_n y_1 \cdots y_n$ on either side, which are related to permutations and standard Young tableaux). By specializing $q$ and $t$ in various ways, one recovers the row and column insertion versions of the Robinson--Schensted correspondence, several $q$- and $t$-deformations of row and column insertion which have been introduced in recent years in connection with $q$-Whittaker and Hall--Littlewood processes, and the Plancherel measure on partitions. Our construction is based on Fomin's growth diagrams and the recently introduced notion of a probabilistic bijection between weighted sets.

In [Frieden, arXiv:1706.02844], we constructed a geometric crystal on the variety $\mathbb{X}_{k} := {\rm Gr}(k,n) \times \mathbb{C}^\times$ which tropicalizes to the affine crystal structure on rectangular tableaux with $n-k$ rows. In this sequel, we define and study the geometric $R$-matrix, a birational map $R : \mathbb{X}_{k_1} \times \mathbb{X}_{k_2} \rightarrow \mathbb{X}_{k_2} \times \mathbb{X}_{k_1}$ which tropicalizes to the combinatorial $R$-matrix on pairs of rectangular tableaux. We show that $R$ is an isomorphism of geometric crystals, and that it satisfies the Yang--Baxter relation. In the case where both tableaux have one row, we recover a birational action of the symmetric group that has appeared in the literature in a number of contexts. We also define a rational function $E : \mathbb{X}_{k_1} \times \mathbb{X}_{k_2} \rightarrow \mathbb{C}$ which tropicalizes to the coenergy function from affine crystal theory. Most of the properties of the geometric $R$-matrix follow from the fact that it gives the unique solution to a certain equation of matrices in the loop group ${\rm GL}_n(\mathbb{C}(λ))$.

We construct a type $A_{n-1}^{(1)}$ geometric crystal on the variety ${\rm Gr}(k,n) \times \mathbb{C}^\times$, and show that it tropicalizes to the disjoint union of the Kirillov-Reshetikhin crystals corresponding to rectangular tableaux with $n-k$ rows. A key ingredient in our construction is the $\mathbb{Z}/n\mathbb{Z}$ symmetry on the Grassmannian coming from cyclically shifting the basis of the underlying vector space. We show that a twisted version of this symmetry tropicalizes to combinatorial promotion. Additionally, we use the loop group ${\rm GL}_n(\mathbb{C}(λ))$ to define a unipotent crystal which induces our geometric crystal. We use this unipotent crystal to study the geometric analogues of two symmetries of rectangular tableaux.

Lam and Pylyavskyy introduced loop symmetric functions as a generalization of symmetric functions. They defined loop Schur functions as generating functions over semistandard tableaux with respect to a `colored weight,' and they proved a Jacobi--Trudi-style determinantal formula for these generating functions. We prove that loop Schur functions can be expressed as a ratio of `loop alternants,' extending the analogy with Schur functions. As an application, we give a new proof of the loop version of the Murnaghan--Nakayama rule.