[论文解读] Stolarsky principle and energy optimization on the sphere

Dmitriy Bilyk, Feng Dai+1 more|arXiv (Cornell University)|Nov 14, 2016

Mathematical Approximation and Integration参考文献 23被引用 11

一句话总结

该论文通过建立几何差异性与球面上离散能量之间的新联系，扩展了Stolarsky不变性原理，表明半球差异性与测地线距离能量相关，并证明测地线能量的极大化器在指数δ上具有关键依赖性，且在δ = 1处出现尖锐转变——这与欧氏情形中临界值为δ = 2的情况形成鲜明对比。

ABSTRACT

The classical Stolarsky invariance principle connects the spherical cap $L^2$ discrepancy of a finite point set on the sphere to the pairwise sum of Euclidean distances between the points. In this paper we further explore and extend this phenomenon. In addition to a new elementary proof of this fact, we establish several new analogs, which relate various notions of discrepancy to different discrete energies. In particular, we find that the hemisphere discrepancy is related to the sum of geodesic distances. We also extend these results to arbitrary measures on the sphere and arbitrary notions of discrepancy and apply them to problems of energy optimization and combinatorial geometry and find that, surprisingly, the geodesic distance energy behaves differently than its Euclidean counterpart.

研究动机与目标

• 将经典的Stolarsky不变性原理推广至新的差异性与能量概念，特别是针对半球和测地线距离。
• 刻画在所有维度d ≥ 1下，使球面上测地线距离之和最大的有限点集。
• 研究概率测度μ在S^d上的能量积分Ig(μ) = ∫∫ d(x,y)^δ dμ(x)dμ(y)，并确定不同δ > 0时其极大化器。
• 比较测地线距离能量与其欧氏对应物的行为，揭示临界指数的根本差异。
• 为新的差异性类型（包括楔形和切片差异性）建立Stolarsky型恒等式，将其与特定势能的离散能量联系起来。

提出的方法

• 通过旋转不变性和几何平均，提供经典Stolarsky不变性原理的新初等证明。
• 通过将球帽替换为半球，推导出半球的Stolarsky原理，并证明L2差异性与测地线距离之和相关。
• 将该原理推广至S^d上的任意概率测度μ，证明对于连续测度，差异性-能量恒等式成立。
• 利用超球多项式展开和正定函数分析能量积分Ig(μ)及其极大化器。
• 应用旋转不变性与对称性方法，计算S^d × S^d上涉及d(x,y)^2的积分，导出V_d的递推公式。
• 通过计算指示函数的双重积分，建立切片和楔形差异性的Stolarsky原理，并将其与测地线距离关联。

实验结果

研究问题

• RQ1 L2半球差异性与球面上点之间测地线距离之和之间有何关系？
• RQ2 对于S^d上的概率测度，测地线距离能量∫∫ d(x,y)^δ dμ(x)dμ(y)的极大化器如何依赖于指数δ？
• RQ3 为何测地线能量极大化器的临界指数与欧氏能量不同（δ = 1 vs. δ = 2）？
• RQ4 Stolarsky型恒等式能否扩展至其他差异性类型，如楔形和切片差异性？
• RQ5 高维球面上平均平方测地线距离的渐近行为如何？

主要发现

• L2半球差异性通过Stolarsky型恒等式与测地线距离之和相关联，该恒等式对所有d ≥ 1成立。
• 当δ ∈ (0,1)时，均匀测度σ是测地线能量积分Ig(μ)的唯一极大化器；当δ = 1时，所有中心对称测度均为极大化器；当δ > 1时，极大化器的形式为1/2(δ_p + δ_{-p})。
• 测地线能量极大化器的临界指数为δ = 1，与欧氏情形中临界值δ = 2形成鲜明对比，揭示了两种设定之间的根本差异。
• 平均平方测地线距离V_d = ∫∫ d(x,y)^2 dσ(x)dσ(y)满足递推关系V_d = V_{d-2} - 2/(π²(d-1)²)，其中V_1 = 1/3且V_2 = 1/2 - 2/π²。
• 当d → ∞时，V_d → 1/4，与测度集中现象一致：高维球面上的大多数点几乎相互正交。
• 已证明切片差异性的Stolarsky原理：4[DL2,slice(Z)]² = (1/N²)∑_{i,j} (1 - d(zi,zj))² - ∫∫ (1 - d(x,y))² dσ(x)dσ(y)，将切片差异性与平方测地线距离能量联系起来。