[论文解读] Typical Geometry, Second-Order Properties and Central Limit Theory for Iteration Stable Tessellations

Tomasz Schreiber, Christoph Thaele|arXiv (Cornell University)|Jan 6, 2010

Point processes and geometric inequalities参考文献 35被引用 8

一句话总结

本文通过鞅方法与积分几何，为 $\mathbb{R}^d$ 中迭代稳定（STIT）随机分割的长度/面积增量过程建立了功能性中心极限定理，推导出显式的渐近方差公式。结果表明，在平面情形下，总边长收敛于正态分布；而在高维情形下，极限分布为非正态分布，从而为 STIT 及迭代无限可分分割提供了完整的二阶与渐近几何理论。

ABSTRACT

Since the seminal work of Mecke, Nagel and Weiss, the iteration stable (STIT) tessellations have attracted considerable interest in stochastic geometry as a natural and flexible yet analytically tractable model for hierarchical spatial cell-splitting and crack-formation processes. The purpose of this paper is to describe large scale asymptotic geometry of STIT tessellations in $\mathbb{R}^d$ and more generally that of non-stationary iteration infinitely divisible tessellations. We study several aspects of the typical first-order geometry of such tessellations resorting to martingale techniques as providing a direct link between the typical characteristics of STIT tessellations and those of suitable mixtures of Poisson hyperplane tessellations. Further, we also consider second-order properties of STIT and iteration infinitely divisible tessellations, such as the variance of the total surface area of cell boundaries inside a convex observation window. Our techniques, relying on martingale theory and tools from integral geometry, allow us to give explicit and asymptotic formulae. Based on these results, we establish a functional central limit theorem for the length/surface increment processes induced by STIT tessellations. We conclude a central limit theorem for total edge length/facet surface, with normal limit distribution in the planar case and non-normal ones in all higher dimensions.

研究动机与目标

• 为 $\ mathbb{R}^d$ 中的迭代稳定（STIT）分割建立大规模渐近几何理论。
• 分析二阶性质，特别是凸观测窗口内总表面积的方差。
• 为 STIT 分割诱导的增量过程建立功能性中心极限定理。
• 通过鞅方法与积分几何工具，将结果推广至非平稳的迭代无限可分分割。
• 阐明平面与高维情形下极限分布为正态与非正态的根本差异。

提出的方法

• 利用鞅方法将 STIT 分割的典型特征与泊松超平面分割的混合形式联系起来。
• 运用积分几何时工具，推导凸窗口内表面积方差的显式渐近公式。
• 将经典的 Cramér-Wold 方法与功能性中心极限定理技术应用于 STIT 分割的增量过程。
• 利用 $\ mathbb{R}^+$ 上的分割值马尔可夫过程，建模分层细胞分裂，支持分析过程。
• 基于随机稳定性建立平衡方程，分析一阶几何结构与表面积测度。
• 利用仿射 Blaschke-Petkantschin 公式，将几何泛函与弦幂积分 $I_k(W)$ 关联。

实验结果

研究问题

• RQ1 在 $\ mathbb{R}^d$ 中，STIT 分割在凸观测窗口内的总边界表面积的渐近方差是什么？
• RQ2 STIT 分割的二阶性质与泊松超平面分割及泊松-沃罗诺伊分割相比如何？
• RQ3 STIT 分割中总边长/面片表面积增量过程的极限分布是什么？
• RQ4 STIT 分割的中心极限定理在所有维度下是否都收敛于正态分布？还是极限分布依赖于维度？
• RQ5 STIT 分割的 K 函数与对相关函数与泊松线分割相比如何？

主要发现

• 在平面情形（$d=2$）下，STIT 分割的总边长在中心极限定理下收敛于正态分布。
• 对于 $d \geq 3$，总表面积增量的极限分布为非正态分布，表明其渐近行为存在根本的维数依赖性。
• 在凸窗口 $W_R \subset \mathbb{R}^d$ 中，总表面积的渐近方差为 $c_d I_{d-1}(W) R^{2d-2}$（$d \geq 3$），其中 $I_{d-1}(W)$ 为 $W$ 的 $(d-1)$ 阶弦幂积分。
• 对于 $d=2$，渐近方差按 $c_2 I_1(W) R^2 \log R$ 缩放，反映出长程依赖导致的对数修正。
• 泊松超平面分割的方差按 $c_d t I_d(W) R^{2d-1}$ 缩放，显示出与强度 $t$ 及窗口几何形状不同的依赖关系。
• 平面 STIT 分割的 K 函数与对相关函数与泊松线分割极为接近，表明方差比较可能比二阶矩函数分析更具信息量。