[論文レビュー] Uniform Spanning Forests and the bi-Laplacian Gaussian field

Xin Sun, Wei Wu|arXiv (Cornell University)|Nov 30, 2013

Stochastic processes and statistical mechanics参考文献 19被引用数 8

ひとこと要約

本稿では、$ℤ^d$ ($d \geq 5$) 上に、一様木の生成森（USF）の各木成分に i.i.d. ベルヌーイ($\frac{1}{2}$) スピンを割り当てることで、離散的な確率場を構成する。$\varepsilon^{(4-d)/2}$ のスケーリングを施した極限において、この場は弱収束して、バイラプラシアンガウス場に一致する。これは、標準的な離散的バイラプラシアン場以外の、最初の自然な離散モデルであり、$\Delta^2$ に関連する一般化されたガウス場のスケーリング極限を実現する。収束はモーメント法により証明され、ループを消去したランダムウォーク（LERW）の交差確率の漸近挙動に依存する。

ABSTRACT

We construct a natural discrete random field on $\mathbb{Z}^{d}$, $d\geq 5$ that converges weakly to the bi-Laplacian Gaussian field in the scaling limit. The construction is based on assigning i.i.d. Bernoulli random variables on each component of the uniform spanning forest, thus defines an associated random function. To our knowledge, this is the first natural discrete model (besides the discrete bi-Laplacian Gaussian field) that converges to the bi-Laplacian Gaussian field.

研究の動機と目的

• 離散的バイラプラシアン場以外の、自然な離散確率場を $\mathbb{Z}^d$ ($d \geq 5$) 上に構成し、そのスケーリング極限がバイラプラシアンガウス場となること。
• 標準的な離散的バイラプラシアン場以外の、バイラプラシアンガウス場に収束する最初の離散モデルの例を提供すること。
• モーメント法を用いて、スケーリングされた場がバイラプラシアンガウス場に弱収束することを確立すること。
• USF の成分に i.i.d. 平均0・分散1の確率変数を割り当てた場合、スケーリング極限が普遍的であることを示すこと。

提案手法

• $\mathbb{Z}^d$ ($d \geq 5$) 上のUSFの各木成分に、i.i.d. $\text{Bernoulli}(1/2)$ 確率変数を割り当て、スピン場 $h_1(x) \in \{\pm 1\}$ を定義する。
• 場を $h_\varepsilon(x) = \varepsilon^{(4-d)/2} h_1(\varepsilon^{-1}x)$ として $\varepsilon\mathbb{Z}^d$ 上にスケーリングし、立方体上で定数補間により $\mathbb{R}^d$ に拡張する。
• テスト関数 $\varphi \in C_0^\infty(\mathbb{R}^d)$ に対するすべてのモーメントの収束を示すことにより、$h_\varepsilon$ の弱収束を証明する。
• ウィルソンのアルゴリズムを用いて、複数の頂点が同じUSFの木に属する確率を、ループを消去したランダムウォーク（LERW）の交差事象として表現する。
• 格子グリーン関数の漸近挙動 $G(x/\varepsilon, w/\varepsilon) = O(\varepsilon^{d-2})$ を用いて、このような LERW 交差確率を評価し、$2l$ 個の点に対して $\mathbb{E}[\prod h_1(x_m/\varepsilon)] = O(\varepsilon^{(d-4)(2l-1)})$ を得る。
• モーメント法を適用：$(h_\varepsilon, \varphi)$ のすべてのモーメントが、$\sqrt{c_d}(h, \varphi)$ のモーメントに収束することを示し、分布収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 自然な離散確率場を $\mathbb{Z}^d$ ($d \geq 5$) 上に構成し、そのスケーリング極限がバイラプラシアンガウス場となるようにできるか？
• RQ2 一様生成森（USF）は、バイラプラシアンガウス場に収束する離散モデルを生成するのに適した構造か？
• RQ3 スケーリング極限は、スピンの具体的な分布に依存するか、それとも USF の成分に i.i.d. 平均0・分散1の確率変数を割り当てた場合に普遍的か？
• RQ4 スケーリング極限において、バイラプラシアンガウス場に反映される USF の幾何的・確率的性質は何か？
• RQ5 異なる USF の木に属するスピン間の短距離相互作用が、同じスケーリング極限を保つことができるか？

主な発見

• スケーリングされたスピン場 $h_\varepsilon$ は $\varepsilon \to 0$ のとき、$\sqrt{c_d} \cdot h$ に分布収束する。ここで $h$ はバイラプラシアンガウス場である。
• 収束はモーメント法により証明され、任意の $\varphi \in C_0^\infty(\mathbb{R}^d)$ に対して $(h_\varepsilon, \varphi)$ のすべてのモーメントが $(h, \varphi)$ のモーメントに収束することが示された。
• 主な技術的ステップは、$2l$ 個の頂点が同じ USF の木に属する確率を $O(\varepsilon^{(d-4)(2l-1)})$ で上界づけられることであり、これは LERW 交差確率から導かれる。
• 定数 $c_d$ は、単純なランダムウォークと2つのループを消去したランダムウォークの非交差確率から、補題10で計算されている。
• この結果は、USF の成分に i.i.d. 平均0・分散1の確率変数を割り当てた場合に普遍的であり、ベルヌーイ($\frac{1}{2}$) に限らない。正則格子においても、同じグリーン関数の漸近的減衰が成り立つ限り、同様に成立する。
• 証明により、長さ $\geq 4$ のサイクルを含む分割からの寄与はスケーリング極限で消えることが示され、結果としてガウス型の寄与のみが残ることが保証される。