[論文レビュー] q-Distributions on boxed plane partitions

Alexei Borodin, Vadim Gorin+1 more|arXiv (Cornell University)|May 5, 2009

Bayesian Methods and Mixture Models参考文献 27被引用数 11

ひとこと要約

本稿は、楕円的重みを用いたq-分布をボックス化された平面分割に導入し、MacMahonの積分公式を一般化する。明示的なマルコフ連鎖を確立し、正確なサンプリングを可能にするとともに、局所的相関がボトム限界においてエルゴード的で並進不変なギブス測度に収束することを証明し、その傾きは2次多項式によって符号化される。これは、ランダムタイリングおよび直交多項式に関する古典的結果を拡張する。

ABSTRACT

We introduce elliptic weights of boxed plane partitions and prove that they give rise to a generalization of MacMahon's product formula for the number of plane partitions in a box. We then focus on the most general positive degenerations of these weights that are related to orthogonal polynomials; they form three two-dimensional families. For distributions from these families we prove two types of results. First, we construct explicit Markov chains that preserve these distributions. In particular, this leads to a relatively simple exact sampling algorithm. Second, we consider a limit when all dimensions of the box grow and plane partitions become large, and prove that the local correlations converge to those of ergodic translation invariant Gibbs measures. For fixed proportions of the box, the slopes of the limiting Gibbs measures (that can also be viewed as slopes of tangent planes to the hypothetical limit shape) are encoded by a single quadratic polynomial.

研究の動機と目的

• ボックス化された平面分割の数に関するMacMahonの積分公式を、菱形タイリングにおける楕円的重みを用いて一般化すること。
• q-分布を保存し、平面分割の正確なサンプリングを可能にする明示的なマルコフ連鎖を構築すること。
• 大きな平面分割のボトム限界における局所的相関の解析を行い、それらがエルゴード的で並進不変なギブス測度に収束することを示すこと。
• ボトム限界における極限ギブス測度の傾きが、単一の2次多項式によって符号化されることを特定すること。
• モデルとq-ラカハ直交多項式を結びつけ、q-アスキー階層の頂点に位置する関係を確立すること。

提案手法

• theta関数およびモジュラーパラメータでパrameter化された、六角形の菱形タイリングへの楕円的重みの導入。
• 楕円的超幾何関数および双直交関数を用いて、MacMahonの公式の一般化を導出する。
• q-ラカハ多項式の再帰関係を用いて、サイズ変更可能なマルコフ連鎖のための確率的行列を構築し、q-分布を保存する。
• 直交多項式による相関核の行列式表現を確立し、漸近的解析を可能にする。
• 相関核の極限の方法を適用し、ボトムスケーリング限界におけるエルゴード的ギブス測度への収束を証明する。
• 変分原理およびオイラー＝ラグランジュ方程式を用いて、極限形状を特徴づけ、q-重みからの外部ポテンシャルを考慮する。

実験結果

リサーチクエスチョン

• RQ1 菱形タイリングにおける楕円的重みを用いて、平面分割のMacMahonの積分公式をどのように一般化できるか？
• RQ2 ボックス化された平面分割上のq-分布を保存し、正確なサンプリングを可能にするマルコフ連鎖は何か？
• RQ3 これらのq-分布の下で、大きな平面分割のボトム限界における局所的相関はどのように振る舞うか？
• RQ4 極限形状の幾何的構造は何か？ その傾きは漸近的状態でどのように符号化されるか？
• RQ5 得られるギブス測度は、q-ラカハ直交多項式およびq-アスキー階層とどのように関係するか？

主な発見

• 本稿は、theta関数および双直交関数を用いて、|p| < 1 かつ u₁u₂u₃ = 1 を満たす一般パラメータに対して有効な、MacMahonの公式の楕円的一般化を証明する。
• すべてのボックス化された平面分割の総重みは、q-Pochhammer記号および楕円的ガンマ関数を含む、格子点上の積として表現される。
• q-分布を保存し、ボックス寸法を増減させることで完全なサンプリングを可能にする明示的なマルコフ連鎖が構築される。
• ボトム限界において、局所的相関はエルゴード的で並進不変なギブス測度のそれと収束し、その傾きは2次多項式によって決定される。
• 極限形状は外部ポテンシャルを伴う変分原理を満たし、凍結境界は六角形の頂点において1つまたは2つのノードを有する可能性がある。
• 極限モデルは、q-アスキー階層の頂点に位置するq-ラカハ直交多項式に対応するが、楕円的ケースは今後の課題として残されている。