Paths to Understanding Birational Rowmotion on Products of Two Chains

Musiker, Gregg; Roby, Tom

Algebraic Combinatorics, Tome 2 (2019) no. 2, pp. 275-304.

Birational rowmotion is an action on the space of assignments of rational functions to the elements of a finite partially-ordered set (poset). It is lifted from the well-studied rowmotion map on order ideals (equivalently on antichains) of a poset $P$, which when iterated on special posets, has unexpectedly nice properties in terms of periodicity, cyclic sieving, and homomesy (statistics whose averages over each orbit are constant). In this context, rowmotion appears to be related to Auslander–Reiten translation on certain quivers, and birational rowmotion to $Y$-systems of type $A_m\times A_n$ described in Zamolodchikov periodicity.

We give a formula in terms of families of non-intersecting lattice paths for iterated actions of the birational rowmotion map on a product of two chains. This allows us to give a much simpler direct proof of the key fact that the period of this map on a product of chains of lengths $r$ and $s$ is $r+s+2$ (first proved by D. Grinberg and the second author), as well as the first proof of the birational analogue of homomesy along files for such posets.

Mots clés : birational rowmotion, dynamical algebraic combinatorics, homomesy, periodicity, toggling.

[1] Armstrong, Drew; Stump, Christian; Thomas, Hugh A uniform bijection between nonnesting and noncrossing partitions, Trans. Am. Math. Soc., Volume 365 (2013) no. 8, pp. 4121-4151 | DOI | MR | Zbl

[2] Brouwer, Andries; Schrijver, Lex On the period of an operator, defined on antichains, Stichting Mathematisch Centrum. Zuivere Wiskunde, Volume ZW 24/74 (1974), pp. 1-13 | Zbl

[3] Cameron, Peter; Fon-Der-Flaass, Dmitrii Orbits of antichains revisited, Eur. J. Comb., Volume 16 (1995) no. 6, pp. 545-554 | DOI | MR | Zbl

[4] Di Francesco, Philippe; Kedem, Rinat $T$-systems with boundaries from network solutions, Electron. J. Comb., Volume 20 (2013) no. 1, p. Paper 3, 62 | MR | Zbl

[5] Einstein, David; Propp, James Combinatorial, piecewise-linear, and birational homomesy for products of two chains (2013) (https://arxiv.org/abs/1310.5294v1)

[6] Einstein, David; Propp, James Piecewise-linear and birational toggling, 26th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2014) (Discrete Mathematics and Theoretical Computer Science), Discrete Mathematics & Theoretical Computer Science (DMTCS), 2014, pp. 513-524 | MR | Zbl

[7] Farber, Miriam; Hopkins, Sam; Trongsiriwat, Wuttisak Interlacing networks: birational RSK, the octahedron recurrence, and Schur function identities, J. Comb. Theory, Ser. A, Volume 133 (2015), pp. 339-371 | DOI | MR | Zbl

[8] Fon-Der-Flaass, Dmitrii Orbits of antichains in ranked posets, Eur. J. Comb., Volume 14 (1993) no. 1, pp. 17-22 | DOI | MR | Zbl

[9] Frieden, Gabriel The geometric $R$-matrix for affine crystals of type $A$ (2017) (https://arxiv.org/abs/1710.07243)

[10] Fulmek, Markus Bijective proofs for Schur function identities (2009) (https://arxiv.org/abs/0909.5334)

[11] Fulmek, Markus; Kleber, Michael Bijective proofs for Schur function identities which imply Dodgson’s condensation formula and Plücker relations, Electron. J. Comb., Volume 8 (2001) no. 1, 16, 22 pages | MR | Zbl

[12] Galashin, Pavel; Pylyavskyy, Pavel $R$-systems (2017) (https://arxiv.org/abs/1709.00578) | Zbl

[13] Goncharov, Alexander; Shen, Linhui Donaldson-Thomas transformations of moduli spaces of G-local systems, Adv. Math., Volume 327 (2018), pp. 225-348 | DOI | MR | Zbl

[14] Goulden, Ian P. Quadratic forms of skew Schur functions, Eur. J. Comb., Volume 9 (1988) no. 2, pp. 161-168 | DOI | MR | Zbl

[15] Grinberg, Darij; Roby, Tom Iterative properties of birational rowmotion (2014) (https://arxiv.org/abs/1402.6178)

[16] Grinberg, Darij; Roby, Tom Iterative properties of birational rowmotion II: rectangles and triangles, Electron. J. Comb., Volume 22 (2015) no. 3, 3.40, 49 pages | MR | Zbl

[17] Grinberg, Darij; Roby, Tom Iterative properties of birational rowmotion I: generalities and skeletal posets, Electron. J. Comb., Volume 23 (2016) no. 1, 1.33, 40 pages | MR | Zbl

[18] Henriques, André A periodicity theorem for the octahedron recurrence, J. Algebr. Comb., Volume 26 (2007) no. 1, pp. 1-26 | DOI | MR | Zbl

[19] Kirillov, Anatol N.; Berenstein, Arkady D. Groups generated by involutions, Gelfand-Tsetlin patterns, and combinatorics of Young tableaux, Algebra Anal., Volume 7 (1995) no. 1, pp. 92-152 | MR | Zbl

[20] Panyushev, Dmitri I. On orbits of antichains of positive roots, Eur. J. Comb., Volume 30 (2009) no. 2, pp. 586-594 | DOI | MR | Zbl

[21] Propp, James; Roby, Tom Homomesy in products of two chains, Electron. J. Comb., Volume 22 (2015) no. 3, 3.4, 29 pages | MR | Zbl

[22] Reiner, Victor; Stanton, Dennis; White, Dennis The cyclic sieving phenomenon, J. Comb. Theory, Ser. A, Volume 108 (2004) no. 1, pp. 17-50 | DOI | MR

[23] Reiner, Victor; Stanton, Dennis; White, Dennis What is $...$ cyclic sieving?, Notices Am. Math. Soc., Volume 61 (2014) no. 2, pp. 169-171 | DOI | MR | Zbl

[24] Roby, Tom Dynamical algebraic combinatorics and the homomesy phenomenon, Recent trends in combinatorics (The IMA Volumes in Mathematics and its Applications), Volume 159, Springer, 2016, pp. 619-652 (Also available at http://www.math.uconn.edu/~troby/homomesyIMA2015Revised.pdf) | DOI | MR | Zbl

[25] Rush, David B.; Shi, XiaoLin On orbits of order ideals of minuscule posets, J. Algebr. Comb., Volume 37 (2013) no. 3, pp. 545-569 | DOI | MR | Zbl

[26] Rush, David B.; Wang, Kelvin On Orbits of Order Ideals of Minuscule Posets II: Homomesy (2015) (https://arxiv.org/abs/1509.08047)

[27] Speyer, David E. Perfect matchings and the octahedron recurrence, J. Algebr. Comb., Volume 25 (2007) no. 3, pp. 309-348 | DOI | MR | Zbl

[28] Stanley, Richard P. Two poset polytopes, Discrete Comput. Geom., Volume 1 (1986) no. 1, pp. 9-23 | DOI | MR | Zbl

[29] Stanley, Richard P. Enumerative combinatorics. Vol. 1, Cambridge Studies in Advanced Mathematics, 49, Cambridge University Press, 2012, xiii+626 pages (Also available at http://math.mit.edu/~rstan/ec/ec1/.) | Zbl

[30] Striker, Jessica Rowmotion and generalized toggle groups, Discrete Math. Theor. Comput. Sci., Volume 20 (2018) no. 1, 17, 26 pages | MR | Zbl

[31] Striker, Jessica; Williams, Nathan Promotion and rowmotion, Eur. J. Comb., Volume 33 (2012) no. 8, pp. 1919-1942 | DOI | MR | Zbl

[32] The Sage Developers SageMath, the Sage Mathematics Software System (Version 7.3), 2016 (http://www.sagemath.org/)

[33] Thomas, Hugh; Williams, Nathan Rowmotion in slow motion (2017) (https://arxiv.org/abs/1712.10123) | Zbl

[34] Volkov, Alexandre Yu. On the periodicity conjecture for $Y$-systems, Commun. Math. Phys., Volume 276 (2007) no. 2, pp. 509-517 | DOI | MR

[35] Yıldırım, Emine The Coxeter transformation on Cominuscule Posets (2017) (https://arxiv.org/abs/1710.10632) | Zbl