[論文レビュー] Sharpness of Bernoulli percolation via couplings

Hugo Vanneuville|arXiv (Cornell University)|Jan 20, 2022

Stochastic processes and statistical mechanics被引用数 2

ひとこと要約

本稿は、非有界で局所的に有限なトランスレーシブなグラフ上のベルヌーイ確率的透過における相転移の鋭さについて、従来の微分的恒等式や再正規化群手法に依存せずに、新しい結合的証明を提示する。確率的支配不等式を導入し、遠く離れた球からの分離確率を含めることで、準位相における接続性の指数的減衰と、上位相における平均場下界を確立する。

ABSTRACT

In this paper, we consider Bernoulli percolation on a locally finite, transitive and infinite graph (e.g. the hypercubic lattice $\mathbb{Z}^d$). We prove the following estimate, where $ heta_n(p)$ is the probability that there is a path of $p$-open edges from $0$ to the sphere of radius $n$: \[ \forall p\in [0,1],\forall m,n \ge 1, \quad heta_{2n} (p-2 heta_m(p))\le C\frac{ heta_n(p)}{2^{n/m}}. \] This result implies that $ heta_n(p)$ decays exponentially fast in the subcritical phase. It also implies the mean-field lower bound in the supercritical phase. We thus provide a new proof of the sharpness of the phase transition for Bernoulli percolation. Contrary to the previous proofs of sharpness, we do not rely on any differential formula. The main novelty is a stochastic domination result which is inspired by [Russo, 1982]. We also discuss a consequence of our result for percolation in high dimensions, where it can be seen as a near-critical sharpness estimate.

研究の動機と目的

• 微分的恒等式や再正規化群手法に依存しない、ベルヌーイ確率的透過における相転移の鋭さの新しい証明を提供すること。
• 準位相（p < pc）における原点が距離nに接続する確率θn(p)の指数的減衰を確立すること。
• 上位相（p > pc）における平均場下界θ(p) ≥ (p − pc)/2を導出すること。
• 高次元確率的透過への分析の拡張を図り、近臨界上界θn(pc − ε)のより短い証明を提供すること。

提案手法

• 確率的支配結果を導入：p ∈ (0,1)、m,n ≥1 に対して、Ppπm(p)下でのω|Enの分布は、Pp[· | 0 ↮ Sn+m]に確率的に支配される。
• πn(p) = Pp[0 ↮ Sn] = 1 − θn(p)を定義し、接続性ではなく分離確率に注目する。
• 一様乱数を用いた逐次的エッジごとの結合的構成法により、確率的透過状態を結合する。
• ハリス–FKG不等式を適用し、エッジが重要である確率を、分離確率πn+m(ek, p)に関連付ける。
• 主要な不等式を導出：θ2n(p − 2θm(p)) ≤ C₀ θn(p) / 2n/m、ただしC₀ = 4 log 2。
• 主不等式を高次元確率的透過（d ≥ 11）に適用し、既知の平均場境界を用いて近臨界上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 ベルヌーイ確率的透過における相転移の鋭さは、微分的恒等式や再正規化群手法を用いずに証明可能か？
• RQ2 準位相的条件下で、分離確率πn(p)と接続確率θn(p)の定量的関係は何か？
• RQ3 新しい結合的手法は、既存の証明と比較して、単純さと高次元モデルへの適用可能性においてどのように異なるか？
• RQ4 新しい手法は、特にθn(pc − ε)に関して近臨界境界を導けるか？

主な発見

• 本稿は、すべてのp ∈ [0,1]およびm,n ≥1に対して、θ2n(p − 2θm(p)) ≤ 4 log 2 × θn(p) / 2n/m という不等式を確立し、これが中心的な技術的結果である。
• この不等式は、p < pcにおけるθn(p)の指数的減衰を示し、準位相の鋭さを証明する：θn(p) ≤ Ce−cn（あるc,C > 0）。
• この不等式は、p > pcにおける平均場下界θ(p) ≥ (p − pc)/2を示し、新しい手法により古典的結果を再取得する。
• この手法により、d ≥11における近臨界上界θn(pc − ε) ≤ C n⁻² exp(−c ε¹/² n)の、より短い証明が得られ、[CHS21, HMS23]の結果と一致する。
• 高次元においてこの結果が鋭いのは、1本腕指数η₁と相関長指数νがη₁ν ≤ 1を満たし、平均場領域では等号が成り立つからである。
• 結合構成により、遠く離れた球からの分離を条件付けることは、確率的透過パラメータをπm(p)倍することに確率的に支配され、p < pcのときπm(p)は1に近い。