arXiv++ Combinatorics

The Bruhat order on permutation matrices extends to alternating sign matrices via corner-sum matrices, where the order is given by entrywise domination. A classical result of Lascoux and Schützenberger states that alternating sign matrices form the Dedekind-MacNeille completion of the Bruhat order on permutations. Brualdi and Dahl introduced alternating sign hypermatrices as a three-dimensional analogue of alternating sign matrices and used them to generalise Latin squares, which may be viewed as three-dimensional analogues of permutation matrices. In this paper, in analogy with the two-dimensional case, we define and study a Bruhat order $\preceq_B$ on Latin squares and alternating sign hypermatrices. We introduce the corresponding corner-sum hypermatrices $\mathcal C_n$ and prove that entrywise domination on $\mathcal C_n$ encodes this order. We show that $\mathcal C_n$ is a distributive lattice, but that, unlike in dimension two, it is not the Dedekind-MacNeille completion of the poset of Latin squares. We further characterise the covering relations for $\mathcal C_n$ and prove rank formulae generalising the classical case of alternating sign matrices. Finally, we define monotone hypertriangles, prove that they are in bijection with $\mathcal C_n$, and show that they also encode the order by entrywise domination.

We present computational results on principal specializations $\mathfrak{S}_w(1^n)$ of Schubert polynomials, which count reduced pipe dreams and reduced bumpless pipe dreams (RBPD). We find the first counterexample, at $n=17$, to the Merzon-Smirnov conjecture (arXiv:1410.6857) that the maximum of $\mathfrak{S}_w(1^n)$ over $S_n$ is attained at a layered permutation. The simulations suggest that $\lim_{n \to \infty} \log(\max_{w\in S_n}\mathfrak{S}_w(1^n))/n^2$ equals the maximal layered permutations' constant from Morales-Pak-Panova (arXiv:1805.04341). We also explore the random permutation drawn from the distribution proportional to $\mathfrak{S}_w(1^n)$, revealing permuton-like asymptotics similar to those for Grothendieck polynomials by Morales-Panova-Petrov-Yeliussizov (arXiv:2407.21653). We implement and compare three recurrences for $\mathfrak{S}_w(1^n)$: the descent formula (Macdonald), transition formula (Lascoux--Schutzenberger), and cotransition formula (Knutson). For sampling uniformly random RBPDs (whose count is $\sum_{w\in S_n} \mathfrak{S}_w(1^n)$), we show that reducedness breaks the sublattice property of the ASM lattice, preventing monotone CFTP and causing false coalescence. We develop an efficient MCMC sampler with macroscopic "droop" updates for connectivity and fast mixing. Our code computes $\mathfrak{S}_w(1^n)$ up to $n\sim 20$ and samples random RBPDs up to $n\sim 60$ on a personal computer ($n\sim 100$ on a cluster).

Recently, Armon and Swanson introduced signed standard tableaux and a corresponding super major index that refines the classical major index. In this paper, we prove that signed standard tableaux of rectangular shape exhibit a cyclic sieving phenomenon (CSP) under the combined action of Schützenberger promotion and cyclic shift of the signs, with the sieving polynomial given by the super major index generating function. This extends Rhoades's celebrated CSP for standard Young tableaux. Furthermore, by considering Cartesian products of tableaux, we generalize this result to arbitrary non-rectangular shapes.

The length $\mathsf{is}(π)$ of a longest increasing subsequence in a permutation $π$ has been extensively studied. An increasing subsequence is one that has no descents. We study generalizations of this statistic by finding longest subsequences with other descent restrictions. We first consider the statistic which encodes the longest length of a subsequence with a given number of descents. We then generalize this to restrict the descent set of the subsequence. Extending the classical result for $\mathsf{is}(π)$, we show how these statistics can be obtained using the RSK correspondence and the Schützenberger involution. In particular, these statistics only depend on the recording tableau of the permutation.

The generating polynomial of permutations of size $n$, counted by the number of alternating runs, has a root at $-1$ of multiplicity $\lfloor (n-2)/2 \rfloor$ for all $n \ge 2$. This result can be derived by combining the David--Barton formula for Eulerian polynomials with the Foata--Schützenberger $γ$--decomposition. More recently, Bóna gave a group--action proof of this phenomenon. In this paper, we present an alternative approach based on the Hetyei--Reiner action on binary trees, which leads to a new combinatorial interpretation of Bóna's quotient polynomial. Moreover, we extend our analysis to analogous results for permutations of types~$B$ and~$D$. As a by--product of our bijective framework, we also obtain combinatorial proofs of David--Barton--type identities for permutations of types~$A$ and~$B$.

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.

We prove a combinatorial identity relating Catalan numbers to tangent numbers arising from the study of peak algebra that was conjectured by Aliniaeifard and Li. This identity leads to the discovery of the intriguing identity $$ \sum_{k=0}^{n-1}{2n\choose 2k+1}2^{2n-2k}(-1)^{k}E_{2k+1}=2^{2n+1}, $$ where $E_{2k+1}$ denote the tangent numbers. Interestingly, the latter identity can be applied to prove that $(n + 1)E_{2n+1}$ is divisible by $2^{2n}$ and the quotient is an odd number, a fact whose traditional proofs require significant calculations. Moreover, we find a natural $q$-analog of the latter identity with a combinatorial proof. This $q$-identity can be applied to prove Foata's divisibility property of the $q$-tangent numbers, which responds to a problem raised by Schützenberger.

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.

Lascoux and Schützenberger introduced Schubert and Grothendieck polynomials to study the cohomology and K-theory of the complete flag variety. We present explicit combinatorial rules for expressing Grothendieck polynomials in the basis of Schubert polynomials, and vice versa, using the bumpless pipe dreams (BPDs) of Lam, Lee, and Shimozono. A key advantage of BPDs is that they are naturally back stable, which allows us to give a combinatorial formula for expanding back stable Grothendieck polynomials in terms of back stable Schubert polynomials. We also provide pipe dream interpretations for the rules originally given by Lenart (Grothendieck to Schubert) and Lascoux (Schubert to Grothendieck), which were previously formulated in terms of binary triangular arrays. We give new proofs of these results, relying on Knutson's co-transition recurrences. As a consequence, we obtain a formula for expanding Grothendieck polynomials into Schubert polynomials using chains in Bruhat order. The key connection between the pipe dream and BPD change of basis formulas is the canonical bijection of Gao and Huang. We show that co-permutations are preserved by this map.

Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variants: a Gamma and a Delta variant. These variants differ in key aspects but surprisingly produce equal partition functions, which are weighted sums over admissible configurations, and this equality is called the Gamma-Delta duality. The duality was used to prove the analytic continuation of certain multiple Dirichlet series and is highly non-trivial, especially since the number of configurations on each side of the equality can differ. In this paper we construct a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature, including the above metaplectic case and the lattice model for (non-metaplectic) Iwahori Whittaker functions together with its crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving R-matrices mixing lattice model rows of types Gamma and Delta. For the crystal Demazure lattice model we show that the duality refines to a weight-respecting bijection of states given by the Schützenberger involution on the associated Gelfand-Tsetlin patterns or semistandard Young tableaux. We also show how the individual steps exchanging two rows in the proof of the duality for the partition functions refines to Berenstein-Kirillov, or Bender-Knuth involutions.

In this paper we continue the study of the higher-rank graphs associated to finite-dimensional complex semisimple Lie algebras, introduced by the author and R. Yuncken, whose construction relies on Kashiwara's theory of crystals. First we prove that the Bruhat graphs of the corresponding Weyl groups, both weak and strong, can be embedded into the higher-rank graphs as colored graphs. Next, specializing to Lie algebras of type $A$, we connect some aspects of the construction of the higher-rank graphs with some well-known notions in combinatorics, most notably the keys of Lascoux and Schützenberger.

Tableau switching is a well studied bijection on pairs of skew Young tableaux which swaps their relative positions. This is achieved by successively sliding the entries of the inner tableaux through the outer one via jeu de taquin (JDT) slides. Tableau coswitching is a similar but coplactic operation, meaning it commutes with any sequence of JDT slides. Coswitching is defined by first performing JDT rectification on the union of the tableaux, switching the resulting pair, then unrectifying the union. This definition requires us to perform large scale modifications to the skew shapes during the rectification and unrectification steps, which is both computationally taxing and obscures the effect of coswitching on the pair of skew tableaux. In previous work, Gillespie and Levinson define an algorithm which computes coswitching as a sequence of local moves, which do not alter the skew shapes of the tableaux, when one of the tableaux is a single box. In this paper, we extend the results of Gillespie and Levinson (and Gillespie, Levinson, and Purbhoo for type B) to the case the two skew tableaux are of arbitrary size. We also describe multiple bijections on tableaux, each descending to the evacuation shuffling (esh) operation on pairs of dual equivalence classes. We show how special cases of our local algorithm compute the Schützenberger involution on skew tableaux, as well as the wall-crossing and monodromy of certain covering spaces of the moduli space $\overline{M}_{0, r}(\mathbb{R})$.

Much of modern Schubert calculus is centered on Schubert varieties in the complete flag variety and on their classes in its integral cohomology ring. Under the Borel isomorphism, these classes are represented by distinguished polynomials called Schubert polynomials, introduced by Lascoux and Schützenberger. Knutson and Miller showed that Schubert polynomials are multidegrees of matrix Schubert varieties, affine varieties introduced by Fulton, which are closely related to Schubert varieties. Many roads to studying Schubert polynomials pass through unions and intersections of matrix Schubert varieties. The third author showed that the natural indexing objects of arbitrary intersections of matrix Schubert varieties are alternating sign matrices (ASMs). Every ASM variety is expressible as a union of matrix Schubert varieties. Many fundamental algebro-geometric invariants (e.g., codimension, degree, and Castelnuovo--Mumford regularity) are well understood combinatorially for matrix Schubert varieties, substantially via the combinatorics of strong Bruhat order on $S_n$. The extension of strong order to ASM(n), the set of $n \times n$ ASMs, has so far not borne as much algebro-geometric fruit for ASM varieties. Hamaker and Reiner proposed an extension of weak Bruhat order from $S_n$ to ASM(n), which they studied from a combinatorial perspective. In the present paper, we place this work on algebro-geometric footing. We use weak order on ASMs to give a characterization of codimension of ASM varieties. We also show that weak order operators commute with K-theoretic divided difference operators and that they satisfy the same derivative formula that facilitated the first general combinatorial computation of Castelnuovo--Mumford regularity of matrix Schubert varieties. Finally, we build from these results to generalizations that apply to arbitrary unions of matrix Schubert varieties.

We construct the independent particle representation for the Semistandard Young Tableaux (SsYT) of skew shape $λ/μ.$ The partition function of this particle system gives the generating function of the SsYT of skew shape $λ/μ.$ Thus we obtain a bijective proof of the Stanley formula for the SsYT generating function. To do this we define for every SsYT $T$ its plinth, $\mathsf{p}\left( T\right) ,$ which is a SsYT of the same shape $λ/μ.$ The set of plinths is finite. Our bijection associates to every SsYT $T$ a pair $\left( \mathsf{p}\left( T\right) ,Y\left( T-\mathsf{p}\left( T\right) \right) \right) ,$ where $Y\left( T-\mathsf{p}\left( T\right) \right) $ is the reading Young diagram of the SsYT $\left( T-\mathsf{p}\left( T\right) \right) $. \newline In particular, every Standard Young Tableau (SYT) $P$ has its plinth, $\mathsf{p}\left( P\right) $. The two statistics of SYT-s -- the volume $\left\vert \mathsf{p}\left( P\right) \right\vert $ and $\mathsf{maj}\left( P\right) $ -- are related via the Schützenberger involution $Sch:$% \[ \left\vert \mathsf{p}\left( P\right) \right\vert =\mathsf{maj}\left( Sch\left( P\right) \right) . \]

We show that the dihedral group $ Z_2\times D_3$ of order twelve acts faithfully on the set LR, either consisting of Littlewood-Richardson tableaux, or their companion tableaux, or Knutson-Tao hives or Knutson-Tao-Woodward puzzles,via involutions which simultaneously conjugate or shuffle a Littlewood-Richardson triple of partitions. The action of $ Z_2\times D_3$ carries a linear time index two subgroup $H\simeq D_3$ action, where an involution which goes from $H$ into the other coset of H is difficult in the sense that it is not manifest neither exhibited by simple means. Pak and Vallejo have earlier made this observation with respect to the subgroup of index two in the symmetric group $ S_3$ consisting of cyclic permutations which H extends. The other half LR symmetries, not in the range of the H-action, are hidden and consist of commutativity and conjugation symmetries. Their exhibition is reduced to the action of a remaining generator of $ Z_2\times D_3$, which belongs to the other coset of H, and enables to reduce in linear time all known LR commuters and transposers to each other, and to the Luzstig- Schützenberger involution. A hive is specified by superimposing the companion tableau pair of an LR tableau, and its $Z_2\times D_3$-symmetries are exhibited via the corresponding LR companion tableau pair. The action of $ Z_2\times D_3$ on puzzles, naturally in bijection with Purbhoo mosaics, is consistent with the migration map on mosaics which translates to jeu de taquin slides or tableau-switching on LR tableaux. Their H-symmetries are reduced to simple procedures on a puzzle via label swapping together with simple reflections of an equilateral triangle, that is, puzzle dualities, and rotations on an equilateral triangle.

The cactus group acts combinatorially on crystals via partial Schützenberger involutions. This action has been studied extensively in type $A$ and described via Bender-Knuth involutions. We prove an analogous result for the family of crystals $B(n\varpi_1)$ in type $D$. Our main tools are combinatorial toggles acting on reverse plane partitions of height $n$. As a corollary, we show that the length one and two subdiagram elements generate the full cactus action, addressing conjectures of Dranowski, the second author, Kamnitzer, and Morton-Ferguson.

The plactic monoid $\mathbf{P}$ of Lascoux and Schützenberger (1981) plays an important role in proofs of the Littlewood-Richardson rule for computing multiplicities in the linear representation theory of the symmetric group $\mathfrak{S}_n$ and the cohomology of Grassmannians. Commonly, $\mathbf{P}$ is defined as a quotient of a free monoid by relations derived from a careful analysis of Schensted's insertion algorithm and the jeu de taquin algorithm on semistandard Young tableaux. However, Lascoux and Schützenberger also gave an intrinsic characterization of $\mathbf{P}$ via a universal property. Serrano's (2010) shifted plactic monoid $\mathbf{S}$ is an analogue of $\mathbf{P}$ that governs instead the projective representation theory of $\mathfrak{S}_n$ and the cohomology of isotropic Grassmannians. We provide a universal property for $\mathbf{S}$, analogous to the Lascoux-Schützenberger characterization of $\mathbf{P}$.

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.