[論文レビュー] Exponential decay of loop lengths in the loop $O(n)$ model with large $n$

Hugo Duminil‐Copin, Ron Peled+2 more|arXiv (Cornell University)|Dec 29, 2014

Theoretical and Computational Physics参考文献 36被引用数 28

ひとこと要約

本稿は、大きな $n$ に対して、六角格子上のループ $O(n)$ モデルにおけるループ長の指数的減衰を確立し、エッジ重み $x$ にかかわらず長大なループが指数的にまれであることを証明する。確率論的および幾何的技法の組み合わせ、特に双対性と回路分解を用いて、モデルはパラメータ $nx^6$ に応じて相転移を示すことが示され、$nx^6$ が小さい場合には疎で無秩序な相、$nx^6$ が大きい場合には密で秩序ある相となる。

ABSTRACT

The loop $O(n)$ model is a model for a random collection of non-intersecting loops on the hexagonal lattice, which is believed to be in the same universality class as the spin $O(n)$ model. It has been conjectured that both the spin and the loop $O(n)$ models exhibit exponential decay of correlations when $n>2$. We verify this for the loop $O(n)$ model with large parameter $n$, showing that long loops are exponentially unlikely to occur, uniformly in the edge weight $x$. Our proof provides further detail on the structure of typical configurations in this regime. Putting appropriate boundary conditions, when $nx^6$ is sufficiently small, the model is in a dilute, disordered phase in which each vertex is unlikely to be surrounded by any loops, whereas when $nx^6$ is sufficiently large, the model is in a dense, ordered phase which is a small perturbation of one of the three ground states.

研究の動機と目的

• 大きな $n$ に対して、六角格子上のループ $O(n)$ モデルにおけるループ長の指数的減衰を厳密に確立すること。
• パラメータ $nx^6$ における鋭い転移を特定することにより、ループ $O(n)$ モデルの相構造を明確にすること。
• 疎な相と密な相における典型的な配置構造を分析し、長大なループが指数的にまれであることを示すこと。
• 双対性と回路分解を用いて、ループ配置の詳細な幾何的・確率的特徴付けを行うこと。

提案手法

• 六角格子の中点グラフとループ $O(n)$ モデルの双対性を用い、ループ配置を双対グラフ内の回路に関連付ける。
• 回路分解技術を適用し、双対グラフ内の回路の内部と外部が、元の格子における連結成分に対応することを示す。
• エッジ境界と頂点集合に基づく接続性の議論を用いて、回路の内部が有限で、領域を定義することを証明する。
• 補助グラフにおける頂点次数の偶数性を用いて、双対グラフ内に回路が存在することを保証し、これをループ配置と結びつける。
• $nx^6$ の異なる定常状態におけるモデルの挙動を分析し、確率的推定を用いて疎相と密相を区別する。
• 密相において摂動的議論を適用し、モデルが $nx^6$ が大きい場合に、モデルの3つの基底状態のいずれかからの小さなずれであることを示す。

実験結果

リサーチクエスチョン

• RQ1 大きな $n$ に対して、エッジ重み $x$ に依存せずに、ループ $O(n)$ モデルはループ長の指数的減衰を示すか？
• RQ2 モデルの挙動はパラメータ $nx^6$ の関数としてどのように変化するか？
• RQ3 ループ $O(n)$ モデルが $nx^6$ が小さい場合に、疎で無秩序な相にあり得ることを厳密に示せるか？
• RQ4 ループ $O(n)$ モデルの密相が、$nx^6$ が大きい場合に、3つの基底状態のいずれかからの小さな摂動であると示せるか？
• RQ5 大 $n$ におけるループ配置の幾何的および位相的性質は何か？

主な発見

• 大きな $n$ に対して、ループ $O(n)$ モデルはループ長の指数的減衰を示し、長大なループがエッジ重み $x$ に依存せずに指数的にまれである。
• $nx^6$ が十分に小さいとき、モデルは疎で無秩序な相にあり、各頂点がループで囲まれる確率が低い。
• $nx^6$ が十分に大きいとき、モデルは密で秩序ある相にあり、3つの基底状態のいずれかからの小さな摂動である。
• ループ配置と双対グラフ内の回路との間の双対性により、モデルの相の正確な幾何的特徴付けが可能になる。
• 双対グラフ内の任意の回路の内部は、六角格子の有限で連結な誘導部分グラフであり、領域を形成する。
• 境界エッジから構成される補助グラフにおける頂点次数の偶数性により、双対グラフ内に回路が存在することが保証される。