[论文解读] Enumeration of Cylindric Plane Partitions - Part II

Robin Langer|arXiv (Cornell University)|Sep 9, 2012

Random Matrices and Applications参考文献 7被引用 7

一句话总结

本文利用Fomin的广义RSK对应增长图框架，为柱状平面分拆的Borodin生成函数恒等式提供了一种新的双射证明。它在柱状设定下通过局部规则与增长图，建立了柱状平面分拆与一个整数分拆及一个标记柱状图的配对之间的保权双射，将钩长公式组合解释推广至柱状情形。

ABSTRACT

Cylindric plane partitions may be thought of as a natural generalization of reverse plane partitions. A generating series for the enumeration of cylindric plane partitions was recently given by Borodin. As in the reverse plane partition case, the right hand side of this identity admits a simple factorization form in terms of the "hook lengths" of the individual boxes in the underlying shape. The main result of this paper is a new bijective proof of Borodin's identity which makes use of Fomin's growth diagram framework for generalized RSK correspondences.

研究动机与目标

• 为柱状平面分拆的Borodin生成函数恒等式提供双射证明。
• 将Fomin的增长图框架扩展至柱状设定。
• 在柱状平面分拆与配对 (γ, A) 之间建立保权对应关系，其中 γ 为分拆，A 为标记柱状图。
• 通过基于局部规则的组合框架，将Hillman-Grassl算法推广至柱状情形。
• 探讨该双射在仿射李代数与晶体基表示论背景下的表示论与代数意义。

提出的方法

• 利用Fomin的广义RSK对应增长图框架，对柱状平面分拆与标记柱状图之间的双射进行建模。
• 定义作用于具有反演的轮廓的柱状增长图，其局部规则（Li）在非重叠位置应用时保持可交换性。
• 应用局部规则 Mi 以提升增长图中路径之间的双射，对应于不同的柱状平面分拆。
• 利用“柱状反演坐标”(i, j, k) 定义“柱状钩长”j−i+kT，其出现在Borodin的生成函数中。
• 通过确保标签之和乘以钩长的结果等于柱状平面分拆的总权重 |c|，构建保权双射。
• 使用柱状平移算子旋转轮廓，使局部规则可应用于不同路径配置。

实验结果

研究问题

• RQ1 能否利用增长图与局部规则，对柱状平面分拆的Borodin生成函数恒等式进行双射证明？
• RQ2 Hillman-Grassl算法如何推广至柱状情形？
• RQ3 双射中所用局部规则的表示论意义为何？
• RQ4 增长图框架能否自然地扩展至具有周期边界条件的柱状设定？
• RQ5 在大尺寸柱状平面分拆的极限情况下，是否存在循环筛法现象或极地圈行为？

主要发现

• 存在一个自然的、保权的双射，其在轮廓为 π 的柱状平面分拆与配对 (γ, A) 之间建立对应，其中 γ 为整数分拆，A 为轮廓为 π 的任意标记柱状图。
• 该双射通过Fomin的增长图框架构建，其局部规则在应用于轮廓中非重叠反演时保持可交换性。
• 该证明表明柱状平面分拆的生成函数与Borodin的乘积公式一致，其中柱状钩长 j−i+kT 作为权重出现。
• 配对 (γ, A) 的权重为 T|γ| + |A|，其中 |A| 为在盒子上按其柱状钩长加权的标签之和。
• 该框架通过增长图与局部规则应用，将反向平面分拆双射（通过Hillman-Grassl）推广至柱状情形。
• 该构造具有强保权性，通过在增长图中显式计算对角线和与钩长贡献得到验证。