2025-11-11T07:01:12.940230

Coupling Invasion and First Passage Percolation

Morelli

It is well known that a continuous first order phase transition in Bernoulli bond percolation on the integer lattice is equivalent to a vanishing probability a vertex is invaded in invasion percolation. We provide a coupling between invasion percolation and first passage percolation with log-uniform passage times, giving a new equivalent condition.

academic

侵入パーコレーションと最初通過パーコレーションの結合

基本情報

論文ID: 2511.05618
タイトル: Coupling Invasion and First Passage Percolation
著者: Aldo Morelli
分類: math.PR (確率論)
発表時期: 2025年11月6日 (arXiv プレプリント)
論文リンク: https://arxiv.org/abs/2511.05618

概要

整数格子上のBernoulliボンドパーコレーションにおける連続一次相転移が、侵入パーコレーションにおいて頂点が侵入される確率がゼロに収束することと等価であることはよく知られている。本論文は、侵入パーコレーションと対数一様分布通過時間を持つ最初通過パーコレーションとの間の結合を提供し、新たな等価条件を与えている。

研究背景と動機

核心問題

本研究が解決しようとする核心問題は、侵入パーコレーション(Invasion Percolation, IP)と最初通過パーコレーション(First Passage Percolation, FPP)の間の関連性を確立することであり、特に結合手法を通じてBernoulliボンドパーコレーションの臨界閾値における連続性問題を研究することである。

問題の重要性

理論的意義:次元2 < d < 11の整数格子Zdにおいて、臨界閾値pc,dで無限連結成分が存在するかどうかは依然として重要な未解決問題である
方法論的価値:異なるパーコレーションモデルを結合することで、最初通過パーコレーションの技術を用いて侵入パーコレーションの性質を研究できる
応用展望:パーコレーションモデルは感染症伝播、ネットワークセキュリティ、量子磁性など多くの分野で重要な応用がある

既存手法の限界

Chayes, ChayesとNewman (1987)は侵入集合の密度と臨界閾値における無限連結成分の存在性との等価関係を確立した
しかし侵入パーコレーションの性質を直接研究することは困難であり、効果的な分析ツールが欠如している

研究動機

著者は侵入パーコレーションと対数一様分布最初通過パーコレーションの結合を確立することで、最初通過パーコレーションの成熟した技術を用いて侵入パーコレーションを研究し、臨界パーコレーションの連続性問題を解決するための新たな道筋を提供することを目指している。

核心的貢献

新たな結合関係の確立:侵入パーコレーションと対数一様分布最初通過パーコレーションの間の精密な結合を初めて構築
等価条件の提供ボンドパーコレーションの連続性に関する新たな等価条件を提示(定理3.1および系3.2)
理論的保証:適切なパラメータ選択の下で、二つのモデルが局所領域内で高確率で一致した振る舞いをすることを証明
数値検証²上の対数一様最初通過パーコレーションのシミュレーション結果を提供し、べき乗則の振る舞いの証拠を観察

方法の詳細

タスク定義

d次元整数格子Zdが与えられたとき、以下の三つのモデルの結合を考える:

Bernoulliボンドパーコレーション:各辺が独立に確率pで含まれる
侵入パーコレーション:原点から開始し、各ステップで重み最小の隣接未侵入辺を侵入
最初通過パーコレーション:各辺に通過時間を割り当て、頂点間の測地距離を定義

結合の構成

同一の確率空間Ω = (0,1^E, F, P)上で、各辺eに独立に重みw(e) ~ U(0,1)を割り当て、次のように設定:

侵入パーコレーションは元の重みw(e)を使用
最初通過パーコレーションの通過時間はτK,e = e^(Kw(e))、ここでK > 0は結合パラメータ

重要な定義

球BR = {v ∈ Zd : d(0,v) ≤ R}に対して、以下を定義:

包含関係が(K,R)対数一様FPPを包含するとは、TK(0,v) < TK(0,∂BR)を満たすすべての頂点vが侵入されること
結合パラメータ(R,ε) := log|ER|/δ(R,ε)、ここでδ(R,ε) = (1-(1-ε)^(1/|ER|))/(|ER|-1)

核心定理

定理3.1:任意のε > 0, r ≥ 0に対して、R₀ = R₀(ε,r)が存在し、すべてのR ≥ R₀に対して:

PIPがBR上で(K,R)対数一様FPPを包含 ≥ 1-ε
P(K,R)対数一様FPPがBr上でIPを包含 ≥ 1-ε

ここでK = K(R,ε/2) = O(ε⁻¹R^(4d)logR)。

系3.2: $\inf_{x∈Z^d} \liminf_{R→∞} P[T_K(0,x) < T_K(0,∂B_R)] = 0 \iff θ_d(p_{c,d}) = 0$

技術的革新点

順序関係の一致性

事象Tδ(ER内の任意の二辺の重み差が少なくともδ)を導入することで、この事象下で侵入順序<IPと最初通過順序<FPPが境界到達前に完全に一致することを証明(補題4.1)。

境界効果の制御

固定されたrに対して、Rが十分大きいとき、Br内の頂点が境界頂点の後に侵入される確率が任意に小さくできることを証明(補題4.2)、これにより局所領域内での二つのモデルの振る舞いの一致性を保証。

パラメータ選択戦略

K = O(ε⁻¹R^(4d)logR)を巧妙に選択し、重み分離の確率要求と指数分布のスケールパラメータのバランスを取る。

実験設定

シミュレーション環境

次元:二次元格子Z²
境界:ℓ¹球BRおよび非対称境界を用いてテスト
パラメータ = K(R,0.01)を定理3.1に従って選択
試行回数:各設定で10,000回の独立試行

評価指標

各頂点x ∈ BRに対して、事象TK(0,x) < TK(0,∂BR)が発生する割合P(x)を記録。

実装ツール

著者はGitHubコードリポジトリを提供:Log Uniform First Passage Percolation Simulation

実験結果

主要な発見

幾何学的形状:境界がℓ¹球であるにもかかわらず、確率等高線は円形の特徴を示し、ある種の幾何学的繰り込み効果の存在を示唆
べき乗則の振る舞い:断面y=0上で、確率分布は近似的に1-|x|^α(R)の形式に従い:
- R=1000のとき、α≈0.23、相関係数r=0.998
- 定理3.1によれば、α(R)→0 (R→∞)
境界不変性:異なる形状の境界(非対称境界-x+|y|=100など)を用いても類似の円形等高線を得る