[論文レビュー] A shuffling theorem for lozenge tilings of doubly-dented hexagons

Tri Lai, Ranjan Rohatgi|arXiv (Cornell University)|May 20, 2019

Advanced Combinatorial Mathematics参考文献 13被引用数 9

ひとこと要約

本稿は、三角格子上の二重に掘られた六角形のロンゲンタイリングに対して、シャッフル定理を確立する。この定理は、取り除かれた上向きおよび下向きの単位三角形の位置を入れ替えることで、タイリング数が相対的な位置の間隔に依存する乗法的要因のみに変化することを示している。主な結果は、マクマホンの積分式による六角形タイリングの一般化および、ジョンソン＝ラーセン＝プロップによる半六角形の掘られた領域に対する列挙結果を統一的に拡張し、一様なタイリング比の公式を通じて対称関数およびq級数との深い関係を明らかにする。

ABSTRACT

MacMahon's theorem on plane partitions yields a simple product formula for tiling number of a hexagon, and Cohn, Larsen and Propp's theorem provides an explicit enumeration for tilings of a dented semihexagon via semi-strict Gelfand--Tsetlin patterns. In this paper, we prove a natural hybrid of the two theorems for hexagons with an arbitrary set of unit triangles removed along a horizontal axis. In particular, we show that the `shuffling' of removed unit triangles only changes the tiling number of the region by a simple multiplicative factor. Our main result generalizes a number of known enumerations and asymptotic enumerations of tilings. We also reveal connections of the main result to the study of symmetric functions and $q$-series.

研究の動機と目的

• 水平軸に沿って任意の単位三角形の集合が取り除かれた領域に対して、マクマホンの六角形のロンゲンタイリングの積分式を一般化すること。
• 掘られた半六角形と半厳密なゲルファンド＝ツェトリン型の対応関係を、複数の掘れを有する対称六角形へと拡張すること。
• タイリング数の列挙を「穴」を有する領域に対して統一的な枠組みで確立するため、取り除かれた三角形の位置を入れ替えることでタイリング数が乗法的に変化することを証明すること。
• 導出された乗法的要因の公式を通じて、タイリング列挙、対称関数、およびq級数との関係を明らかにすること。

提案手法

• 側長が $x+n-u, y+u, y+d, x+n-d, y+d, y+u$ である対称六角形を定義し、中心の水平格子線上に $u+d$ 個の単位三角形を削除する。
• 削除された三角形を $u$ 個の上向きと $d$ 個の下向きに分け、それぞれ格子線上の位置を表す集合 $U$ と $D$ でインデックスを付ける。
• 二つの領域が $U$ と $D$ のシャッフルのみで異なる場合、タイリング数の比が位置の差の積で与えられることを証明する： $\frac{\operatorname{M}(H_{x,y}(U;D))}{\operatorname{M}(H_{x,y}(U';D'))} = \prod_{1\leq i<j\leq u}\frac{s_j - s_i}{s'_j - s'_i} \cdot \prod_{1\leq i<j\leq d}\frac{t_j - t_i}{t'_j - t'_i}$。
• グラフィカルな縮約と双対グラフ技術を用いてタイリング比を導出し、完全マッチングおよび平面分割に関する既知の結果を活用する。
• タイリング比を $\mathbf{1}^n$ におけるシュール関数として表現することで、対称関数理論との関係を確立し、$q$-アナローグを用いて積分式の $q$-類似を拡張する。
• 主定理が、特定のシャッフル構成を用いることで、$F$-コア六角形（チウク、2003年）、二重に掘られた六角形（チウク、2003年）、三つのフェアンを削除した六角形（ライ、2019年）の既知の結果を回復することを示す。

実験結果

リサーチクエスチョン

• RQ1 上向きおよび下向きの単位三角形が取り除かれた二重に掘られた六角形のタイリング数は、各タイプの総数と相対的な順序を保ったまま、三角形の位置を入れ替えるとどのように変化するか？
• RQ2 マクマホンの積分式およびジョンソン＝ラーセン＝プロップによる掘られた半六角形の列挙結果を一般化する、このような領域のタイリング比に対する統一的な乗法的公式を導出可能か？
• RQ3 タイリング比と対称関数、特に $\mathbf{1}^n$ におけるシュール関数との関係は何か？
• RQ4 $q$-アナローグのタイリング比公式は、代数的組合せ論における既知の $q$-級数恒等式とどのように関係しているか？
• RQ5 シャッフル定理を用いることで、複雑な穴配置を持つ領域のための新たな漸近的列挙結果を導出可能か？

主な発見

• 二重に掘られた六角形が取り除かれた上向きおよび下向きの三角形の位置を入れ替えることで得られる二つの領域のタイリング比は、定理2.1で示されるように、位置集合の差の積で与えられる。
• シャッフル定理は既知の結果を一般化する：特定のシャッフル構成を用いることで、$F$-コア六角形（チウク、2003年）、二重に掘られた六角形（チウク、2003年）、三つのフェアンを削除した六角形（ライ、2019年）の列挙結果が回復される。
• タイリング比は、$\mathbf{1}^n$ におけるシュール関数の積の比として表現可能であり、タイリング列挙と対称関数論との間の関係を示す。
• $q$-アナローグのシャッフル定理は、シュール関数に関するより深い恒等式を示唆しており、$\prod_{1\leq i<j\leq u}\frac{1-q^{s_j-s_i}}{1-q^{j-i}}$ が $q$ のべき乗を除いて $s_{\lambda(U)}(q,q^2,\dots)$ に比例するため、$q$-恒等式の可能性がある。
• この定理は、上向きと下向きの三角形が $u$ 個および $d$ 個削除された領域のタイリング数が、それらの位置の相対的間隔にのみ依存し、絶対的な順序には依存しない（乗法的要因を除いて）ことを示唆する。
• この結果は、複雑な穴配置を持つ領域のタイリングの漸近的列挙を、シャッフルによって単純化された等価な領域に還元することで、新たな手法を提供する。