[論文レビュー] A Shuffling Theorem for Reflectively Symmetric Tilings

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

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

ひとこと要約

本稿は、二重に掘られた六角形および関連する半六角形領域の反転対称型のレンガ敷き詰めについて、シャッフル定理を確立する。Kuoの縮約法と図形的縮約法を用いて、水平軸に沿って取り除かれた単位三角形の配置を入れ替えると、対称的敷き詰めの数が単純な積因子で乗じられることを証明し、平面分割理論における重み付きおよび対称的敷き詰め数え上げに関する既知の結果を一般化する。

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})$ のシミプレクティック特徴との間の関係を確立すること。
• シミプレクティック特徴の特殊化を含む恒等式の組合せ的解釈を提供すること。
• 領域分割および敷き詰めペアの対応を通じて、敷き詰め恒等式の双対的解釈を検討すること。

提案手法

• 対称的領域の敷き詰め数の再帰的関係を導くためにKuoの縮約法を適用する。
• 重み付きレンガ敷き詰めを扱い、シャッフルにおける乗法的因子の不変性を維持するために図形的縮約法を用いる。
• 反転対称的領域 $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)$ の和の積として表現できる。
• $|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))$ が成り立ち、敷き詰めペア間の潜在的な双対的対応を示唆する。