Paths to understanding birational rowmotion on products of two chains. (English) Zbl 1516.06004
Summary: 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.
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.
MSC:
| 06A07 | Combinatorics of partially ordered sets |
| 05E16 | Combinatorial aspects of groups and algebras |
Software:
SageMathReferences:
| [1] | Armstrong, Drew; Stump, Christian; Thomas, Hugh, A uniform bijection between nonnesting and noncrossing partitions, Trans. Am. Math. Soc., 365, 8, 4121-4151 (2013) · Zbl 1271.05011 · doi:10.1090/S0002-9947-2013-05729-7 |
| [2] | Brouwer, Andries; Schrijver, Lex, On the period of an operator, defined on antichains, Stichting Mathematisch Centrum. Zuivere Wiskunde, ZW 24/74, 1-13 (1974) · Zbl 0282.06003 |
| [3] | Cameron, Peter; Fon-Der-Flaass, Dmitrii, Orbits of antichains revisited, Eur. J. Comb., 16, 6, 545-554 (1995) · Zbl 0831.06001 · doi:10.1016/0195-6698(95)90036-5 |
| [4] | Di Francesco, Philippe; Kedem, Rinat, \({T}\)-systems with boundaries from network solutions, Electron. J. Comb., 20, 1 (2013) · Zbl 1266.05176 |
| [5] | Einstein, David; Propp, James, Combinatorial, piecewise-linear, and birational homomesy for products of two chains (2013) · Zbl 1465.05194 |
| [6] | Einstein, David; Propp, James, 26th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2014), 513-524 (2014) · Zbl 1394.06005 |
| [7] | Farber, Miriam; Hopkins, Sam; Trongsiriwat, Wuttisak, Interlacing networks: birational RSK, the octahedron recurrence, and Schur function identities, J. Comb. Theory, Ser. A, 133, 339-371 (2015) · Zbl 1315.05144 · doi:10.1016/j.jcta.2015.03.001 |
| [8] | Fon-Der-Flaass, Dmitrii, Orbits of antichains in ranked posets, Eur. J. Comb., 14, 1, 17-22 (1993) · Zbl 0777.06002 · doi:10.1006/eujc.1993.1003 |
| [9] | Frieden, Gabriel, The geometric \({R}\)-matrix for affine crystals of type \({A} (2017)\) · Zbl 1385.05077 |
| [10] | Fulmek, Markus, Bijective proofs for Schur function identities (2009) · Zbl 0978.05005 |
| [11] | Fulmek, Markus; Kleber, Michael, Bijective proofs for Schur function identities which imply Dodgson’s condensation formula and Plücker relations, Electron. J. Comb., 8, 1 (2001) · Zbl 0978.05005 |
| [12] | Galashin, Pavel; Pylyavskyy, Pavel, \({R}\)-systems (2017) |
| [13] | Goncharov, Alexander; Shen, Linhui, Donaldson-Thomas transformations of moduli spaces of G-local systems, Adv. Math., 327, 225-348 (2018) · Zbl 1434.13022 · doi:10.1016/j.aim.2017.06.017 |
| [14] | Goulden, Ian P., Quadratic forms of skew Schur functions, Eur. J. Comb., 9, 2, 161-168 (1988) · Zbl 0651.05011 · doi:10.1016/S0195-6698(88)80041-6 |
| [15] | Grinberg, Darij; Roby, Tom, Iterative properties of birational rowmotion (2014) · Zbl 1394.06006 |
| [16] | Grinberg, Darij; Roby, Tom, Iterative properties of birational rowmotion II: rectangles and triangles, Electron. J. Comb., 22, 3 (2015) · Zbl 1339.06001 |
| [17] | Grinberg, Darij; Roby, Tom, Iterative properties of birational rowmotion I: generalities and skeletal posets, Electron. J. Comb., 23, 1 (2016) · Zbl 1338.06003 |
| [18] | Henriques, André, A periodicity theorem for the octahedron recurrence, J. Algebr. Comb., 26, 1, 1-26 (2007) · Zbl 1125.05106 · doi:10.1007/s10801-006-0045-0 |
| [19] | Kirillov, Anatol N.; Berenstein, Arkady D., Groups generated by involutions, Gelfand-Tsetlin patterns, and combinatorics of Young tableaux, Algebra Anal., 7, 1, 92-152 (1995) · Zbl 0848.20007 |
| [20] | Panyushev, Dmitri I., On orbits of antichains of positive roots, Eur. J. Comb., 30, 2, 586-594 (2009) · Zbl 1165.06001 · doi:10.1016/j.ejc.2008.03.009 |
| [21] | Propp, James; Roby, Tom, Homomesy in products of two chains, Electron. J. Comb., 22, 3 (2015) · Zbl 1319.05151 |
| [22] | Reiner, Victor; Stanton, Dennis; White, Dennis, The cyclic sieving phenomenon, J. Comb. Theory, Ser. A, 108, 1, 17-50 (2004) · Zbl 1052.05068 · doi:10.1016/j.jcta.2004.04.009 |
| [23] | Reiner, Victor; Stanton, Dennis; White, Dennis, What is \(\ldots\) cyclic sieving?, Notices Am. Math. Soc., 61, 2, 169-171 (2014) · Zbl 1338.05012 · doi:10.1090/noti1084 |
| [24] | Roby, Tom, Recent trends in combinatorics, 159, 619-652 (2016) · Zbl 1354.05146 · doi:10.1007/978-3-319-24298-9_25 |
| [25] | Rush, David B.; Shi, XiaoLin, On orbits of order ideals of minuscule posets, J. Algebr. Comb., 37, 3, 545-569 (2013) · Zbl 1283.06007 · doi:10.1007/s10801-012-0380-2 |
| [26] | Rush, David B.; Wang, Kelvin, On Orbits of Order Ideals of Minuscule Posets II: Homomesy (2015) |
| [27] | Speyer, David E., Perfect matchings and the octahedron recurrence, J. Algebr. Comb., 25, 3, 309-348 (2007) · Zbl 1119.05092 · doi:10.1007/s10801-006-0039-y |
| [28] | Stanley, Richard P., Two poset polytopes, Discrete Comput. Geom., 1, 1, 9-23 (1986) · Zbl 0595.52008 · doi:10.1007/BF02187680 |
| [29] | Stanley, Richard P., Enumerative combinatorics. Vol. 1, 49 (2012) · Zbl 1247.05003 |
| [30] | Striker, Jessica, Rowmotion and generalized toggle groups, Discrete Math. Theor. Comput. Sci., 20, 1 (2018) · Zbl 1401.05315 |
| [31] | Striker, Jessica; Williams, Nathan, Promotion and rowmotion, Eur. J. Comb., 33, 8, 1919-1942 (2012) · Zbl 1260.06004 · doi:10.1016/j.ejc.2012.05.003 |
| [32] | The Sage Developers, SageMath, the Sage Mathematics Software System (Version 7.3) (2016) |
| [33] | Thomas, Hugh; Williams, Nathan, Rowmotion in slow motion (2017) · Zbl 1459.06010 |
| [34] | Volkov, Alexandre Yu., On the periodicity conjecture for \({Y}\)-systems, Commun. Math. Phys., 276, 2, 509-517 (2007) · Zbl 1136.82011 · doi:10.1007/s00220-007-0343-y |
| [35] | Yıldırım, Emine, The Coxeter transformation on Cominuscule Posets (2017) · Zbl 1471.16028 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
