[论文解读] Tiling enumeration of doubly-intruded halved hexagons

Tri Lai|arXiv (Cornell University)|Dec 31, 2017

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

一句话总结

本文为16种不同类型的双侵入半六边形——即从半六边形中移除两个对齐的蕨形结构（交替排列的上指和下指三角形）及一个中心对称三角形阵列后形成的区域——提供了精确的洛伦兹密铺计数公式。通过图形凝聚法与因式分解定理，作者推导出所有因子均为参数的线性函数的封闭形式乘积公式，推广了Proctor对转置互补平面分拆的计数结果以及Ciucu的加权密铺结果。

ABSTRACT

Inspired by Propp's intruded Aztec diamond regions, we consider halved hexagons in which two aligned arrays of triangular holes have been removed from their boundaries. Unlike the intruded Aztec diamonds (whose numbers of domino tilings contain some large prime factors in their factorizations), the numbers of lozenge tilings of our doubly-intruded halved hexagons are given by simple product formulas in which all factors are linear in the parameters. In this paper, we present an extensive list of exact tiling enumerations of sixteen different types of doubly-intruded halved hexagons. We also prove that the lozenge tilings of a symmetric hexagon with three arrays of triangles removed are always enumerated by a closed-form product formula. Our results generalize several previous works, including Proctor's enumeration of the transposed-complementary plane partitions, related work of Ciucu, and recent generalizations of Rohatgi and of the author.

研究动机与目标

• 将Proctor对转置互补平面分拆的计数结果推广至包含两个侵入蕨形结构及一个中心对称三角形阵列的区域。
• 将Ciucu对带蕨形结构的完整六边形的加权密铺计数结果扩展至包含三个蕨形结构被移除的对称半六边形。
• 将Rohatgi与作者近期关于侵入半六边形的研究成果统一并推广为一个全面的理论框架。
• 证明在同一直线上的三个蕨形结构被移除的对称六边形，其密铺数量恒由封闭形式的乘积公式给出。
• 系统性地分类16种不同的密铺区域，并为每类区域推导出精确的计数公式。

提出的方法

• 对半六边形区域的对偶图应用图形凝聚法，推导出密铺数量的递推关系。
• 利用Ciucu的因式分解定理，基于垂直轴上的对称性与顶点分布，将密铺计数分解为若干小子区域密铺数的乘积。
• 根据中心三角形与蕨形结构的方向和位置，定义并分析八类不同的区域类型（例如 $H^{(2)}$, $W^{(1)}$, $N^{(1)}$, $NR^{(4)}$）。
• 基于参数 $x$、$y$ 与 $a_1$ 的奇偶性进行情形分析，以处理强制洛伦兹密铺与对称性破缺的不同配置。
• 通过强制洛伦兹密铺的移除，将原区域转化为等价的加权或非加权子区域（如 $H^{(2)}$, $W^{(2)}$, $N^{(4)}$），并应用已知的密铺公式。
• 通过组合因式分解后的各部分并调整对称轴上顶点数的影响（体现在因式分解中2的指数），推导出最终的密铺公式。

实验结果

研究问题

• RQ1 对称半六边形中若有两个侵入蕨形结构及一个中心对称三角形阵列，其洛伦兹密铺的确切数量是多少？
• RQ2 双侵入半六边形的密铺数量是否可表示为所有因子均为参数线性函数的简洁乘积公式？
• RQ3 从对称六边形中移除三个蕨形结构的区域，其密铺计数与对应对称半区域的密铺计数之间有何关系？
• RQ4 这些侵入区域的密铺公式中观察到的因式分解是否存在双射解释？
• RQ5 八类非对称半六边形类型（如 $H^{(2)}$, $W^{(1)}$）是否可实现为某个移除三个蕨形结构的对称六边形的一半？

主要发现

• 无论参数的奇偶性如何，移除三个蕨形结构的对称六边形的洛伦兹密铺数量均由封闭形式的乘积公式给出。
• 对于区域 $S^{(1)}_{x,y,z}( extbf{a}; extbf{b})$，当 $x,y,a_1$ 均为偶数时，密铺计数为 $2^{y+z+a+b-a_1} \times \text{M}(H^{(2)}_{\frac{x}{2},\frac{y}{2},z}(\frac{a_1}{2},a_2,\text{...};\textbf{b})) \times \text{M}(W^{(2)}_{\frac{x}{2},\frac{y}{2},z}(\frac{a_1}{2},a_2,\text{...};\textbf{b}))$。
• 当 $a_1$ 为偶数但 $x,y$ 为奇数时，密铺计数为 $2^{y+z+a+b-a_1} \times \text{M}(H^{(2)}_{\frac{x-1}{2},\frac{y+1}{2},z}(\frac{a_1}{2},a_2,\text{...};\textbf{b})) \times \text{M}(W^{(2)}_{\frac{x-1}{2},\frac{y+1}{2},z}(\frac{a_1}{2},a_2,\text{...};\textbf{b}))$。
• 当 $a_1$ 为奇数且 $x,y$ 为偶数时，公式变为 $2^{y+z+a+b-a_1} \times \text{M}(N^{(4)}_{\frac{x}{2},\frac{y}{2},z}(\frac{a_1+1}{2},a_2,\text{...};\textbf{b})) \times \text{M}(N^{(1)}_{\frac{x}{2},\frac{y}{2},z}(\frac{a_1-1}{2},a_2,\text{...};\textbf{b}))$。
• $S^{(2)}_{x,y,z}(...)$ 的密铺计数遵循类似结构，其依赖关系与奇偶性及区域分解方式一致。
• 本研究结果推广了Proctor对转置互补平面分拆的计数、Ciucu的加权密铺结果，以及Rohatgi与作者近期的工作，通过将它们统一于一个包含蕨形结构的侵入半六边形的统一框架之下。