[論文レビュー] Local limits of lozenge tilings are stable under bounded boundary height perturbations

Benoît Laslier|arXiv (Cornell University)|Sep 5, 2017

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

ひとこと要約

本稿では、境界高さ関数の有界な摂動のもとでも、一様なローゼンジング・タイリングにおける局所的統計的挙動が安定することを確立し、局所的極限が遠く離れた境界の詳細に依存しないことを証明している。主な結果は、Z³における境界同士のハウスドルフ距離が有界であるような2つの領域列に対して、それらの一様タイリング測度が局所的に同じ並進不変・混合性のあるギブス測度に収束することを示している。これは、均一なスパニングツリーとの関係を除いて正確可解性に依存しない。

ABSTRACT

We show that bounded changes to the boundary of a lozenge tilings do not affect the local behaviour inside the domain. As a consequence we prove the existence of a local limit in all domains with planar boundary. The proof does not rely on any exact solvability of the model beyond its links with uniform spanning trees.

研究の動機と目的

• 境界高さ関数の有界な摂動のもとでも、一様なローゼンジング・タイリングにおける局所的極限の安定性を確立すること。
• 境界が平面的でないか、直線的でない場合でも、固定された点付近での局所的挙動が遠く離れた境界の詳細に影響されないことを示すこと。
• 正確可解性を均一なスパニングツリーとの関係を超えて仮定しない状況でも、平面境界を持つすべての領域に対して局所的極限の存在を証明すること。
• 境界が非ゼロの法線座標を持つ平面から有界な距離を保っていさえすれば、局所的極限が境界の漸近的平面によって一意に決定されることを示すこと。

提案手法

• ローゼンジング・タイリングに関連するTグラフ上の2つのランダム・ウォークのカップリング論法を用い、パスが特定のスケールにおける局所的領域でのみ異なる場合を扱う。
• ループを消去したランダム・ウォークの技法を適用し、ループを消去したパスの巻き数を比較し、特定のアニュラ領域でループが追加された際に、確定的な差が$2\pi$となることを示す。
• スケールの階層的分解を用い、局所的摂動を独立に解析可能で、正の確率でカップリング可能な「孤立スケール」を同定する。
• ローゼンジング・タイリングと均一なスパニングツリーとの関係を活用し、極限測度における「集中の欠如」性質を証明する。これは安定性に不可欠である。
• 孤立スケールにわたるカップリング構成を用い、ループを消去したパスの総巻き数が広がっていることを示し、測度が退化していないことを示す。
• 一般化されたテンパラー双対性およびTグラフ形式を用い、タイリング問題を平面上のグラフ上のランダム・ウォーク問題に翻訳する。

実験結果

リサーチクエスチョン

• RQ1 Z³における境界が有界な距離内に摂動された場合、一様なローゼンジング・タイリングの局所的統計的挙動は変化しないか？
• RQ2 正確可解性を仮定しない状況でも、非直線的だが平面的近似可能な境界を持つ領域に対して、局所的極限を確立できるか？
• RQ3 境界が完全に直線的でない場合でも、局所的極限測度は一意的かつ遠く離れた境界の詳細に依存しないか？
• RQ4 ループを消去したパスの巻き数は、ローゼンジング・タイリングモデルにおける局所的極限の安定性とどのように関係するか？
• RQ5 境界の摂動が有界であっても、局所的極限が並進不変・混合性のあるギブス測度であることを保証する条件は何か？

主な発見

• Z³における境界高さ関数の有界な摂動のもとでも、一様なローゼンジング・タイリングの局所的極限は安定しており、遠く離れた境界の詳細が局所統計に影響しない。
• Z³において境界同士のハウスドルフ距離が有界である2つの領域列に対して、それらの一様タイリング測度は局所的に同じ並進不変・混合性のある非凍結ギブス測度に収束する。
• 境界が非ゼロの法線座標を持つ平面から有界な距離を保っていれば、局所的極限は境界の漸近的平面によって一意に決定される。
• 証明は、均一なスパニングツリーとループを消去したランダム・ウォークへの接続によって確立された極限測度における「集中の欠如」性質に依存している。
• 正確可解性をTグラフおよびスパニングツリーの対応関係を超えて仮定しない状況でも、すべての平面境界を持つ領域に対して局所的極限の存在が証明された。
• ループを消去したランダム・ウォークのカップリングにより、局所的摂動を導入した際に、巻き数に$2\pi$の差が正の確率で生じることを示し、測度の広がりと極限測度の安定性を保証した。