[論文レビュー] Cylinders' percolation in three dimensions

Marcelo R. Hilário, Vladas Sidoravičius+1 more|arXiv (Cornell University)|Feb 8, 2012

Stochastic processes and statistical mechanics被引用数 1

ひとこと要約

本稿は、3次元空間から半径1の無限円筒のポアソン集合を除去した後の空集合における非自明な相転移を確立する。マルチスケール自己縮小法を用いて、十分に低い強度 u < u* では空集合がほとんど確実に非有界な連結成分を含むことが証明され、u > u* ではそのような成分が存在しないことが示され、長距離相関を持つ障害物を伴う連続媒体の確率的連結性に関する長年の未解決問題が解決される。

ABSTRACT

We study the complementary set of a Poissonian ensemble of infinite cylinders in R^3, for which an intensity parameter u > 0 controls the amount of cylinders to be removed from the ambient space. We establish a non-trivial phase transition, for the existence of an unbounded connected component of this set, as u crosses a critical non-degenerate intensity u*. We moreover show that this complementary set percolates in a sufficiently thick slab, in spite of the fact that it does not percolate in any given plane of R^3, regardless of the choice of u.

研究の動機と目的

• R³から無限円筒を除去して形成される空集合の確率的連結性における非自明な相転移の存在を確立すること。
• 長距離相関による相関の緩やかな減少が続くにもかかわらず、空集合が3次元で連結するかどうかという未解決問題を解明すること。
• 固定された平面では連結しないにもかかわらず、十分に厚いスラブ内では連結が成立することを示すこと。
• 臨界強度 u* が正であることを証明し、非退化した相転移を確立すること。

提案手法

• R³内の直線の空間にポアソン点過程を用い、強度測度を uµ とする。ここで µ は不変なハール測度である。
• 実現 ω における直線の周りの半径1の円筒の和集合の補集合として、空集合 V(ω) を定義する。
• スケール列 (an)n≥1 を an = aγn（γ = 7/6、a0 ≥ 2886）で定義するマルチスケール自己縮小スキームを採用する。
• 円環領域や投影された直線と交差する関連する円筒の数を制限するために、幾何的被覆議論と射影技術を用いる。
• R²への円筒の直交射影を用いて、問題を直線および円環との交差解析に還元する。
• 絶対定数 c0 および c3 を用いて、スケールパrameter a0 に依存しない一様な境界を確立する。

実験結果

リサーチクエスチョン

• RQ1 R³からポアソン的円筒集合を除去した空集合は、強度 u が小さい場合に連結するか？
• RQ2 u* > 0 である非自明な臨界強度 u* が存在し、u < u* のときに限り連結が成立するか？
• RQ3 固定された平面では連結しないにもかかわらず、十分に厚いスラブ内では連結が成立しうるか？
• RQ4 3次元における相関の緩やかな減少（|x−y|−2）が、連結の閾値および証明戦略にどのように影響するか？
• RQ5 円筒の射影および円環領域の幾何的構造が、関連する障害物の数を制御するために果たす役割は何か？

主な発見

• 強度 u が十分に小さいとき、空集合 V はほとんど確実に非有界な連結成分を含むことが示され、超臨界な連結相の存在が確立される。
• 臨界強度 u* が正であることが証明され、3次元における非退化した相転移が裏付けられる。
• 任意の固定された平面では連結しないにもかかわらず、3次元幾何構造のおかげで十分に厚いスラブ内では空集合が連結する。
• 空集合の点の指標関数間の共分散は |x−y|−2 として減少し、長距離相関を示しており、標準的な確率的連結性技法の適用を複雑にする。
• 重要な幾何的構造と交差する円筒の数は、スケールパrameter a0 に依存しない定数 c3 で一様に有界である。
• 証明は、スケール依存の円環および射影を用いたマルチスケール自己縮小フレームワークに依存しており、すべてのスケールで一様な制御が保証される。