-
Interval-closed set rowmotion and homomesy on products of two chains
Authors:
Nadia Lafrenière,
Joel Brewster Lewis,
Erin McNicholas,
Jessica Striker,
Amanda Welch
Abstract:
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 (ELM…
▽ More
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.
△ Less
Submitted 6 May, 2025;
originally announced May 2025.
-
Enumeration of interval-closed sets via Motzkin paths and quarter-plane walks
Authors:
Sergi Elizalde,
Nadia Lafrenière,
Joel Brewster Lewis,
Erin McNicholas,
Jessica Striker,
Amanda Welch
Abstract:
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 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.
△ Less
Submitted 20 December, 2024;
originally announced December 2024.
-
Enumeration of pattern-avoiding alternating sign matrices: An asymptotic dichotomy
Authors:
Mathilde Bouvel,
Eric S. Egge,
Rebecca N. Smith,
Jessica Striker,
Justin M. Troyka
Abstract:
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 twelve particular patterns, and a super-exponential lower bound for all…
▽ More
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 twelve 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.
△ Less
Submitted 12 November, 2024;
originally announced November 2024.
-
Key-avoidance for alternating sign matrices
Authors:
Mathilde Bouvel,
Rebecca Smith,
Jessica Striker
Abstract:
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…
▽ More
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.
△ Less
Submitted 11 March, 2025; v1 submitted 9 August, 2024;
originally announced August 2024.
-
Toric Promotion with Reflections and Refractions
Authors:
Ashleigh Adams,
Colin Defant,
Jessica Striker
Abstract:
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 sys…
▽ More
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.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
On nu Faces of Partial Alternating Sign Matrix Polytopes
Authors:
Dylan Heuer,
Sara Solhjem,
Jessica Striker
Abstract:
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 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.
△ Less
Submitted 27 March, 2025; v1 submitted 4 March, 2024;
originally announced March 2024.
-
Cyclic sieving on permutations -- an analysis of maps and statistics in the FindStat database
Authors:
Ashleigh Adams,
Jennifer Elder,
Nadia Lafrenière,
Erin McNicholas,
Jessica Striker,
Amanda Welch
Abstract:
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 prim…
▽ More
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.
△ Less
Submitted 16 June, 2025; v1 submitted 25 February, 2024;
originally announced February 2024.
-
Web bases in degree two from hourglass plabic graphs
Authors:
Christian Gaetz,
Oliver Pechenik,
Stephan Pfannerer,
Jessica Striker,
Joshua P. Swanson
Abstract:
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…
▽ More
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.
△ Less
Submitted 3 July, 2025; v1 submitted 21 February, 2024;
originally announced February 2024.
-
Totally symmetric self-complementary plane partition matrices and related polytopes
Authors:
Vincent Holmlund,
Jessica Striker
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 November, 2024; v1 submitted 6 December, 2023;
originally announced December 2023.
-
Web invariants for flamingo Specht modules
Authors:
Chris Fraser,
Rebecca Patrias,
Oliver Pechenik,
Jessica Striker
Abstract:
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…
▽ More
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.
△ Less
Submitted 13 November, 2024; v1 submitted 14 August, 2023;
originally announced August 2023.
-
Toggling, rowmotion, and homomesy on interval-closed sets
Authors:
Jennifer Elder,
Nadia Lafrenière,
Erin McNicholas,
Jessica Striker,
Amanda Welch
Abstract:
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,…
▽ More
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.
△ Less
Submitted 20 September, 2023; v1 submitted 17 July, 2023;
originally announced July 2023.
-
Promotion permutations for tableaux
Authors:
Christian Gaetz,
Oliver Pechenik,
Stephan Pfannerer,
Jessica Striker,
Joshua P. Swanson
Abstract:
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 intertw…
▽ More
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.
△ Less
Submitted 30 April, 2025; v1 submitted 21 June, 2023;
originally announced June 2023.
-
Rotation-invariant web bases from hourglass plabic graphs
Authors:
Christian Gaetz,
Oliver Pechenik,
Stephan Pfannerer,
Jessica Striker,
Joshua P. Swanson
Abstract:
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 gi…
▽ More
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.
△ Less
Submitted 1 May, 2025; v1 submitted 21 June, 2023;
originally announced June 2023.
-
A pipe dream perspective on totally symmetric self-complementary plane partitions
Authors:
Daoji Huang,
Jessica Striker
Abstract:
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 TSSC…
▽ More
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.
△ Less
Submitted 4 February, 2024; v1 submitted 18 March, 2023;
originally announced March 2023.
-
Homomesies on permutations -- an analysis of maps and statistics in the FindStat database
Authors:
Jennifer Elder,
Nadia Lafrenière,
Erin McNicholas,
Jessica Striker,
Amanda Welch
Abstract:
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…
▽ More
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.
△ Less
Submitted 16 June, 2023; v1 submitted 27 June, 2022;
originally announced June 2022.
-
$P$-strict promotion and $Q$-partition rowmotion: the graded case
Authors:
Joseph Bernstein,
Jessica Striker,
Corey Vorland
Abstract:
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 w…
▽ More
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.
△ Less
Submitted 11 July, 2023; v1 submitted 10 May, 2022;
originally announced May 2022.
-
Curious cyclic sieving on increasing tableaux
Authors:
Christian Gaetz,
Oliver Pechenik,
Jessica Striker,
Joshua P. Swanson
Abstract:
We prove a cyclic sieving result for the set of $3 \times k$ packed increasing tableaux with maximum entry $m :=3+k$ under K-promotion. The "curiosity" is that the sieving polynomial arises from the $q$-hook formula for standard tableaux of "toothbrush shape" $(2^3, 1^{k-2})$ with $m+1$ boxes, whereas K-promotion here only has order $m$.
We prove a cyclic sieving result for the set of $3 \times k$ packed increasing tableaux with maximum entry $m :=3+k$ under K-promotion. The "curiosity" is that the sieving polynomial arises from the $q$-hook formula for standard tableaux of "toothbrush shape" $(2^3, 1^{k-2})$ with $m+1$ boxes, whereas K-promotion here only has order $m$.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
A web basis of invariant polynomials from noncrossing partitions
Authors:
Rebecca Patrias,
Oliver Pechenik,
Jessica Striker
Abstract:
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,…
▽ More
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.
△ Less
Submitted 18 July, 2022; v1 submitted 10 December, 2021;
originally announced December 2021.
-
$P$-strict promotion and $B$-bounded rowmotion, with applications to tableaux of many flavors
Authors:
Joseph Bernstein,
Jessica Striker,
Corey Vorland
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 August, 2021; v1 submitted 22 December, 2020;
originally announced December 2020.
-
Partial permutation and alternating sign matrix polytopes
Authors:
Dylan Heuer,
Jessica Striker
Abstract:
We define and study a new family of polytopes which are formed as convex hulls of partial alternating sign matrices. We determine the inequality descriptions, number of facets, and face lattices of these polytopes. We also study partial permutohedra that we show arise naturally as projections of these polytopes. We enumerate facets and also characterize the face lattices of partial permutohedra in…
▽ More
We define and study a new family of polytopes which are formed as convex hulls of partial alternating sign matrices. We determine the inequality descriptions, number of facets, and face lattices of these polytopes. We also study partial permutohedra that we show arise naturally as projections of these polytopes. We enumerate facets and also characterize the face lattices of partial permutohedra in terms of chains in the Boolean lattice. Finally, we have a result and a conjecture on the volume of partial permutohedra when one parameter is fixed to be two.
△ Less
Submitted 8 March, 2022; v1 submitted 17 December, 2020;
originally announced December 2020.
-
Sign matrix polytopes from Young tableaux
Authors:
Sara Solhjem,
Jessica Striker
Abstract:
Motivated by the study of polytopes formed as the convex hull of permutation matrices and alternating sign matrices, we define several new families of polytopes as convex hulls of sign matrices, which are certain {0,1,-1}-matrices in bijection with semistandard Young tableaux. We investigate various properties of these polytopes, including their inequality descriptions, vertices, facets, and face…
▽ More
Motivated by the study of polytopes formed as the convex hull of permutation matrices and alternating sign matrices, we define several new families of polytopes as convex hulls of sign matrices, which are certain {0,1,-1}-matrices in bijection with semistandard Young tableaux. We investigate various properties of these polytopes, including their inequality descriptions, vertices, facets, and face lattices, as well as connections to alternating sign matrix polytopes and transportation polytopes.
△ Less
Submitted 13 May, 2019; v1 submitted 29 May, 2018;
originally announced May 2018.
-
Rowmotion and Increasing Labeling Promotion
Authors:
Kevin Dilks,
Jessica Striker,
Corey Vorland
Abstract:
In 2012, N. Williams and the second author showed that on order ideals of ranked partially ordered sets (posets), rowmotion is conjugate to (and thus has the same orbit structure as) a different toggle group action, which in special cases is equivalent to promotion on linear extensions of posets constructed from two chains. In 2015, O. Pechenik and the first and second authors extended these resul…
▽ More
In 2012, N. Williams and the second author showed that on order ideals of ranked partially ordered sets (posets), rowmotion is conjugate to (and thus has the same orbit structure as) a different toggle group action, which in special cases is equivalent to promotion on linear extensions of posets constructed from two chains. In 2015, O. Pechenik and the first and second authors extended these results to show that increasing tableaux under K-promotion naturally corresponds to order ideals in a product of three chains under a toggle group action conjugate to rowmotion they called hyperplane promotion. In this paper, we generalize these results to the setting of arbitrary increasing labelings of any finite poset with given restrictions on the labels. We define a generalization of K-promotion in this setting and show it corresponds to a toggle group action we call toggle-promotion on order ideals of an associated poset. When the restrictions on labels are particularly nice (for example, specifying a global bound on all labels used), we show that toggle-promotion is conjugate to rowmotion. Additionally, we show that any poset that can be nicely embedded into a Cartesian product has a natural toggle-promotion action conjuate to rowmotion.
△ Less
Submitted 10 January, 2019; v1 submitted 19 October, 2017;
originally announced October 2017.
-
A Catalan Subset of Descending Plane Partitions
Authors:
Colton Keller,
Jessica Striker
Abstract:
Descending plane partitions, alternating sign matrices, and totally symmetric self-complementary plane partitions are equinumerous combinatorial sets for which no explicit bijection is known. In this paper, we isolate a subset of descending plane partitions counted by the Catalan numbers. The proof follows by constructing a generating tree on these descending plane partitions that has the same str…
▽ More
Descending plane partitions, alternating sign matrices, and totally symmetric self-complementary plane partitions are equinumerous combinatorial sets for which no explicit bijection is known. In this paper, we isolate a subset of descending plane partitions counted by the Catalan numbers. The proof follows by constructing a generating tree on these descending plane partitions that has the same structure as the generating tree for 231-avoiding permutations. We hope this result will provide insight on the search for a bijection with alternating sign matrices and/or totally symmetric self-complementary plane partitions, since these also contain Catalan subsets.
△ Less
Submitted 19 April, 2017;
originally announced April 2017.
-
Chained permutations and alternating sign matrices - inspired by three-person chess
Authors:
Dylan Heuer,
Chelsey Morrow,
Ben Noteboom,
Sara Solhjem,
Jessica Striker,
Corey Vorland
Abstract:
We define and enumerate two new two-parameter permutation families, namely, placements of a maximum number of non-attacking rooks on $k$ chained-together $n\times n$ chessboards, in either a circular or linear configuration. The linear case with $k=1$ corresponds to standard permutations of $n$, and the circular case with $n=4$ and $k=6$ corresponds to a three-person chessboard. We give bijections…
▽ More
We define and enumerate two new two-parameter permutation families, namely, placements of a maximum number of non-attacking rooks on $k$ chained-together $n\times n$ chessboards, in either a circular or linear configuration. The linear case with $k=1$ corresponds to standard permutations of $n$, and the circular case with $n=4$ and $k=6$ corresponds to a three-person chessboard. We give bijections of these rook placements to matrix form, one-line notation, and matchings on certain graphs. Finally, we define chained linear and circular alternating sign matrices, enumerate them for certain values of $n$ and $k$, and give bijections to analogues of monotone triangles, square ice configurations, and fully-packed loop configurations.
△ Less
Submitted 7 September, 2017; v1 submitted 10 November, 2016;
originally announced November 2016.
-
Rowmotion and generalized toggle groups
Authors:
Jessica Striker
Abstract:
We generalize the notion of the toggle group, as defined in [P. Cameron-D. Fon-der-Flaass '95] and further explored in [J. Striker-N. Williams '12], from the set of order ideals of a poset to any family of subsets of a finite set. We prove structure theorems for certain finite generalized toggle groups, similar to the theorem of Cameron and Fon-der-Flaass in the case of order ideals. We apply thes…
▽ More
We generalize the notion of the toggle group, as defined in [P. Cameron-D. Fon-der-Flaass '95] and further explored in [J. Striker-N. Williams '12], from the set of order ideals of a poset to any family of subsets of a finite set. We prove structure theorems for certain finite generalized toggle groups, similar to the theorem of Cameron and Fon-der-Flaass in the case of order ideals. We apply these theorems and find other results on generalized toggle groups in the following settings: chains, antichains, and interval-closed sets of a poset; independent sets, vertex covers, acyclic subgraphs, and spanning subgraphs of a graph; matroids and convex geometries. We generalize rowmotion, an action studied on order ideals in [P. Cameron-D. Fon-der-Flaass '95] and [J. Striker-N. Williams '12], to a map we call cover-closure on closed sets of a closure operator. We show that cover-closure is bijective if and only if the set of closed sets is isomorphic to the set of order ideals of a poset, which implies rowmotion is the only bijective cover-closure map.
△ Less
Submitted 18 May, 2018; v1 submitted 14 January, 2016;
originally announced January 2016.
-
Resonance in orbits of plane partitions and increasing tableaux
Authors:
Kevin Dilks,
Oliver Pechenik,
Jessica Striker
Abstract:
We introduce a new concept of resonance on discrete dynamical systems. This concept formalizes the observation that, in various combinatorially-natural cyclic group actions, orbit cardinalities are all multiples of divisors of a fundamental frequency.
Our main result is an equivariant bijection between plane partitions in a box (or order ideals in the product of three chains) under rowmotion and…
▽ More
We introduce a new concept of resonance on discrete dynamical systems. This concept formalizes the observation that, in various combinatorially-natural cyclic group actions, orbit cardinalities are all multiples of divisors of a fundamental frequency.
Our main result is an equivariant bijection between plane partitions in a box (or order ideals in the product of three chains) under rowmotion and increasing tableaux under $K$-promotion. Both of these actions were observed to have orbit sizes that were small multiples of divisors of an expected orbit size, and we show this is an instance of resonance, as $K$-promotion cyclically rotates the set of labels appearing in the increasing tableaux. We extract a number of corollaries from this equivariant bijection, including a strengthening of a theorem of [P. Cameron--D. Fon-der-Flaass '95] and several new results on the order of $K$-promotion. Along the way, we adapt the proof of the conjugacy of promotion and rowmotion from [J. Striker--N. Williams '12] to give a generalization in the setting of $n$-dimensional lattice projections. Finally we discuss known and conjectured examples of resonance relating to alternating sign matrices and fully-packed loop configurations.
△ Less
Submitted 17 March, 2017; v1 submitted 1 December, 2015;
originally announced December 2015.
-
On flow polytopes, order polytopes, and certain faces of the alternating sign matrix polytope
Authors:
Karola Mészáros,
Alejandro H. Morales,
Jessica Striker
Abstract:
In this paper we study an alternating sign matrix analogue of the Chan-Robbins-Yuen polytope, which we call the ASM-CRY polytope. We show that this polytope has Catalan many vertices and its volume is equal to the number of standard Young tableaux of staircase shape; we also determine its Ehrhart polynomial. We achieve the previous by proving that the members of a family of faces of the alternatin…
▽ More
In this paper we study an alternating sign matrix analogue of the Chan-Robbins-Yuen polytope, which we call the ASM-CRY polytope. We show that this polytope has Catalan many vertices and its volume is equal to the number of standard Young tableaux of staircase shape; we also determine its Ehrhart polynomial. We achieve the previous by proving that the members of a family of faces of the alternating sign matrix polytope which includes ASM-CRY are both order and flow polytopes. Inspired by the above results, we relate three established triangulations of order and flow polytopes, namely Stanley's triangulation of order polytopes, the Postnikov-Stanley triangulation of flow polytopes and the Danilov-Karzanov-Koshevoy triangulation of flow polytopes. We show that when a graph $G$ is a planar graph, in which case the flow polytope $F_G$ is also an order polytope, Stanley's triangulation of this order polytope is one of the Danilov-Karzanov-Koshevoy triangulations of $F_G$. Moreover, for a general graph $G$ we show that the set of Danilov-Karzanov-Koshevoy triangulations of $F_G$ is a subset of the set of Postnikov-Stanley triangulations of $F_G$. We also describe explicit bijections between the combinatorial objects labeling the simplices in the above triangulations.
△ Less
Submitted 15 January, 2019; v1 submitted 12 October, 2015;
originally announced October 2015.
-
Permutation totally symmetric self-complementary plane partitions
Authors:
Jessica Striker
Abstract:
Alternating sign matrices and totally symmetric self-complementary plane partitions are equinumerous sets of objects for which no explicit bijection is known. In this paper, we identify a subset of totally symmetric self-complementary plane partitions corresponding to permutations by giving a statistic-preserving bijection to permutation matrices, which are a subset of alternating sign matrices. W…
▽ More
Alternating sign matrices and totally symmetric self-complementary plane partitions are equinumerous sets of objects for which no explicit bijection is known. In this paper, we identify a subset of totally symmetric self-complementary plane partitions corresponding to permutations by giving a statistic-preserving bijection to permutation matrices, which are a subset of alternating sign matrices. We use this bijection to define a new partial order on permutations, and prove this new poset contains both the Tamari lattice and the Catalan distributive lattice as subposets. We also study a new partial order on totally symmetric self-complementary plane partitions arising from this perspective and show that this is a distributive lattice related to Bruhat order when restricted to permutations.
△ Less
Submitted 24 May, 2018; v1 submitted 12 August, 2015;
originally announced August 2015.
-
The toggle group, homomesy, and the Razumov-Stroganov correspondence
Authors:
Jessica Striker
Abstract:
The Razumov-Stroganov correspondence, an important link between statistical physics and combinatorics proved in 2011 by L. Cantini and A. Sportiello, relates the ground state eigenvector of the O(1) dense loop model on a semi-infinite cylinder to a refined enumeration of fully-packed loops, which are in bijection with alternating sign matrices. This paper reformulates a key component of this proof…
▽ More
The Razumov-Stroganov correspondence, an important link between statistical physics and combinatorics proved in 2011 by L. Cantini and A. Sportiello, relates the ground state eigenvector of the O(1) dense loop model on a semi-infinite cylinder to a refined enumeration of fully-packed loops, which are in bijection with alternating sign matrices. This paper reformulates a key component of this proof in terms of posets, the toggle group, and homomesy, and proves two new homomesy results on general posets which we hope will have broader implications.
△ Less
Submitted 12 August, 2015; v1 submitted 30 March, 2015;
originally announced March 2015.
-
A unifying poset perspective on alternating sign matrices, plane partitions, Catalan objects, tournaments, and tableaux
Authors:
Jessica Striker
Abstract:
Alternating sign matrices (ASMs) are square matrices with entries 0, 1, or -1 whose rows and columns sum to 1 and whose nonzero entries alternate in sign. We present a unifying perspective on ASMs and other combinatorial objects by studying a certain tetrahedral poset and its subposets. We prove the order ideals of these subposets are in bijection with a variety of interesting combinatorial object…
▽ More
Alternating sign matrices (ASMs) are square matrices with entries 0, 1, or -1 whose rows and columns sum to 1 and whose nonzero entries alternate in sign. We present a unifying perspective on ASMs and other combinatorial objects by studying a certain tetrahedral poset and its subposets. We prove the order ideals of these subposets are in bijection with a variety of interesting combinatorial objects, including ASMs, totally symmetric self-complementary plane partitions (TSSCPPs), staircase shaped semistandard Young tableaux, Catalan objects, tournaments, and totally symmetric plane partitions. We prove product formulas counting these order ideals and give the rank generating function of some of the corresponding lattices of order ideals. We also prove an expansion of the tournament generating function as a sum over TSSCPPs. This result is analogous to a result of Robbins and Rumsey expanding the tournament generating function as a sum over alternating sign matrices.
△ Less
Submitted 22 August, 2014;
originally announced August 2014.
-
FindStat - the combinatorial statistics database
Authors:
Chris Berg,
Viviane Pons,
Travis Scrimshaw,
Jessica Striker,
Christian Stump
Abstract:
The FindStat project at www.FindStat.org provides an online platform for mathematicians, particularly for combinatorialists, to gather information about combinatorial statistics and their relations. This outline provides an overview over the project.
The FindStat project at www.FindStat.org provides an online platform for mathematicians, particularly for combinatorialists, to gather information about combinatorial statistics and their relations. This outline provides an overview over the project.
△ Less
Submitted 15 January, 2014;
originally announced January 2014.
-
Promotion and Rowmotion
Authors:
Jessica Striker,
Nathan Williams
Abstract:
We present an equivariant bijection between two actions--promotion and rowmotion--on order ideals in certain posets. This bijection simultaneously generalizes a result of R. Stanley concerning promotion on the linear extensions of two disjoint chains and recent work of D. Armstrong, C. Stump, and H. Thomas on root posets and noncrossing partitions. We apply this bijection to several classes of pos…
▽ More
We present an equivariant bijection between two actions--promotion and rowmotion--on order ideals in certain posets. This bijection simultaneously generalizes a result of R. Stanley concerning promotion on the linear extensions of two disjoint chains and recent work of D. Armstrong, C. Stump, and H. Thomas on root posets and noncrossing partitions. We apply this bijection to several classes of posets, obtaining equivariant bijections to various known objects under rotation. We extend the same idea to give an equivariant bijection between alternating sign matrices under rowmotion and under B. Wieland's gyration. Finally, we define two actions with related orders on alternating sign matrices and totally symmetric self-complementary plane partitions.
△ Less
Submitted 17 September, 2012; v1 submitted 4 August, 2011;
originally announced August 2011.
-
A direct bijection between descending plane partitions with no special parts and permutation matrices
Authors:
Jessica Striker
Abstract:
We present a direct bijection between descending plane partitions with no special parts and permutation matrices. This bijection has the desirable property that the number of parts of the descending plane partition corresponds to the inversion number of the permutation. Additionally, the number of maximum parts in the descending plane partition corresponds to the position of the one in the last co…
▽ More
We present a direct bijection between descending plane partitions with no special parts and permutation matrices. This bijection has the desirable property that the number of parts of the descending plane partition corresponds to the inversion number of the permutation. Additionally, the number of maximum parts in the descending plane partition corresponds to the position of the one in the last column of the permutation matrix. We also discuss the possible extension of this approach to finding a bijection between descending plane partitions and alternating sign matrices.
△ Less
Submitted 25 July, 2012; v1 submitted 17 February, 2010;
originally announced February 2010.
-
The poset perspective on alternating sign matrices
Authors:
Jessica Striker
Abstract:
Alternating sign matrices (ASMs) are square matrices with entries 0, 1, or -1 whose rows and columns sum to 1 and whose nonzero entries alternate in sign. We put ASMs into a larger context by studying the order ideals of subposets of a certain poset, proving that they are in bijection with a variety of interesting combinatorial objects, including ASMs, totally symmetric self--complementary plane…
▽ More
Alternating sign matrices (ASMs) are square matrices with entries 0, 1, or -1 whose rows and columns sum to 1 and whose nonzero entries alternate in sign. We put ASMs into a larger context by studying the order ideals of subposets of a certain poset, proving that they are in bijection with a variety of interesting combinatorial objects, including ASMs, totally symmetric self--complementary plane partitions (TSSCPPs), Catalan objects, tournaments, semistandard Young tableaux, and totally symmetric plane partitions. We use this perspective to prove an expansion of the tournament generating function as a sum over TSSCPPs which is analogous to a known formula involving ASMs.
△ Less
Submitted 27 May, 2009;
originally announced May 2009.
-
The alternating sign matrix polytope
Authors:
Jessica Striker
Abstract:
We define the alternating sign matrix polytope as the convex hull of nxn alternating sign matrices and prove its equivalent description in terms of inequalities. This is analogous to the well known result of Birkhoff and von Neumann that the convex hull of the permutation matrices equals the set of all nonnegative doubly stochastic matrices. We count the facets and vertices of the alternating si…
▽ More
We define the alternating sign matrix polytope as the convex hull of nxn alternating sign matrices and prove its equivalent description in terms of inequalities. This is analogous to the well known result of Birkhoff and von Neumann that the convex hull of the permutation matrices equals the set of all nonnegative doubly stochastic matrices. We count the facets and vertices of the alternating sign matrix polytope and describe its projection to the permutohedron as well as give a complete characterization of its face lattice in terms of modified square ice configurations. Furthermore we prove that the dimension of any face can be easily determined from this characterization.
△ Less
Submitted 19 January, 2009; v1 submitted 7 May, 2007;
originally announced May 2007.
