[论文解读] A Shuffling Theorem for Reflectively Symmetric Tilings

Tri Lai|arXiv (Cornell University)|May 22, 2019

Advanced Combinatorial Mathematics参考文献 28被引用 5

一句话总结

本文建立了关于双重凹陷六边形及其相关半六边形区域的反射对称菱形密铺的洗牌定理。通过应用库阿凝聚与图形凝聚技术，证明了沿水平轴重新排列被移除的单位三角形会使得对称密铺数量乘以一个简单的乘积因子，从而推广了平面分拆理论中关于加权与对称密铺计数的已知结果。

ABSTRACT

In arXiv:1905.08311, the author and Rohatgi proved a shuffling theorem for doubly-dented hexagons. In particular, we showed that shuffling removed unit triangles along a horizontal axis in a hexagon only changes the tiling number by a simple multiplicative factor. In this paper, we consider a similar phenomenon for a symmetry class of tilings, the reflectively symmetric tilings, of the doubly-dented hexagons. We also prove several shuffling theorems for halved hexagons. These theorems generalize a number of known results in the enumeration of halved hexagons.

研究动机与目标

• 将洗牌定理推广至双重凹陷六边形的反射对称密铺。
• 扩展此前关于半六边形中加权与对称密铺计数的结果。
• 在对称密铺的背景下，建立密铺数量与辛群 $Sp_{2n}(\mathbb{C})$ 的辛特征之间的联系。
• 为涉及辛特征特殊化的恒等式提供组合解释。
• 通过区域分割与密铺对对应关系，探索密铺恒等式的双射解释。

提出的方法

• 应用库阿凝聚推导对称区域密铺数的递推关系。
• 利用图形凝聚处理加权菱形密铺，并在洗牌过程中保持乘法因子的不变性。
• 定义反射对称区域 $RS_{x,y}(U;D;B)$，并通过强制垂直菱形将其分解为全等的两半。
• 利用对称性诱导的强制菱形，将对称密铺计数归约为半六边形的常规密铺计数。
• 用从被移除三角形位置导出的分拆的辛特征 $sp_{\lambda}(1^{n})$ 表达密铺数。
• 通过区域分割与乘积公式，推导出不同构型下密铺数之间的恒等式。

实验结果

研究问题

• RQ1 重新排列双重凹陷六边形中被移除的上指与下指单位三角形的位置，如何影响其反射对称菱形密铺的数量？
• RQ2 能否推导出一个乘法因子，将具有不同凹陷的对称区域的密铺数相互关联，类似于非对称情况下的洗牌定理？
• RQ3 半六边形的密铺数与辛群 $Sp_{2n}(\mathbb{C})$ 的辛特征之间存在何种关系？
• RQ4 恒等式 $\operatorname{M}(F_{x,y}(U;D;B)) \cdot \operatorname{M}(F_{x+y,0}(U';D';B)) = \operatorname{M}(F_{x,y}(U';D';B)) \cdot \operatorname{M}(F_{x+y,0}(U;D;B))$ 是否存在双射解释？
• RQ5 恒等式 $\frac{\sum_{|S|=y} sp_{\lambda(U\cup S)}(1^{u+y}) sp_{\lambda(D\cup S)}(1^{d+y})}{\sum_{|S|=y} sp_{\lambda(U'\cup S)}(1^{u+y}) sp_{\lambda(D'\cup S)}(1^{d+y})} = \frac{sp_{\lambda(U)}(1^u) sp_{\lambda(D)}(1^d)}{sp_{\lambda(U')}(1^u) sp_{\lambda(D')}(1^d)}$ 是否能获得组合证明？

主要发现

• 当 $y$ 为偶数时，$RS_{x,y}(U;D;B)$ 的反射对称菱形密铺数等于半六边形 $\overline{F}_{x,y/2}(U;D;B)$ 的密铺数；当 $y$ 为奇数时，等于 $F_{x,(y-1)/2}(U;D;B)$ 的密铺数。
• 在对称密铺构型中重新排列被移除单位三角形的位置，会使密铺数乘以一个仅依赖于集合 $U$、$D$、$U'$ 和 $D'$ 大小的因子，而与它们的位置无关。
• 半六边形 $F_{x,y}(U;D;B)$ 的密铺数可表示为辛特征 $sp_{\lambda}(1^n)$ 的和与积，其中 $\lambda$ 由被移除三角形的位置导出。
• 当 $|U| = |U'|$ 且 $|D| = |D'|$ 时，恒等式 $\frac{\operatorname{M}(F_{x,y}(U;D;B))}{\operatorname{M}(F_{x,y}(U';D';B))} = \frac{\operatorname{M}(L_{2u,x+y+n-u}(U)) \operatorname{M}(L_{2d,x+y+n-d}(D))}{\operatorname{M}(L_{2u,x+y+n-u}(U')) \operatorname{M}(L_{2d,x+y+n-d}(D'))}$ 成立，将半六边形与四分之一六边形的密铺联系起来。
• 恒等式 $\operatorname{M}(F_{x,y}(U;D;B)) \cdot \operatorname{M}(F_{x+y,0}(U';D';B)) = \operatorname{M}(F_{x,y}(U';D';B)) \cdot \operatorname{M}(F_{x+y,0}(U;D;B))$ 成立，提示密铺对之间可能存在潜在的双射对应关系。