In this paper, we study rare events in spherical and Gaussian random geometric graphs in high dimensions. In these models, the vertices correspond to points sampled uniformly at random on the $d$ dimensional unit sphere or correspond to $d$ dimensional standard Gaussian vectors, and edges are added between two vertices if the inner-product between their corresponding points are greater than a threshold $t_p$, chosen such that the probability of having an edge is equal to $p$. We focus on two problems: (a) the probability that the RGG is a complete graph, and (b) the probability of observing an atypically large number of edges. We obtain asymptotically exponential decay rates depending on $n$ and $d$ of the probabilities of these rare events through a combination of geometric and probabilistic arguments.
論文ID : 2510.09196タイトル : Rare event probabilities in Random Geometric Graphs著者 : Prabhanka Deka(北京大学北京国際数学研究センター)、Fangzhou Luo(北京大学数学科学学院)、Baichuan Wu(北京大学数学科学学院)分類 : math.PR(確率論)発表日時 : 2025年10月10日(arXivプレプリント)論文リンク : https://arxiv.org/abs/2510.09196 本論文は、高次元球面およびガウスランダム幾何グラフにおける稀有事象を研究する。これらのモデルでは、頂点はd次元単位球面上の均一ランダムサンプリング点またはd次元標準ガウスベクトルに対応し、2つの頂点に対応する点の内積が閾値t p t_p t p を超える場合にそれらの間にエッジが追加される。ここでt p t_p t p はエッジが存在する確率がpに等しくなるように選択される。本論文は2つの問題に焦点を当てている:(a) ランダム幾何グラフが完全グラフである確率、および(b) 異常に多数のエッジが観測される確率。幾何学的および確率論的議論の組み合わせにより、これらの稀有事象の確率の漸近指数減衰率を得た。この減衰率は頂点数n n n と次元数d d d に依存する。
本論文で研究される中核的な問題は、高次元ランダム幾何グラフにおける2つのクラスの稀有事象の分析である:
完全グラフ確率 :ランダム幾何グラフが完全グラフ(すべての頂点対の間にエッジがある)となる確率エッジ数の大偏差 :異常に多数のエッジが観測される確率理論的意義 :ランダム幾何グラフは複雑系のモデリングの基礎的ツールであり、計算機科学、生物学、社会学、物理学など多くの分野で広く応用されている実用的応用 :
異常検知と仮説検定 高次元データにおけるクリーク構造の分析 幾何ネットワークモデルのロバスト性分析 ニューラルネットワークとカーネル法における内積ベースの類似度測定 先行研究は主に次元数d d d を固定し、頂点数n n n を無限大に趨向させている 高次元稠密ランダム幾何グラフの系統的分析が不足している エッジ間の複雑な依存関係により分析が困難である 完全な理論的枠組みの構築 :球面およびガウスランダム幾何グラフにおける稀有事象の統一的分析方法を提供精密な減衰率の導出 :異なるn n n とd d d の関係下で、完全グラフ確率とエッジ数大偏差確率の上界と下界を提供革新的な技術ツールの開発 :
球面対称重排技術の応用 2つのモデル間の結合法 幾何学的および確率論的議論の有機的結合 次元効果の解明 :高次元の場合、ランダム幾何グラフの挙動がErdős-Rényiモデルに近いことを発見し、低次元では異なる特性を示すことを明らかにした頂点:( X 1 , … , X n ) (X_1, \ldots, X_n) ( X 1 , … , X n ) がd次元単位球面S d − 1 S^{d-1} S d − 1 上に独立同分布で均一に分布 エッジ:⟨ X i , X j ⟩ ≥ t p \langle X_i, X_j \rangle \geq t_p ⟨ X i , X j ⟩ ≥ t p のとき、頂点i i i とj j j の間にエッジが存在 閾値:P ( ⟨ X 1 , X 2 ⟩ ≥ t p ) = p P(\langle X_1, X_2 \rangle \geq t_p) = p P (⟨ X 1 , X 2 ⟩ ≥ t p ) = p となるようにt p t_p t p を選択 頂点:( X ~ 1 , … , X ~ n ) (\tilde{X}_1, \ldots, \tilde{X}_n) ( X ~ 1 , … , X ~ n ) がd次元標準正規分布に独立同分布で従う エッジ:⟨ X ~ i , X ~ j ⟩ ≥ t ~ p \langle \tilde{X}_i, \tilde{X}_j \rangle \geq \tilde{t}_p ⟨ X ~ i , X ~ j ⟩ ≥ t ~ p のとき、頂点i i i とj j j の間にエッジが存在 閾値:P ( ⟨ X ~ 1 , X ~ 2 ⟩ ≥ t ~ p ) = p P(\langle \tilde{X}_1, \tilde{X}_2 \rangle \geq \tilde{t}_p) = p P (⟨ X ~ 1 , X ~ 2 ⟩ ≥ t ~ p ) = p となるようにt ~ p \tilde{t}_p t ~ p を選択 X ~ / ∥ X ~ ∥ \tilde{X}/\|\tilde{X}\| X ~ /∥ X ~ ∥ が球面上で均一に分布することを観察することにより、2つのモデル間の結合関係を確立:
補題 3.2 :固定p < 1 / 2 p < 1/2 p < 1/2 と小さいδ > 0 \delta > 0 δ > 0 に対して、定数c δ , Δ δ c_\delta, \Delta_\delta c δ , Δ δ が存在し、以下が成立:
P n , d ( E ~ ( n , d , p ) ) ≤ exp ( − c δ d n ) + 2 n P n , d ( E ( ( 1 − δ ) n , d , q ) ) P_{n,d}(\tilde{E}(n,d,p)) \leq \exp(-c_\delta dn) + 2^n P_{n,d}(E((1-\delta)n, d, q)) P n , d ( E ~ ( n , d , p )) ≤ exp ( − c δ d n ) + 2 n P n , d ( E (( 1 − δ ) n , d , q ))
球面上の複雑な幾何学的制約を処理するために対称重排を利用:
定理 3.4 :球面上の関数f 1 , … , f n f_1, \ldots, f_n f 1 , … , f n と増加関数K i , j K_{i,j} K i , j に対して、以下が成立:
I [ f 1 , … , f n ] ≤ I [ f 1 ∗ , … , f n ∗ ] I[f_1, \ldots, f_n] \leq I[f_1^*, \ldots, f_n^*] I [ f 1 , … , f n ] ≤ I [ f 1 ∗ , … , f n ∗ ]
ここでf ∗ f^* f ∗ はf f f の対称重排を表す。
補題 3.1 :固定p ∈ ( 0 , 1 ) p \in (0,1) p ∈ ( 0 , 1 ) に対して、d → ∞ d \to \infty d → ∞ のとき:
t ~ p = ( Φ − 1 ( p ) + o ( 1 ) ) d \tilde{t}_p = (\Phi^{-1}(p) + o(1))\sqrt{d} t ~ p = ( Φ − 1 ( p ) + o ( 1 )) d t p = ( Φ − 1 ( p ) + o ( 1 ) ) / d t_p = (\Phi^{-1}(p) + o(1))/\sqrt{d} t p = ( Φ − 1 ( p ) + o ( 1 )) / d Erdős-Rényi型下界 :幾何学的議論によりP ( E ) ≥ p ( n 2 ) P(E) \geq p^{\binom{n}{2}} P ( E ) ≥ p ( 2 n ) を証明バイアス議論 :ガウスモデルにおいて、すべてのベクトルの第1座標に小さなバイアスを導入次元依存界 :log n < ε d \log n < \varepsilon d log n < ε d のとき、P ( E ~ ) ≥ exp ( − C n d log n ) P(\tilde{E}) \geq \exp(-Cn\sqrt{d \log n}) P ( E ~ ) ≥ exp ( − C n d log n ) ベイズ議論 :統計量S = ∑ i ≠ j ⟨ X ~ i , X ~ j ⟩ S = \sum_{i \neq j} \langle \tilde{X}_i, \tilde{X}_j \rangle S = ∑ i = j ⟨ X ~ i , X ~ j ⟩ の性質を利用球帽過程分析 :対称重排により複雑な凸集合過程を球帽過程に変換モーメント生成関数法 :エッジ数偏差問題に指数マルコフ不等式を適用定理 2.1 と定理 2.2 に従い、完全グラフ確率は異なる次元区間で異なる減衰率を示す:
次元区間 下界 上界 d ≳ n 2 d \gtrsim n^2 d ≳ n 2 − C n 2 -Cn^2 − C n 2 − c n 2 -cn^2 − c n 2 n 2 / log n ≲ d ≲ n 2 n^2/\log n \lesssim d \lesssim n^2 n 2 / log n ≲ d ≲ n 2 − C n d -Cn\sqrt{d} − C n d − c n 2 -cn^2 − c n 2 n 4 / 3 + o ( 1 ) ≲ d ≲ n 2 / log n n^{4/3+o(1)} \lesssim d \lesssim n^2/\log n n 4/3 + o ( 1 ) ≲ d ≲ n 2 / log n − C n d -Cn\sqrt{d} − C n d − c n d log n -cn\sqrt{d \log n} − c n d log n log n ≲ d ≲ n 4 / 3 + o ( 1 ) \log n \lesssim d \lesssim n^{4/3+o(1)} log n ≲ d ≲ n 4/3 + o ( 1 ) − C n d log n -Cn\sqrt{d \log n} − C n d log n − c n d log n -cn\sqrt{d \log n} − c n d log n d ≲ log n d \lesssim \log n d ≲ log n − C n d -Cnd − C n d − c n d -cnd − c n d
定理 2.3 と定理 2.4 はエッジ数大偏差の精密な界を与える:
事象I ε : = { ∣ E ( G ) ∣ ≥ ( 1 + ε ) ( n 2 ) p } I_\varepsilon := \{|E(G)| \geq (1+\varepsilon)\binom{n}{2}p\} I ε := { ∣ E ( G ) ∣ ≥ ( 1 + ε ) ( 2 n ) p } に対して、以下が成立:
exp ( − c min ( n 2 , n d ) ) ≤ P ( I ε ) ≤ exp ( − C min ( n 2 , n d ) ) \exp(-c\min(n^2, n\sqrt{d})) \leq P(I_\varepsilon) \leq \exp(-C\min(n^2, n\sqrt{d})) exp ( − c min ( n 2 , n d )) ≤ P ( I ε ) ≤ exp ( − C min ( n 2 , n d ))
次元閾値効果 :d ≳ n d \gtrsim \sqrt{n} d ≳ n のとき、減衰率はexp ( − Ω ( n 2 ) ) \exp(-\Omega(n^2)) exp ( − Ω ( n 2 )) であり、Erdős-Rényiモデルに類似している幾何効果の保持 :d ≲ n d \lesssim \sqrt{n} d ≲ n のとき、減衰率はexp ( − Ω ( n d ) ) \exp(-\Omega(n\sqrt{d})) exp ( − Ω ( n d )) であり、幾何構造の影響を反映している上下界の一致 :区間d ≥ n 2 d \geq n^2 d ≥ n 2 とd ≤ n 4 / 3 + o ( 1 ) d \leq n^{4/3+o(1)} d ≤ n 4/3 + o ( 1 ) で一致した上下界を得たDevroye等(2011) :d ≫ log ( n ) d \gg \log(n) d ≫ log ( n ) の場合のクリーク数問題を研究Bubeck等(2016) :幾何的検出可能性の相転移を確立:d ≪ n 3 d \ll n^3 d ≪ n 3 のとき幾何的に検出可能、d ≫ n 3 d \gg n^3 d ≫ n 3 のとき検出不可能Chatterjee & Harel(2020) :ポアソン点過程により生成されたランダム幾何グラフにおけるエッジ数の大偏差を研究Schreiber & Yukich(2005) :空間点過程汎関数の大偏差原理を確立Draghici(2005) :球面上の重排不等式理論を発展させ、本論文の核心的技術ツールの基礎を提供X ~ / ∥ X ~ ∥ \tilde{X}/\|\tilde{X}\| X ~ /∥ X ~ ∥ の球面投影により2つのモデル間の関連性を確立し、重複分析の複雑性を回避。
対称重排という幾何学的分析ツールを革新的に確率論の問題に応用し、特に複雑なエッジ依存関係の処理において有効。
異なる( n , d ) (n,d) ( n , d ) 関係に対して統一的な分析枠組みを構築し、低次元から高次元への遷移挙動を解明。
技術的制限 :中間区間n 4 / 3 ≲ d ≲ n 2 n^{4/3} \lesssim d \lesssim n^2 n 4/3 ≲ d ≲ n 2 において上下界にギャップが存在モデル的制限 :主にp ≤ 1 / 2 p \leq 1/2 p ≤ 1/2 の場合を考慮し、p > 1 / 2 p > 1/2 p > 1/2 の分析は相対的に限定的方法的制限 :対称重排過程における情報損失により、いくつかの界が十分に厳密でない理論的界の改善 :中間区間の上下界のギャップを縮小モデルの拡張 :より一般的なp p p 値と他の幾何学的度量を考慮アルゴリズム応用 :理論的結果を実際のネットワーク分析と機械学習問題に応用動的モデル :時変ランダム幾何グラフの稀有事象を研究理論的深さ :幾何学、確率論、解析学の深い結果を結合した完全な数学的理論枠組みを構築技術的革新 :対称重排技術のランダムグラフ理論への応用は開拓的結果の完全性 :複数の次元区間で精密な上下界を提供し、問題の複雑性を示現方法の汎用性 :開発された技術は他の幾何学的ランダムグラフ問題に推広可能完全性の欠陥 :中間区間の上下界の不一致が結果の完全性に影響実用性の制限 :主に理論的結果であり、数値検証と実用的応用の展示が不足技術的複雑性 :証明技術が複雑であり、結果の推広可能性を制限する可能性理論的貢献 :高次元ランダム幾何グラフ理論に重要な理論的基礎を提供方法論的貢献 :対称重排技術の応用は関連問題に新しい分析ツールを提供啓発的価値 :次元がランダム幾何グラフにおいて果たす重要な役割を解明し、後続研究に方向性を提供理論研究 :ランダムグラフ理論、幾何確率論、高次元現象研究応用分野 :ネットワーク科学、機械学習におけるカーネル法、高次元統計アルゴリズム設計 :幾何グラフベースのアルゴリズム分析と最適化本論文はランダム幾何グラフの稀有事象分析において重要な理論的突破を達成した。対称重排技術と確率論的方法を革新的に結合することにより、高次元球面およびガウスランダム幾何グラフにおける完全グラフ確率とエッジ数大偏差問題に対して系統的な分析を提供した。いくつかの技術的詳細においてなお改善の余地があるが、構築された理論的枠組みと得られた深い結果は当該分野の発展に堅実な基礎を築き、重要な学術的価値と啓発的意義を有している。