[論文レビュー] On the Reinhardt Conjecture

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

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

ひとこと要約

この論文は、平面内の中心対称凸領域のうち、滑らかに加工された正八角形が格子格納密度を最小化するとするレインハート予想を証明する包括的な戦略を提示する。問題を凸性制約を伴うボルツァ型変分法問題としてモデル化することで、任意の最小化子がリプシッツ連続な導関数をもつ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.

研究の動機と目的

• 平面内の中心対称凸領域のうち、滑らかに加工された正八角形が格子格納密度を一意に最小化するレインハート予想を証明すること。
• 格納密度関数の任意の最小化子が、リプシッツ連続な導関数をもつC¹曲線でなければならないことを確立すること。
• 区分的解析的であるという仮定の下で、最小化子が滑らかに加工された多角形、すなわち角を双曲線弧で置き換えた多角形でなければならないことを示すこと。
• 完全な予想を、ランク1の配置に関する有限次元非線形最適化問題に還元することで、区分的解析的という仮定を除去した場合の証明を完了すること。

提案手法

• 非ホロノミック不等式制約を伴う古典的ボルツァ問題として、格納密度最小化問題を定式化する。
• 凸領域の境界をSL₂(ℝ)値曲線φ(t)で表現し、面積積分をI(φ) = 3∫_{t₀}^{t₁} (α dγ - γ dα + β dδ - δ dβ) で表す。
• σ_j'(t) ∧ σ_j''(t) ≥ 0 a.e. により凸性制約を課し、境界が常に凸のままであることを保証する。
• ノイザーの定理を適用して、再パラメータ化およびSL₂(ℝ)作用における対称性を活用する。
• Y = φ' とおくことで、問題を1階系に還元し、凸性制約を線形不等式 y_j ∧ y_j' ≥ 0 に変換する。
• 初期状態と5本のリンク（SL₂(ℝ)による商をとる）を含む7次元空間における非線形最適化問題を提案し、予想を計算的に検証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかに加工された正八角形は、アフィン変換を除いて、平面内の中心対称凸領域のうち格子格納密度を一意に最小化するか？
• RQ2 最小化子における区分的解析的という仮定を除去することで、レインハート予想を完全に証明できるか？
• RQ3 格納密度関数の任意の最小化子の境界は、リプシッツ連続な導関数をもつC¹曲線であるか？
• RQ4 問題をランク1の配置に関する有限次元最適化問題に還元できるか？そして、その結果として滑らかに加工された正八角形が一意の解となるか？
• RQ5 5リンクの双曲線チェーンに関する予想が、最小化子を特徴づけるのに十分であり、それが滑らかに加工された正八角形が一意の解であることを示唆するか？

主な発見

• 格子格納密度関数の最小化子は存在し、リプシッツ連続な導関数をもつC¹曲線である。
• 区分的解析的という仮定の下では、任意の最小化子は滑らかに加工された多角形であり、境界は有限個の直線部分と双曲線弧で接続されたものである。
• 滑らかに加工された正八角形は、格納密度δ(K) = (8 - √32 - ln 2)/(√8 - 1) ≈ 0.902414 を達成し、これが最小であると予想されている。
• 問題は、自律的で端点が固定され、不等式制約を伴う古典的ボルツァ問題の例であることが示された。
• 円はオイラー＝ラグランジュ方程式を満たすが、2次条件を満たさないため、最小化子ではない。したがって、最小化子は実行可能領域の境界上に存在する。
• 5リンクの双曲線チェーンで面積が最小となるものが滑らかに加工された正八角形に対応する、という予想が証明されれば、レインハート予想の証明が完了する。