[論文レビュー] Plane partitions I: a generalization of MacMahon's formula

Mihai Ciucu|ArXiv.org|Aug 4, 1998

Advanced Combinatorial Mathematics参考文献 11被引用数 30

ひとこと要約

本稿は、a×b×cのボックス内の平面分割のMacMahonの公式を一般化し、対称的な三角形型の穴をもつ六角形領域の族を導入することで、これらの領域のラテンタイリング数（同値に言えば、一般化されたボックス内の平面分割の数）が単純な積公式を満たすことを証明する。この手法は、交わらない格子路、完全マッチング、再帰関係を組み合わせ、対称性軸に沿った指定された窓を除去した領域に対して、正確な数え上げ公式を導出する。

ABSTRACT

The number of plane partitions contained in a given box was shown by MacMahon to be given by a simple product formula. By a simple bijection, this formula also enumerates lozenge tilings of hexagons of side-lengths $a,b,c,a,b,c$ (in cyclic order) and angles of 120 degrees. We present a generalization in the case $b=c$ by giving simple product formulas enumerating lozenge tilings of regions obtained from a hexagon of side-lengths $a,b+k,b,a+k,b,b+k$ (where $k$ is an arbitrary non-negative integer) and angles of 120 degrees by removing certain triangular regions along its symmetry axis.

研究の動機と目的

• a×b×cのボックス内の平面分割のMacMahonの古典的積公式を、穴をもつより広いクラスの領域へ拡張すること。
• k ≥ 0 に対して、辺長が a, b+k, b, a+k, b, b+k である六角形領域から、対称的な三角形型窓を除去することで、ラテンタイリングの数を数えること。
• このようなタイリングの数に対する単純な積公式を確立し、b = c の場合に元のMacMahonの結果を一般化すること。
• 交わらない格子路と完全マッチングを用いた組合せ的枠組みを提供し、数え上げ公式の導出と検証を行うこと。

提案手法

• 垂直軸ℓに関して対称である、辺長が a, b+k, b, a+k, b, b+k である六角形領域 H(a,b,k) の族を定義する。
• 「窓」を導入する——対称的な三角形部分領域（Δ窓または∇窓）を H(a,b,k) から除去し、k が偶数のときには偶数の辺長をとる。
• 対称性軸ℓに沿った菱形および三角形型の椎骨をラベル付けし、残りの領域から強制的なラテンタイリングを除去した残渣領域 Hₗ(a,b,k) を定義する。
• タイリングをモデル化するために、交わらない格子路と完全マッチングを用い、これらの領域に対して生成関数 M(Rₗ,ₚ(x)) および M(R̄ₗ,ₚ(x)) を定義する。
• 補題4.7を用いて、M(Rₗ,ₚ(x)) と M(Rₗ⁽ᵐ⁾,ₚ(x))、M(Rₗ,ₚ⁽ⁿ⁾(x)) の関係に基づき、lₘ−m と qₙ−n の相対的な大きさに依存するマッチング数の再帰関係を導出する。
• マッチング生成多項式の因数分解パターンを分析し、定数および積項の正確な表現を導出することで、タイリング数に対する閉形式の積公式を予想・検証する。

実験結果

リサーチクエスチョン

• RQ1 MacMahonのa×b×cボックス内の平面分割の積公式は、特に対称的な三角形型の穴をもつ領域へ一般化可能か？
• RQ2 対称性軸に沿って、偶数サイズのΔ窓を除去した後、辺長が a, b+k, b, a+k, b, b+k である六角形領域のラテンタイリング数は何か？
• RQ3 このようなタイリング領域の数え上げ公式は、ラベルリスト ℓ および窓サイズ q によって符号化された、除去された窓の位置とサイズにどのように依存するか？
• RQ4 これらの領域における完全マッチング数の生成関数は、線形項の積に因数分解可能か？その結果得られる多項式の構造は何か？
• RQ5 積公式の定数を支配する再帰関係は何か？そして、それらを用いて閉形式の表現を導出可能か？

主な発見

• 偶数サイズのΔ窓を除去した領域 Hₗ(a,b,k) のラテンタイリング数は、頂点ラベル ℓ および窓サイズ q の階差と和を含む、階乗および積の単純な積公式で与えられる。
• 完全マッチング数の生成多項式 M(R̄ₗ,ₚ(x)) は、定数倍を除き、(x + t) の線形項の積に因数分解され、ここで t は整数または半整数である。これは深い代数的構造を示唆する。
• ラベルまたは窓サイズの増分における生成関数の比は、正確な再帰関係に従い、1 ≤ k < m に対して Fₗ⁽ᵏ⁾,ₚ(x)/Fₗ,ₚ(x) = (x − lₖ + lₘ)(x + lₖ + lₘ − m + n + 1) が成り立つ。
• 因数分解における定数因子 c̄ₗ,ₚ は、二重階乗およびラベル ℓ と q の差と和の積を含む閉形式の表現で与えられ、指数 e(ℓ,q) = (n−m choose 2) − m である。
• 導出されたタイリング数の公式は、予想された形 (1.4) と一致し、補題4.7による再帰的適用と一貫性のチェックにより検証された。
• 本手法は、穴をもつ新しい領域族に対してMacMahonの公式を成功裏に一般化し、かつ、以前は知られていなかった正確な数え上げ結果を提供した。