[論文レビュー] Uniform even subgraphs and graphical representations of Ising as factors of i.i.d

Omer Angel, Gourab Ray+1 more|arXiv (Cornell University)|Dec 6, 2021

Markov Chains and Monte Carlo Methods被引用数 4

ひとこと要約

この論文は、外部磁場が非負であることを含むさまざまな条件下で、Ising模型の主要な図形的表現であるLoop $O(1)$模型が、単調なランダム根付きグラフ上でのi.i.d.の要因であることを確立する。主な結果は、自由Ising模型の勾配が、双対が局所的に有限な平面的マップ上でのi.i.d.の要因であることを示しており、これは一様偶数部分グラフの局所的極限理論と、ワイヤード一様全域木（WUSF）に対するi.i.d.の要因の構成を通じて達成される。

ABSTRACT

We prove that the Loop O(1) model, a well-known graphical expansion of the Ising model, is a factor of i.i.d. on unimodular random rooted graphs under various conditions, including in the presence of a non-negative external field. As an application we show that the gradient of the free Ising model is a factor of i.i.d. on unimodular planar maps having a locally finite dual. The key idea is to develop an appropriate theory of local limits of uniform even subgraphs with various boundary conditions and prove that they can be sampled as a factor of i.i.d. Another key tool we prove and exploit is that the wired uniform spanning tree on a unimodular transient graph is a factor of i.i.d. This partially answers some questions posed by Hutchcroft.

研究の動機と目的

• 無限グラフ上のLoop $O(1)$模型がi.i.d.の要因として表現可能かどうかを特定すること。これは、確率過程および統計力学における重要な問題である。
• 単調なランダム根付きグラフ上での一様偶数部分グラフおよびワイヤード一様全域木（WUSF）のi.i.d.の理論を拡張すること。
• Hutchcroftが提起した、非可換群上でのIsing模型における相転移の連続性に関する未解決問題を、i.i.d.の要因表現を用いて解決すること。
• 自由およびワイヤードLoop $O(1)$測度が、特に平面的かつ非一様な状況下で、無限グラフ上でのグラフのi.i.d.の要因として生じる条件を確立すること。
• Ising相関関数の収束に依存しない、明示的かつほとんど確実な方法で、Loop $O(1)$測度が収縮列に沿って収束することを証明する代替的で明示的な証明を提供すること。

提案手法

• 境界条件を様々に変えた一様偶数部分グラフの局所的極限理論を構築し、それらがi.i.d.の要因としてサンプリング可能であることを示す。
• 単調な非一様グラフ上でのワイヤード一様全域木（WUSF）がi.i.d.の要因であることを、単調なランダム根付きグラフの性質と確率的支配の性質を用いて証明する。
• FK-Ising表現を用いて、Loop $O(1)$模型をランダムクラスターモデルの一様偶数部分グラフと関連づけ、双対性およびエッジ・頂点の重みパラメータを活用する。
• Timárの結果（平面的マップにおける有限次数の面によるサイクルの生成）を用いて、平面的マップ上での自由Loop $O(1)$模型に対するi.i.d.の要因を構成する。
• 自己同型不変な可測関数を用いて、グラフのi.i.d.の要因を定義し、グラフ自己同型に関して不変かつ可測性を保証する。
• 単調なランダム根付きグラフ上での自由およびワイヤードLoop $O(1)$測度が、平面性、双対の局所的有限性、FK-Isingクラスタの非一様性などの条件下でi.i.d.の要因であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 無限の単調なランダム根付きグラフ上でのLoop $O(1)$模型がi.i.d.の要因である条件は何か？
• RQ2 単調な非一様グラフ上でのワイヤード一様全域木（WUSF）はi.i.d.の要因であるか？
• RQ3 自由Ising模型の勾配は、双対が局所的に有限な単調な平面的マップ上でのi.i.d.の要因として表現可能か？
• RQ4 FK-Ising模型において各頂点を通る地図的サイクルが有限個であることは、Loop $O(1)$模型がi.i.d.の要因であることを保証するか？
• RQ5 $x > 1$ または $y > 1$ の場合、自由またはワイヤードLoop $O(1)$測度は依然として無限グラフ上ですでに定義されており、i.i.d.の要因であるか？

主な発見

• 基になるグラフが非一様で、FK-Ising模型の各頂点を通る地図的サイクルが有限個である場合、Loop $O(1)$模型は単調なランダム根付きグラフ上でのi.i.i.の要因である。
• 単調な非一様グラフ上でのワイヤード一様全域木（WUSF）はi.i.d.の要因である。これはHutchcroftが提起した問題の部分的解決である。
• 自由Ising模型の勾配は、双対が局所的に有限な単調な平面的マップ上でのi.i.d.の要因である。これは、このようなマップ上での自由Loop $O(1)$模型がi.i.d.の要因であるためである。
• 平面的マップにおいて、有限次数の面の集合は自由サイクル空間を生成する。各面にランダムな偶奇性を割り当てることで、自由Loop $O(1)$模型に対するi.i.d.の要因が得られる。
• アメニタブルで頂点推移的である状況では、自由およびワイヤードLoop $O(1)$測度は臨界性を除いて一致するため、定理1.1を用いてi.i.d.の性質を結論づけることができる。
• $x > 1$ または $y > 1$ の場合、双対性を用いて、開エッジまたは頂点を補完することで、パラメータが$[0,1]$に収まるモデルが得られ、主定理が適用可能になるため、Loop $O(1)$模型が依然としてi.i.d.の要因である可能性がある。