[論文レビュー] The Boolean Model in the Shannon Regime: Three Thresholds and Related Asymptotics

Venkat Anantharam, François Baccelli|arXiv (Cornell University)|Aug 6, 2014

Point processes and geometric inequalities参考文献 17被引用数 4

ひとこと要約

本稿は、シャノン領域における高次元ブールモデルの漸近的挙動を分析する。ポアソン点過程の強度が $ e^{n\rho_n} $ で、球の半径が $ \bar{X}_n\sqrt{n} $ にスケーリングされる状況を検討する。大偏差原理を用いて、次数、透過、体積分率の3つの異なる閾値を同定し、$ \rho $ がこれらの臨界値を通過する際の接続性、カバー率、無限クラスタ形成における相転移を示す。

ABSTRACT

Consider a family of Boolean models, indexed by integers $n \\ge 1$, where the $n$-th model features a Poisson point process in ${\\mathbb{R}}^n$ of intensity $e^{n \ ho_n}$ with $\ ho_n \ o \ ho$ as $n \ o \\infty$, and balls of independent and identically distributed radii distributed like $\\bar X_n \\sqrt{n}$, with $\\bar X_n$ satisfying a large deviations principle. It is shown that there exist three deterministic thresholds: $\ au_d$ the degree threshold; $\ au_p$ the percolation threshold; and $\ au_v$ the volume fraction threshold; such that asymptotically as $n$ tends to infinity, in a sense made precise in the paper: (i) for $\ ho < \ au_d$, almost every point is isolated, namely its ball intersects no other ball; (ii) for $\ au_d< \ ho< \ au_p$, almost every ball intersects an infinite number of balls and nevertheless there is no percolation; (iii) for $\ au_p< \ ho< \ au_v$, the volume fraction is 0 and nevertheless percolation occurs; (iv) for $\ au_d< \ ho< \ au_v$, almost every ball intersects an infinite number of balls and nevertheless the volume fraction is 0; (v) for $\ ho > \ au_v$, the whole space covered. The analysis of this asymptotic regime is motivated by related problems in information theory, and may be of interest in other applications of stochastic geometry.

研究の動機と目的

• 高次元空間 $ \mathbb{R}^n $ におけるブールモデルの漸近的挙動を、次元に伴うスケーリング則の下で $ n \to \infty $ の極限で特徴づけること。
• 大偏差原理に基づく半径分布の挙動を根拠に、次数閾値 $ \tau_d $、透過閾値 $ \tau_p $、体積分率閾値 $ \tau_v $ の3つの臨界閾値を明確に定義すること。
• 基礎となる大偏差原理のレート関数を用いた最適化問題として、これらの閾値の明示的表現を導出すること。
• 各閾値の近傍における収束速度の精密な漸近的挙動を確立すること、特に相転移領域における挙動を特定すること。
• 従来の決定的結果を、大偏差原理を満たす確率的半径を有する確率的設定に拡張し、特にガウス分布半径の特殊ケースとして既知の結果（例：情報理論における結果）を回復すること。

提案手法

• 強度 $ e^{n\rho_n} $ で $ \rho_n \to \rho $ となるポアソン点過程を用いて、$ \mathbb{R}^n $ におけるブールモデルを形式化する。球の半径は $ \bar{X}_n\sqrt{n} $ であり、$ \bar{X}_n $ はi.i.d.かつ良い強凸レート関数 $ I(\cdot) $ を持つ大偏差原理（LDP）を満たす。
• 3つの閾値を、漸近的確率的挙動に基づいて定義する：$ \tau_d $ はパルム分布における交差するグレインの平均数、$ \tau_p $ は透過確率、$ \tau_v $ は原点のカバー確率に基づく。
• 各閾値を、レート関数 $ I(\cdot) $ を含む変分最適化問題の解として表現する。これはラプラスの原理および大偏差漸近論から導出される。
• Gärtner-Ellis定理を用いてLDPの有効性を保証し、半径分布の指数的順序統計量を導出する。
• スリブニャクの定理を適用してパルム分布を分析し、通常のグレインがプロセスの残りとどのように相互作用するかを研究可能にする。
• ガウス分布半径 $ \bar{X}_n \sim \mathcal{N}(0,\sigma^2) $ の場合に各閾値の明示的公式を導出し、$ \tau_d < \tau_p < \tau_v $ の順序が成り立つことを検証する。

実験結果

リサーチクエスチョン

• RQ1 シャノン領域における高次元ブールモデルにおいて、次数、透過、体積分率の3つの臨界閾値は何か？
• RQ2 これらの閾値は半径分布の大偏差レート関数にどのように依存するか？
• RQ3 強度パラメータ $ \rho $ がこれらの閾値の間隔にある場合、システムの漸近的挙動はどのように変化するか？
• RQ4 各閾値の近傍における収束速度の挙動はどのようなものか？また、大偏差理論を用いて定量的に評価可能か？
• RQ5 ガウス分布半径の特別な場合では何が起こり、閾値は情報理論における既知の結果とどのように比較できるか？

主な発見

• 3つの明確に区別される閾値 $ \tau_d < \tau_p < \tau_v $ が存在する。$ \tau_d $ は交差グレインの期待数が有限から無限に移行する境界を示し、$ \tau_p $ は透過が発生しない状態から透過が発生する状態への遷移を示し、$ \tau_v $ はカバー率がゼロから完全にカバーされる状態への遷移を示す。
• 分散 $ \sigma^2 $ のガウス分布半径の場合、体積分率閾値は $ \tau_v = -\frac{1}{2}\log(2\pi e\sigma^2) - \frac{1}{2}(\log 4 - 1) $ であり、これに対応する半径は $ R_v = \sigma\sqrt{2} $ である。
• 次数閾値は $ \tau_d = -\frac{1}{2}\log(2\pi e\sigma^2) - \frac{1}{2}(\log(27/2) - 1) $ であり、対応する半径は $ R_d = \sigma\sqrt{3/2} $ である。
• 透過閾値は $ \tau_p = -\frac{1}{2}\log(2\pi e\sigma^2) - \frac{1}{2}(\log(c^2(1+c)^2) - c^2 + 1) $ を満たし、ここで $ c \approx 1.24698 $ は方程式 $ c^3 + c^2 - 2c - 1 = 0 $ の唯一の正の解である。
• 決定的ケース、すなわち $ \bar{X}_n = R^*_n \to R^* $ の場合、透過閾値と次数閾値は一致し、両者とも体積分率閾値より $ \log 2 $ 小さい。
• 各閾値の近傍では、本稿は収束速度の精密な漸近的挙動を導出し、ラプラスの原理および大偏差理論を用いて、確率の指数的減少または増加が、状態に応じて明確に特定されることを示している。