[论文解读] Lozenge tilings of doubly-intruded hexagons

Mihai Ciucu, Tri Lai|arXiv (Cornell University)|Dec 21, 2017

Advanced Combinatorial Mathematics参考文献 19被引用 3

一句话总结

本文提出了在具有两个对称放置的蕨状凹陷（连续三角形孔洞的移除）的六边形区域中，菱形密铺数量的显式乘积公式，推广了麦克马洪的经典公式。通过应用库阿凝聚与 $q$-计数技术，作者推导出参数的线性因子形式的闭式表达式，与在受扰阿扎特钻石中观察到的复杂素因数分解形成鲜明对比，并提出了关于此类区域中密铺极限与相变的统计力学问题。

ABSTRACT

Motivated in part by Propp's intruded Aztec diamond regions, we consider hexagonal regions out of which two horizontal chains of triangular holes (called ferns) are removed, so that the chains are at the same height, and are attached to the boundary. By contrast with the intruded Aztec diamonds (whose number of domino tilings contain some large prime factors in their factorization), the number of lozenge tilings of our doubly-intruded hexagons turns out to be given by simple product formulas in which all factors are linear in the parameters. We present in fact $q$-versions of these formulas, which enumerate the corresponding plane-partitions-like structures by their volume. We also pose some natural statistical mechanics questions suggested by our set-up, which should be possible to tackle using our formulas.

研究动机与目标

• 将麦克马洪关于正六边形的菱形密铺公式推广至具有两个对称放置的蕨状凹陷的区域。
• 为这种双重受扰六边形中的菱形密铺数量推导出简洁的闭式乘积公式。
• 将这些公式扩展至按体积计数的 $q$-计数，提供生成函数框架。
• 探讨在大尺度极限下密铺行为的统计力学问题，特别是凹陷对极限形状与相变的影响。

提出的方法

• 应用库阿凝聚推导具有蕨形孔洞的六边形区域中密铺计数的递推关系。
• 使用双阶乘函数 $\operatorname{H}(n)$，以叶瓣尺寸部分和的交错乘积形式表达密铺计数。
• 构建密铺公式的 $q$-类比，通过施尔函数与对称函数恒等式来按体积枚举密铺。
• 通过强制菱形论证与格路解释识别密铺构型，尤其在无权情形下。
• 利用科恩-拉尔森-普罗普对盖尔范特-采特林行列式的解释，将密铺计数与施尔函数联系起来。
• 推导出一个关键的施尔函数恒等式（公式 9.5），将密铺计数与对称函数理论联系起来。

实验结果

研究问题

• RQ1 在沿公共水平线移除两个对称放置的蕨形结构的六边形中，菱形密铺的确切数量是多少？
• RQ2 该密铺计数能否如麦克马洪原始公式一样，表示为参数的线性因子的简洁乘积公式？
• RQ3 $q$-计数在这些密铺中如何表现？其与施尔函数及对称函数恒等式有何关联？
• RQ4 当区域规模增大时，密铺计数的渐近行为如何，特别是与极限形状和相变的关系？
• RQ5 在大尺度极限下，当凹陷长度比为何值时，密铺数量达到最大？

主要发现

• 具有尺寸 $a_1, \dots, a_m$ 和 $b_1, \dots, b_n$ 的双受扰六边形的菱形密铺数量，由叶瓣尺寸部分和的双阶乘函数的乘积公式给出。
• $q$-计数表示为双阶乘函数与施尔函数的乘积之比，得到一个关于 $q$ 的有理生成函数。
• 与受扰阿扎特钻石中密铺计数包含大素因数不同，该密铺计数保持为参数的线性项乘积。
• 推导出一个施尔函数恒等式（公式 9.5），将密铺计数与对称函数理论联系起来，并以双阶乘函数显式表达。
• 在渐近极限下，当两个蕨形结构长度相等（$r_p = 1$）时，密铺数量达到最大，表明对称性最大化密铺熵。
• 作者猜想，当固定 $p = M/(M/2 + N)$ 时，最大密铺计数出现在两个凹陷对称时，即 $r_p = 1$，并提出确定最优高度 $h_p$ 的开放问题。