[论文解读] Some properties of optimal functions for sphere packing in dimensions 8 and 24

Henry Cohn, Stephen D. Miller|arXiv (Cornell University)|Mar 15, 2016

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

一句话总结

本文提出了一系列显式构造的函数序列，其在猜想下收敛于8维和24维球堆积问题的最优函数，且满足Cohn-Elkies条件。通过傅里叶分析与数值计算，作者提供了强有力的收敛证据，并发现了泰勒系数与梅林变换值中出人意料的有理性，为简化、非计算机优化的证明路径提供了可能，以证明这些维度下球堆积的最优性。

ABSTRACT

We study some sequences of functions of one real variable and conjecture that they converge uniformly to functions with certain positivity and growth properties. Our conjectures imply a conjecture of Cohn and Elkies, which in turn implies the complete solution to the sphere packing problem in dimensions 8 and 24. We give numerical evidence for these conjectures as well as some arithmetic properties of the hypothetical limiting functions. The conjectures are of greatest interest in dimension 24, in light of Viazovska's recent solution to the Cohn-Elkies conjecture (and consequently the sphere packing problem) in dimension 8.

研究动机与目标

• 构造显式函数序列，猜想其在8维和24维下收敛于满足Cohn-Elkies条件的最优函数。
• 提供一种概念性替代方案，以替代先前计算机辅助证明中使用的高度优化、特制的多项式。
• 探索假设极限函数的数值与算术性质——特别是泰勒系数与梅林变换中的有理性。
• 提供一个框架，通过用系统构造的函数替代复杂且数值推导出的多项式，从而简化球堆积最优性的证明。

提出的方法

• 引入以维度n为参数的函数序列，设计为一致收敛于满足Cohn-Elkies符号与增长条件的函数。
• 利用傅里叶分析与泊松求和公式，将这些函数的性质与球堆积密度上界联系起来。
• 进行高精度浮点计算，数值验证收敛性与密度上界在R⁸与R²⁴中达到五十余位小数。
• 分析极限函数的泰勒系数与梅林变换，发现出人意料的有理性模式。
• 研究傅里叶变换的特征函数，以识别最优函数的结构特性。
• 使用解析延拓与积分号下求导法，计算含高斯函数与三角函数项的函数的傅里叶变换。

实验结果

研究问题

• RQ1 所提出的函数序列是否在8维与24维下一致收敛于满足Cohn-Elkies条件的函数？
• RQ2 极限函数的泰勒系数是否表现出有理性？若有，该模式能否用于通过幂级数构造函数？
• RQ3 极限函数的梅林变换是否表现出未解释的有理性质？
• RQ4 极限函数的结构能否通过主导项与微扰项来解释，特别是在非4的倍数维度下？
• RQ5 函数的根——尤其是虚根与额外实根——是否具有更深层次的算术或几何解释？

主要发现

• 函数序列在数值上收敛于满足Cohn-Elkies条件的函数，且在R⁸与R²⁴中密度上界精确至五十余位小数。
• 在8维与24维下，极限函数的第二项泰勒系数似乎为有理数，提示可能存在幂级数构造方法。
• 极限函数的梅林变换在某些点上取有理数值，表明存在出人意料的算术结构。
• 在8维中，极限函数猜想为傅里叶变换的特征函数，特征值为+1，其根包含纯虚根√−2j（j > 0）。
• 在24维中，极限函数的根猜想为√−(2j−1)的微扰形式，其中微扰依赖于维度，且不完全匹配奇数。
• 证明了序列中的函数均为傅里叶变换的特征函数，通过积分号下求导法与高斯积分性质推导出显式公式。