[論文レビュー] A Simple Proof of Thue's Theorem on Circle Packing

Hai-Chau Chang, Lih-Chung Wang|arXiv (Cornell University)|Sep 22, 2010

Computational Geometry and Mesh Generation参考文献 3被引用数 85

ひとこと要約

この論文は、トゥエの定理の簡潔で幾何学的な証明を提示しており、平面における正六角形格子配置が、最大密度 π/√12 ≈ 0.9069 を達成することを示している。Delaunay三角形分割を用いて飽和円配置を分析し、三角形ごとの密度が π/√12 以下であることを示し、等号が成立するのは辺の長さが 2 の正三角形に限ることを示すことにより、著者たちは高度な解析に依存せずに、六角格子の最適性を確立している。

ABSTRACT

A simple proof of Thue theorem on Circle Packing is given. The proof is only based on density analysis of Delaunay triangulation for the set of points that are centers of circles in a saturated circle configuration.

研究の動機と目的

• 平面における正六角形格子の円詰めの最適性を、自己完結的で初等的な証明で示すこと。
• いかなる飽和円配置の密度も π/√12 を超えることはないことを示すこと。
• 正六角形格子配置が、この最大密度に唯一到達する配置であることを確立すること。
• 複雑な解析や格子の仮定に依存せず、以前の証明とは異なる幾何学的代替手法を提供すること。

提案手法

• 重なりなく追加の円を挿入できない、飽和円配置を分析すること。
• 円の中心にDelaunay三角形分割を適用し、任意の三角形の外接円内に点が存在しないことを保証すること。
• Delaunay三角形の最大内角 θ が π/3 ≤ θ < 2π/3 を満たすことを証明し、新たな円の中心の挿入を防ぐこと。
• 正弦定理と外接円半径の制約を用いて、最大角と辺の長さで三角形の面積を表現すること。
• 各三角形の密度が π/2 をその面積で割ったものであり、これが正三角形（辺の長さ 2）のとき最大に達することを示すこと。
• 全体の配置の密度が π/√12 で上界づけられ、等号は正六角形の場合にのみ成立することを結論づけること。

実験結果

リサーチクエスチョン

• RQ1 格子構造を仮定せずに、ユークリッド平面上における円詰めの最大密度は何か？
• RQ2 Delaunay三角形分割に基づく幾何学的・組合せ論的議論のみで、六角格子の最適性を証明できるか？
• RQ3 飽和円配置のDelaunay三角形分割において、どのような条件下で三角形が最大密度に達するか？
• RQ4 正六角形格子配置は、密度 π/√12 を達成する唯一の配置か？
• RQ5 局所的な三角形の分析を通じて、飽和円配置の密度を π/√12 で上界づけられるか？

主な発見

• 飽和円配置のDelaunay三角形における最大内角は、2π/3 より厳密に小さいため、新たな円の中心の挿入が不可能である。
• 飽和配置における任意のDelaunay三角形の面積は √3 以上であり、これは辺の長さが 2 の正三角形にのみ達成される。
• 各Delaunay三角形の密度は π/√12 で上界づけられており、等号が成立するのは正三角形（辺の長さ 2）に限る。
• 全体の配置の密度は三角形密度の重み付き平均であるため、π/√12 を超えることはない。
• 正六角形格子配置は、密度 π/√12 を達成する唯一の配置であり、これによりトゥエの定理が確認される。
• 証明は、高度な解析や格子の仮定に依存せず、初等的な幾何学とDelaunay三角形分割のみを用いて、六角格子の最適性を確立している。