arXiv++ Combinatorics

We have previously, for a given positive integer $n$, explicitly characterized by certain linear inequalities the $\mathfrak{k}$-highest weight tableaux of shape length $2n$ or $2n-1$ produced by $1$-$0$-slack recording tableaux in the quantum Littlewood-Richardson (LR) rule. We now extend that characterization for lower shape lengths. Then using the composition of promotion operators defining the Naito-Suzuki-Watanabe bijection between $\mathfrak{k}$-highest weight tableaux and $\widehat{\mathfrak{g}}$-dominant tableaux, we also explicitly characterize by certain linear inequalities the corresponding $\widehat{\mathfrak{g}}$-dominant tableaux when the shape length is $2n$ or $2n-1$. In addition, when the given $n$ is $3$ or $ 4$ the $\mathfrak{k}$-highest weight and the $\widehat{\mathfrak{g}}$-dominant tableaux via $1$-$0$-slack recording tableaux are characterized by linear inequalities for lower shape lengths. Since recording tableaux in the quantum Littlewood-Richardson rule are in natural bijection with Littlewood-Richardson-Sundaram (LRS) tableaux, we relate our results on the inverse quantum LR rule with other two bijections for the Naito-Sagaki conjecture and establish bijections between $\mathfrak{k}$-highest weight tableaux, $\widehat{\mathfrak{g}}$-dominant tableaux and the lattice points in a (disjoint) union of flagged hive polytopes.

In 2023, Defant introduced toric promotion as a cyclic analogue of Schützenberger's well known promotion operator. Toric promotion is defined by a choice of simple graph $G$ and acts on the labeling of $G$ by a series of involutions. Defant described the orbit length of toric promotion on trees and showed that it does not depend on the initial labeling; we prove an analogous result for complete graphs. A natural question is how toric promotion behaves under certain graph operations. In the main results of this article, we analyze the orbits of toric promotion under the bridge sum graph operation, which joins two graphs by adding an edge between a vertex of each graph. We show that the orbit length of toric promotion on any graph constructed via a bridge sum of a tree or a complete graph with a simple graph does not depend on the restriction of the initial labeling to the tree or complete subgraph. Additionally, we describe the orbit lengths of toric promotion on the bridge sums of two complete graphs and the bridge sums of a tree with a complete graph, and show that they do not depend on the initial labeling. Finally, we describe the orbit length of toric promotion on the corona product of a complete graph with any tree, and show that it does not depend on the initial labeling.

Work of Gaetz, Pechenik, Pfannerer, Striker, and Swanson (2024) introduced promotion permutations for a rectangular standard Young tableau $T$. These promotion permutations encode important features of $T$ and its orbit under Schützenberger's promotion operator. Indeed, the promotion permutations uniquely determine the tableau $T$. We introduce more general promotion digraphs for both standard and increasing tableaux of arbitrary shape. For rectangular standard tableaux, this construction recovers the functional digraphs of the promotion permutations. Among other facts, we show that promotion digraphs uniquely determine $T$ when $T$ is standard of arbitrary shape or increasing of rectangular shape, but not when $T$ is increasing and general shape. We completely characterize the promotion digraphs for two-row rectangular increasing tableaux. We use promotion digraphs for three-row rectangular increasing tableaux to conjecture a connection between their dynamics and the flamingo webs recently introduced by Kim to give a diagrammatic basis of the Specht module $S^{(k^3,1^{n-3k})}$.

Schutzenberger's promotion operator, pro, is a fundamental map in dynamical algebraic combinatorics. At first, its action was mainly considered on standard Young tableaux. But pro was subsequently shown to have interesting properties when applied to natural labelings of other posets. Pechenik defined a K-theoretic version of promotion, pro_K, on m-packed labelings of tableaux. The operator pro was then extended to increasing labelings of other posets. The purpose of the current work is to show that the original action of pro_K on m-packed labelings yields interesting results when applied to partially ordered sets in general, and to rooted trees in particular. We show that under certain conditions, the sizes of the orbits and order of pro_K exhibit nice divisibility properties. We also completely determine, for certain values of m, the orbit sizes for the action on various types of rooted trees such as extended stars, combs, zippers, and a type of three-leaved tree.

In this work we study Schützenberger's promotion operator on standard Young tableaux via a corresponding graphical construction known as $m-$diagrams. In particular, we prove that certain internal structures of SYT are preserved under promotion and correspond to distinct components of $m-$diagrams. By treating these structures as atomic parts of the $m-$diagram, we provide a simple algorithm for computing the promotion orbit length of rectangular SYT. We conclude the paper by applying our results to (column) semi-standard Young tableaux and prove a formula for the promotion orbit lengths of rectangular (column) SSYT.

The Naito--Sagaki conjecture asserts that the branching rule for the restriction of finite-dimensional, irreducible polynomial representations of $GL_{2n}(\mathbb{C})$ to $Sp_{2n}(\mathbb{C})$ amounts to the enumeration of certain ``rational paths'' satisfying specific conditions. This conjecture can be thought of as a non-Levi type analog of the Levi type branching rule, stated in terms of the path model due to Littelmann, and was proved combinatorially in 2018 by Schumann--Torres. In this paper, we give a new proof of the Naito--Sagaki conjecture independently of Schumann--Torres, using the branching rule based on the crystal basis theory for $\imath$quantum groups of type $\mathrm{AII}_{2n-1}$. Here, note that $\imath$quantum groups are certain coideal subalgebras of a quantized universal enveloping algebra obtained by $q$-deforming symmetric pairs, and also regarded as a generalization of quantized universal enveloping algebras; these were defined by Letzter in 1999, and since then their representation theory has become an active area of research. The main ingredients of our approach are certain combinatorial operations, such as promotion operators and Kashiwara operators, which are well-suited to the representation theory of complex semisimple Lie algebras.

We study Defant and Kravitz's generalization of Schützenberger's promotion operator to arbitrary labelings of finite posets in two directions. Defant and Kravitz showed that applying the promotion operator $n-1$ times to a labeling of a poset on $n$ elements always gives a natural labeling of the poset and called a labeling tangled if it requires the full $n-1$ promotions to reach a natural labeling. They also conjectured that there are at most $(n-1)!$ tangled labelings for any poset on $n$ elements. In the first direction, we propose a further strengthening of their conjecture by partitioning tangled labelings according to the element labeled $n-1$ and prove that this stronger conjecture holds for inflated rooted forest posets and a new class of posets called shoelace posets. In the second direction, we introduce sorting generating functions and cumulative generating functions for the number of labelings that require $k$ applications of the promotion operator to give a natural labeling. We prove that the coefficients of the cumulative generating function of the ordinal sum of antichains are log-concave and obtain a refinement of the weak order on the symmetric group.

The first author recently introduced toric promotion, an operator that acts on the labelings of a graph $G$ and serves as a cyclic analogue of Schützenberger's promotion operator. Toric promotion is defined as the composition of certain toggle operators, listed in a natural cyclic order. We consider more general permutoric promotion operators, which are defined as compositions of the same toggles, but in permuted orders. We settle a conjecture of the first author by determining the orders of all permutoric promotion operators when $G$ is a path graph. In fact, we completely characterize the orbit structures of these operators, showing that they satisfy the cyclic sieving phenomenon. The first half of our proof requires us to introduce and analyze new broken promotion operators, which can be interpreted via globs of liquid gliding on a path graph. For the latter half of our proof, we reformulate the dynamics of permutoric promotion via stones sliding along a cycle graph and coins colliding with each other on a path graph.

We give a new cyclic sieving phenomenon for semistandard Young tableaux $SSYT(λ,μ)$ of shape $λ=(m,n^b)$ and content $μ$, a $(b+2)$-tuple. We prove that $(SSYT(λ,μ),\langle \partial^{b+2} \rangle, f(q))$ exhibits the cyclic sieving phenomenon, where $\partial$ is the jeu de taquin promotion operator and $f(q)$ is a modified Kostka-Foulkes polynomial $\widetilde{K}_{λ,μ}(q)$, up to a power of $q$.

In 2022, Defant and Kravitz introduced extended promotion (denoted $\partial$), a map that acts on the set of labelings of a poset. Extended promotion is a generalization of Schützenberger's promotion operator, a well-studied map that permutes the set of linear extensions of a poset. It is known that if $L$ is a labeling of an $n$-element poset $P$, then $\partial^{n-1}(L)$ is a linear extension. This allows us to regard $\partial$ as a sorting operator on the set of all labelings of $P$, where we think of the linear extensions of $P$ as the labelings which have been sorted. The labelings requiring $n-1$ applications of $\partial$ to be sorted are called tangled; the labelings requiring $n-2$ applications are called quasi-tangled. In addition to computing the sizes of the fibers of promotion for rooted tree posets, we count the quasi-tangled labelings of a relatively large class of posets called inflated rooted trees with deflated leaves. Given an $n$-element poset with a unique minimal element with the property that the minimal element has exactly one parent, it follows from the aforementioned enumeration that this poset has $2(n-1)!-(n-2)!$ quasi-tangled labelings. Using similar methods, we outline an algorithmic approach to enumerating the labelings requiring $n-k-1$ applications to be sorted for any fixed $k\in\{1,\ldots,n-2\}$. We also make partial progress towards proving a conjecture of Defant and Kravitz on the maximum possible number of tangled labelings of an $n$-element poset.

We introduce toric promotion as a cyclic analogue of Schützenberger's promotion operator. Toric promotion acts on the set of labelings of a graph $G$. We discuss connections between toric promotion and previously-studied notions such as toric posets and friends-and-strangers graphs. Our main theorem provides a surprisingly simple description of the orbit structure of toric promotion when $G$ is a forest.

The complex irreducible representations of the symmetric group carry an important canonical basis called the Kazhdan-Lusztig basis. Although it is difficult to express how general permutations act on this basis, some distinguished permutations have beautiful descriptions. In 2010 Rhoades showed that the long cycle $(1, 2,..., n)$ acts by the jeu-de-taquin promotion operator in the case when the irreducible representation is indexed by a rectangular partition. We prove a generalisation of this theorem in two directions: on the one hand we lift the restriction on the shape of the partition, and on the other hand we enlarge the result to the collection of all separable permutations.

We reinterpret an inequality, due originally to Sidorenko, for linear extensions of posets in terms of convex subsets of the symmetric group $\mathfrak{S}_n$. We conjecture that the analogous inequalities hold in arbitrary (not-necessarily-finite) Coxeter groups $W$, and prove this for the hyperoctahedral groups $B_n$ and all right-angled Coxeter groups. Our proof for $B_n$ (and new proof for $\mathfrak{S}_n$) use a combinatorial insertion map closely related to the well-studied promotion operator on linear extensions; this map may be of independent interest. We also note that the inequalities in question can be interpreted as a triangle inequalities, so that convex hulls can be used to define a new invariant metric on $W$ whenever our conjecture holds. Geometric properties of this metric are an interesting direction for future research.

Kreweras words are words consisting of n A's, n B's, and n C's in which every prefix has at least as many A's as B's and at least as many A's as C's. Equivalently, a Kreweras word is a linear extension of the poset ${\sf V}\times [n]$. Kreweras words were introduced in 1965 by Kreweras, who gave a remarkable product formula for their enumeration. Subsequently they became a fundamental example in the theory of lattice walks in the quarter plane. We study Schützenberger's promotion operator on the set of Kreweras words. In particular, we show that 3n applications of promotion on a Kreweras word merely swaps the B's and C's. Doing so, we provide the first answer to a question of Stanley from 2009, asking for posets with `good' behavior under promotion, other than the four families of shapes classified by Haiman in 1992. We also uncover a strikingly simple description of Kreweras words in terms of Kuperberg's $\mathfrak{sl}_3$-webs, and Postnikov's trip permutation associated with any plabic graph. In this description, Schützenberger's promotion corresponds to rotation of the web.

Schützenberger's promotion operator is an extensively-studied bijection that permutes the linear extensions of a finite poset. We introduce a natural extension $\partial$ of this operator that acts on all labelings of a poset. We prove several properties of $\partial$; in particular, we show that for every labeling $L$ of an $n$-element poset $P$, the labeling $\partial^{n-1}(L)$ is a linear extension of $P$. Thus, we can view the dynamical system defined by $\partial$ as a sorting procedure that sorts labelings into linear extensions. For all $0\leq k\leq n-1$, we characterize the $n$-element posets $P$ that admit labelings that require at least $n-k-1$ iterations of $\partial$ in order to become linear extensions. The case in which $k=0$ concerns labelings that require the maximum possible number of iterations in order to be sorted; we call these labelings tangled. We explicitly enumerate tangled labelings for a large class of posets that we call inflated rooted forest posets. For an arbitrary finite poset, we show how to enumerate the sortable labelings, which are the labelings $L$ such that $\partial(L)$ is a linear extension.

We obtain an explicit crystal isomorphism between two realizations of crystal bases of finite dimensional irreducible representations of simple Lie algebras of type A and D. The first realization we consider is a geometric construction in terms of irreducible components of certain Nakajima quiver varieties established by Saito and the second is a realization in terms of isomorphism classes of quiver representations obtained by Reineke. We give a homological description of the irreducible components of Lusztig's quiver varieties which correspond to the crystal of a finite dimensional representation and describe the promotion operator in type A to obtain a geometric realization of Kirillov-Reshetikhin crystals.

The Tsetlin library is a very well studied model for the way an arrangement of books on a library shelf evolves over time. One of the most interesting properties of this Markov chain is that its spectrum can be computed exactly and that the eigenvalues are linear in the transition probabilities. In this paper we consider a generalization which can be interpreted as a self-organizing library in which the arrangements of books on each shelf are restricted to be linear extensions of a fixed poset. The moves on the books are given by the extended promotion operators of Ayyer, Klee, and Schilling while the shelves, bookcases, etc. evolve according to the move-to-back moves as in the the self-organizing library of Björner. We show that the eigenvalues of the transition matrix of this Markov chain are $\pm 1$ integer combinations of the transition probabilities if the posets that prescribe the restrictions on the book arrangements are rooted forests or more generally, if they consist of ordinal sums of a rooted forest and so called ladders. For some of the results we show that the monoids generated by the moves are either $\mathcal{R}$-trivial or, more generally, in $\textbf{DO(Ab)}$ and then we use the theory of left random walks on the minimal ideal of such monoids to find the eigenvalues. Moreover, in order to give a combinatorial description of the eigenvalues in the more general case, we relate the eigenvalues when the restrictions on the book arrangements change only by allowing for one additional transposition of two fixed books.

A key fact about M.-P. Schützenberger's (1972) promotion operator on rectangular standard Young tableaux is that iterating promotion once per entry recovers the original tableau. For tableaux with strictly increasing rows and columns, H. Thomas and A. Yong (2009) introduced a theory of $K$-jeu de taquin with applications to $K$-theoretic Schubert calculus. The author (2014) studied a $K$-promotion operator $\mathcal{P}$ derived from this theory, but showed that the key fact does not generally extend to $K$-promotion of such increasing tableaux. Here we show that the key fact holds for labels on the boundary of the rectangle. That is, for $T$ a rectanglar increasing tableau with entries bounded by $q$, we have $\mathsf{Frame}(\mathcal{P}^q(T)) = \mathsf{Frame}(T)$, where $\mathsf{Frame}(U)$ denotes the restriction of $U$ to its first and last row and column. Using this fact, we obtain a family of homomesy results on the average value of certain statistics over $K$-promotion orbits, extending a $2$-row theorem of J. Bloom, D. Saracino, and the author (2016) to arbitrary rectangular shapes.

We prove that the expected number of braid moves in the commutation class of the reduced word $(s_1 s_2 \cdots s_{n-1})(s_1 s_2 \cdots s_{n-2}) \cdots (s_1 s_2)(s_1)$ for the long element in the symmetric group $\mathfrak{S}_n$ is one. This is a variant of a similar result by V. Reiner, who proved that the expected number of braid moves in a random reduced word for the long element is one. The proof is bijective and uses X. Viennot's theory of heaps and variants of the promotion operator. In addition, we provide a refinement of this result on orbits under the action of even and odd promotion operators. This gives an example of a homomesy for a nonabelian (dihedral) group that is not induced by an abelian subgroup. Our techniques extend to more general posets and to other statistics.

We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset. This gives rise to a strongly connected graph on L. In earlier work (arXiv:1205.7074), we studied promotion-based Markov chains on these linear extensions which generalizes results on the Tsetlin library. We used the theory of R-trivial monoids in an essential way to obtain explicitly the eigenvalues of the transition matrix in general when the poset is a rooted forest. We first survey these results and then present explicit bounds on the mixing time and conjecture eigenvalue formulas for more general posets. We also present a generalization of promotion to arbitrary subsets of the symmetric group.