[論文レビュー] The volume of simplices in high-dimensional Poisson-Delaunay tessellations

Anna Gusakova, Christoph Thäle|arXiv (Cornell University)|Sep 12, 2019

Point processes and geometric inequalities参考文献 48被引用数 9

ひとこと要約

本稿は、高次元のポアソン・デローラン図における重み付きランダム単体の対数体積に関して、中心極限定理を確立する。n → ∞ のとき、正規化された対数体積は、Berry-Esseenの上限が O(1/√log n) のオーダーであるガウス分布に収束することが示され、重みパラメータ µ ∈ (−2, ∞) が固定または次元に依存する場合の、鋭い集中不等式、中程度の偏差、mod-φ収束、および大偏差原理が得られる。

ABSTRACT

Typical weighted random simplices $Z_{\mu}$, $\mu\in(-2,\infty)$, in a Poisson-Delaunay tessellation in $\mathbb{R}^n$ are considered, where the weight is given by the $(\mu+1)$st power of the volume. As special cases this includes the typical ($\mu=-1$) and the usual volume-weighted ($\mu=0$) Poisson-Delaunay simplex. By proving sharp bounds on cumulants it is shown that the logarithmic volume of $Z_{\mu}$ satisfies a central limit theorem in high dimensions, that is, as $n o\infty$. In addition, rates of convergence are provided. In parallel, concentration inequalities as well as moderate deviations are studied. The set-up allows the weight $\mu=\mu(n)$ to depend on the dimension $n$ as well. A number of special cases are discussed separately. For fixed $\mu$ also mod-$\phi$ convergence and the large deviations behaviour of the logarithmic volume of $Z_{\mu}$ are investigated.

研究の動機と目的

• 高次元ポアソン・デローラン図における典型および重み付きランダム単体の対数体積に関する中心極限定理を確立すること。
• モーメント生成関数の解析と Cumulant 界を用いて、中心極限定理における収束レートを鋭く導出すること。
• 高次元における正規化された対数体積の集中不等式、中程度の偏差、および大偏差挙動を調査すること。
• 重みパラメータ µ が次元 n に依存する場合、すなわち固定 µ または µ = nα や αn（α > 0）の場合に、結果を拡張すること。
• µ が固定の場合に、対数体積の mod-φ 収束および大偏差原理を確立すること。

提案手法

• パルム分布を用いて、ポアソン・デローラン図における典型および重み付きランダム単体 Zµ を厳密に定義する。
• バーンズ G-関数およびガンマ関数の性質を用いて、log Vn(Zµ) のモーメント生成関数の明示的公式を導出する。
• Saulis-Statulevičius 法に基づく鋭い Cumulant 界を適用し、正規性への収束を制御する。
• 多ディーガンマ関数およびバーンズ G-関数の漸近展開を用いて、対数モーメント生成関数を分析する。
• G¨artner-Ellis 定理を用いて、速度 1/2 log(n/2) および率関数 I(x) = x²/2 の大偏差原理を導出する。
• 対数モーメント生成関数がバーンズ G-関数を含む特定の極限関数に収束することを示し、mod-φ 収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 R^n における典型または重み付きポアソン・デローラン図単体の対数体積は、n → ∞ のとき中心極限定理を満たすか？
• RQ2 対数体積の中心極限定理における収束レートは何か？ そして、一様に界を付けることができるか？
• RQ3 高次元における正規化された対数体積に対して、集中不等式および中程度の偏差原理が成り立つか？
• RQ4 対数体積の大偏差挙動は何か？ そして、ガウス型の尾部減衰に従うか？
• RQ5 適切な中心化およびスケーリングの後、対数体積は mod-φ 収束を示すか？ また、極限関数は何か？

主な発見

• 期待値 E[Yn] は、n → ∞ のとき E[Yn] = −(n/2) log n − log γ + O(n) を満たす。
• 対数体積の分散は Var(Yn) = (1/2) log n + O(1) であり、対数的成長を示す。
• 正規化された対数体積 (Yn − E[Yn])/√Var(Yn) は、標準正規分布に分布収束し、Berry-Esseen の上限が O(1/√log n) である。
• 速度 1/2 log(n/2) および率関数 I(x) = x²/2 の大偏差原理が成り立ち、ガウス型の尾部減衰を示す。
• 固定された µ ∈ (−2, ∞) に対して、列 (Yµ,n − mn)n∈N はパrameters wn = (1/2) log(n/2) およびバーンズ G-関数を含む極限関数 ψ(z) に対して mod-ガウス的収束を示す。
• 極限関数 ψ(z) は、µ = −1（典型単体）および µ = 0（体積重み付き単体）の場合に明示的に簡約され、Glaisher-Kinkelin 定数を含む。