[論文レビュー] Tiling enumeration of doubly-intruded halved hexagons

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

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

ひとこと要約

本稿では、二重に侵入した半ヘキサゴン型領域—すなわち、半ヘキサゴンから二つの整列したフェン（交互に上向き・下向きの三角形が並んだ配列）と中心の対称的配列の三角形を除いた領域—の完全なローゼンジングルの数について、正確な積公式を提示する。グラフィカル・コンデンセーションと因数分解定理を用いて、すべての因子がパラメータに関して一次式である閉形式の積公式を導出し、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の因数分解定理を用いて、垂直軸上の頂点分布と対称性に基づき、タイリング数をより小さな部分領域のタイリング数の積に分解する。
• 中心の三角形およびフェンの方向・位置に基づき、8種類の異なる領域タイプ（例：$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}( extbf{a}; extbf{b})$ のタイリング数も同様の構造を持ち、偶奇の条件および領域分解に依存する。
• これらの結果は、Proctorによる転置補完平面分割の数え上げおよびCiucuによる重み付きタイリング結果、およびRohatgiおよび著者の最近の研究を統合的に一般化し、フェンを含む侵入型半ヘキサゴンの一つの枠組みに統一する。