[论文解读] Universal upper and lower bounds on energy of spherical designs

Peter Boyvalenkov, Peter D Dragnev+3 more|arXiv (Cornell University)|Sep 25, 2015

Mathematical Approximation and Integration参考文献 19被引用 6

一句话总结

该论文利用线性规划技术结合Levenshtein和Delsarte-Goethals-Seidel界，建立了球面设计势能的通用上下界。证明了对于绝对单调势能函数，所导出的下界在该线性规划框架内是最优的，并提供了渐近能量估计，表明当维度和基数在固定强度下增长时，最小能量按 $ h(0)N^2 + o(N^2) $ 的方式缩放。

ABSTRACT

Linear programming (polynomial) techniques are used to obtain lower and upper bounds for the potential energy of spherical designs. This approach gives unified bounds that are valid for a large class of potential functions. Our lower bounds are optimal for absolutely monotone potentials in the sense that for the linear programming technique they cannot be improved by using polynomials of the same or lower degree. When additional information about the structure (upper and lower bounds for the inner products) of the designs is known, improvements on the bounds are obtained. Furthermore, we provide `test functions' for determining when the linear programming lower bounds for energy can be improved utilizing higher degree polynomials. We also provide some asymptotic results for these energy bounds.

研究动机与目标

• 推导固定维度 $n$、基数 $N$ 和强度 $τ$ 的球面 $τ$-设计势能的通用下界与上界。
• 将原本用于球面码的线性规划技术扩展至球面设计，利用求积公式与正交多项式理论。
• 证明所导出的下界在绝对单调势能函数的线性规划框架内是最优的。
• 研究附加结构约束（如点间内积的界）如何改善能量界。
• 在 $N/n^{k-1} \to \text{const}$ 的关系下，为固定强度 $τ$ 且 $n$、$N$ 增长的设计提供渐近能量估计。

提出的方法

• 基于Delsarte方法和Levenshtein的求积公式，使用线性规划界来约束球面设计的能量。
• 应用Delsarte-Goethals-Seidel界以确定球面设计的最小尺寸，以及Levenshtein界以约束最大球面码的大小，从而限制可行集。
• 通过势能函数的多项式上界与下界逼近，推导 $\mathcal{L}(n,N,\tau;h)$ 的下界和 $\mathcal{U}(n,N,\tau;h)$ 的上界。
• 引入“测试函数”以判断更高次多项式是否能改进线性规划下界。
• 通过Levenshtein理论中参数 $\alpha_i$、$\rho_i$ 和 $a_0$ 的渐近分析，推导大 $n$、大 $N$ 下的能量估计。
• 利用 $\pm 1/\sqrt{n}$ 映射建立二元码与球面码之间的联系，以分析由Kerdock码导出的设计的能量。

实验结果

研究问题

• RQ1 线性规划技术能否被调整以提供球面设计能量的紧致通用界，而不仅限于球面码？
• RQ2 对于绝对单调势能函数，所导出的线性规划下界是否最优？能否通过更高次多项式进一步改进？
• RQ3 结构约束（如点间内积的界）如何影响能量界的紧致性？
• RQ4 当维度 $n$ 和基数 $N$ 增长时，固定强度 $τ$ 的球面设计的最小能量的渐近行为如何？
• RQ5 渐近最优的球面设计（如由Kerdock码导出的）是否能实现接近理论下界 $h(0)N^2$ 的能量？

主要发现

• 对于绝对单调势能，线性规划下界 $\mathcal{L}(n,N,\tau;h)$ 在固定最大次数的多项式类中是最优的。
• 当 $\tau = 4$ 时，渐近下界 $\mathcal{L}(n,N,4;h) \geq h(0)N^2 + o(N^2)$ 与上界 $\mathcal{U}(n,N,4;h) \leq h(0)N^2 + o(N^2)$ 一致，表明此情况下界是紧致的。
• 在渐近情形 $N/n^{k-1} \to 2/(k-1)! + \gamma$ 下，对于固定的 $\tau = 2k-1$ 或 $\tau = 2k$，最小能量满足 $\mathcal{L}(n,N,\tau;h) \geq h(0)N^2 + o(N^2)$。
• 由Kerdock码导出的球面设计的能量满足 $E(n,\overline{K}_\ell;h) = h(0)N^2 + O(N^{3/2}) = h(0)n^4 + O(n^3)$，当 $n \to \infty$ 时，确认了渐近界。
• 所引入的测试函数可检测更高次多项式是否能改进线性规划界，为潜在改进提供了判据。
• 这些界具有普遍性，适用于一大类势能函数，特别是那些在 $[-1,1]$ 上绝对单调的函数。