【要約】5角形10個の円環から出直す(その2) ― 2種類のペンローズタイリングがピッタリ重なる [Zenn_Python] | Summary by TechDistill
> Source: Zenn_Python
Execute Primary Source
// Problem
筆者は、ペンローズタイリングを「円環」という単位を用いて再構成しようとした際、幾何学的な成長の継続性と計算の精度という2つの課題に直面した。具体的には以下の問題が発生した。
- ・幾何学的成長の停止:特定の生成規則に従うと、図形が一定の段階(55環)で成長できなくなる。
- ・計算誤差の蓄積:実数(浮動小数点数)を用いると、図形が巨大化するにつれ、重なり判定の精度が低下する。
- ・構造の崩壊:接続条件を誤ると、ペンローズタイリングに存在しない不正な図形が出現する。
// Approach
筆者は、幾何学的な規則の発見と、誤差のない厳密な計算を実現するために、以下の手法を採用した。
- ・新しい構成単位の定義:正五角形10枚からなる「円環」を基本単位とし、2種類の接続則を導入した。
- ・相互補完的成長アルゴリズム:一方のタイリングが停止した際、もう一方が欠損を埋めるように次層を生成する仕組みを構築した。
- ・代数整数環による厳密演算:座標を $Z[\zeta_{10}]$ の整数成分として扱い、全ての判定を整数の畳み込みと比較のみで行った。
- ・構造的検証:接続条件が満たされない場合に図形が壊れることを、反例生成を通じて確認した。
// Result
2種類のペンローズタイリングが、$\phi^3$ のスケール差で厳密に一致することを数学的・計算的に証明した。
- ・ゼロ誤差の重なり判定:整数演算により、重心や中心座標が完全に一致することを確認した。
- ・成長の継続性の発見:60環において、欠損していた大ひし形が完成し、次層へ繋がるプロセスを特定した。
- ・計算基盤の確立:将来的な計算機構「ペンタゴンプロセッサ」の基礎となる、幾何学的・計算的な枠組みを提示した。
Senior Engineer Insight
> 幾何学的な美しさを、代数整数環を用いた堅牢な整数演算へと落とし込んだ設計は極めて実践的である。大規模な幾何学的シミュレーションにおいて、浮動小数点誤差は致命的なバグを招くが、本手法はそれを構造的に排除している。ただし、現行の規則では成長が停止する制約があり、無限の拡張性を確保するための新たな規則発見が、実用的な計算基盤としての完成には不可欠である。