[论文解读] Connectivity properties of random interlacement and intersection of random walks

Balázs Ráth, Artëm Sapozhnikov|arXiv (Cornell University)|Dec 21, 2010

Stochastic processes and statistical mechanics参考文献 17被引用 47

一句话总结

本文確立了在 Z^d（d ≥ 3）上由泊松點過程生成的雙無限隨機游動軌跡所構成的隨機交織圖的精確直徑。證明顯示，幾乎必然地，交織圖中任意兩頂點之間的連接路徑最多僅需 ⌈d/2⌉ 條軌跡，且存在某些頂點對必須恰好使用 ⌈d/2⌉ 條軌跡才能連接，從而精化了 Sznitman 對連通性的結果，並透過容量與威納檢驗技術，提供了對交織結構的精確幾何理解。

ABSTRACT

We consider the interlacement Poisson point process on the space of doubly-infinite Z^d-valued trajectories modulo time-shift, tending to infinity at positive and negative infinite times. The set of vertices and edges visited by at least one of these trajectories is the random interlacement at level u of Sznitman arXiv:0704.2560 . We prove that for any u>0, almost surely, (1) any two vertices in the random interlacement at level u are connected via at most ceiling(d/2) trajectories of the point process, and (2) there are vertices in the random interlacement at level u which can only be connected via at least ceiling(d/2) trajectories of the point process. In particular, this implies the already known result of Sznitman arXiv:0704.2560 that the random interlacement at level u is connected.

研究动机与目标

• 確定由 Z^d 上泊松分佈的雙無限隨機游動軌跡所形成的隨機交織圖的精確連通直徑。
• 透過量化連接任意兩頂點所需的最少軌跡數量，精化 Sznitman 對隨機交織圖幾乎必然連通性的結果。
• 確立對於所有 d ≥ 3 和 u > 0，交織圖的直徑恰好為 ⌈d/2⌉。
• 利用容量與泊松點過程的條件獨立性性質，對交織過程中軌跡的相互交織方式提供幾何特徵描述。

提出的方法

• 作者將隨機交織建模為定義在雙無限軌跡空間（模時間平移）上的泊松點過程 μ，其強度測度與容量成正比。
• 定義一個隨機圖 G，其中頂點為 μ 的支集中的軌跡，若兩條軌跡相交則連接邊，隨後分析其直徑。
• 證明使用耦合論證：將 μ 分解為 s_d - 1 個獨立的泊松過程，每個強度降低，各自生成一個子圖 G′，其直徑至多為 s_d。
• 關鍵工具包括隨機游動的強馬爾可夫性、給定離開點時前向與後向路徑的條件獨立性，以及基於威納檢驗與平衡測度的估計。
• 作者透過隨機維度論證，利用連接遠距離點所需軌跡數量的性質，並利用在 d ≥ 5 時簡單隨機游動的範圍具有正容量的事實。
• 他們利用受限測度 μ^{(i)}_r 與 μ^{(i)}_{r,∞} 的獨立性，將不同泊松組分中的軌跡耦合，並透過中間軌跡建立路徑連通性。

实验结果

研究问题

• RQ1 在隨機交織圖中，幾乎必然地連接任意兩頂點所需的最少軌跡數量是多少？
• RQ2 隨機交織圖的直徑是否嚴格有界？若是，其精確值如何以維度 d 表示？
• RQ3 除了幾乎必然連通性之外，是否能透過確定形成路徑所需軌跡交點的精確數量，來量化隨機交織的連通性？
• RQ4 交織圖的結構如何依賴於維度 d，特別是在軌跡交織方式與路徑長度方面的影響？
• RQ5 能否透過將泊松過程分解為具有受控連通性的獨立組分，來推導出直徑結果？

主要发现

• 對於所有 d ≥ 3 和 u > 0，隨機交織圖的直徑幾乎必然恰好為 ⌈d/2⌉。
• 交織圖中存在某些頂點對僅能透過至少 ⌈d/2⌉ 條軌跡連接，從而證明了邊界的精確性。
• 透過將原始泊松過程耦合為 s_d - 1 個獨立組分（每組強度為 u/(s_d - 1)），使得所得圖的直徑至多為 s_d，從而達成該邊界。
• 該結果提供了 Sznitman（2010）所建立的隨機交織圖幾乎必然連通性的一種替代證明，並賦予其精確的幾何解釋。
• 證明依賴於受限泊松測度的獨立性與強馬爾可夫性，以在不相交的軌跡組分之間構造連接路徑。
• 分析確認，連通結構由維度 d 決定，直徑隨 d 以階梯式方式線性增長，且由上取整函數精確描述。