[論文レビュー] A Densest ternary circle packing in the plane

Thomas Fernique|arXiv (Cornell University)|Dec 4, 2019

Quasicrystal Structures and Properties参考文献 4被引用数 4

ひとこと要約

この論文は、特定の代数的多項式の根である半径 $1$、$r \simeq 0.834$、$s \simeq 0.651$ をもつ三色円の配置が、平面上で最も密度の高い円詰めであることを証明している。区間演算と三角形分割を用いた新しいポテンシャル関数法により、目的の配置の密度 $ olinebreak[4]\delta \simeq 0.9093$ が最適であることが示され、代数的制約のもとで密な配置が密度を最大化することを確認した。

ABSTRACT

We consider circle packings in the plane with circles of sizes $1$, $r\simeq 0.834$ and $s\simeq 0.651$. These sizes are algebraic numbers which allow a compact packing, that is, a packing in which each hole is formed by three mutually tangent circles. Compact packings are believed to maximize the density when there are possible. We prove that it is indeed the case for these sizes. The proof should be generalizable to other sizes which allow compact packings and is a first step towards a general result.

研究の動機と目的

• 代数的半径をもつ特定の三色円詰めが、平面上で最も密度が高いことを証明すること。
• 密な配置が密度を最大化するという既知の原則を三色円系に拡張すること。
• 複数のサイズをもつ円詰めにおける密度最大性を検証する一般化可能な手法を開発すること。
• 区間演算と三角形分割に基づくポテンシャル関数を用いた、厳密な計算的証明を提供すること。

提案手法

• 詰め込みにおける円の中心の三角形分割 $\mathcal{T}$ を平面に構成する。
• 各三角形 $T$ に対して、局所的密度のずれを測るための過剰量 $E(T) = \delta \cdot \text{area}(T) - \text{cov}(T)$ を定義する。
• $E(T)$ を下から抑えるために、頂点および辺のポテンシャル $U_v(T)$、$U_e(T)$ に分解されたポテンシャル関数 $U(T)$ を導入する。
• 頂点および辺に基づく和を用いた有限配置による、全般的な不等式 $\sum_{T \in \mathcal{T}} U(T) \geq 0$ の証明。
• ε-タイトな三角形に対して微分幾何学を用いて局所的不等式 $E(T) \geq U(T)$ を確立し、非タイトな三角形に対してはコンピュータ支援の二分法を用いる。
• 数値的厳密性を保証するため、区間演算を全般に使用し、浮動小数点誤差を回避する。

実験結果

リサーチクエスチョン

• RQ1 半径 $1$、$r \simeq 0.834$、$s \simeq 0.651$ の密な三色円詰めは、平面上で最も密度が高い円詰めであるか？
• RQ2 密な配置が密度を最大化するという原則を三色円系に拡張できるか？
• RQ3 提示された区間演算を用いたポテンシャル関数法は、複雑な円詰めにおける密度最大性を信頼性高く検証できるか？
• RQ4 円の半径に課される代数的制約が、密な配置の存在と最適性にどのように影響するか？
• RQ5 この手法は、複数のサイズの円をもつ他の密な配置に一般化可能か？

主な発見

• 目的の配置は密度 $\delta \simeq 0.9093$ を達成しており、$\pi/\sqrt{12} \simeq 0.9067$ であるヘキサゴナル詰めの密度を上回っている。
• 証明により、この密な配置がグローバルに最適であることが確認され、これらの半径に対してはより高い密度の配置は存在しない。
• 有限個の配置のみを用いて、全般的な不等式 $\sum U(T) \geq 0$ を成功裏に検証し、計算の実行可能性を保証した。
• ε-タイトな三角形の使用により、コンピュータ支援証明における無限再帰を回避でき、2分未満で終了した。
• 半径 $[q,1]$ の円をもつ詰めがヘキサゴナル密度を超えるような最大の $q < 1$ に対する下界が、$q \geq 0.6510501858$ に向上した。
• この手法は一般化可能である：頂点ポテンシャルと制約を調整することで、他の密な配置に応用可能であり、一般定理への道筋を示唆している。