[论文解读] Monotonicity of the Sample Range of 3-D Data: Moments of Volumes of Random Tetrahedra

Stefan Kunis, Benjamin Reichenwallner+1 more|arXiv (Cornell University)|Dec 6, 2016

Point processes and geometric inequalities参考文献 6被引用 3

一句话总结

本文否定了三维空间中随机点在凸体内的凸包期望体积关于集合包含关系单调性的猜想。通过对方形四面体进行无穷小扰动，并计算一个顶点固定在面重心处的随机单形体积的偶数矩，作者构造出一个反例：在较小集合中的期望体积反而大于在较大集合中的期望体积，从而解决了Meckes提出的一个开放问题，并给出了此类体积在四面体中所有偶数矩的显式公式。

ABSTRACT

The sample range of uniform random points $X_1, \dots , X_n$ chosen in a given convex set is the convex hull ${ m conv}[X_1, \dots, X_n]$. It is shown that in dimension three the expected volume of the sample range is not monotone with respect to set inclusion. This answers a question by Meckes in the negative. The given counterexample is the three-dimensional tetrahedron together with an infinitesimal variation of it. As side result we obtain an explicit formula for all even moments of the volume of a random simplex which is the convex hull of three uniform random points in the tetrahedron and the center of one facet.

研究动机与目标

• 解决三维空间中独立同分布的均匀随机点在凸体 $ K \subset \mathbb{R}^3 $ 内的凸包期望体积是否关于集合包含关系单调的问题。
• 构造一个反例，其中较小的凸体 $ L \subset K $ 的凸包期望体积大于较大的 $ K $，从而反驳Meckes的猜想。
• 计算由四面体中三个均匀随机点与一个面重心构成的随机单形体积的偶数矩。
• 开发并应用一种多项式逼近技术，仅利用矩信息对期望体积进行上界估计。
• 提供四面体中此类随机单形体积所有偶数矩的显式公式，从而实现对反例的精确数值验证。

提出的方法

• 利用Rademacher引理，将单调性问题转化为验证：当一个顶点固定在边界点时，随机单形的期望体积是否不超过该点被随机点替代时的期望体积。
• 将随机单形的一个顶点固定在四面体某一面上的重心，利用对称性简化计算。
• 使用解析积分技巧与符号计算，计算一个顶点固定的随机单形体积的偶数矩。
• 在区间 $[-1/3, 1/3]$ 上对绝对值函数应用单边多项式逼近，通过Hermite插值确保 $ P(x) \to |x| $ 从上方逼近，从而获得期望体积的上界。
• 求解一个有限维线性规划问题，得到 $ n=13 $ 且 $ L=1000 $ 个插值节点的最优多项式逼近，通过有理化节点获得具有有理系数的多项式。
• 利用计算得到的矩信息与多项式上界，证明 $ \mathbb{E}|\text{conv}[X_1,X_2,X_3,c]| < \mathbb{E}|\text{conv}[X_1,X_2,X_3,X_4]| $，从而确立反例。

实验结果

研究问题

• RQ1 在三维空间中，$ n=4 $ 个独立同分布的均匀随机点在凸体 $ K \subset \mathbb{R}^3 $ 内的凸包期望体积是否关于集合包含关系单调？
• RQ2 能否构造出一个反例，使得较小的凸体 $ L \subset K $ 的凸包期望体积大于较大的 $ K $？
• RQ3 由四面体中三个均匀随机点与一个面重心构成的随机单形体积的偶数矩是什么？
• RQ4 能否利用多项式逼近技术，仅基于矩信息对这类单形的期望体积进行上界估计？
• RQ5 四面体设定下体积偶数矩的显式公式是否足以实现对非单调性的精确数值验证？

主要发现

• 四面体中四个均匀随机点的凸包期望体积为 $ \frac{13}{720} - \frac{\pi^2}{15015} \approx 0.01739 $。
• 通过26次偶数次多项式逼近，得到一个顶点固定在面重心的随机单形体积的期望值上界为 $ 0.0173791\ldots $。
• 该上界严格小于完整四面体中的期望体积，从而证明 $ \mathbb{E}|\text{conv}[X_1,X_2,X_3,c]| < \mathbb{E}|\text{conv}[X_1,X_2,X_3,X_4]| $。
• 反例通过对方形四面体进行无穷小扰动构造，表明在 $ \mathbb{R}^3 $ 中期望体积不满足包含关系下的单调性。
• 推导出随机单形体积所有偶数矩的显式公式，支持精确的数值验证。
• 该方法通过结合矩计算与多项式逼近，成功克服了直接计算体积的不可行性，提供了严格的上界估计。