[論文レビュー] Shuffling algorithm for boxed plane partitions

Alexei Borodin, Vadim Gorin|arXiv (Cornell University)|Apr 18, 2008

Stochastic processes and statistical mechanics参考文献 25被引用数 19

ひとこと要約

本稿では、三角格子上の六角形のタイル張り（ボックス型平面分割）上の一様測度を保存する離散時間マルコフ連鎖を生成する新規シャッフルアルゴリズムを導入する。アルゴリズムは水平なライコスに対して局所的・1次元的な確率的更新を実行し、O((a+b)bc)の計算量で効率的な完全なランダムサンプリングを可能にする。主な結果は、Hahn多項式を用いたスペクトル分解により、2次元の行列式点過程としてのバルク極限相関関数が得られ、Gibbs性を有することが確立されることである。

ABSTRACT

We introduce discrete time Markov chains that preserve uniform measures on boxed plane partitions. Elementary Markov steps change the size of the box from (a x b x c) to ((a-1) x (b+1) x c) or ((a+1) x (b-1) x c). Algorithmic realization of each step involves O((a+b)c) operations. One application is an efficient perfect random sampling algorithm for uniformly distributed boxed plane partitions. Trajectories of our Markov chains can be viewed as random point configurations in the three-dimensional lattice. We compute the bulk limits of the correlation functions of the resulting random point process on suitable two-dimensional sections. The limiting correlation functions define a two-dimensional determinantal point processes with certain Gibbs properties.

研究の動機と目的

• サイズ a×b×c のボックス型平面分割上の一様測度を保存する離散時間マルコフ連鎖の構築。
• 一様分布に従うボックス型平面分割に対する効率的な完全ランダムサンプリングアルゴリズムの開発。
• 3次元格子過程の2次元断面における相関関数のバルク漸近挙動の計算。
• 極限相関関数がGibbs性を有する2次元行列式点過程を形成することの確立。
• 既知の静的相関結果を、同一の配置空間上での動的・時間発展型マルコフ連鎖へと拡張すること。

提案手法

• アルゴリズムは、サイズ (a±1)×(b∓1)×c の分割間を移動するための確率的行列 P⁺ と P⁻ を用い、一様性を保存する。
• 各マルコフステップでは、左から右へ順に水平ライコスを処理し、1次元的なベルヌーイ型分布を用いて新たな位置を決定する。
• アルゴリズムは、アズテックドミノタイル張りのシャッフルアルゴリズムに類似した、独立な1次元マルコフステップに分解される。
• 遷移行列のスペクトル分解は、Hahn直交多項式を用いて実行される。
• バルク漸近挙動は、a,b,c→∞ かつ固定比 a:b:c を保つ極限における相関核の極限を分析することで導出される。
• 極限相関関数が行列式的であり、 contour 積分表現を介してGibbs型点過程を定義することが示される。

実験結果

リサーチクエスチョン

• RQ1 局所的・逐次的更新を許容するマルコフ連鎖を構築でき、ボックス型平面分割上の一様測度を保存できるか？
• RQ2 3次元格子過程の2次元断面における相関関数のバルクスケーリング極限における漸近的挙動は何か？
• RQ3 極限相関関数はバルク領域で行列式点過程かつGibbs性を有するか？
• RQ4 マルコフ遷移行列のスペクトル分解は、漸近的領域において直交多項式とどのように関係するか？
• RQ5 シャッフルアルゴリズムは、一様平衡測度を有する動的プロセスへと一般化可能か？

主な発見

• シャッフルアルゴリズムにより、O((a+b)bc)の計算量で一様分布に従うボックス型平面分割の完全なランダムサンプリングが可能となり、既存のアルゴリズムと同等またはそれを上回る。
• 2次元断面における相関関数のバルク極限は、Gibbs性を有する2次元行列式点過程である。
• 極限相関核は、有理関数の平方根を含む contour 積分として表現され、巨視的形状パラメータに明示的な依存関係を示す。
• 漸近的解析は、多項式自体の詳細な漸近挙動を必要とせず、Hahn多項式によって定義される作用素の収束に依拠する。
• 極限核は、巨視的比 a:b:c とバルク内での相対的位置にのみ依存する普遍的形を示す。
• 行列式内の係数が相関関数において相殺されることにより、極限行列式構造の普遍性が確認される。