[論文レビュー] A densest compact planar packing with two sizes of discs

Tom Kennedy|ArXiv.org|Dec 21, 2004

Point processes and geometric inequalities参考文献 6被引用数 12

ひとこと要約

この論文は、半径 1 と r ≈ 0.545151 の円板を用いた平面における最も密なコンパクトな格子配置が、各円板が周囲の六つの円板と対称的かつ接する形で配置された特定の配置によって達成されることを証明している。統計力学にインspiredされた新しい局所化ポテンシャル法を用いて、著者は厳密に、この配置が約 0.911627 の最大密度に達することを示し、これは π/√12 ≈ 0.9069 の六角格子配置の密度を上回っており、この二種類の円板サイズに対して、すべての可能な配置の中で最適であることを証明している。

ABSTRACT

We consider packings of the plane using discs of radius 1 and r=0.545151... . The value of r admits compact packings in which each hole in the packing is formed by three discs which are tangent to each other. We prove that the largest density possible is that of the compact packing shown in figure 1.

研究の動機と目的

• 半径 1 と特定の小さな半径 r ≈ 0.545151 を用いた平面における、可能な限り最大の格子密度を同定すること。
• 各円板が周囲の六つの接する円板に囲まれる特定のコンパクトな格子配置—これがこの r に対して最も密な配置であることを厳密に証明すること。
• この r 値が、コンパクトな格子配置を許容するが、かつこれまでに最適性が証明されていなかったため、最も密な格子配置が知られている r 値の範囲を拡張すること。
• 統計力学にインspiredされた新しい数学的技法—局所化ポテンシャル—を考案・適用し、グローバル最適化問題を、三つの円板に限った局所的問題に変換すること。

提案手法

• デローラン接続三角形における三つの互いに接する円板からなる三角形ごとに、グローバルな格子密度問題を局所的寄与に分解する局所化ポテンシャル関数を導入する。
• 局所化ポテンシャルの二つの成分を定義する：三角形の角に基づく頂点局所化ポテンシャルと、辺の長さに基づく辺局所化ポテンシャルで、ともに関心領域において非負となるように設計されている。
• 変分法を用いて、三角形の面積と角の辺長に対する偏導関数の上限を評価し、単調性を保証することで、極値配置との比較を可能にする。
• 統計力学における m-ポテンシャルの手法を応用し、グローバルな和がゼロとなる局所関数を構築することで、エネルギー（密度）の局所的寄与を再重み付けしても基底状態が変わらないようにする。
• 半径 1 と r の円板間の接点条件から得られる幾何的制約を用いて、r の正確な値を八次多項式の根として導出する。
• 既知の幾何構造と面積を持つユニットセルを用いて、候補となる最適格子配置の密度を計算し、約 0.911627 の正確な数値を得る。

実験結果

リサーチクエスチョン

• RQ1 半径 1 と r ≈ 0.545151 の円板を用いたコンパクトな格子配置が、平面において最も密な配置であるか？
• RQ2 局所化ポテンシャル法を用いて、局所三角形密度が変動する場合でも、コンパクトな格子配置の最適性を厳密に証明できるか？
• RQ3 コンパクトな格子配置が存在し、かつ潜在的に最適であるような r の正確な値は何か？ また、その r が満たす多項方程式は何か？
• RQ4 提案された局所化ポテンシャル技法により、他のいかなる格子配置も候補となるコンパクトな格子配置の密度を超えることはないか保証されるか？

主な発見

• 半径 1 と r ≈ 0.545151 の円板を用いた最も密なコンパクトな格子配置は、δ ≈ 0.911627478 の密度に達し、これは π/√12 ≈ 0.906899 の六角格子配置の密度を上回っている。
• r の値は、八次多項方程式 r⁸ − 8r⁷ − 44r⁶ − 232r⁵ − 482r⁴ − 24r³ + 388r² − 120r + 9 = 0 の実数解である。
• 局所化ポテンシャル法により、頂点および辺のポテンシャルの和が非負であることが保証され、これはいかなる配置も候補となるコンパクトな格子配置を上回る密度を持てないことを意味する。
• この証明により、特定の r に対して、コンパクトな格子配置が最適であることが確認され、最も密な格子配置が厳密に知られている r 値の集合が拡張された。
• 格子のユニットセルの面積は √3 l² / 2 で表され、l = 1 + r + √3 r + √(1 + 2r) であり、三つの大きな円板と三つの小さな円板を含み、提示された密度が得られる。