arXiv++ Combinatorics

Much of dynamical algebraic combinatorics focuses on global dynamical systems defined via maps that are compositions of local toggle operators. The second author and Roby studied such maps that result from toggling independent sets of a path graph. We investigate a "toric" analogue of this work by analyzing the dynamics arising from toggling independent sets of a cycle graph. Each orbit in the dynamical system can be encoded via a grid of 0s and 1s; two commuting bijections on the set of 1s in this grid produce torsors for what we call the infinite snake group and the finite ouroboros groups. By studying related covering maps, we deduce precise combinatorial properties of the orbits. Because the snake and ouroboros groups are abelian, they define tilings of cylinders and tori by parallelograms, which we also characterize. Many of the ideas developed here should be adaptable both to other toggle actions in combinatorics and to other cellular automata.

The Lalanne-Kreweras involution is an involution on the set of Dyck paths which combinatorially exhibits the symmetry of the number of valleys and major index statistics. We define piecewise-linear and birational extensions of the Lalanne-Kreweras involution. Actually, we show that the Lalanne-Kreweras involution is a special case of a more general operator, called rowvacuation, which acts on the antichains of any graded poset. Rowvacuation, like the closely related and more studied rowmotion operator, is a composition of toggles. We obtain the piecewise-linear and birational lifts of the Lalanne-Kreweras involution by using the piecewise-linear and birational toggles of Einstein and Propp. We show that the symmetry properties of the Lalanne-Kreweras involution extend to these piecewise-linear and birational lifts.

The dynamics of certain combinatorial actions and their liftings to actions at the piecewise-linear and birational level have been studied lately with an eye towards questions of periodicity, orbit structure, and invariants. One key property enjoyed by the rowmotion operator on certain finite partially-ordered sets is homomesy, where the average value of a statistic is the same for all orbits. To prove refined versions of homomesy in the product of two chain posets, J. Propp and the second author used an equivariant bijection discovered (less formally) by R. Stanley and H. Thomas. We explore the lifting of this "Stanley--Thomas word" to the piecewise-linear, birational, and noncommutative realms. Although the map is no longer a bijection, so cannot be used to prove periodicity directly, it still gives enough information to prove the homomesy at the piecewise-linear and birational levels (a result previously shown by D. Grinberg, S. Hopkins, and S. Okada). Even at the noncommutative level, the Stanley--Thomas word of a poset labeling rotates cyclically with the lifting of antichain rowmotion. Along the way we give some formulas for noncommutative antichain rowmotion that we hope will be first steps towards proving the conjectured periodicity at this level.

The rowmotion action on order ideals or on antichains of a finite partially ordered set has been studied (under a variety of names) by many authors. Depending on the poset, one finds unexpectedly interesting orbit structures, instances of (small order) periodicity, cyclic sieving, and homomesy. Many of these nice features still hold when the action is extended to $[0,1]$-labelings of the poset or (via detropicalization) to labelings by rational functions (the birational setting). In this work, we parallel the birational lifting already done for order-ideal rowmotion to antichain rowmotion. We give explicit equivariant bijections between the birational toggle groups and between their respective liftings. We further extend all of these notions to labellings by noncommutative rational functions, setting an unpublished periodicity conjecture of Grinberg in a broader context.

This paper analyzes a certain action called "whirling" that can be defined on any family of functions between two finite sets equipped with a linear (or cyclic) ordering. Many maps of interest in dynamical algebraic combinatorics, such as rowmotion of order ideals, can be represented as a composition of "toggling" involutions, each of which modifies its object only locally. Similarly whirling is made up of locally-acting whirling maps which directly generalize toggles, but cycle through more than two possible outputs. In this first paper on whirling, we consider it as a map on subfamilies of functions between finite sets. For whirling acting on the set of injections or the set of surjections, we prove that within each whirling orbit, any two elements of the codomain appear as outputs of functions the same number of times. This result can be stated in terms of the homomesy phenomenon, which occurs when a statistic has the same average across every orbit. We further explore homomesy results and conjectures for whirling on restricted-growth words, which correspond to set partitions. These results extend the collection of combinatorial objects for which we have interesting dynamics and homomesy, and open the door to considering whirling in other contexts.

In this paper, we analyze the toggle group on the set of antichains of a poset. Toggle groups, generated by simple involutions, were first introduced by Cameron and Fon-Der-Flaass for order ideals of posets. Recently Striker has motivated the study of toggle groups on general families of subsets, including antichains. This paper expands on this work by examining the relationship between the toggle groups of antichains and order ideals, constructing an explicit isomorphism between the two groups. We also focus on the rowmotion action that has been well-studied in dynamical algebraic combinatorics, describing it as the composition of antichain toggles. We also describe a piecewise-linear analogue of toggling to Stanley's chain polytope. We examine the connections with the piecewise-linear toggling Einstein and Propp introduced for order polytopes and prove that almost all of our results for antichain toggles extend to the piecewise-linear setting.

This paper explores the orbit structure and homomesy (constant averages over orbits) properties of certain actions of toggle groups on the collection of independent sets of a path graph. In particular we prove a generalization of a homomesy conjecture of Propp that for the action of a "Coxeter element" of vertex toggles, the difference of indicator functions of symmetrically-located vertices is 0-mesic. Then we use our analysis to show facts about orbit sizes that are easy to conjecture but nontrivial to prove. Besides its intrinsic interest, this particular combinatorial dynamical system is valuable in providing an interesting example of (a) homomesy in a context where large orbit sizes make a cyclic sieving phenomenon unlikely to exist, (b) the use of Coxeter theory to greatly generalize the set of actions for which results hold, and (c) the usefulness of Striker's notion of generalized toggle groups.

We introduce $n(n-1)/2$ natural involutions ("toggles") on the set $S$ of noncrossing partitions $π$ of size $n$, along with certain composite operations obtained by composing these involutions. We show that for many operations $T$ of this kind, a surprisingly large family of functions $f$ on $S$ (including the function that sends $π$ to the number of blocks of $π$) exhibits the homomesy phenomenon: the average of $f$ over the elements of a $T$-orbit is the same for all $T$-orbits. We can apply our method of proof more broadly to toggle operations back on the collection of independent sets of certain graphs. We utilize this generalization to prove a theorem about toggling on a family of graphs called "$2$-cliquish". More generally, the philosophy of this "toggle-action", proposed by Striker, is a popular topic of current and future research in dynamic algebraic combinatorics.