[論文レビュー] Alternating sign matrices and domino tilings

Noam D. Elkies, Greg Kuperberg+2 more|ArXiv.org|Jun 1, 1991

Advanced Combinatorial Mathematics参考文献 18被引用数 278

ひとこと要約

本稿は、アズテックダイヤモンドのドミノタイリングに対する生成関数を確立し、タイリング数え上げ、交代符号行列、およびスケアアイス模型との深い関係を明らかにする。順序$n$のアズテックダイヤモンドのタイリング数は$2^{n(n+1)/2}$であると証明し、垂直ドミノの個数とタイリングランク（局所的移動による）を符号化する精製された生成関数$\mathrm{AD}(n;x,q) = \prod_{k=0}^{n-1}(1 + x q^{2k+1})^{n-k}$を提示する。

ABSTRACT

We introduce a family of planar regions, called Aztec diamonds, and study the ways in which these regions can be tiled by dominoes. Our main result is a generating function that not only gives the number of domino tilings of the Aztec diamond of order $n$ but also provides information about the orientation of the dominoes (vertical versus horizontal) and the accessibility of one tiling from another by means of local modifications. Several proofs of the formula are given. The problem turns out to have connections with the alternating sign matrices of Mills, Robbins, and Rumsey, as well as the square ice model studied by Lieb.

研究の動機と目的

• 順序$n$のアズテックダイヤモンドのドミノタイリングを数え上げ、垂直ドミノの個数とタイリングランクという2つの統計量を用いてその数え上げを精製すること。
• タイリングと長さ$n(n+1)/2$のビット列との間の双対写像を確立し、組合せ論的タイリング構造と二進数列との関連を示すこと。
• すべて水平のタイリングから与えられたタイリングに変換するために必要な最小の局所的90°回転（基本的移動）の回数として定義されるタイリングランクが、高さ関数に基づく不変量と一致することを示すこと。
• 生成関数と順序イデアルを共有するという点で、交代符号行列、単調三角形、およびスケアアイス配置といった組合せ論的対象を統一すること。
• タイリング数え上げと統計力学との関係、特にアズテック境界条件を課した六頂点（スケアアイス）模型のフェルミオン自由系における関係を調査すること。

提案手法

• アズテックダイヤモンドを領域$\{(x,y) : |x| + |y| \leq n+1\}$として定義し、$1\times2$または$2\times1$のタイルによる被覆としてドミノタイリングを定義する。
• 基本的移動（$2\times2$の2枚のドミノを90°回転）によって定義されるタイリングランクを導入し、すべて水平のタイリングから任意のタイリングにそのような移動によって到達可能であることを示す。
• チェッカーボード着色と標準的向きを用いた双対グラフ上に高さ関数を構成し、境界条件と辺の向きに基づいて値を割り当てる。
• 高さ関数を用いて順序集合におけるイデアルを定義し、それを積み重ねた立方体を介してタイリングへ双対写像することで、数え上げを可能にする。
• 生成関数$\mathrm{AD}(n;x,q) = \prod_{k=0}^{n-1}(1 + x q^{2k+1})^{n-k}$を確立し、$x$は垂直ドミノの個数、$q$はランクを追跡する。
• タイリングモデルをアズテック境界条件を課した六頂点（スケアアイス）模型と結びつけ、$a^2 + b^2 = c^2$を満たすボルツマン重みのもとで、分配関数が$c^{n^2}$に等しくなることを示す。これはフェルミオン自由系に対応する。

実験結果

リサーチクエスチョン

• RQ1 順序$n$のアズテックダイヤモンドのドミノタイリングの正確な個数は何か？ また、垂直ドミノの個数やタイリングランクといった統計量を用いて、その数え上げをどのように精製できるか？
• RQ2 基本的移動によって定義されるタイリングランクは、タイリングの双対グラフ上に構成される高さ関数とどのように関係するか？
• RQ3 アズテックダイヤモンドのドミノタイリングと交代符号行列との間の明確な関係は何か？ また、この関係は単調三角形および六頂点模型へどのように拡張されるか？
• RQ4 タイリングの生成関数は、より大きな多変数生成関数の特殊化として解釈可能か？ そして、これにより組合せ論的対称性にどのような含意が生じるか？
• RQ5 スケアアイス模型におけるアズテック境界条件は、周期的境界条件と比較して分配関数とエントロピーにどのように影響を与えるか？

主な発見

• 順序$n$のアズテックダイヤモンドのドミノタイリングの個数は正確に$2^{n(n+1)/2}$であり、4通りの異なる証明によって確認されている。
• 精製された生成関数$\mathrm{AD}(n;x,q) = \prod_{k=0}^{n-1}(1 + x q^{2k+1})^{n-k}$は、垂直ドミノの個数（$x$）とタイリングランク（$q$）の両方を符号化している。
• 順序$n$のアズテックダイヤモンドのすべて垂直のタイリングはランク$n(n+1)(2n+1)/6$を示し、すべてのタイリングの中で最大のランクである。
• 順序$n$のアズテックダイヤモンドのドミノタイリングと長さ$n(n+1)/2$のビット列との間に双対写像が存在し、合計個数$2^{n(n+1)/2}$を説明している。
• アズテック境界条件を課したスケアアイス模型とボルツマン重みが$a^2 + b^2 = c^2$を満たす場合、分配関数は$c^{n^2}$に等しくなる。これはフェルミオン自由系に対応する。
• 生成関数$\mathrm{AD}(n;x,q)$は、シャッフル法を用いてより大きな$2n$変数生成関数の特殊化であることが示され、その後の研究でも裏付けられている。