arXiv++ Combinatorics

Denote by $V$ the poset consisting of the elements $\{A,B,C\}$ with cover relations $\{A\lessdot B, A\lessdot C\}$. We show that $P$-strict promotion, as defined by Bernstein, Striker, and Vorland, on $P$-strict labelings of $V\times [\ell]$ with labels in the set $[q]$ has order $2q$ for every $\ell\ge 1$ and $q\ge 3$ as conjectured by Bernstein, Striker, and Vorland. This resolves the equivalent conjecture of Hopkins that the order of piecewise-linear rowmotion on the order polytope of $V\times [k]$ has order $2(k+2)$ for all $k\ge 1$.

In our companion paper, we develop a new $SL_4$-web basis. Basis elements are given by certain planar graphs and are constructed so that important algebraic operations can be performed diagrammatically. A guiding principle behind our construction is that the long cycle $(12\ldots n) \in \mathfrak{S}_n$ should act by rotation of webs. Moreover, the bijection between webs and tableaux should intertwine rotation with the promotion action on tableaux. In this paper, we develop necessary notions of promotion permutations and promotion matrices, which are new even for standard tableaux. To support inductive arguments in the companion paper, we must however work in the more general setting of fluctuating tableaux, which we introduce and which subsumes many classes of tableaux that have been previously studied, including (generalized) oscillating, vacillating, rational, alternating, and (semi)standard tableaux. Therefore, we also give here a full development of the basic combinatorics and representation theory of fluctuating tableaux.

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$.

We construct an injection from the set of $r$-fans of Dyck paths (resp. vacillating tableaux) of length $n$ into the set of chord diagrams on $[n]$ that intertwines promotion and rotation. This is done in two different ways, namely as fillings of promotion-evacuation diagrams and in terms of Fomin growth diagrams. Our analysis uses the fact that $r$-fans of Dyck paths and vacillating tableaux can be viewed as highest weight elements of weight zero in crystals of type $B_r$ and $C_r$, respectively, which in turn can be analyzed using virtual crystals. On the level of Fomin growth diagrams, the virtualization process corresponds to the Roby-Krattenthaler blow up construction. One of the motivations for finding rotation invariant diagrammatic bases such as chord diagrams is the cyclic sieving phenomenon. Indeed, we give a cyclic sieving phenomenon on $r$-fans of Dyck paths and vacillating tableaux using the promotion action.

We prove that linear extensions of the Bruhat order of a matroid are shelling orders and that the barycentric subdivision of a matroid is a Coxeter matroid, viewing barycentric subdivisions as subsets of a parabolic quotient of a symmetric group. A similar result holds for order ideals in minuscule quotients of symmetric groups and in their barycentric subdivisions. Moreover, we apply promotion and evacuation for labeled graphs of Malvenuto and Reutenauer to dual graphs of simplicial complexes, providing promotion and evacuation of shelling orders.

We study piecewise-linear and birational lifts of Schützenberger promotion, evacuation, and the RSK correspondence defined in terms of toggles. Using this perspective, we prove that certain chain statistics in rectangles shift predictably under the action of these maps. We then use this to construct piecewise-linear and birational versions of Rubey's bijections between fillings of equivalent moon polyominoes that preserve these chain statistics, and we show that these maps form a commuting diagram. We also discuss how these results imply Ehrhart equivalence and Ehrhart quasi-polynomial period collapse of certain analogues of chain polytopes for moon polyominoes.

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.

Promotion and rowmotion are intriguing actions in dynamical algebraic combinatorics which have inspired much work in recent years. In this paper, we study $P$-strict labelings of a finite, graded poset $P$ of rank $n$ and labels at most $q$, which generalize semistandard Young tableaux with $n$ rows and entries at most $q$, under promotion. These $P$-strict labelings are in equivariant bijection with $Q$-partitions under rowmotion, where $Q$ equals the product of $P$ and a chain of $q-n-1$ elements. We study the case where $P$ equals the product of chains in detail, yielding new homomesy and order results in the realm of tableaux and beyond. Furthermore, we apply the bijection to the cases in which $P$ is a minuscule poset and when $P$ is the three element $V$ poset. Finally, we give resonance results for promotion on $P$-strict labelings and rowmotion on $Q$-partitions.

In 2015, Steinerberger showed that the number of legal chess diagrams without promotion is bounded from above by $2\times 10^{40}$. This number was obtained by restricting both bishops and pawns position and by a precise bound when no chessman has been captured. We improve this estimate and show that the number of legal diagrams is less than $4\times 10^{37}$. To achieve this, we define a graph on the set of diagrams and a notion of class of pawn arrangements, leading to a method for bounding pawn positions with any number of men on the board.

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.

Webs are certain planar diagrams embedded in disks. They index and describe bases of tensor products of representations of $\mathfrak{sl}_2$ and $\mathfrak{sl}_3$. There are explicit bijections between webs and certain rectangular tableaux. Work of Petersen-Pylyavskyy-Rhoades (2009) and Russell (2013) shows that these bijections relate web rotation to tableau promotion. We describe the analogous relation between web reflection and tableau evacuation.

Let $P$ be a graded poset of rank $r$ and let $\mathbf{c}$ be a $c$-element chain. For an order ideal $I$ of $P \times \mathbf{c}$, its rowmotion $ψ(I)$ is the smallest ideal containing the minimal elements of the complementary filter of $I$. The map $ψ$ defines invertible dynamics on the set of ideals. We say that $P$ has NRP ("not relatively prime") rowmotion if no $ψ$-orbit has cardinality relatively prime to $r+c+1$. In work with R. Patrias (2020), we proved a 1995 conjecture of P. Cameron and D. Fon-Der-Flaass by establishing NRP rowmotion for the product $P = \mathbf{a} \times \mathbf{b}$ of two chains, the poset whose order ideals correspond to the Schubert varieties of a Grassmann variety $\mathrm{Gr}_a(\mathbb{C}^{a+b})$ under containment. Here, we initiate the general study of posets with NRP rowmotion. Our first main result establishes NRP rowmotion for all minuscule posets $P$, posets whose order ideals reflect the Schubert stratification of minuscule flag varieties. Our second main result is that NRP promotion depends only on the isomorphism class of the comparability graph of $P$.

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.

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.

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.

We provide a general framework for computing upper bounds on mixing times of finite Markov chains when its minimal ideal is left zero. Our analysis is based on combining results by Brown and Diaconis with our previous work on stationary distributions of finite Markov chains. Stationary distributions can be computed from the Karnofsky--Rhodes and McCammond expansion of the right Cayley graph of the finite semigroup underlying the Markov chain. Using loop graphs, which are planar graphs consisting of a straight line with attached loops, there are rational expressions for the stationary distribution in the probabilities. From these we obtain bounds on the mixing time. In addition, we provide a new Markov chain on linear extension of a poset with $n$ vertices, inspired by but different from the promotion Markov chain of Ayyer, Klee and the last author. The mixing time of this Markov chain is $O(n \log n)$.

If one attaches shifted copies of a skew tableau to the right of itself and rectifies, at a certain point the copies no longer experience vertical slides, a phenomenon called tableau stabilization. While tableau stabilization was originally developed to construct the sufficiently large rectangular tableaux fixed by given powers of promotion, the purpose of this paper is to improve the original bound on tableau stabilization to the number of rows of the skew tableau. In order to prove this bound, we encode increasing subsequences as lattice paths and show that various operations on these lattice paths weakly increase the maximum combined length of the increasing subsequences.

We examine a few families of semistandard Young tableaux, for which we observe the cyclic sieving phenomenon under promotion. The first family we consider consists of stretched hook shapes, where we use the cocharge generating polynomial as CSP-polynomial. The second family we consider consists of skew shapes, consisting of rectangles. Again, the charge generating polynomial together with promotion exhibits the cyclic sieving phenomenon. This generalizes earlier result by B. Rhoades and later B. Fontaine and J. Kamnitzer. Finally, we consider certain skew ribbons, where promotion behaves in a predictable manner. This result is stated in form of a bicyclic sieving phenomenon. One of the tools we use is a novel method for computing charge of skew semistandard tableaux, in the case when every number in the tableau occur with the same frequency.