arXiv++ Combinatorics

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

Webs yield an especially important realization of certain Specht modules, irreducible representations of symmetric groups, as they provide a pictorial basis with a convenient diagrammatic calculus. In recent work, the last three authors associated polynomials to noncrossing partitions without singleton blocks, so that the corresponding polynomials form a web basis of the pennant Specht module $S^{(d,d,1^{n-2d})}$. These polynomials were interpreted as global sections of a line bundle on a 2-step partial flag variety. Here, we both simplify and extend this construction. On the one hand, we show that these polynomials can alternatively be situated in the homogeneous coordinate ring of a Grassmannian, instead of a 2-step partial flag variety, and can be realized as tensor invariants of classical (but highly nonplanar) tensor diagrams. On the other hand, we extend these ideas from the pennant Specht module $S^{(d,d,1^{n-2d})}$ to more general flamingo Specht modules $S^{(d^r,1^{n-rd})}$. In the hook case $r=1$, we obtain a spanning set that can be restricted to a basis in various ways. In the case $r>2$, we obtain a basis of a well-behaved subspace of $S^{(d^r,1^{n-rd})}$, but not of the entire module.

The irreducible representations of symmetric groups can be realized as certain graded pieces of invariant rings, equivalently as global sections of line bundles on partial flag varieties. There are various ways to choose useful bases of such Specht modules $S^λ$. Particularly powerful are web bases, which make important connections with cluster algebras and quantum link invariants. Unfortunately, web bases are only known in very special cases -- essentially, only the cases $λ=(d,d)$ and $λ=(d,d,d)$. Building on work of B. Rhoades (2017), we construct an apparent web basis of invariant polynomials for the $2$-parameter family of Specht modules with $λ$ of the form $(d,d,1^\ell)$. The planar diagrams that appear are noncrossing set partitions, and we thereby obtain geometric interpretations of earlier enumerative results in combinatorial dynamics.

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.

We prove K-theoretic and shifted K-theoretic analogues of the bijection of Stanton and White between domino tableaux and pairs of semistandard tableaux. As a result, we obtain product formulas for pairs of stable Grothendieck polynomials and pairs of K-theoretic Q-Schur functions.

A labeling of the vertices of a graph by elements of any abelian group $A$ induces a labeling of the edges by summing the labels of their endpoints. Hovey defined the graph $G$ to be $A$-cordial if it has such a labeling where the vertex labels and the edge labels are both evenly-distributed over $A$ in a technical sense. His conjecture that all trees $T$ are $A$-cordial for all cyclic groups $A$ remains wide open, despite significant attention. Curiously, there has been very little study of whether Hovey's conjecture might extend beyond the class of cyclic groups. We initiate this study by analyzing the larger class of finite abelian groups $A$ such that all path graphs are $A$-cordial. We conjecture a complete characterization of such groups, and establish this conjecture for various infinite families of groups as well as for all groups of small order.

One of the oldest outstanding problems in dynamical algebraic combinatorics is the following conjecture of P. Cameron and D. Fon-Der-Flaass (1995). Consider a plane partition $P$ in an $a \times b \times c$ box ${\sf B}$. Let $Ψ(P)$ denote the smallest plane partition containing the minimal elements of ${\sf B} - P$. Then if $p= a+b+c-1$ is prime, Cameron and Fon-Der-Flaass conjectured that the cardinality of the $Ψ$-orbit of $P$ is always a multiple of $p$. This conjecture was established for $p \gg 0$ by Cameron and Fon-Der-Flaass (1995) and for slightly smaller values of $p$ in work of K. Dilks, J. Striker, and the second author (2017). Our main theorem specializes to prove this conjecture in full generality.

The Hillman--Grassl correspondence is a well-known bijection between multisets of rim hooks of a partition shape $λ$ and reverse plane partitions of $λ$. We use the tools of quiver representations to generalize Hillman--Grassl in type $A$ and to define an analogue in all minuscule types. This is an extended abstract prepared for FPSAC 2019 based on arXiv:1812.08345, emphasizing its combinatorial aspects.

We use Khovanov and Kuperberg's web growth rules to identify the minimal term in the invariant associated to an $\text{SL}_3$ web diagram, with respect to a particular term order.

A nilpotent endomorphism of a quiver representation induces a linear transformation on the vector space at each vertex. Generically among all nilpotent endomorphisms, there is a well-defined Jordan form for these linear transformations, which is an interesting new invariant of a quiver representation. If $Q$ is a Dynkin quiver and $m$ is a minuscule vertex, we show that representations consisting of direct sums of indecomposable representations all including $m$ in their support, the category of which we denote by $\mathcal{C}_{Q,m}$, are determined up to isomorphism by this invariant. We use this invariant to define a bijection from isomorphism classes of representations in $\mathcal{C}_{Q,m}$ to reverse plane partitions whose shape is the minuscule poset corresponding to $Q$ and $m$. By relating the piecewise-linear promotion action on reverse plane partitions to Auslander-Reiten translation in the derived category, we give a uniform proof that the order of promotion equals the Coxeter number. In type $A_n$, we show that special cases of our bijection include the Robinson-Schensted-Knuth and Hillman-Grassl correspondences.

Given an element in a finite-dimensional real vector space, $V$, that is a nonnegative linear combination of basis vectors for some basis $B$, we compute the probability that it is furthermore a nonnegative linear combination of basis vectors for a second basis, $A$. We then apply this general result to combinatorially compute the probability that a symmetric function is Schur-positive (recovering the recent result of Bergeron--Patrias--Reiner), $e$-positive or $h$-positive. Similarly we compute the probability that a quasisymmetric function is quasisymmetric Schur-positive or fundamental-positive. In every case we conclude that the probability tends to zero as the degree of a function tends to infinity.

This is a short note about Schur positivity. We introduce Schur polynomials and explain how they appear in the representation theory of the general linear group. We end with a new result of the author with F. Bergeron and V. Reiner that gives the probability that a homogeneous symmetric polynomial with positive coefficients is Schur positive.

We introduce the notion of a generalized oscillating tableau and define a promotion operation on such tableaux that generalizes the classical promotion operation on standard Young tableaux. As our main application, we show that this promotion corresponds to rotation of the irreducible $A_2$-webs of G. Kuperberg.

R. Sulzgruber's rim hook insertion and the Hillman-Grassl correspondence are two distinct bijections between the reverse plane partitions of a fixed partition shape and multisets of rim-hooks of the same partition shape. It is known that Hillman-Grassl may be equivalently defined using the Robinson-Schensted-Knuth correspondence, and we show the analogous result for Sulzgruber's insertion. We refer to our description of Sulzgruber's insertion as diagonal RSK. As a consequence of this equivalence, we show that Sulzgruber's map from multisets of rim hooks to reverse plane partitions can be expressed in terms of Greene-Kleitman invariants.

We obtain an upper and lower bound for the number of reduced words for a permutation in terms of the number of braid classes and the number of commutation classes of the permutation. We classify the permutations that achieve each of these bounds, and enumerate both cases.

In this paper, we work toward answering the following question: given a uniformly random algebra homomorphism from the ring of symmetric functions over the integers to a finite field $\mathbb{F}_q$, what is the probability that the Schur function $s_λ$ maps to zero? We show that this probability is always at least $1/q$ and is asymptotically $1/q$. Moreover, we give a complete classification of all shapes that can achieve probability $1/q$. In addition, we identify certain families of shapes where the corresponding Schur functions being sent to zero are independent events, and we look into the probability that a Schur functions is mapped to nonzero values in $\mathbb{F}_q$.

The question of when two skew Young diagrams produce the same skew Schur function has been well-studied. We investigate the same question in the case of stable Grothendieck polynomials, which are the K-theoretic analogues of the Schur functions. We prove a necessary condition for two skew shapes to give rise to the same dual stable Grothendieck polynomial. We also provide a necessary and sufficient condition in the case where the two skew shapes are ribbons.

We say two posets are "doppelgängers" if they have the same number of $P$-partitions of each height $k$. We give a uniform framework for bijective proofs that posets are doppelgängers by synthesizing $K$-theoretic Schubert calculus techniques of H. Thomas and A. Yong with M. Haiman's rectification bijection and an observation of R. Proctor. Geometrically, these bijections reflect the rational equivalence of certain subvarieties of minuscule flag manifolds. As a special case, we provide the first bijective proof of a 1983 theorem of R. Proctor---that plane partitions of height $k$ in a rectangle are equinumerous with plane partitions of height $k$ in a trapezoid.

Patrias and Pylyavskyy introduced shifted Hecke insertion as an application of their theory of dual filtered graphs. We use shifted Hecke insertion to construct symmetric function representatives for the K-theory of the orthogonal Grassmannian. These representatives are closely related to the shifted Grothendieck polynomials of Ikeda and Naruse. We then recover the K-theory structure coefficients of Clifford-Thomas-Yong/Buch-Samuel by introducing a shifted K-theoretic Poirier-Reutenauer algebra. Our proofs depend on the theory of shifted K-theoretic jeu de taquin and the weak K-Knuth relations.

Motivated by work of Buch on set-valued tableaux in relation to the K-theory of the Grassmannian, Lam and Pylyavskyy studied six combinatorial Hopf algebras that can be thought of as K-theoretic analogues of the Hopf algebras of symmetric functions, quasisymmetric functions, noncommutative symmetric functions, and of the Malvenuto-Reutenauer Hopf algebra of permutations. They described the bialgebra structure in all cases that were not yet known but left open the question of finding explicit formulas for the antipode maps. We give combinatorial formulas for the antipode map for the K-theoretic analogues of the symmetric functions, quasisymmetric functions, and noncommutative symmetric functions.