[論文レビュー] An aperiodic monotile

David J. Smith, Joseph Samuel Myers+2 more|arXiv (Cornell University)|Mar 20, 2023

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

ひとこと要約

本論文は hat polykite が topological disks に対する aperiodic monotile (einstein) であることを証明し、2つの証明と連続的な aperiodic な形状の連続体 Tile(a, b) を提供する。

ABSTRACT

A longstanding open problem asks for an aperiodic monotile, also known as an "einstein": a shape that admits tilings of the plane, but never periodic tilings. We answer this problem for topological disk tiles by exhibiting a continuum of combinatorially equivalent aperiodic polygons. We first show that a representative example, the "hat" polykite, can form clusters called "metatiles", for which substitution rules can be defined. Because the metatiles admit tilings of the plane, so too does the hat. We then prove that generic members of our continuum of polygons are aperiodic, through a new kind of geometric incommensurability argument. Separately, we give a combinatorial, computer-assisted proof that the hat must form hierarchical -- and hence aperiodic -- tilings.

研究の動機と目的

• Disk-shaped tiles の中から単一の aperiodic monotile (einstein) を探す動機付け。
• hat polykite は平面をタイル化できるが、周期的なタイルは存在しないことを示す。
• 非自明な2つの独立した非周期性の証明を示す（1つは metatiles を用いた構成的証明、もう1つは Berger 型）。
• Tile(a, b) の関連形状の連続体を探索し、平面を組合せ的に等価なタイルで満たす。

提案手法

• hat のタイル化を、局所的な hat の配置から生じる metatiles と呼ばれるクラスターを同定することで構築する。
• metatiles 上の置換系を形成し、metatiles と同じ組合せ構造を持つ supertiles を生み出す。
• hat のタイルが強く周期的になることが不可能であることを示し、階層的なタイル割りを分析することで非周期性を証明する。
• metatiles と階層的構造に関する Bergif-style の議論を用いた2番目の、組合せ的/位相的証明を提供する。
• 置換系を支える計算機支援による列挙を用い、すべてのタイル割りが同じ構造に従うことを保証する。

実験結果

リサーチクエスチョン

• RQ1 単一の topology-disk タイルが plane を非周期的にのみタイル化できる (einstein か)？
• RQ2 hat とその連続体 Tile(a, b) は階層的で非周期的なタイル化構造を課すのか？
• RQ3 hat のクラスターから派生した metatiles は置換系を支援し、非周期的タイル化を生み出すのか？
• RQ4 constructive および Berger-style の両方の議論は hat および関連形状の非周期性を共同で確立するのか？

主な発見

• The hat polykite は aperiodic monotile: it tiles the plane but admits no translationally periodic tilings.
• Every tiling by hats contains a unique hierarchy of supertiles that enforces non-periodicity.
• Metatiles derived from hat clusters admit a substitution system and tile the plane.
• There exists a continuum Tile(a, b) of shapes exhibiting combinatorially equivalent tilings to the hat, all aperiodic except for some degenerate cases.
• A secondary, computer-assisted proof confirms that the hat must form hierarchical—and hence aperiodic—tilings.