[论文解读] Piecewise-linear and birational toggling

David M. Einstein, James Propp|arXiv (Cornell University)|Apr 14, 2014

Advanced Combinatorial Mathematics参考文献 10被引用 5

一句话总结

本文引入了偏序集（posets）的序理想上分段线性和双有理切换操作的类比，扩展了组合行运动（rowmotion）与提升（promotion）。研究证明，在矩形偏序集 $[a] \times [b]$ 上，双有理行运动的阶为 $a + b$，并通过热带化与对偶性，建立了对称泛函在这些动力系统下的同度性（homomesy）结果。

ABSTRACT

We define piecewise-linear and birational analogues of the toggle-involutions on order ideals of posets studied by Striker and Williams and use them to define corresponding analogues of rowmotion and promotion that share many of the properties of combinatorial rowmotion and promotion. Piecewise-linear rowmotion (like birational rowmotion) admits an alternative definition related to Stanley's transfer map for the order polytope; piecewise-linear promotion relates to Schützenberger promotion for semistandard Young tableaux. The three settings for these dynamical systems (combinatorial, piecewise-linear, and birational) are intimately related: the piecewise-linear operations arise as tropicalizations of the birational operations, and the combinatorial operations arise as restrictions of the piecewise-linear operations to the vertex-set of the order polytope. In the case where the poset is of the form $[a] imes [b]$, we exploit a reciprocal symmetry property recently proved by Grinberg and Roby to show that birational rowmotion (and consequently piecewise-linear rowmotion) is of order $a+b$. This yields a new proof of a theorem of Cameron and Fon-der-Flaass. Our proofs make use of the correspondence between rowmotion and promotion orbits discovered by Striker and Williams, which we make more concrete. We also prove some homomesy results, showing that for certain functions $f$, the average value of $f$ over each rowmotion/promotion orbit is independent of the orbit chosen.

研究动机与目标

• 开发有限偏序集的序理想上分段线性和双有理切换操作的类比。
• 将组合行运动与提升扩展到分段线性和双有理设置，同时保持关键的动力学性质。
• 通过热带化与对序多面体的限制，建立这三种动力系统之间的联系。
• 利用格林堡与罗比（Grinberg and Roby）的互惠对称性，证明双有理行运动在 $[a] \times [b]$ 上的阶为 $a + b$。
• 在所有三种设置下，证明行运动与提升下对称泛函的同度性。

提出的方法

• 在序理想上定义分段线性和双有理切换映射，推广组合切换操作。
• 通过切换的复合构造分段线性和双有理行运动与提升，其中行运动通过序多面体上的斯坦利转移映射（Stanley’s transfer map）定义。
• 利用热带化将双有理操作与分段线性操作关联，也将分段线性操作与组合操作关联。
• 利用 $[a] \times [b]$ 的 rc-嵌入定义秩与列，支持基于对称性的分析。
• 应用格林堡与罗比的互惠对称性，证明双有理行运动在 $[a] \times [b]$ 上的阶为 $a + b$。
• 通过分析轨道平均值，证明同度性，涉及的泛函包括 $F_{i,j}(f) = f(i,j) + f(a+1-i,b+1-j)$ 和 $F_k(f) = \sum_{j-i=k-a} f(i,j)$ 在行运动与提升下的行为。

实验结果

研究问题

• RQ1 在偏序集的序理想上，切换、行运动与提升的分段线性和双有理类比是什么？
• RQ2 分段线性和双有理行运动与提升如何通过热带化与限制与它们的组合对应物关联？
• RQ3 双有理行运动在偏序集 $[a] \times [b]$ 上的阶是多少？
• RQ4 哪些泛函在双有理与分段线性行运动与提升下表现出同度性？
• RQ5 同度性结果能否以对称泛函的线性组合形式被提升或表征？

主要发现

• 在偏序集 $[a] \times [b]$ 上，双有理行运动的阶为 $a + b$，为卡梅伦与冯-德-弗劳斯（Cameron and Fon-Der-Flaass）的定理提供了新证明。
• 分段线性行运动是双有理行运动的热带化，而组合行运动是分段线性行运动在序多面体顶点上的限制。
• 泛函 $F_{i,j}(f) = f(i,j) + f(a+1-i,b+1-j)$ 在分段线性行运动与提升下是同度的，其平均值与轨道无关。
• 泛函 $F_k(f) = \sum_{j-i=k-a} f(i,j)$（对第 $k$ 列求和）在分段线性行运动与提升下是同度的。
• 在双有理设置下，$F_{i,j}(f) = \log(f(i,j)f(a+1-i,b+1-j))$ 与 $F_k(f) = \log(\prod_{j-i=k-a} f(i,j))$ 在双有理行运动与提升下是 0-度同度的（0-mesic）。
• 任何在评估泛函张成空间中、且在分段线性行运动下同度的泛函，必为泛函 $F_{i,j}$ 与 $F_k$ 的线性组合，此结论在论文完整版本中已证明。