[论文解读] Iterative properties of birational rowmotion

Darij Grinberg, Tom Roby|arXiv (Cornell University)|Feb 25, 2014

Advanced Combinatorial Mathematics参考文献 28被引用 8

一句话总结

本文研究了双有理行运动（birational rowmotion），即有限偏序集上经典行运动的推广，证明其在特定偏序集（如$(p,q)$-矩形、三角形形状偏序集和骨架偏序集）上具有有限阶。通过借鉴Volkov关于Zamolodchikov周期性的研究方法，作者证明了在$p \times q$矩形上的双有理行运动阶为$p+q$，将周期性现象扩展至偏序集上的双有理动力系统。

ABSTRACT

We study a birational map associated to any finite poset P. This map is a far-reaching generalization (found by Einstein and Propp) of classical rowmotion, which is a certain permutation of the set of order ideals of P. Classical rowmotion has been studied by various authors (Fon-der-Flaass, Cameron, Brouwer, Schrijver, Striker, Williams and many more) under different guises (Striker-Williams promotion and Panyushev complementation are two examples of maps equivalent to it). In contrast, birational rowmotion is new and has yet to reveal several of its mysteries. In this paper, we prove that birational rowmotion has order p+q on the (p, q)-rectangle poset (i.e., on the product of a p-element chain with a q-element chain); we furthermore compute its orders on some triangle-shaped posets and on a class of posets which we call "skeletal" (this class includes all graded forests). In all cases mentioned, birational rowmotion turns out to have a finite (and explicitly computable) order, a property it does not exhibit for general finite posets (unlike classical rowmotion, which is a permutation of a finite set). Our proof in the case of the rectangle poset uses an idea introduced by Volkov (arXiv:hep-th/0606094) to prove the AA case of the Zamolodchikov periodicity conjecture; in fact, the finite order of birational rowmotion on many posets can be considered an analogue to Zamolodchikov periodicity. We comment on suspected, but so far enigmatic, connections to the theory of root posets. We also make a digression to study classical rowmotion on skeletal posets, since this case has seemingly been overlooked so far.

研究动机与目标

• 理解双有理行运动的迭代行为，即有限偏序集的序理想上经典行运动的推广。
• 确定双有理行运动在何种条件下具有有限阶，与任意偏序集上通常的无限阶行为形成对比。
• 探讨双有理行运动与根系偏序集之间的联系，特别是与Zamolodchikov周期性及根系结构的关系。
• 对文献中此前被忽视的骨架偏序集类，系统研究经典行运动。
• 为关键偏序集族（包括矩形和三角形形状偏序集）的双有理行运动阶提供显式公式。

提出的方法

• 将Volkov关于Zamolodchikov周期性的方法应用于$(p,q)$-矩形偏序集，证明双有理行运动具有有限阶。
• 采用格拉斯曼参数化和普吕克-托勒密关系分析偏序集上的双有理映射。
• 引入约化和齐次标记的概念，以简化双有理行运动的动力学行为。
• 利用分次缩放和通过对偶偏序集的对偶性分析阶的性质。
• 应用组合技术（如线性扩展和切换操作）定义并操作行运动映射。
• 通过计算验证和符号代数（例如在Sage中）支持对根系偏序集（如$\Phi^+(H_3)$和$\Phi^+(I_2(m))$）的猜想。

实验结果

研究问题

• RQ1 $(p,q)$-矩形偏序集上双有理行运动的阶是多少？为何其阶恰好为$p+q$？
• RQ2 双有理行运动在三角形形状偏序集和骨架偏序集上是否具有有限阶？若具有，其阶由什么决定？
• RQ3 双有理行运动与Zamolodchikov周期性之间有何关系？该类比能否在不同偏序集族中形式化？
• RQ4 为何双有理行运动在$\Phi^+(D_4)$上具有无限阶，而在$\Phi^+(D_2)$和$\Phi^+(D_3)$上却具有有限阶？
• RQ5 根系偏序集和极小堆（minuscule heaps）在决定双有理行运动有限阶行为中起什么作用？

主要发现

• 双有理行运动在$(p,q)$-矩形偏序集上具有精确的有限阶$p+q$，推广了经典行运动的周期性。
• 对于$\vartriangleright$三角形和$\Delta/\nabla$三角形偏序集，双有理行运动的阶被显式计算，显示出有限周期性。
• 在骨架偏序集（包括分次森林）上，双有理行运动具有有限阶，其阶可通过结构性质计算得出。
• 对于$\Phi^+(A_n)$，双有理行运动的阶为$2(n+1)$（当$n \geq 2$时），$n=1$时为$2$；$\Phi^+(B_n)$的阶猜想为$2n$。
• 对于$\Phi^+(H_3)$，双有理行运动的阶为$10$；对于$\Phi^+(I_2(m))$，其阶为$\operatorname{lcm}(2,m)$，已通过计算验证。
• 双有理行运动在$\Phi^+(D_4)$上具有无限阶，归因于存在一个元素被三个其他元素覆盖，这使其区别于其他根系偏序集。