[論文レビュー] Finitary codings for gradient models and a new graphical representation for the six-vertex model

Gourab Ray, Yinon Spinka|arXiv (Cornell University)|Aug 23, 2019

Markov Chains and Monte Carlo Methods参考文献 52被引用数 9

ひとこと要約

本稿では、統計力学の複数のモデル—イジング、ポツ、ビーチ、六脚—の勾配が、相転移点以下の温度でも、すべての温度においてi.i.d.過程の有限的因子であることを示している。特に、元のモデルが有限的因子でない相転移点以下の温度においても、この性質が成り立つ。局所的かつ並進不変な情報（勾配）に注目することで、全般的なスピン反転対称性が有限符号化を妨げる要因となるのを回避し、有限的因子であることが阻害される要因は、局所的構造ではなく、全般的な情報に起因することを明らかにした。

ABSTRACT

It is known that the Ising model on $\mathbb {Z}^d$ at a given temperature is a finitary factor of an i.i.d. process if and only if the temperature is at least the critical temperature. Below the critical temperature, the plus and minus states of the Ising model are distinct and differ from one another by a global flip of the spins. We show that it is only this global information which poses an obstruction for being finitary by showing that the gradient of the Ising model is a finitary factor of i.i.d. at all temperatures. As a consequence, we deduce a volume-order large deviation estimate for the energy. A similar result is shown for the Potts model. A result in the same spirit is also shown for the six-vertex model, which is itself the gradient of a height function, with parameter $c \gtrapprox 6.4$. We show that the gradient of the height function is not a finitary factor of an i.i.d. process, but that its "Laplacian" is. For this, we introduce a coupling between the six-vertex model with $c\ge 2$ and a new graphical representation of it, reminiscent of the Edwards--Sokal coupling between the Potts and random-cluster models. We believe that this graphical representation may be of independent interest and could serve as a tool in further understanding of the six-vertex model. To provide further support for the ubiquity of this type of phenomenon, we also prove an analogous result for the so-called beach model. The tools and techniques used in this paper are probabilistic in nature. The heart of the argument is to devise a suitable tree structure on the clusters of the underlying percolation process (associated to the graphical representation of the given model), which can be revealed piece-by-piece via exploration.

研究の動機と目的

• 特定のギブス測度がi.i.d.過程の有限的因子でない理由を特定すること。
• 勾配構成によって全般的なスピン反転対称性を除去することで、有限的因子性が回復することを示すこと。
• ベルヌーイ系を超えて、複数のギブス測度をもつモデルに対しても有限的符号化の結果を拡張すること。
• c ≥ 2 を満たす六脚模型に対して、新しいエドワーズ＝ソーカル型のグラフィカル表現を導入すること。
• 複雑なモデルの勾配が有限的である条件、特にランダムクラスターモデルの一意性との関係を調査すること。

提案手法

• スピンモデルの勾配を、辺をはさんで隣接するスピン状態の局所的差分として定義し、離散勾配情報の捕捉を行う。
• 勾配場に有限的符号化技術を適用し、原点における勾配の再構成に、i.i.d.入力の有限かつ確率的半径の観測のみが必要であることを示した。
• 六脚模型と新しいグラフィカル表現との間のカップリングを用いて、モデルの構造と符号化特性を分析した。
• 関連するランダムクラスターモデルにおける自由測度とワイヤード測度の一意性と、勾配の有限的因子性との等価性に依拠した。
• 単調（FKG）モデルおよび一般の有限的符号化理論の結果を応用し、勾配が有限的である条件を確立した。
• エネルギーに関するボリューム順序の大偏差推定を用いて、符号化半径の尾部挙動を支援した。

実験結果

リサーチクエスチョン

• RQ1 イジング模型およびポツ模型の勾配は、臨界温度以下のすべての温度において、i.i.d.過程の有限的因子であるか？
• RQ2 ビーチ模型の勾配がi.i.d.過程の有限的因子であるための条件は何か？
• RQ3 c が十分に大きな六脚模型（F模型）のスピン場の絶対値は、i.i.d.過程の有限的因子であるか？
• RQ4 ランダムクラスターモデルに一意なギブス測度が存在する場合、ウィドム＝ローリンソン模型の絶対スピン場は有限的符号化を許容するか？
• RQ5 ハードコア模型の偶数ギブス測度に対して、非自明な関数が (Z^d)even-有限的因子としてi.i.i.過程の有限的因子であるか？

主な発見

• 逆温度 β > βc(d) におけるイジング模型の勾配は、指数的尾部を示す符号化半径をもって、i.i.i.過程の有限的因子である。
• q状態ポツ模型の勾配は、その関連するランダムクラスターモデルの自由測度とワイヤード測度が一致する場合に限り、有限的である。
• q型ビーチ模型の勾配は、その関連するランダムクラスターモデルの自由測度とワイヤード測度が一致する場合に限り、有限的である。
• c ≥ 2 で平坦境界条件を満たす六脚模型（F模型）において、離散勾配の絶対値はi.i.i.過程の有限的因子であるが、勾配およびラプラシアン自体はそうではない。
• 低温において勾配操作は非損傷的であり、元のスピン配置を完全に回復可能であるが、元のモデルは有限的でない。
• 本稿では、全般的なスピン反転対称性が有限的符号化の唯一の障害であることが確立された。勾配は局所的情報のみを含むため、常に有限的符号化可能である。