[论文解读] Limit theory for planar Gilbert tessellations

Tomasz Schreiber, Natalia Soja|arXiv (Cornell University)|Apr 30, 2010

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

一句话总结

本文通过稳定化理论，为由齐次泊松点过程生成的平面Gilbert镶嵌建立了极限理论，证明了总边长和幂加权边长等几何泛函的大数定律、方差渐近性及中心极限定理。关键贡献在于严格推导出这些泛函在扩展随机窗口中的渐近正态性与收敛速率。

ABSTRACT

A Gilbert tessellation arises by letting linear segments (cracks) in the plane unfold in time with constant speed, starting from a homogeneous Poisson point process of germs in randomly chosen directions. Whenever a growing edge hits an already existing one, it stops growing in this direction. The resulting process tessellates the plane. The purpose of the present paper is to establish law of large numbers, variance asymptotics and a central limit theorem for geometric functionals of such tessellations. The main tool applied is the stabilization theory for geometric functionals.

研究动机与目标

• 为由泊松点过程产生的平面Gilbert镶嵌的几何泛函发展极限理论。
• 在不断扩大的随机窗口中，建立诸如总边长和幂加权长度等泛函的几乎必然收敛性与渐近正态性。
• 证明这些泛函具有稳定化性质，从而可应用现代Stein方法及几何U统计量的极限定理。
• 通过经验测度及其缩放极限，刻画这些泛函的空间与累积行为。

提出的方法

• 本文利用几何泛函的稳定化性质，表明每个种子对总泛函的贡献仅依赖于其周围的一个有限随机邻域。
• 为每个点定义一个稳定化半径 $ R^+ $，并证明其尾部衰减满足 $ \mathbb{P}(R^+ \geq m) \leq Me^{-Cm/2} $，从而确保弱依赖性。
• 将泛函 $ \xi^+(\bar{x}, \bar{\mathcal{P}}) $ 表示为极限 $ \lim_{\varrho \to \infty} \xi^+(\bar{x}, \bar{\mathcal{P}} \cap B(x, \varrho)) $，并证明其几乎必然有限且可测。
• 作者应用随机几何中已知的极限定理（例如文献[19]中的定理4.1、4.2、4.3），在稳定化与矩条件成立下推导出渐近结果。
• 定义一个随机测度 $ \mu^\phi_\lambda $，用于追踪泛函在扩展方块 $ Q\lambda $ 上的空间分布，并分析其弱收敛性。

实验结果

研究问题

• RQ1 当平面Gilbert镶嵌的窗口大小趋于无穷时，窗口内总边长是否满足大数定律？
• RQ2 这些泛函（如总长度或幂加权长度）的渐近方差是什么？
• RQ3 在扩展区域上，泛函的经验测度是否收敛到一个确定性极限测度？如果是，其密度是什么？
• RQ4 能否为这些泛函建立中心极限定理？收敛速率如何？

主要发现

• 大数定律成立：对所有 $ p \geq 1 $，有 $ \frac{1}{\lambda} \int_{[0,1]^2} f \, d\mu^\phi_\lambda \to \tau E(\tau) \int_{[0,1]^2} f \, dx $ 在 $ L^p $ 范数下收敛，其中 $ E(\tau) = \mathbb{E}[\phi(\xi^+, \xi^-)] $。
• 泛函的方差随窗口大小线性增长，渐近方差由对相关函数与稳定化半径表征。
• 建立了中心极限定理：归一化后的泛函依分布收敛到正态分布，收敛速率由稳定化半径的指数尾部决定。
• 稳定化半径 $ R^+ $ 满足 $ \mathbb{P}(R^+ \geq m) \leq Me^{-Cm/2} $，确保强混合性，从而支持极限定理的应用。
• 无限体积泛函 $ \xi^+(\bar{x}, \bar{\mathcal{P}}) $ 几乎必然有限，且等于 $ R^+/2 $，从而确认了整个平面镶嵌的定义良好性。
• 结果可推广至具有至多多项式增长的泛函 $ \phi $，且在观测窗口的空间缩放下收敛性保持稳健。