MathLabs

解法: スミス=マイヤーズ=カプラン=グッドマン=ストラウスによる非周期単一タイル:ハットとスペクター(2023年)

ステップ 7/8: 「スペクター」:正三角形状のハットを修正して鏡映を禁止する
ざっくり言うと

ハットによるあらゆるタイル張りは、ハットとその鏡像を並べて混ぜて使う必要があることが分かる——回転と平行移動だけ(決して裏返さない)を使う配置では平面を埋め尽くすことができない。これにより、より巧妙な単一の形状が鏡像を完全に避けられるかどうかという問いが未解決のまま残された。

ハットの二か月後、同じチームがそれを見つけた。連続体の正三角形状のメンバー Tile(1,1)\mathrm{Tile}(1,1)——鏡映が許されれば周期的にタイル張りする——を取り、その直線の辺を緩やかに湾曲した、あるいは切り込みの入った辺に曲げたのである。各辺の曲線は同じ向きのコピーだけを噛み合わせ、鏡像のコピーが物理的にまったく合わないようにする一方で、その族が持つ非周期的な組合せ構造そのものには手を付けない。

TSpectre=Tile(1,1) with modified edges: tiles R2 using rotations and translations onlyT_{\text{Spectre}} = \mathrm{Tile}(1,1) \text{ with modified edges: tiles } \mathbb{R}^2 \text{ using rotations and translations only}
詳しい解説

Smith, Myers, Kaplan & Goodman-Strauss(2023年)の第6節と姉妹論文(Smith, Myers, Kaplan & Goodman-Strauss 2024年、arXiv:2305.17743)は、ハットに残された留保に取り組む:ハットによるあらゆるタイル張りは鏡映されたコピーとされていないコピーを混ぜている(第4節の分類規則は鏡映を明示的に追跡している)ため、ハットが非周期的にタイル張りするのは、タイルの鏡像コピーが「合同」とみなされることが許される場合に限られる——これはタイル張り理論における伝統的な慣習であるが、唯一可能な慣習ではない。

著者らはまず、鏡映が許されれば周期的にタイル張りする連続体の正三角形状のメンバー Tile(1,1)\mathrm{Tile}(1,1) が、彼らが弱くキラルと呼ぶものになることを観察する:鏡映が単に慣習によって禁じられるならば、それは非周期的なタイル張りのみを許す。規定された規則によってではなく、その幾何学そのものによって図形を非周期的にするために、彼らはその直線の辺を、滑らかな曲線から作られた、一貫した向きを持つ辺——鏡映されていないタイルのコピーだけが辺どうしで出会えるようにする辺——へと摂動させる。スペクターと呼ばれるこの図形の族は、多角形版と滑らかな辺を持つ版の両方を含み、平行移動と回転のみを用いて(鏡映は決して用いずに)R2\mathbb{R}^2 をタイル張りする。鏡映されたコピーは、湾曲した辺に対して物理的にまったく合わないからである。

スペクターのタイル張りの背後にある組合せ論はハットに用いられたのと同じ階層的な代入と結合タイル張りの機構から受け継がれているため、スペクターのタイル張りも依然として非周期的にならざるを得ない。唯一新しい要素は、鏡像を排除する幾何学的な工夫である。これにより、スペクターは初の厳密にキラルな非周期単一タイルとなり、「アインシュタイン問題」に最も強い意味で決着をつけた:単一の形状であり、鏡映は不要で、その輪郭以外にいかなる対応規則も必要としない。

このステップの用語
キラリティ(弱いものと厳密なもの)
あるタイルが弱くキラルであるとは、鏡映が慣習によって禁じられて初めて非周期的にタイル張りすることをいう(鏡映が許されれば周期的にタイル張りし得る)。厳密にキラルであるとは、その図形自身の幾何学(例えば湾曲した一方向の辺)によって鏡像コピーが物理的に合わなくなることをいい、この場合いかなる慣習も一切必要としない。
このステップで使う知識