[論文レビュー] Loops, matchings and alternating-sign matrices

Jan de Gier|ArXiv.org|Nov 18, 2002

Advanced Combinatorial Mathematics被引用数 6

ひとこと要約

本稿は、特定のクラスの交代符号行列（ASMs）と、隅が切り落とされた六角形のレンガ模様のタイル張りの間の全単写を、マッチング上の確率的ループ模型とテンパリー＝リーブ代数を用いて確立する。静的状態がASMsを数えることを示し、組合せ的数え上げにより相関関数の正確な公式を導出し、統計力学と代数的組合せ論を q = exp(iπ/3) で結びつける。

ABSTRACT

The appearance of numbers enumerating alternating sign matrices in stationary states of certain stochastic processes is reviewed. New conjectures concerning nest distribution functions are presented as well as a bijection between certain classes of alternating sign matrices and lozenge tilings of hexagons with cut off corners.

研究の動機と目的

• 確率的ループ模型の静的状態と交代符号行列（ASM）の数え上げとの間の関係を確立すること。
• テンパリー＝リーブ代数がループハミルトニアンを定義するのにおける役割と、マッチングおよびASMsとの関係を調査すること。
• 特定のASMsと、隅が切り落とされた六角形のレンガ模様のタイル張りとの間の新しい全単写を提示すること。
• 組合せ的数え上げを用いて、相関関数などの物理的量の正確な閉形式公式を導出すること。
• 3-数え上げのASMsがローター模型に現れる可能性を仮説することにより、統計力学と組合せ論との間の関係を拡張すること。

提案手法

• 非交差マッチングへのテンパリー＝リーブ代数の作用を用いて、閉じた境界条件をもつ密なO(1)ループ模型を定義する。
• マッチメーカー $ e_j $ を、マッチング内の隣接するペアに作用する演算子として定義し、関係式 $ e_j^2 = (q + q^{-1})e_j $、$ e_j e_{j\pm1} e_j = e_j $、および $ |j-k| > 1 $ のとき $ e_j e_k = e_k e_j $ を満たす。ここで $ q = \exp(i\pi/3) $ である。
• ループハミルトニアン $ H^{\rm C}_{2n} = \sum_{j=1}^{2n-1} (1 - e_j) $ を用いて、系の静的状態をモデル化する。
• FPL模型の格子における固定辺を、マッチング構成に基づいて定義し、固定グラフを構成することで、FPLの数え上げをドミノ問題に還元する。
• 固定グラフを、隅が切り落とされた六角形領域に変換し、この領域上のドミノ配置がレンガ模様のタイル張りに対応することを示す。
• 文献[7]の定理1.6を適用して、得られた六角形上のドミノ配置の数を数え、与えられたマッチングを持つFPL図の数が、対応する六角形のレンガ模様のタイル張りの数に等しいことを証明する。

実験結果

リサーチクエスチョン

• RQ1 密なO(1)ループ模型の静的状態は、交代符号行列の数え上げとどのように関係するか？
• RQ2 特定のクラスのASMsと、隅が切り落とされた六角形のレンガ模様のタイル張りとの間で、直接的な全単写を確立できるか？
• RQ3 テンパリー＝リーブ代数とその生成子 $ e_j $ は、ループ配置とその統計力学的モデル化において果たす役割は何か？
• RQ4 小規模なケースの数え上げから、相関関数や期待値の正確な公式をどのように導出できるか？
• RQ5 3-数え上げのASMsは、予想されるようにローター模型にも現れるのか？

主な発見

• 特定のクラスの交代符号行列と、隅が切り落とされた六角形のレンガ模様のタイル張りとの間で、直接的な全単写が確立され、新たな組合せ的解釈が得られた。
• 与えられたマッチング $[s,t,p]$ を持つ完全に密なループ（FPL）図の数は、定理1.6 [7] により、辺の長さが $ s $、$ 2p + s + t - 1 $、$ t $ である六角形のレンガ模様のタイル張りの数に等しい。
• FPLモデルにおける固定辺からなる固定グラフが、隣接する角から最大の階段状の領域を除去した六角形に等価であることが示され、ドミノ数え上げにより正確な数え上げが可能になった。
• 小規模なケースの計算に基づいて、期待値や相関関数の正確な閉形式公式が予想され、物理的整合性がその妥当性を支持している。
• O(1)ループ模型の静的状態にASMsの数が現れる理由は、テンパリー＝リーブ代数の作用と特別な値 $ q = \exp(i\pi/3) $ に起因し、これが系の可解性の根拠となっている。
• 本稿は、3-数え上げのASMsがローター模型にも現れる可能性を仮説し、可解モデルと組合せ的数え上げとの間のより広範な関係を示唆している。