arXiv++ Combinatorics

Consider a lattice of n sites arranged around a ring, with the $n$ sites occupied by particles of weights $\{1,2,\dots,n\}$; the possible arrangements of particles in sites thus corresponds to the $n!$ permutations in $S_n$. The inhomogeneous totally asymmetric simple exclusion process (or TASEP) is a Markov chain on the set of permutations, in which two adjacent particles of weights $i<j$ swap places at rate $x_i - y_{n+1-j}$ if the particle of weight $j$ is to the right of the particle of weight $i$. (Otherwise nothing happens.) In the case that $y_i=0$ for all $i$, the stationary distribution was conjecturally linked to Schubert polynomials by Lam-Williams, and explicit formulas for steady state probabilities were subsequently given in terms of multiline queues by Ayyer-Linusson and Arita-Mallick. In the case of general $y_i$, Cantini showed that $n$ of the $n!$ states have probabilities proportional to products of double Schubert polynomials. In this paper we introduce the class of evil-avoiding permutations, which are the permutations avoiding the patterns $2413, 4132, 4213$ and $3214$. We show that there are $\frac{(2+\sqrt{2})^{n-1}+(2-\sqrt{2})^{n-1}}{2}$ evil-avoiding permutations in $S_n$, and for each evil-avoiding permutation $w$, we give an explicit formula for the steady state probability $ψ_w$ as a product of double Schubert polynomials. We also show that the Schubert polynomials that arise in these formulas are flagged Schur functions, and give a bijection in this case between multiline queues and semistandard Young tableaux.

Iterating the skew RSK correspondence discovered by Sagan and Stanley in the late '80s, we define a deterministic dynamics on the space of pairs of skew Young tableaux $(P,Q)$. We find that this skew RSK dynamics displays conservation laws which, in the picture of Viennot's shadow line construction, identify generalizations of Greene invariants. The introduction of a novel realization of $0$-th Kashiwara operators reveals that the skew RSK dynamics possesses symmetries induced by an affine bicrystal structure, which, combined with connectedness properties of Demazure crystals, leads to its linearization. Studying asymptotic evolution of the dynamics started from a pair of skew tableaux $(P,Q)$, we discover a new bijection $Υ: (P,Q) \mapsto (V,W; κ, ν)$. Here $(V,W)$ is a pair of vertically strict tableaux, i.e., column strict filling of Young diagrams with no condition on rows, with shape prescribed by the Greene invariant, $κ$ is an array of non-negative weights and $ν$ is a partition. An application of this construction is the first bijective proof of Cauchy and Littlewood identities involving $q$-Whittaker polynomials. New identities relating sums of $q$-Whittaker and Schur polynomials are also presented.

Barely set-valued tableaux are a variant of Young tableaux in which one box contains two numbers as its entry. It has recently been discovered that there are product formulas enumerating certain classes of barely set-valued tableaux. We give some $q$-analogs of these product formulas by introducing a version of major index for these tableaux. We also give product formulas and $q$-analogs for barely set-valued plane partitions. Many of the results are stated in the generality of $P$-partitions that then specialize to particularly nice formulas for rectangles and minuscule posets. The proofs use several probability distributions on the set of order ideals of a poset, depending on the real parameter $q>0$, which we think could be of independent interest.

Lusztig's fake degree is the generating polynomial for the major index of standard Young tableaux of a given shape. Results of Springer and James & Kerber imply that, mysteriously, its evaluation at a $k$-th primitive root of unity yields the number of border strip tableaux with all strips of size $k$, up to sign. This is essentially the special case of the Murnaghan-Nakayama rule for evaluating an irreducible character of the symmetric group at a rectangular partition. We refine this result to standard Young tableaux and border strip tableaux with a given number of descents. To do so, we introduce a new statistic for border strip tableaux, extending the classical definition of descents in standard Young tableaux. Curiously, it turns out that our new statistic is very closely related to a descent set for tuples of standard Young tableaux appearing in the quasisymmetric expansion of LLT polynomials given by Haglund, Haiman and Loehr.

We study the Pieri type formulas for the Schur multiple zeta functions along with those for the Schur polynomials. To formulate these formulas, we introduce a new insertion rule for adding boxes in the Young tableaux and obtain the results for the hook type Schur multiple zeta functions. For the proof, we show {certain} extended Jacobi-Trudi formulas for the Schur multiple zeta functions.

This paper presents a combinatorial study of the super plactic monoid of type A, which is related to the representations of the general linear Lie superalgebra. We introduce the analogue of the Schützenberger's jeu de taquin on the structure of super tableaux over a signed alphabet. We show that this procedure which transforms super skew tableaux into super Young tableaux is compatible with the super plactic congruence and it is confluent. We deduce properties relating the super jeu de taquin to insertion algorithms on super tableaux. Moreover, we introduce the super evacuation procedure as an involution on super tableaux and we show its compatibility with the super plactic congruence. Finally, we describe the super jeu de taquin in terms of Fomin's growth diagrams in order to give a combinatorial version of the super Littlewood--Richardson rule.

The Bender-Knuth involutions on Young tableaux are known to coincide with the tableau switching on two adjacent letters, together with a swapping of those letters. Using the shifted tableau switching due to Choi, Nam and Oh (2019), we introduce a shifted version of the Bender-Knuth operators and define a shifted version of the Berenstein-Kirillov group. The actions of the cactus group, due to the author, and of the shifted Berenstein-Kirillov group on the Gillespie-Levinson-Purbhoo straight-shaped shifted tableau crystal (2017, 2020) coincide. Following the works of Halacheva (2016, 2020), and Chmutov, Glick and Pylyavskyy (2016, 2020), on the relation between the actions of the Berenstein-Kirillov group and the cactus group on the crystal of straight-shaped Young tableaux, we show that the shifted Berenstein-Kirillov group is isomorphic to a quotient of the cactus group. Not all the known relations that hold in the classic Berenstein-Kirillov group need to be satisfied by the shifted Bender-Knuth involutions, but the ones implying the relations of the cactus group are verified. Hence we have an alternative presentation for the cactus group via the shifted Bender-Knuth involutions.

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.

The Bender-Knuth involutions on semistandard Young tableaux are known to coincide with the tableau switching on horizontal border strips of two adjacent letters, together with the swapping of those letters. Motivated by this coincidence and using the shifted tableau switching due to Choi, Nam and Oh (2019), we consider a shifted version of the Bender-Knuth involutions and define a shifted version of the Berenstein-Kirillov group (1995). Similarly to the classical case, the shifted version of the Berenstein-Kirillov group also acts on the straight-shaped shifted tableau crystals introduced by Gillespie, Levinson and Purbhoo (2020), via partial Schützenberger involutions, thus coinciding with the action of the cactus group on the same crystal, due to the author. Following the works of Halacheva (2016, 2020), and Chmutov, Glick and Pylyavskyy (2020), on the relation between the actions of the Berenstein-Kirillov group and the cactus group on a crystal of straight-shaped Young tableaux, we also show that the shifted Berenstein-Kirillov group is isomorphic to a quotient of the cactus group. Not all the known relations that hold in the classic Berenstein-Kirillov group need to be satisfied by the shifted Bender-Knuth involutions, but the ones implying the relations of the cactus group are verified. Hence, we have an alternative presentation for the cactus group in terms of the shifted Bender-Knuth involutions. We also use the shifted growth diagrams due to Thomas and Yong (2016) to provide an alternative proof concerning the mentioned cactus group action.

A notion of cyclic descents on standard Young tableaux (SYT) of rectangular shape was introduced by Rhoades, and extended to certain skew shapes by Adin, Elizalde and Roichman. The cyclic descent set restricts to the usual descent set when the largest value is ignored, and has the property that the number of SYT of a given shape with a given cyclic descent set D is invariant under cyclic shifts of the entries of D. Adin, Reiner and Roichman proved that a skew shape has a cyclic descent map if and only if it is not a connected ribbon. Unfortunately, their proof is nonconstructive. Recently Huang constructed an explicit cyclic descent map for all shapes where this is possible. In the earlier version of Adin, Elizalde and Roichman's paper, they asked to find statistics on combinatorial objects which are equidistributed with cyclic descents on SYT of given shapes. In this paper, we explicitly describe cyclic descent sets for Motzkin paths, which are equidistributed with cyclic descent sets of SYT for three-row shapes. Moreover, in light of Stanley's shuffling theorem, we give a bijective proof of the shuffling property of descent statistics for Motzkin paths.

Richardson varieties are obtained as intersections of Schubert and opposite Schubert varieties. We provide a new family of toric degenerations of Richardson varieties inside Grassmannians by studying Gröbner degenerations of their corresponding ideals. These degenerations are parametrised by block diagonal matching fields in the sense of Sturmfels-Zelevinsky. We associate a weight vector to each block diagonal matching field and study its corresponding initial ideal. In particular, we characterise when such ideals are toric, hence providing a family of toric degenerations for Richardson varieties. Given a Richardson variety $X_{w}^v$ and a weight vector ${\bf w}_\ell$ arising from a matching field, we consider two ideals: an ideal $G_{k,n,\ell}|_w^v$ obtained by restricting the initial of the Plücker ideal to a smaller polynomial ring, and a toric ideal defined as the kernel of a monomial map $φ_\ell|_w^v$. We first characterise the monomial-free ideals of form $G_{k,n,\ell}|_w^v$. Then we construct a family of tableaux in bijection with semi-standard Young tableaux which leads to a monomial basis for the corresponding quotient ring. Finally, we prove that when $G_{k,n,\ell}|_w^v$ is monomial-free and the initial ideal in$_{{\bf w}_\ell}(I(X_w^v))$ is quadratically generated, then all three ideals in$_{{\bf w}_\ell}(I(X_w^v))$, $G_{k,n,\ell}|_w^v$ and ker$(φ_\ell|_w^v)$ coincide, and provide a toric degeneration of $X_w^v$.

We present a bijection between the set of standard Young tableaux of staircase minus rectangle shape, and the set of marked shifted standard Young tableaux of a certain shifted shape. Numerically, this result is due to DeWitt (2012). Combined with other known bijections this gives a bijective proof of the product formula for the number of standard Young tableaux of staircase minus rectangle shape. This resolves an open problem by Morales, Pak and Panova (2019), and allows for efficient random sampling. Other applications include a bijection for semistandard Young tableaux, and a bijective proof of Stembridge's symmetry of LR-coefficients of the staircase shape. We also extend these results to set-valued standard Young tableaux in the combinatorics of K-theory, leading to new proofs of results by Lewis and Marberg (2019) and Abney-McPeek, An and Ng (2020).

Consider a lattice of n sites arranged around a ring, with the $n$ sites occupied by particles of weights $\{1,2,\dots,n\}$; the possible arrangements of particles in sites thus corresponds to the $n!$ permutations in $S_n$. The \emph{inhomogeneous totally asymmetric simple exclusion process} (or TASEP) is a Markov chain on the set of permutations, in which two adjacent particles of weights $i<j$ swap places at rate $x_i - y_{n+1-j}$ if the particle of weight $j$ is to the right of the particle of weight $i$. (Otherwise nothing happens.) In the case that $y_i=0$ for all $i$, the stationary distribution was conjecturally linked to Schubert polynomials by Lam-Williams, and explicit formulas for steady state probabilities were subsequently given in terms of multiline queues by Ayyer-Linusson and Arita-Mallick. In the case of general $y_i$, Cantini showed that $n$ of the $n!$ states have probabilities proportional to double Schubert polynomials. In this paper we introduce the class of \emph{evil-avoiding permutations}, which are the permutations avoiding the patterns $2413, 4132, 4213$ and $3214$. We show that there are $\frac{(2+\sqrt{2})^{n-1}+(2-\sqrt{2})^{n-1}}{2}$ evil-avoiding permutations in $S_n$, and for each evil-avoiding permutation $w$, we give an explicit formula for the steady state probability $ψ_w$ as a product of double Schubert polynomials. We also show that the Schubert polynomials that arise in these formulas are flagged Schur functions, and give a bijection in this case between multiline queues and semistandard Young tableaux.

We define a new partial order on $SYT_n$, the set of all standard Young tableaux with $n$ cells, by combining the chain order with the notion of horizontal strips. We prove various desirable properties of this new order.

This paper completely characterizes the standard Young tableaux that can be reconstructed from their sets or multisets of $1$-minors. In particular, any standard Young tableau with at least $5$ entries can be reconstructed from its set of $1$-minors.

We define P-strict labelings for a finite poset P as a generalization of semistandard Young tableaux and show that promotion on these objects is in equivariant bijection with a toggle action on B-bounded Q-partitions of an associated poset Q. In many nice cases, this toggle action is conjugate to rowmotion. We apply this result to flagged tableaux, Gelfand-Tsetlin patterns, and symplectic tableaux, obtaining new cyclic sieving and homomesy conjectures. We also show P-strict promotion can be equivalently defined using Bender-Knuth and jeu de taquin perspectives.

Three-dimensional Catalan numbers are a variant of the classical (bidimensional) Catalan numbers, that count, among other interesting objects, the standard Young tableaux of shape (n,n,n). In this paper, we present a structural bijection between two three-dimensional Catalan objects: 1234-avoiding up-down permutations, and a class of weighted Dyck paths.

Combinatorics of Kazhdan-Lusztig cells in affine type $A$ was originally developed by Lusztig, Shi, and Xi. Building on their work, Chmutov, Pylyavskyy, and Yudovina introduced the affine matrix-ball construction (abbreviated AMBC) which gives an analog of Robinson-Schensted correspondence for affine symmetric groups. An alternative approach to Kazhdan-Lusztig theory in affine type $A$ was developed by Blasiak in his work on catabolism. He introduced sign insertion algorithm and conjectured that if one fixes the two-sided cell, the recording tableau of sign insertion process determines uniquely and is determined uniquely by the left cell. In this paper we unite these two approaches by proving Blasiak's conjecture. In the process, we show that certain new operations we introduce called partial rotations connect the elements in the intersection of a left cell and a right cell. Lastly, we investigate the connection between Blasiak's sign insertion and the standardization map acting on the set of semi-standard Young tableaux defined by Lascoux and Schützenberger.

We study the Steinberg variety associated to matrix Schubert varieties, and develop a Robinson-Schensted type correspondence, $τ\leftrightarrow(Λ,\mathsf Q,\mathsf P)$. Here $τ$ is a partial permutation of size $p\times q$, $Λ$ an admissible signed Young diagram of size $p+q$, and $\mathsf P$ (resp. $\mathsf Q$) a standard Young tableau of size $p$ (resp. $q$) whose shape is determined by $Λ$. By embedding the matrix Schubert variety into a Schubert variety, we find a close relationship between the combinatorics of the classical Robinson-Schensted-Knuth correspondence and our bijection. We also show that an involution $(Λ,\mathsf Q,\mathsf P)\mapsto(Λ^\vee,\mathsf P,\mathsf Q)$ corresponds to projective duality on matrix Schubert varieties.

Let $δ=(δ_1,\ldots,δ_n)$ be a string of letters $h$ and $v$. We define a Young tableau to be $δ$-semistandard if the entries are weakly increasing along rows and columns, and the entries $i$ form a horizontal strip if $δ_i=h$ and a vertical strip if $δ_i=v$. We define $δ$-promotion on such tableaux via a modified jeu-de-taquin. The first main result is that $δ$-promotion has period $n$ on rectangular $δ$-semistandard tableaux, generalizing the results of Haiman and Rhoades for standard and semistandard tableaux. The second main result states that the set of rectangular $δ$-semistandard tableaux for fixed $δ$ and content $γ$ exhibits the cyclic sieving phenomenon with the generalized Kostka polynomial. To do so we follow Fontaine-Kamnitzer and associate to $(δ,γ)$ an $SL_m$-invariant space Inv$(V_{λ^1}\otimes\cdots\otimes V_{λ^n})$ where each $V_{λ^i}$ is an alternating or symmetric representation. We show that the Satake basis of the corresponding invariant space is indexed by the set of tableaux corresponding to $(δ,γ)$ and is permuted by rotation of tensor factors. We then diagonalize the rotation action using the fusion product. This cyclic sieving generalizes the result of Rhoades, and of Fontaine-Kamnitzer (in type A), and is closely related to that of Westbury.