[论文解读] Optimal Discrete Riesz Energy and Discrepancy

Johann S. Brauchart|arXiv (Cornell University)|Mar 16, 2011

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

一句话总结

本文研究了单位球面 $\mathbb{S}^d$ 上最优 Riesz $s$-能量配置的渐近行为，以及通过 Stolarsky 不变量原理与球帽 $\mathbb{L}_2$-失散度之间的联系。提出了关于能量展开主项的猜想，并推导出相应的失散度界，表明当 $s = -1$ 时，最优能量配置可实现近似最优失散度，且显式给出了涉及 zeta 和伯努利函数的渐近展开式。

ABSTRACT

The Riesz $s$-energy of an $N$-point configuration in the Euclidean space $\mathbb{R}^{p}$ is defined as the sum of reciprocal $s$-powers of all mutual distances in this system. In the limit $s o0$ the Riesz $s$-potential $1/r^s$ ($r$ the Euclidean distance) governing the point interaction is replaced with the logarithmic potential $\log(1/r)$. In particular, we present a conjecture for the leading term of the asymptotic expansion of the optimal $\IL_2$-discrepancy with respect to spherical caps on the unit sphere in $\mathbb{R}^{d+1}$ which follows from Stolarsky's invariance principle [Proc. Amer. Math. Soc. 41 (1973)] and the fundamental conjecture for the first two terms of the asymptotic expansion of the optimal Riesz $s$-energy of $N$ points as $N o \infty$.

研究动机与目标

• 建立关于 $\mathbb{S}^d$ 上 $N$ 个点的最优 Riesz $s$-能量 $\mathcal{E}_s(\mathbb{S}^d; N)$ 的猜想渐近展开式，其中 $-2 < s < d+2$，$s \neq 0,d$。
• 通过 Stolarsky 不变量原理，将球帽分布的 $\mathbb{L}_2$-失散度与 Riesz $s$-能量联系起来。
• 利用已知的能量展开式，推导出 $s = -1$ 时球帽失散度的主阶渐近行为。
• 分析最优能量配置的失散度性质，特别是与 Korevaar 猜想等已知界的关系。

提出的方法

• 利用 Stolarsky 不变量原理，将 $s = -1$ 时球帽分布的 $\mathbb{L}_2$-失散度与 Riesz $s$-能量联系起来。
• 应用关于 $\mathcal{E}_s(\mathbb{S}^d; N)$ 渐近展开式的根本猜想，其主项包含 $N^2$ 和 $N^{1+s/d}$，以推导失散度行为。
• 利用 $\mathbb{S}^1$ 上 $N$ 次单位根的 Riesz 能量精确展开式，结合 zeta 和伯努利数恒等式，推导出 $s = -1$ 时的失散度展开式。
• 通过生成函数 $\left(\frac{\sin \pi z}{\pi z}\right)^{-s} = \sum_{n=0}^\infty \alpha_n(s) z^{2n}$ 表达能量展开式中的高阶项。
• 应用 LeVeque 型与 Erdős–Turán 型不等式，通过球谐函数和 Weyl 和估计失散度。
• 利用势论与几何测度论的结果，包括广义超限直径和平衡测度的使用，以支持所提出的能量渐近性猜想。

实验结果

研究问题

• RQ1 当 $N \to \infty$ 时，$\mathcal{E}_s(\mathbb{S}^d; N)$ 的渐近展开式是什么，其中 $-2 < s < d+2$，$s \neq 0,d$？
• RQ2 通过 Stolarsky 不变量原理，球帽 $\mathbb{L}_2$-失散度与 Riesz $s$-能量之间有何关系？
• RQ3 在 $\mathbb{S}^d$ 上，$s = -1$ 配置的 $\mathbb{L}_2$-失散度的主阶渐近行为是什么？
• RQ4 最优 Riesz $s$-能量配置是否实现近似最优失散度？其与已知界 $\mathcal{O}(N^{-1/d})$ 的比较如何？
• RQ5 能否通过基于球谐函数和 Weyl 和技术的能量估计，对失散度进行有界控制？

主要发现

• 所猜想的 $\mathcal{E}_s(\mathbb{S}^d; N)$ 渐近展开式为 $V_s(\mathbb{S}^d)N^2 + \frac{C_{s,d}}{[\mathcal{H}_d(\mathbb{S}^d)]^{s/d}} N^{1+s/d} + \mathcal{R}_s(\mathbb{S}^d; N)$，其中 $\mathcal{R}_s(\mathbb{S}^d; N)/N^{1+s/d - \varepsilon} \to 0$ 当 $N \to \infty$ 时。
• 当 $s = -1$ 时，$\mathbb{L}_2$-失散度满足 $\frac{1}{\pi} \left[ D_{\mathrm{C}}^{\mathbb{L}_2}(X_N) \right]^2 = \frac{2[-\zeta(-1)]}{(2\pi)^{-1}} N^{-2} + \mathcal{O}(N^{-4})$，且 $[-\zeta(-1)] = \frac{1}{12}$，因此 $\left[ D_{\mathrm{C}}^{\mathbb{L}_2}(X_N) \right]^2 \sim \frac{1}{3\pi} N^{-2}$。
• 当 $s = -1$ 时的失散度展开式源于 $N$ 次单位根的精确能量展开式，其中包含 $\zeta(s)$ 和 $\alpha_n(s)$ 项，且对 $n \geq 1$ 有 $\alpha_n(-1)\zeta(-1-2n) < 0$。
• 通过包含球谐函数和系数 $a_\ell \asymp \ell^{-d-1}$ 的 LeVeque 型不等式，对球帽失散度进行有界控制。
• 最优 $s$-能量配置的失散度不一定是最优的；当 $s = d-1$ 时，失散度猜想为 $\mathcal{O}(N^{-1/d})$，且该界在 $d=2$ 时是紧的。
• 数值证据表明，将数字网提升至 $\mathbb{S}^2$ 可实现 $\mathcal{O}(N^{-1/2})$ 失散度，但常数范围在 $[0.50, 0.59]$ 之间，表明其性能低于理论最优界。