arXiv++ Combinatorics

In a recent preprint, Mike Cummings showed that the smooth components of suitably parametrized Springer fibers are in bijection with contracted, fully reduced Plücker degree-two $\mathfrak{sl}_r$-webs of standard type and that are forests. He showed these are enumerated by sequence A116731 in the OEIS, which is equinumerous with permutations avoiding the patterns {321,2143,3124}. Cummings posed the problem of strengthening this enumerative result by finding a bijection between these webs and a collection of pattern-avoiding permutations. Here we solve this problem, although notably not with the collection of patterns that Cummings had proposed. Rather, we give a bijection between this class of webs and permutations avoiding the patterns {132,4321,3214}.

We introduce the notion of orbitmesy, which is related to homomesy, a central phenomenon in dynamical algebraic combinatorics. An orbit $O$ is said to be orbitmesic with respect to a statistic if the orbit's average statistic value is equal to the global average. We particularly focus on the action of promotion on increasing labelings of certain fence posets called zig-zag posets, and two statistics, the antipodal sum statistic and the total sum statistic. We classify all of the orbitmesic promotion orbits for the zig-zag poset with four elements. Along the way, we investigate how homomesy of one action can be used to find orbitmesic orbits for another action, for the same fixed statistic. We prove several general results which can be used to find infinite families of orbitmesic orbits for any self-dual poset.

Webs are graphical objects that give a tangible, combinatorial way to compute and classify tensor invariants. Recently, [Gaetz, Pechenik, Pfannerer, Striker, Swanson 2023+] found a rotation-invariant web basis for $\mathrm{SL}_4$, as well as its quantum deformation $U_q(\mathfrak{sl}_4)$, and a bijection between move equivalence classes of $U_q(\mathfrak{sl}_4)$-webs and fluctuating tableaux such that web rotation corresponds to tableau promotion. They also found a bijection between the set of plane partitions in an $a\times b\times c$ box and a benzene move equivalence class of $U_q(\mathfrak{sl}_4)$-webs by determining the corresponding oscillating tableau. In this paper, we similarly find the oscillating tableaux corresponding to plane partitions in certain symmetry classes. We furthermore show that there is a projection from $U_q(\mathfrak{sl}_4)$ invariants to $U_q(\mathfrak{sl}_r)$ for $r=2,3$ for webs arising from certain symmetry classes.

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

We study rowmotion dynamics on interval-closed sets. Our first main result proves a simplification of the global definition of interval-closed set rowmotion from (Elder, Lafrenière, McNicholas, Striker, and Welch 2024). We then completely describe the orbits of interval-closed set rowmotion on products of two chains $[2]\times[n]$ and use this understanding to prove a homomesy conjecture from (ELMSW 2024) involving the signed cardinality statistic.

We find a generating function for interval-closed sets of the product of two chains poset by constructing a bijection to certain bicolored Motzkin paths. We also find a functional equation for the generating function of interval-closed sets of truncated rectangle posets, including the type $A$ root poset, by constructing a bijection to certain quarter-plane walks.

We completely classify the asymptotic behavior of the number of alternating sign matrices classically avoiding a single permutation pattern, in the sense of [Johansson and Linusson 2007]. In particular, we give a uniform proof of an exponential upper bound for the number of alternating sign matrices classically avoiding one of eleven particular patterns, and a super-exponential lower bound for all other single-pattern avoidance classes. We also show that for any fixed integer $k$, there is an exponential upper bound for the number of alternating sign matrices that classically avoid any single permutation pattern and contain precisely $k$ negative ones. Finally, we prove that there must be at most $3$ negative ones in an alternating sign matrix which classically avoids both $2143$ and $3412$, and we exactly enumerate the number of them with precisely $3$ negative ones.

We initiate a systematic study of key-avoidance on alternating sign matrices (ASMs) defined via pattern-avoidance on an associated permutation called the \emph{key} of an ASM. We enumerate alternating sign matrices whose key avoids a given set of permutation patterns in several instances. We show that ASMs whose key avoids $231$ are permutations, thus any known enumeration for a set of permutation patterns including $231$ extends to ASMs. We furthermore enumerate by the Catalan numbers ASMs whose key avoids both $312$ and $321$. We also show ASMs whose key avoids $312$ are in bijection with the gapless monotone triangles of [Ayyer, Cori, Gouyou-Beauchamps 2011]. Thus key-avoidance generalizes the notion of $312$-avoidance studied there. Finally, we enumerate ASMs with a given key avoiding $312$ and $321$ using a connection to Schubert polynomials, thereby deriving an interesting Catalan identity.

Inspired by recent work on refraction billiards in dynamics, we introduce a notion of refraction for combinatorial billiards. This allows us to define a generalization of toric promotion that we call toric promotion with reflections and refractions, which is a dynamical system defined via a graph $G$ whose edges are partitioned into a set of reflection edges and a set of refraction edges. This system is a discretization of a billiards system in which a beam of light can pass through, reflect off of, or refract through each toric hyperplane in a toric arrangement. Vastly generalizing the main theorem known about toric promotion, we give a simple formula for the orbit structure of toric promotion with reflections and refractions when $G$ is a forest. We also completely describe the orbit sizes when $G$ is a cycle with an even number of refraction edges; this result is new even for ordinary toric promotion (i.e., when there are no refraction edges). When $G$ is a cycle of even size with no reflection edges, we obtain an interesting instance of the cyclic sieving phenomenon.

We define and study the $(ν/ λ)$-partial alternating sign matrix polytope, motivated by connections to the Chan-Robbins-Yuen polytope and the $ν$-Tamari lattice. We determine the inequality description and show this polytope is a face of the partial alternating sign matrix polytope of [Heuer, Striker 2022]. We show that the $(ν/ λ)$-partial ASM polytope is an order polytope and a flow polytope.

We perform a systematic study of permutation statistics and bijective maps on permutations using SageMath to search the FindStat combinatorial statistics database to identify apparent instances of the cyclic sieving phenomenon (CSP). Cyclic sieving occurs on a set of objects, a statistic, and a map of order $n$ when the evaluation of the statistic generating function at the $d$th power of the primitive $n$th root of unity equals the number of fixed points under the $d$th power of the map. Of the apparent instances found in our experiment, we prove 34 new instances of the CSP and conjecture three more. Our results are organized largely by orbit structure, proving instances of the CSP for involutions with $2^{n-1}$ fixed points and $2^{\lfloor\frac{n}{2}\rfloor}$ fixed points, as well as maps whose orbits all have the same size. The FindStat maps which exhibit the CSP include a map constructed by Corteel (using a bijection of Foata and Zeilberger) to swap the number of nestings and crossings, the invert Laguerre heap map, a map of Alexandersson and Kebede designed to preserve right-to-left minima, conjugation by the long cycle, as well as reverse, complement, rotation, Lehmer code rotation, and toric promotion. Our results combined with those of [Elder, Lafrenière, McNicholas, Striker, Welch 2023] show that, contrary to common expectations, actions that exhibit homomesy are not necessarily the best candidates for the CSP, and vice versa.

Webs give a diagrammatic calculus for spaces of $U_q(\mathfrak{sl}_r)$-tensor invariants, but intrinsic characterizations of web bases are only known in certain cases. Recently, we introduced hourglass plabic graphs to give the first such $U_q(\mathfrak{sl}_4)$-web bases. Separately, Fraser introduced a web basis for Plücker degree two representations of arbitrary $U_q(\mathfrak{sl}_r)$. Here, we show that Fraser's basis agrees with that predicted by the hourglass plabic graph framework and give an intrinsic characterization of the resulting webs. A further compelling feature with many applications is that our bases exhibit rotation-invariance. Together with the results of our earlier paper, this implies that hourglass plabic graphs give a uniform description of all known rotation-invariant $U_q(\mathfrak{sl}_r)$-web bases. Moreover, this provides a single combinatorial model simultaneously generalizing the Tamari lattice, the alternating sign matrix lattice, and the lattice of plane partitions. As a part of our argument, we develop properties of square faces in arbitrary hourglass plabic graphs, a key step in our program towards general $U_q(\mathfrak{sl}_r)$-web bases.

Plane partitions in the totally symmetric self-complementary symmetry class (TSSCPP) are known to be equinumerous with n x n alternating sign matrices, but no explicit bijection is known. In this paper, we give a bijection from these plane partitions to {0,1,-1}-matrices we call magog matrices, some of which are alternating sign matrices. We explore enumerative properties of these matrices related to natural statistics such as inversion number and number of negative ones. We then investigate the polytope defined as their convex hull. We show that all the magog matrices are extreme and give a partial inequality description. Finally, we define another TSSCPP polytope as the convex hull of TSSCPP boolean triangles and determine its dimension, inequalities, vertices, and facets.

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.

Interval-closed sets of a poset are a natural superset of order ideals. We initiate the study of interval-closed sets of finite posets from enumerative and dynamical perspectives. In particular, we use the generalized toggle group to define rowmotion on interval-closed sets as a product of these toggles. Our main theorem is an intricate global characterization of rowmotion on interval-closed sets, which we show is equivalent to the toggling definition. We also study specific posets; we enumerate interval-closed sets of ordinal sums of antichains, completely describe their rowmotion orbits, and prove a homomesy result involving the signed cardinality statistic. Finally, we study interval-closed sets of product of chains posets, proving further results about enumeration and homomesy.

Webs give a diagrammatic calculus for spaces of tensor invariants. We introduce hourglass plabic graphs as a new avatar of webs, and use these to give the first rotation-invariant $U_q(\mathfrak{sl}_4)$-web basis, a long-sought object. The characterization of our basis webs relies on the combinatorics of these new plabic graphs and associated configurations of a symmetrized six-vertex model. We give growth rules, based on a novel crystal-theoretic technique, for generating our basis webs from tableaux and we use skein relations to give an algorithm for expressing arbitrary webs in the basis. We also discuss how previously known rotation-invariant web bases can be unified in our framework of hourglass plabic graphs.

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.

We characterize totally symmetric self-complementary plane partitions (TSSCPP) as bounded compatible sequences satisfying a Yamanouchi-like condition. As such, they are in bijection with certain pipe dreams. Using this characterization and the recent bijection of [Gao-Huang] between reduced pipe dreams and reduced bumpless pipe dreams, we give a bijection between alternating sign matrices and TSSCPP in the reduced, 1432-avoiding case. We also give a different bijection in the 1432- and 2143-avoiding case that preserves natural poset structures on the associated pipe dreams and bumpless pipe dreams.

In this paper, we perform a systematic study of permutation statistics and bijective maps on permutations in which we identify and prove 122 instances of the homomesy phenomenon. Homomesy occurs when the average value of a statistic is the same on each orbit of a given map. The maps we investigate include the Lehmer code rotation, the reverse, the complement, the Foata bijection, and the Kreweras complement. The statistics studied relate to familiar notions such as inversions, descents, and permutation patterns, and also more obscure constructs. Beside the many new homomesy results, we discuss our research method, in which we used SageMath to search the FindStat combinatorial statistics database to identify potential homomesies.

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.