[論文レビュー] An alternative proof for an aperiodic monotile

Shigeki Akiyama, Yoshiaki Araki|arXiv (Cornell University)|Jul 23, 2023

semigroups and automata theoryComputer Science被引用数 3

ひとこと要約

本稿では、黄金ヘキサ代替系と呼ばれる新しい代替システムと、黄金アーマンバー（GAB）と呼ばれる線形マークを用いて、スミス・ハットモノタイル、特にTile$(\sqrt{3}:1)$のバージョンの非周期性に対する簡素で自己完結的な証明を提示する。代替の整合性は有限の頂点アトラス遷移図を用いて示され、GABの周波数が無理数であることを証明することで、このタイルによるすべてのタイリングが非周期的であることが示され、[12]における元々の証明に依存しないより素朴な代替証明を提供する。

ABSTRACT

We give an alternative simple proof that the monotile introduced by Smith, Myers, Kaplan and Goodman-Strass is aperiodic.

研究の動機と目的

• スミス・ハットモノタイル Tile$(\sqrt{3}:1)$ の非周期性を、複雑な代替系やメタタイルに依存せずに、より素朴な証明で提示すること。
• 有限のパッチタイル集合に基づく明確な幾何的代替規則を用いて、Tile$(\sqrt{3}:1)$ によるタイリングの存在を確立すること。
• 黄金アーマンバー（GAB）と呼ばれる線形マークを用いて非周期性を示し、そのタイリング内での周波数が無理数であることを証明すること。
• [12] や [9] における事前結果や、下位のラベスタイリングに関する仮定に依存しない自己完結的な証明を提供すること。

提案手法

• 比 $\tau^2$ の自己相似極限に収束する4つのパッチタイル（T_n, PD_n, ZD_n, ZT_n）に基づく、新しい代替規則「ゴールデンヘキサ代替」を導入する。
• 5段階のパッチタイルを分析して27個の頂点アトラスを構築し、繰り返し代替における境界の適合性を保証する。
• ゴールデンアーマンバー（GAB）をタイル上の線形マークとして定義し、特定の辺に一致させ、カゴメタイリングの部分構成と一致させる。
• 2つの方法で大規模なパッチにおけるGABの全長を計算する：1つは辺の配置に基づき、もう1つは反転タイルの数に基づく。
• 2つの長さ計算を等置することで、二次方程式 $q^2 - q + \frac{1}{5} = 0$ を導出し、その解は無理数 $q = \frac{5 \pm \sqrt{5}}{10}$ である。
• GAB周波数の無理数性を用いて、周期的タイリングが存在できないことを結論づけ、非周期性を証明する。

実験結果

リサーチクエスチョン

• RQ1 スミス・ハットモノタイル Tile$(\sqrt{3}:1)$ の非周期性は、[12] で用いられた組合せ的代替規則やメタタイルに依存せずに証明可能か？
• RQ2 ゴールデンヘキサ代替において、有限の頂点アトラス遷移図が一貫している場合、有効なタイリングの存在を示唆するか？
• RQ3 ゴールデンアーマンバー（GAB）は周期性を検出するための線形マークとして使用可能か？また、タイリング内での周波数は何か？
• RQ4 GABのタイリング内周波数は無理数か？そしてそのことが非周期性を示唆するか？
• RQ5 本稿で提示された証明は、下位のラベスタイリングに関する仮定に依存する代替証明と比較して、一般性と自己完結性の点でどのように異なるか？

主な発見

• ゴールデンヘキサ代替は整合的であり、27個の頂点アトラスの集合が一貫しているため、Tile$(\sqrt{3}:1)$ によるタイリングが存在することが証明された。
• 辺の配置に基づくGAB全長と反転タイル数に基づく全長の計算を等置することで、方程式 $q^2 - q + \frac{1}{5} = 0$ が得られ、その解は $q = \frac{5 \pm \sqrt{5}}{10}$ である。
• 2つの解 $q_1 \approx 0.276$ と $q_2 \approx 0.724$ はともに無理数であり、GAB周波数が周期的でないことを確認した。
• GAB周波数が無理数であるため、周期的タイリングは存在できず、結果として Tile$(\sqrt{3}:1)$ によるすべてのタイリングが非周期的であることが証明された。
• 証明は自己完結的であり、[9] とは異なり、下位のラベスタイリングの存在に関する仮定を必要としない。
• GAB周波数 $q$ はカゴメ部分構成の3方向すべてで同一であり、$q_2/q_1 = \tau^2$ であるため、自己相似構造が示された。