Both directions of Fuglede's conjecture fail in dimension two

技術要約：2次元におけるフゲデ予想の破綻

問題設定
1974年に提唱されたフゲデ予想（Fuglede's conjecture）は、正の有限な測度を持つ可測集合 $\Omega \subset \mathbb{R}^d$ が「スペクトル集合（指数関数による直交基底を持つ）」であることと、「平行移動タイル（平行移動によって $\mathbb{R}^d$ をタイル張りできる）」であることは同値であると仮定している。この予想は、凸領域や様々な幾何学的・算術的制約の下では成立するが、$d \geq 3$ のすべての次元において両方向の破綻が知られている。1次元および2次元におけるこの予想のステータスは未解決の問題であった。本論文は、この未解決であった2次元の場合に対処するものである。

手法
著者らは、有限アーベル群における反例を構築し、それを有限から無限への転移原理（transference principle）を通じてユークリッド空間へと転送する戦略を採用している。核となる手法は以下の通りである：

1. 有限群の構築： 著者らは、ランク2の有限アーベル群 $G = \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ 内で作業を行う。彼らはこの群の中に、2つの特定の60点部分集合を構築する：
   • $G$ をタイル張りするが、スペクトルを持たない集合 $A_-$。
   • スペクトル集合であるが、$G$ をタイル張りできない集合 $A_+$。
2. 層状増幅（Layer-Amplification）： これらの特性を実現するために、著者らは「5層」の増幅技術を利用する。彼らは「シード（種）」となる集合 $E \subset \mathbb{Z}_{12}^2$（12点のグラフ）から出発する。
   • 非スペクトル・タイルについては、$E$ の異なる3つのタイリング補集合のうち、共通のスペクトルを持たないものを特定する。これらを5つの層（補助的な因子 $\mathbb{Z}_5$ を使用）に配置することで、補集合の不適合性がグローバルなスペクトルの存在を阻むような集合を作成する。
   • 非タイリング・スペクトル集合については、$E$ の異なる3つのスペクトルのうち、共通のタイリング補集合を持たないものを特定する。同様の5層構造により、結果として得られる集合はスペクトル集合であるが、タイル張りはできないものとなる。
3. 同型性と転送： 構築は $H \times \mathbb{Z}_5$ （ここで $H = \mathbb{Z}_{12}^2$）内で行われる。中国剰余定理により、ランクを増やすことなく群構造を保存する同型写像 $\Phi: H \times \mathbb{Z}_5 \to \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ が提供される。
4. 有限から無限への転移： 精緻化された転移原理（命題2.1）を用いて、有限の反例を $\mathbb{R}^2$ の有界部分集合へと持ち上げる。具体的には、十分に大きな $k$ に対して、集合 $A[k] = A + \{ (n_1 j_1, n_2 j_2) : 0 \leq j_1, j_2 < k \}$ は、元の有限集合 $A$ のスペクトル特性またはタイリング特性を保持する。これらの離散的な集合は、その後、$\mathbb{R}^2$ における単位正方形の和集合へと拡張される。

主要な貢献と結果
本論文は、以下の主定理を確立している：

• 定理 1.1： スペクトル集合ではない有界な平行移動タイルが存在し、かつ、平行移動によってタイル張りできない有界なスペクトル集合が存在する。

具体的な結果は以下の通りである：

• 非スペクトル・タイルの明示的な構築： 著者らは、群をタイル張りするがスペクトルを持たない集合 $A_- \subset \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ を構築した。転移を通じて、これは $\mathbb{R}^2$ における有界な平行移動タイル（単位正方形の有限個の和集合）を生成するが、これはスペクトル集合ではない。
• 非タイリング・スペクトル集合の明示的な構築： 著者らは、スペクトル集合であるが群をタイル張りできない集合 $A_+ \subset \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ を構築した。転移を通じて、これは $\mathbb{R}^2$ における有界なスペクトル集合（具体的には、564,540個の半開区間単位正方形の非交和）を生成するが、平行移動によるタイル張りはできない。
• ランク2の障壁の解消： 本論文は、フゲデ予想が以前は多くの特定の有限アーベル族において成立することが知られていた制限的な設定を克服し、わずか2つの巡回因子（$\mathbb{Z}_{n_1} \times \mathbb{Z}_{n_2}$）を持つ群においてさえも予想が成立しないことを証明している。

意義
本論文は、2次元におけるフゲデ予想を解決したと主張しており、この予想の両方の含意が $\mathbb{R}^2$ において成立しないことを証明している。これは、制約のない可測集合に関する図式を完成させるものであり、スペクトル性とタイリングの等価性がすべての次元 $d \geq 2$ で崩れることを示している。著者らの研究は、低ランクの設定における従来の正の結果を回避するために、ランク2の有限アーベル群における新しい構築を利用することで、既知の負の結果を $d \geq 3$ から平面へと拡張したものである。著者らは、彼らの構築が明示的であり、有限群におけるタイリング補集合とスペクトルの相互作用に依拠し、それが連続領域へと持ち上げられたものであることを述べている。