[论文解读] On the Reinhardt Conjecture

Thomas Hales|arXiv (Cornell University)|Mar 23, 2011

Advanced Mathematical Modeling in Engineering参考文献 5被引用 5

一句话总结

该论文提出了一个全面的策略来证明Reinhardt猜想，该猜想认为在平面内所有中心对称的凸区域中，光滑八边形的晶格堆积密度最小。通过将问题建模为带有凸性约束的Bolza型变分问题，作者证明了任意极小化器必为具有Lipschitz连续导数的$C^1$曲线，并在分段解析性假设下，必为光滑多边形——即特定的光滑八边形。其关键贡献在于将该猜想简化为关于秩一构型的有限维非线性优化问题。

ABSTRACT

In 1934, Reinhardt asked for the centrally symmetric convex domain in the plane whose best lattice packing has the lowest density. He conjectured that the unique solution up to an affine transformation is the smoothed octagon (an octagon rounded at corners by arcs of hyperbolas). This article offers a detailed strategy of proof. In particular, we show that the problem is an instance of the classical problem of Bolza in the calculus of variations. A minimizing solution is known to exist. The boundary of every minimizer is a differentiable curve with Lipschitz continuous derivative. If a minimizer is piecewise analytic, then it is a smoothed polygon (a polygon rounded at corners by arcs of hyperbolas). To complete the proof of the Reinhardt conjecture, the assumption of piecewise analyticity must be removed, and the conclusion of smoothed polygon must be strengthened to smoothed octagon.

研究动机与目标

• 证明Reinhardt猜想，即光滑八边形是在平面内所有中心对称凸区域中唯一最小化晶格堆积密度的区域。
• 证明任意堆积密度泛函的极小化器必为具有Lipschitz连续导数的$C^1$曲线。
• 在分段解析性假设下，证明极小化器必为光滑多边形，即用双曲线弧替代角点的多边形。
• 将完整猜想约化为关于秩一构型的有限维非线性优化问题，从而在去除分段解析性假设后完成证明。

提出的方法

• 将堆积密度最小化问题表述为带有非完整不等式约束的经典Bolza变分问题。
• 使用取值于$SL_2(\mathbb{R})$的曲线$\phi(t)$表示凸区域的边界，其中面积积分通过$I(\phi) = 3\int_{t_0}^{t_1} (\alpha d\gamma - \gamma d\alpha + \beta d\delta - \delta d\beta)$表达。
• 通过$\sigma_j'(t) \land \sigma_j''(t) \geq 0$ a.e.施加凸性约束，确保边界保持凸性。
• 应用Noether定理以利用问题的对称性，包括重参数化不变性与$SL_2(\mathbb{R})$作用的不变性。
• 通过设$Y = \phi'$将问题约化为一阶系统，将凸性约束转化为线性不等式$y_j \land y_j' \geq 0$。
• 提出在7维空间（初始状态与五个链段，模$SL_2(\mathbb{R})$）上的非线性优化问题，以计算方式检验该猜想。

实验结果

研究问题

• RQ1 在仿射变换下，光滑八边形是否是平面内所有中心对称凸区域中唯一最小化晶格堆积密度的区域？
• RQ2 能否去除极小化器的分段解析性假设，从而完全证明Reinhardt猜想？
• RQ3 每个堆积密度泛函的极小化器的边界是否必为具有Lipschitz连续导数的$C^1$曲线？
• RQ4 该问题能否约化为关于秩一构型的有限维优化问题，且该约化是否导致光滑八边形为唯一解？
• RQ5 五链双曲线链猜想是否足以表征极小化器，且是否意味着光滑八边形是唯一解？

主要发现

• 存在堆积密度泛函的极小化器，且其为具有Lipschitz连续导数的$C^1$曲线。
• 在分段解析性假设下，任意极小化器必为光滑多边形，其边界由有限条直线段通过双曲线弧连接而成。
• 光滑八边形实现的堆积密度为$\delta(K) = \frac{8 - \sqrt{32} - \ln 2}{\sqrt{8} - 1} \approx 0.902414$，该值被猜想为最小可能值。
• 该问题被证明是经典变分法中Bolza问题的一个实例，具有自治性、固定端点和不等式约束的动力学。
• 圆满足Euler-Lagrange方程但不满足二阶条件，表明其并非极小化器，因此极小化器位于可行集的边界上。
• 若能证明面积最小的五链双曲线链对应于光滑八边形，则将完成Reinhardt猜想的证明。