[论文解读] Discrepancy, separation and Riesz energy of finite point sets on compact connected Riemannian manifolds

Paul Leopardi|arXiv (Cornell University)|Mar 26, 2014

Mathematical Approximation and Integration参考文献 21被引用 3

一句话总结

该论文证明，在光滑、紧致、连通的黎曼流形上，任意满足渐近等分布性和良好分离性的可容许点集序列，其 Riesz $ s $-能量收敛于连续能量双积分，收敛速率由测地球差异性决定。该结果将先前关于球面上的结果推广至一般黎曼流形，采用 Blümlinger（1988）提出的基于差异性的估计方法。

ABSTRACT

On a smooth compact connected $d$-dimensional Riemannian manifold $M$, if $0 < s < d$ then an asymptotically equidistributed sequence of finite subsets of $M$ that is also well-separated yields a sequence of Riesz $s$-energies that converges to the energy double integral, with a rate of convergence depending on the geodesic ball discrepancy. This generalizes a known result for the sphere.

研究动机与目标

• 将已知的 Riesz 能量收敛结果从单位球面推广至一般的紧致连通黎曼流形。
• 基于测地球差异性，建立有限点集 Riesz $ s $-能量的定量收敛速率。
• 形式化黎曼流形上等分布性、分离性与能量最小化之间的相互作用。
• 提供一种在黎曼几何设定下，利用差异性理论分析能量收敛性的框架。
• 通过几何与测度论工具，弥合离散能量最小化与流形上连续能量积分之间的鸿沟。

提出的方法

• 在 $ d $-维黎曼流形 $ M $ 上，定义有限点集 $ X $ 的归一化 Riesz $ s $-能量，使用测地距离作为核函数。
• 引入归一化球差异性 $ \tilde{\frak{D}}(X) $，作为点集 $ X $ 相对于体积测度 $ \sigma_M $ 分布均匀性的度量。
• 利用 Blümlinger（1988）的差异性估计，通过差异性范数界定离散与连续能量积分之间的差异。
• 证明当 $ 0 < s < d $ 时，点集 $ X $ 的 Riesz $ s $-能量收敛于 $ M \times M $ 上 Riesz 核的双积分，收敛速率依赖于 $ \tilde{\frak{D}}(X) $。
• 将可容许序列定义为同时满足差异性 $ \tilde{\frak{D}}(X_\ell) < \delta(N_\ell) $ 与分离性 $ \operatorname{dist}(x,y) > \Delta(N_\ell) $ 的序列，其中当 $ N_\ell \to \infty $ 时 $ \delta, \Delta \to 0 $。
• 利用 $ M $ 的紧致性与光滑性，确保 Riesz 核及其可积性具有统一有界性，从而支持基于差异性的误差估计。

实验结果

研究问题

• RQ1 能否将球面上有限点集 Riesz $ s $-能量收敛的结果推广至任意紧致连通黎曼流形？
• RQ2 Riesz $ s $-能量的收敛速率对点集几何分布的依赖关系为何？
• RQ3 点集的差异性与分离性特征如何影响其在黎曼流形上的 Riesz 能量？
• RQ4 是否存在一种通用的基于差异性的误差估计，可界定流形上离散与连续 Riesz 能量之间的差异？
• RQ5 能否将用于球面码的方法适配至一般黎曼流形，以证明使用测地距离核的 Riesz 能量收敛性？

主要发现

• 对于任意光滑、紧致、连通的 $ d $-维黎曼流形 $ M $ 及 $ 0 < s < d $，$ M $-码的可容许序列的 Riesz $ s $-能量收敛于连续能量双积分。
• Riesz $ s $-能量的收敛速率受归一化球差异性 $ \tilde{\frak{D}}(X) $ 的常数倍有界，后者量化了点集分布的均匀性。
• 在这些流形上存在分离性为 $ \Delta(N) = \Omega(N^{-1/d}) $ 的良好分离序列，且该阶数因体积堆积约束而最优。
• 该结果推广了先前关于球面的工作，表明在更广义的黎曼设定下，相同的收敛机制依然成立，且基于测地距离。
• 证明依赖于将 Blümlinger 的差异性估计适配至黎曼背景，建立了分布均匀性与能量收敛性之间的定量联系。
• 该框架排除了能量和中的对角项，确保即使在 $ s < d $ 时离散能量仍为有限，这对收敛性分析至关重要。