[论文解读] 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 → ∞ 时，归一化的对数体积收敛于均值为 0、方差为 1 的高斯分布，且 Berry-Esseen 误差界为 O(1/√log n)。此外，论文还推导出对数体积的精确集中不等式、中等偏差、模-φ 收敛以及在固定或与维度相关的加权参数 µ ∈ (−2, ∞) 下的大型偏差原理。

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.

研究动机与目标

• 建立高维泊松-德拉朗贝尔剖分中典型与加权随机单纯形对数体积的中心极限定理。
• 利用累积量界与矩生成函数分析，推导中心极限定理中收敛速率的精确估计。
• 研究高维下对数体积的集中不等式、中等偏差与大型偏差行为。
• 将结果推广至加权单纯形 Zµ，其中 µ 依赖于维度 n，包括固定 µ 与 µ = nα 或 αn（α > 0）的情形。
• 在 µ 固定时，建立对数体积的模-φ 收敛与大型偏差原理。

提出的方法

• 利用 Palm 测度严格定义泊松-德拉朗贝尔剖分中典型与加权随机单纯形 Zµ。
• 利用 Barnes G-函数与伽马函数的性质，推导 log Vn(Zµ) 的矩生成函数的显式公式。
• 基于 Saulis-Statulevičius 方法使用精确的累积量界，以控制对正态分布的收敛性。
• 利用多 polygamma 函数与 Barnes G-函数的渐近展开，分析对数矩生成函数。
• 应用 G¨artner-Ellis 定理，推导出速度为 1/2 log(n/2)、速率函数为 I(x) = x²/2 的大型偏差原理。
• 通过证明对数矩生成函数收敛于包含 Barnes G-函数的特定极限函数，建立模-φ 收敛。

实验结果

研究问题

• RQ1 在 R^n 中，典型或加权泊松-德拉朗贝尔单纯形的对数体积是否在 n → ∞ 时满足中心极限定理？
• RQ2 对数体积的中心极限定理中，收敛速率为何？能否实现一致有界？
• RQ3 在高维下，归一化对数体积是否满足集中不等式与中等偏差原理？
• RQ4 对数体积的大型偏差行为如何？其尾部衰减是否呈现高斯型？
• RQ5 在适当的中心化与缩放后，对数体积是否发生模-φ 收敛？其极限函数为何？

主要发现

• 当 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 以参数 wn = (1/2) log(n/2) 和极限函数 ψ(z)（涉及 Barnes G-函数）在模高斯意义下收敛。
• 当 µ = −1（典型单纯形）与 µ = 0（体积加权单纯形）时，极限函数 ψ(z) 可显式简化，涉及 Glaisher-Kinkelin 常数。