[論文レビュー] Delocalisation and absolute-value-FKG in the solid-on-solid model

Piet Lammers, Sébastien Ott|arXiv (Cornell University)|Jan 13, 2021

Markov Chains and Monte Carlo Methods被引用数 4

ひとこと要約

本稿は、任意の平面的グラフ上で、零の傾きにとどまらず任意の傾きに対しても、固体-溶接（SOS）モデルにおける局在化のない性質の新しい一般的な証明を提示する。さらに、高さ関数の絶対値がFKG格子条件を満たすことを示し、これにより定量的な局在化のない性質が関連づけられ、SOSモデルおよび離散ガウスモデルにおける有限体積と無限体積の局在化のない性質が同値であることを示唆する。

ABSTRACT

The solid-on-solid model is a model of height functions, introduced to study the interface separating the $+$ and $-$ phase in the Ising model. The planar solid-on-solid model thus corresponds to the three-dimensional Ising model. Delocalisation of this model at high temperature and at zero slope was first derived by Fröhlich and Spencer, in parallel to proving the Berezinskii-Kosterlitz-Thouless phase transition. The first main result of this article consists of a simple, alternative proof of delocalisation of the solid-on-solid model. In fact, the argument is more general: it works on any planar graph -- not just the square lattice -- and implies that the interface delocalises at any slope rather than exclusively at the zero slope. The second main result, proved independently, is that the absolute value of the height function in this model satisfies the FKG lattice condition. This property is believed to be intimately linked to the (quantitative) understanding of delocalisation, given the recent successes in the context of the square ice and (more generally) the six-vertex model, and it has already been used elsewhere in a new proof of the BKT transition. The new FKG inequality is shown to hold true for both the solid-on-solid model as well as for the discrete Gaussian model, which in this article implies that the two notions of delocalisation, namely delocalisation in finite volume and delocalisation of shift-invariant Gibbs measures, coincide.

研究の動機と目的

• SOSモデルにおける零の傾きや正方形格子にとどまらず、より一般の設定において局在化のない性質をより簡単かつ一般的に証明すること。
• SOSモデルにおいて、高さ関数の絶対値がFKG格子条件を満たすことの確立。
• |φ|に対するFKG性質が、有限体積における局在化のない性質と、移動不変なギブス測度における局在化のない性質の一致を示すことの証明。
• FKGに基づく手法の適用範囲をSOSモデルおよび離散ガウスモデルへ拡張し、局在化の定量的理解を支援すること。
• 特に三次元における有効界面モデルの界面フラクチュエーションの厳密な解析に貢献すること。

提案手法

• 条件付き測度とランダムクラスターモデルへのカップリングに基づく、高さ関数の符号構造を分析する構成的で確率論的な議論の使用。
• エドワーズ＝ソーカルのカップリングを用いて、符号過程を増加する相互作用強度を持つパーコレーションモデルと関連付ける。
• 有限体積における|φ|とパーコレーション配置ωの同時分布に対する単調性とFKG不等式の活用。
• 局所的収束とパーコレーションの議論を用いて、有限体積測度μΔₙが一意なエルゴディックギブス測度μに収束することの証明。
• バーバートとキーンの結果を用いて、ωがほとんど確実に無限クラスタを含まないことを示し、μの一意性を保証する。
• |φ|に対するFKG性質が、SOSモデルおよび離散ガウスモデルの両方で成り立つことを、同時単調性とカップリング技術を用いて確立する。

実験結果

リサーチクエスチョン

• RQ1 SOSモデルにおける局在化のない性質は、正方形格子や零の傾きにとどまらず、一般の平面的グラフおよび任意の傾きに対しても成立するか？
• RQ2 SOSモデルにおける高さ関数の絶対値|φ|は、FKG格子条件を満たすか？
• RQ3 |φ|に対するFKG性質を用いて、有限体積における局在化のない性質と、移動不変なギブス測度における局在化のない性質の一致を示せるか？
• RQ4 離散ガウスモデルに対しても|φ|に対するFKG不等式は成り立つか？その意味は何か？
• RQ5 FKG性質は、有効界面モデルにおける界面フラクチュエーションの定量的評価に役立つのか？

主な発見

• 本稿は、任意の平面的グラフ上で、零の傾きにとどまらずすべての傾きに対して成り立つ、SOSモデルにおける局在化のない性質の新しい一般的な証明を確立した。
• SOSモデルにおいて、高さ関数|φ|の絶対値がFKG格子条件を満たすことは、新たな結果であり、深い意味を持つ。
• |φ|に対するFKG性質により、SOSモデルにおいて有限体積における局在化のない性質と、移動不変なギブス測度における局在化のない性質が一致することが示された。
• 同様のFKG性質は離散ガウスモデルに対しても成り立ち、これにより有限体積と無限体積の局在化のない性質が同値であることが保証された。
• μ(φᵣ) = 0 を満たす一意なエルゴディックギブス測度μは、集合Δₙが格子を漸近的に覆うような列(Δₙ)に対して、有限体積測度μΔₙの弱収束極限として得られる。
• (|φ|, ω)の同時分布は体積Λに関して単調増加であり、パーコレーション過程ωはほとんど確実に無限クラスタを含まないため、μの一意性が保証される。