[论文解读] Another dual of MacMahon's theorem on plane partitions

Mihai Ciucu|arXiv (Cornell University)|Sep 21, 2015

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

一句话总结

本文引入了“蕨叶”（fern）——一种沿格线排列、方向交替的正三角形结构——作为麦克马洪平面分拆定理的对偶结构。通过将蕨叶置于三角格点上的六边形区域中心，作者推导出其外部区域的洛兹菱形密铺数的乘积公式，推广了麦克马洪的经典结果，并揭示了蕨叶与三叶草结构之间更深层次的对偶性。

ABSTRACT

In this paper we introduce a counterpart structure to the shamrocks studied in the paper "A dual of Macmahon's theorem on plane partitions" by M. Ciucu and C. Krattenthaler (Proc. Natl. Acad. Sci. USA, vol. 110 (2013), 4518-4523), which, just like the latter, can be included at the center of a lattice hexagon on the triangular lattice so that the region obtained from the hexagon by removing it has its number of lozenge tilings given by a simple product formula. The new structure, called a fern, consists of an arbitrary number of equilateral triangles of alternating orientations lined up along a lattice line. The shamrock and the fern seem to be the only structures with this property. It would be interesting to understand why these are the only two such structures.

研究动机与目标

• 通过引入具有简单密铺乘积公式的新型格点结构，扩展麦克马洪关于平面分拆的定理。
• 在密铺计数中建立新定义的“蕨叶”结构与先前研究的“三叶草”结构之间的对偶性。
• 证明当蕨叶嵌入六边形区域时，其外部区域的归一化密铺计数可由乘积公式给出，与三叶草结构类似。
• 探究为何仅蕨叶与三叶草结构表现出此密铺性质，暗示其组合学上的根本独特性。

提出的方法

• 将蕨叶 $ F(a_1, \dotsc, a_k) $ 定义为沿格线排列、方向交替的正三角形序列，边长分别为 $ a_1, \dotsc, a_k $。
• 引入外部区域 $ F^*(a_1, \dotsc, a_k) $，即移除蕨叶后的六边形区域，并研究其洛兹菱形密铺数 $ \operatorname{M}(F^*(a_1, \dotsc, a_k)) $。
• 通过在 $ H_N(a_1, \dotsc, a_k) $ 中取 $ N \to \infty $ 的极限，定义 $ F^*(a_1, \dotsc, a_k) $ 与 $ F^*(o,e) $ 的密铺数之比的归一化形式，其中 $ o = a_1 + a_3 + \cdots $，$ e = a_2 + a_4 + \cdots $。
• 利用 Cohn-Larsen-Propp 对 Gelfand-Tsetlin 结果的解释，通过超阶乘与 $ b_i $ 的交错和，表达半六边形区域 $ S(b_1, \dotsc, b_l) $ 的密铺数。
• 通过六边形区域的递归分解推导密铺函数的递推关系，并利用代数恒等式验证其一致性。
• 建立几何解释，表明归一化密铺比等于包含蕨叶的最小平衡六边形的密铺数 $ \operatorname{M}(H_F) $。

实验结果

研究问题

• RQ1 除三叶草外，还有哪些结构在嵌入六边形区域时，其外部区域的洛兹菱形密铺数具有简单乘积公式？
• RQ2 蕨叶结构如何推广麦克马洪的经典平面分拆公式？
• RQ3 为何仅蕨叶与三叶草结构表现出其外部密铺数具有简单乘积公式的性质？
• RQ4 蕨叶的归一化密铺比能否用已知的半六边形区域密铺公式表达？
• RQ5 是否存在几何解释可说明蕨叶外部密铺数乘积公式的成因？

主要发现

• 蕨叶外部的归一化密铺比为 $ \frac{\operatorname{M}(F^*(a_1,\dotsc,a_k))}{\operatorname{M}(F^*(o,e))} = s(a_1,\dotsc,a_{k-1}) \cdot s(a_2,\dotsc,a_k) $，其中 $ s $ 表示具有交替移除与完整段的半六边形区域的密铺数。
• 当 $ k = 3 $ 时，该公式退化为麦克马洪原始的平面分拆公式，表明蕨叶推广了经典结果。
• 归一化密铺比等于 $ \operatorname{M}(H_F) $，即包含蕨叶的最小平衡六边形的密铺数，提供了几何解释。
• 在某些参数平移下，密铺比保持不变，且归一化比的极限在有限 $ N $ 时即已稳定，而不仅限于 $ N \to \infty $ 的极限情形。
• 密铺函数的递推关系通过代数方法验证，确认其与推导出的乘积公式一致。
• 蕨叶与三叶草被猜想为唯一具有此密铺对偶性质的结构，暗示其具有深刻的组合学独特性。