[论文解读] On central limit theorems in stochastic geometry

Khanh Duy Trinh|arXiv (Cornell University)|Apr 9, 2018

Topological and Geometric Data Analysis参考文献 6被引用 5

一句话总结

本文通过基于强稳定性和去泊松化的新型方法，为随机几何中非齐次泊松点过程和二项点过程上的一般泛函建立了中心极限定理（CLT）。关键贡献是在热力学极限下，对非均匀密度和一般半径下的随机几何复形的贝蒂数建立了CLT，无需假设强度密度的黎曼可积性，从而将先前结果推广至更广泛的分布和半径类别。

ABSTRACT

We establish central limit theorems for general functionals on binomial point processes and their Poissonized version. As an application, a central limit theorem for Betti numbers of random geometric complexes in the thermodynamic regime is derived.

研究动机与目标

• 将中心极限定理（CLT）推广至非均匀和非齐次的二项点过程与泊松点过程上的泛函，超越以往的均匀和齐次情形。
• 消除对底层点过程服从均匀分布的限制性假设，该假设曾使先前结果局限于特定设置。
• 在强度密度和半径的最小条件下，为热力学极限下随机几何复形的贝蒂数建立中心极限定理。
• 提出一个基于强稳定性和去泊松化的全新理论框架，适用于非齐次泊松过程和二项过程。

提出的方法

• 提出一种基于齐次泊松点过程上泛函强稳定性的新CLT方法，通过加一点代价函数 $ D_0(\rho) = H(\rho \triangle \text{point}) - H(\rho) $ 定义，确保在远处点扰动下保持稳定性。
• 应用去泊松化技术，将泊松化过程的CLT结果转移至二项过程，强稳定性的技术条件为关键前提。
• 利用三角阵列CLT（定理2.1）和极限引理（引理2.2），在矩条件和方差条件下建立分布收敛于正态分布的结论。
• 采用缩放 $ n^{1/d} $ 以维持热力学极限，即当 $ n \to \infty $ 时强度保持恒定，确保单位体积内点数的期望为有限值。
• 将一般框架应用于贝蒂数 $ \beta_k $，证明当 $ r < \lambda^{-1/d} r_c $ 时，泛函 $ H_r({\mathfrak{X}}) = \beta_k({\mathcal{C}}({\mathfrak{X}}, r)) $ 是强稳定的，其中 $ r_c $ 为渗滤临界半径。
• 通过空组件渗滤的对偶性，扩展有效半径的范围，证明当 $ d=2 $ 时，$ H_r $ 在 $ {\mathcal{P}}(\lambda) $ 上对所有 $ \lambda $ 均为强稳定。

实验结果

研究问题

• RQ1 能否在不假设均匀性或齐次性的前提下，为非齐次二项点过程和泊松点过程上的一般泛函建立中心极限定理？
• RQ2 泛函和强度测度需满足何种条件才能确保强稳定性，从而实现去泊松化并推导出CLT？
• RQ3 在热力学极限下，对于非均匀密度和一般半径，随机几何复形的贝蒂数CLT是否仍然成立？
• RQ4 渗滤临界半径 $ r_c $ 及其对偶 $ r_c^* $ 如何影响贝蒂数泛函为强稳定的半径范围？
• RQ5 现有贝蒂数CLT结果中，对密度 $ f $ 的黎曼可积性假设是否可被移除？

主要发现

• 在强稳定性和矩条件的约束下，为非齐次泊松点过程和二项点过程上的泛函建立了通用CLT，扩展了以往要求均匀性的结果。
• 泊松化过程的极限方差为 $ \sigma_k^2 = \int \hat{\sigma}_k^2(f(x), r) \, dx $，而二项过程的极限方差为 $ \tau_k^2 < \sigma_k^2 $，反映了依赖结构的差异。
• 对于贝蒂数 $ \beta_k $，当 $ r < \lambda^{-1/d} r_c $ 时，泛函 $ H_r $ 在 $ {\mathcal{P}}(\lambda) $ 上为强稳定，其中 $ r_c $ 为渗滤临界半径。
• 在二维情况下，$ H_r $ 对所有 $ r > 0 $ 均为强稳定，因为 $ I_2 = \emptyset $，意味着半径无限制。
• 在热力学极限下，贝蒂数的CLT成立，条件为 $ n^{1/d} r_n \to r \in (0, \Lambda^{-1/d} r_c) $，其中 $ \Lambda = \sup f(x) $，且无需假设 $ f $ 的黎曼可积性。
• 通过移除对 $ f $ 的黎曼可积性假设，将文献[11]中的定理13.26和13.27推广，扩大了现有CLT框架的适用范围。