An aperiodic set of Wang tiles for every quadratic irrational

技術要約：あらゆる二次無理数に対する非周期的ワン・タイル集合

問題提起
本論文は、ワン・タイル（Wang tiles）の集合の非周期性（aperiodicity）を証明するという問題に取り組んでいる。非周期的タイル集合の存在自体は確立されているが、特定のタイル集合が周期的なタイリングを許さないことを証明することは、階層構造、一意の構成特性、または自己相似性に基づく複雑な組合せ論的議論を必要とすることが多く、しばしば困難である。著者らは、ストライプ構造を持つワン・タイル集合の非周期性を証明するための、より直接的な算術ベースの手法を提供することを目指している。さらに、本論文は逆問題、すなわち「同じ二次数体に含まれる任意の無理数ペア $(\alpha, \beta)$ に対して、それらのストライプ密度を正確に持つ有効なタイリングを許容する、ストライプを持つ有限な非周期的ワン・タイル集合を構成できるか？」という問いに答えることを目的としている。

手法
核心となる手法は、ストライプを持つワン・タイルと平面幾何学との間の幾何学的・算術的な対応関係に基づいている。

1. ストライプ分割: 著者らは、水平および垂直方向のストライプの有無に基づいて、ワン・タイル集合 $T$ を4つの部分集合 $T = T_\square \cup T_\urcorner \cup T_\sqsubset \cup T_\boxplus$ に分割することを検討する。
2. ベクトル符号化: タイルのエッジ上のラベルは、関数 $v$（垂直ラベル）および $h$（水平ラベル）を介して、$\mathbb{R}^2$ 内のベクトルへと写像される。
3. 四角形の決定: タイル集合 $T$ が四角形 $ABDC$を「決定する」とは、ベクトル和$v(a) + h(b) - v(c) - h(d)$が、タイルが属する分割のサブセットに応じて特定の頂点（$A, B, C,$または$D$）と一致することを指す。
4. 密度方程式: 任意の二重周期的な有効な配置において、垂直ストライプの密度 ($\alpha$) と水平ストライプの密度 ($\beta$) は、四角形の頂点から導かれる以下の線形方程式を満たさなければならない：
   $$\mathbf{0} = (1-\alpha)((1-\beta)A + \beta B) + \alpha((1-\beta)C + \beta D)$$
   この方程式は幾何学的に解釈される。すなわち、解 $(\alpha, \beta)$ は、四角形 $ABDC$ に外接する一意の放物線に接する原点を通る直線に対応する。
5. 非周期性基準: この方程式の解が無理数である場合（具体的には、関連する二次方程式の判別式が正であり、かつ平方数ではない場合）、周期的なタイリングは存在し得ない。なぜなら、周期的なタイリングには有理的な密度が必要だからである。

主要な貢献と結果

• 定理 A（非周期性の十分条件）: 著者らは、ストライプを持つワン・タイル集合が非周期的であるための十分条件を確立した。もしタイルが、特定の行列式条件（四角形が特定の意味で非退化であることを保証するもの）を満たす整数頂点を持つ四角形 $ABDC$ を決定し、かつ関連する二次方程式の判別式が平方数でないならば、その集合は周期的なタイリングを許容しない。

  • 応用: この定理は、アマンの16枚タイル集合、ペナローズ・タイリングをエンコードした24枚のタイル集合、およびメタリック平均ワン・タイルの族を含む、既知のタイル集合に対する非周期性の新しい短い証明を提供する。これらの証明は、従来の階層的分解の議論を回避するものである。

• 定理 B（二次無理数のための構成）: 本論文は、同じ二次数体に含まれるあらゆるペア $(\alpha, \beta)$（両方が有理数であるか、あるいは両方が無理数である場合）に対して、以下の性質を持つストライプ付きワン・タイル集合が有限個存在することを証明している：

  1. 四角形 $ABDC$を決定し、$(\alpha, \beta)$ が密度方程式の解となる。
  2. 垂直および水平のストライプ密度が正確に $\alpha$ および $\beta$ である有効なタイリングを許容する。
  3. $\alpha$ および $\beta$ が無理数であれば、非周期的である。
  • 構成: この構成では、ターゲットとなる密度にストライプ密度を一致させるために、実数の「均衡表現」（シュトゥルミアン数列に類似したもの）を用いてタイルの色を定義する。著者らは、必要なタイルの数に関する明示的な境界も提供している。

• アルゴリズム的アプローチ（セクション5）: 本論文は、線形変換のプルバックに基づく線形代数アルゴリズムを提示し、与えられたワン・タイル集合からベクトル $v, h$ および四角形 $ABDC$ を計算する。これにより、様々な既知のタイル集合に対して定理 A の十分条件を自動的に検証することが可能となる。

意義と主張
著者らは、自らの研究が、長い組合せ論的議論を、ストライプ密度の無理数性に基づく直接的な算術的議論に置き換えることで、いくつかの重要なタイル集合に対する非周期性の「短い証明」を提供すると主張している。このアプローチは、乗法的算術を用いた Kari の初期の研究と類似しているが、加法的算術と放物線の幾何学的特性を利用している。

また、本論文は、二次無理数の密度を持つ非周期的タイルを生成するという問題に対する構成的な解を提供しており、これまでの文献において例が乏しかった、あるいは複雑な置換規則（Mozes の構成など）に依存していた空白を埋めるものである。著者らは、自らの構成が、二次数体の文脈において「可能な限り単純である」と明言している。

限界と未解決の問い
本論文は、結果の範囲に関して謙虚な姿勢を維持している：

• 定理 A の十分条件は、ストライプを持つワン・タイル集合に特化したものである。
• 定理 B の構成は、特定の密度を持つタイリングの存在を保証するが、著者らは 問い 9.1 を提起している：構成されたタイル集合における「すべての」有効な配置がこれらの特定の密度を持つのか、あるいは（同じ方程式の解となる）異なる密度を持つ他の配置が存在し得るのか？
• 問い 9.2 は、これらの新しいタイル集合によって生成されるワン・シフトが、最小な力学系（minimal dynamical systems）であるかどうかを問うている。
• 問い 9.3 は、これらのシフトが自己相似的（拡大的な2次元置換を許容するか）であるかを問うている。これはメタリック平均タイリングでは知られている性質であるが、一般的な構成においてはまだ証明されていない。

著者らは、ドミノ問題全般を解決したり、あらゆるケースにおける非周期性のための最小タイル数を求めたと主張しているのではなく、非周期性を証明するための新しい効率的なツールと、指定された二次無理数密度を持つ非周期的集合を構築するための体系的な方法を提供したとしている。