[论文解读] Sylvester's question and the Random Acceleration Process

H. J. Hilhorst, Pierre Calka+1 more|arXiv (Cornell University)|Jul 25, 2008

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

一句话总结

本文建立了单位圆内随机凸多边形的西尔维斯特问题与随机加速度过程（RAP）之间的联系，表明当以极角参数化时，多边形的径向边界满足 d²r/dφ² = f(φ)，其中 f(φ) 为高斯白噪声。关键结果是首次推导出随机 n 个点构成凸 n 边形的概率 pn 的渐近展开式中存在非解析的 n¹/⁵ 修正项：log pn = −2n log n + n log(2π²e²) − 2ǫ₀(3π⁴n)¹/⁵ + …，该非解析项源于多边形边靠近圆盘边界，其存在性通过 RAP 特征值分析得到验证。

ABSTRACT

Let n points be chosen randomly and independently in the unit disk. "Sylvester's question" concerns the probability p_n that they are the vertices of a convex n-sided polygon. Here we establish the link with another problem. We show that for large n this polygon, when suitably parametrized by a function r(phi) of the polar angle phi, satisfies the equation of the random acceleration process (RAP), d^2 r/d phi^2 = f(phi), where f is Gaussian noise. On the basis of this relation we derive the asymptotic expansion log p_n = -2n log n + n log(2 pi^2 e^2) - c_0 n^{1/5} + ..., of which the first two terms agree with a rigorous result due to Barany. The nonanalyticity in n of the third term is a new result. The value 1/5 of the exponent follows from recent work on the RAP due to Gyorgyi et al. [Phys. Rev. E 75, 021123 (2007)]. We show that the n-sided polygon is effectively contained in an annulus of width \sim n^{-4/5} along the edge of the disk. The distance delta_n of closest approach to the edge is exponentially distributed with average 1/(2n).

研究动机与目标

• 推导单位圆内 n 个随机点构成凸 n 边形的概率 pn 的渐近行为。
• 建立 n 个随机点在圆盘内凸包的径向边界与随机加速度过程（RAP）之间的联系。
• 解释 log pn 渐近展开式中非解析 n¹/⁵ 修正项的来源。
• 分析凸包到圆盘边界距离的统计特性，特别是其分布与标度行为。

提出的方法

• 通过极坐标变换与归一化，将单位圆内 n 个随机点的径向坐标转化为函数 r(φ)，并在 n → ∞ 时取连续极限。
• 推导出径向函数 r(φ) 满足 RAP 方程 d²r/dφ² = f(φ)，其中 f(φ) 为具有指定相关性的高斯白噪声：⟨f(φ)f(φ′)⟩₀ = (3/2)(2πδ(φ−φ′) − 1)。
• 将 log pn 渐近展开式的余项 Rn 表示为零均值、2π 周期的 RAP 方程解的集合平均 ⟨exp[−2n¹/² max₀≤φ≤2π r(φ)]⟩₀。
• 应用 Györgyi 等人（2007）关于 RAP 的最新结果，计算主导修正项，通过线性特征值问题的最小特征值 ǫ₀ 确定指数 1/5。
• 结合最陡下降法与傅里叶分析，对 r(φ) 的最大值进行上界估计，从而导出期望值 ⟨exp[−2n¹/² max r(φ)]⟩₀ 的渐近估计。
• 精确推导出凸包到圆盘边缘最近距离的边界，证明其在大 n 极限下服从指数分布，均值为 (2n)⁻¹。

实验结果

研究问题

• RQ1 单位圆内 n 个随机点构成凸 n 边形的概率 pn 的渐近行为是什么？
• RQ2 单位圆内 n 个随机点凸包的径向边界如何与随机加速度过程相关联？
• RQ3 为什么 log pn 的渐近展开式中包含非解析的 n¹/⁵ 修正项？该修正项在何种几何条件下出现？
• RQ4 凸包到圆盘边界的距离具有怎样的统计分布？
• RQ5 区域的几何形状（如圆盘、三角形或正方形）如何影响渐近展开式中 n¹/⁵ 项的存在与否？

主要发现

• 单位圆内 n 个随机点构成凸 n 边形的概率的对数渐近展开式为 log pn = −2n log n + n log(2π²e²) − 2ǫ₀(3π⁴n)¹/⁵ + …，其中 n¹/⁵ 项为新发现的非解析修正项。
• 当凸包的极限边界 ∂K′_max 在非零角度区间内与区域边界 ∂K 相切时，n¹/⁵ 项出现，这一现象在圆盘中成立，但在三角形或正方形中不成立。
• 凸包在大 n 时被有效限制在靠近圆盘边缘的环形区域内，宽度约为 ∼n⁻⁴/⁵，表明多边形在大 n 时始终紧邻边界。
• 在大 n 极限下，凸包到圆盘边界的最近距离服从指数分布，其均值为 (2n)⁻¹。
• 展开式中的余项 Rn 关于 n 是非解析的，且该非解析性通过 r(φ) 最大值的上界估计严格建立，无需假设 ǫ₀ 特征值的存在性。
• 修正项中指数 1/5 的来源是 RAP 的谱性质，具体来自与该过程相关联的线性特征值问题的最小特征值 ǫ₀。