[论文解读] Order polynomial product formulas and poset dynamics

Sam Hopkins|arXiv (Cornell University)|Jun 2, 2020

Advanced Combinatorial Mathematics参考文献 72被引用 12

一句话总结

本文提出了一种启发式方法，将偏序集（posets）的序多项式乘积公式与其在提升（promotion）作用下的线性扩展和在行运动（rowmotion）作用下的P-分拆中的‘良好’动力学行为联系起来。文章综述了已知例子——如极小化偏序集、一致型的根偏序集以及梯形偏序集V(n)——并证明这些偏序集表现出结构化的轨道动力学，包括循环筛分现象和行运动的有限阶。其主要贡献在于建立了一个统一框架，连接代数组合学、偏序集动力学与多项式乘积公式。

ABSTRACT

We survey all known examples of finite posets whose order polynomials have product formulas, and we propose the heuristic that these are the same posets with good dynamical behavior. Here the dynamics in question are the actions of promotion on the linear extensions of the poset and rowmotion on the P-partitions of the poset.

研究动机与目标

• 综述所有已知的其序多项式可表示为乘积公式的有限偏序集。
• 提出一种启发式方法，认为具有序多项式乘积公式的偏序集恰好是那些在提升与行运动作用下表现出‘良好’动力学行为的偏序集。
• 建立代数组合学、偏序集动力学与多项式不变量（如q-模拟与循环筛分）之间的联系。
• 在统一的动力学框架下，将看似不同的偏序集家族（如极小化偏序集与根偏序集）统一起来。
• 为关于轨道结构与行运动阶的猜想提供证据，特别是针对梯形偏序集V(n)与极小化双生对（minuscule doppelgänger pairs）的猜想。

提出的方法

• 分析序多项式Ω_P(m)，其定义为高度为m的P-分拆的数量，并识别其可分解为有理函数乘积公式的条件。
• 引入序多项式的q-模拟Ω_P(m;q)，其构造基于Ω_P(m)的根，其中整数根对应κ=1，半整数根对应κ=2。
• 通过将行运动作用于序单纯形O(P)的分段线性扩张，研究行运动在P-分拆上的作用，识别行运动具有有限阶或规则轨道结构的条件。
• 利用序理想与P-分拆上的行运动作用定义循环筛分现象（CSP），并通过多项式求值进行验证。
• 应用极小化双生对理论与对称嵌入（如三角形到矩形）方法，关联不同偏序集之间的轨道结构。
• 利用根系与考克斯特群的已知结果，将行运动行为与CSP猜想推广至更广泛的偏序集家族。

实验结果

研究问题

• RQ1 哪些有限偏序集的序多项式可分解为简单的乘积公式？
• RQ2 具有此类乘积公式的偏序集的动力学特性（如有限阶或规则轨道结构）是什么？
• RQ3 提升作用于线性扩展与行运动作用于P-分拆如何与序多项式的代数结构相关联？
• RQ4 极小化双生对在多大程度上共享相同的行运动轨道结构？
• RQ5 在何种条件下，P-分拆上的行运动算子表现出循环筛分现象？

主要发现

• 极小化偏序集与一致型根偏序集的序多项式Ω_P(m)具有乘积公式，其根为整数或半整数。
• 对于这些偏序集，q-模拟Ω_P(m;q)是q的非负整数系数多项式，且在q=1时取值为Ω_P(m)。
• 极小化偏序集的P-分拆上的行运动满足Row^{r(P)+2} = identity；对于一致型根偏序集，满足Row^{r(P)+2} = δ（对合）。
• 猜想5.7已得证明：对于梯形偏序集V(n)，有Row^{r(P)+2} = δ，确认了其具有良好的动力学行为。
• 循环筛分猜想对极小化偏序集与一致型根偏序集成立，其中矩形R(a,b)情形由Rhoades证明，后由Shen–Weng推广。
• 极小化双生对具有同构行运动轨道结构的猜想已在m=1情形及矩形-梯形情形得到验证，近期预印本亦取得进一步进展。