Fuglede's Conjecture on Cyclic Groups of Square-Free Order: The Case of Rapidly Growing Prime Factors

技術的要約：平方フリーな次数の巡回群におけるフゲデの予想

問題提起
本論文は、有限巡回群の文脈におけるフゲデの予想（Fuglede's conjecture）を扱う。この予想は、ある集合がスペクトル集合である（指数関数の直交基底を持つ）ことと、その集合が平行移動によって空間をタイル張りできることは同値であると主張するものである。フゲデの予想は、次元 $d \ge 2$ のユークリッド空間においては反例が示されているが、一次元のケースは依然として未解決である。DutkayとLaiによる簡約、および正規化されたスペクトルの有理性を証明したFuとSongによる最近の研究を通じて、実数直線 $\mathbb{R}$ 上での予想は、すべての有限巡回群 $\mathbb{Z}_N$ に対して予想が成立することと等価となっている。

多大な進展にもかかわらず、一般的な有限巡回群については、この予想は未解決のままである。具体的には、「タイルからスペクトルへ」の方向（T-S）は、すべての平方フリーな次数の巡回群に対して成立することが知られているが、「スペクトルからタイルへ」の方向（S-T）については、特定の族（例：素数冪、少数の素因数を持つ群、または特定の大きな素数の構成を持つ群）においてのみ検証されている。決定的なギャップが存在する。すなわち、本研究以前には、任意の数の異なる素因数を持つ、既知の無限個の巡回群の族の中で、この予想を満たすものは存在しなかった。

手法
著者は、円分多項式の可除性とフーリエ解析に根ざした帰納的手法を用いている。核心となる手法は以下の通りである：

1. 円分定式化： マスク多項式 $A(X)$ と、$\Phi_m(X)$ が $A(X)$ を割り切るという条件を利用して、スペクトル性を特徴付ける。
2. キューブ・ルールとファイバー分解： 積群におけるスペクトル集合の構造を分析するために、「キューブ・ルール」（命題2.1）およびレベルごとのバージョン（補題2.2）を適用する。これには、集合 $A \subset \mathbb{Z}_n \times \mathbb{Z}_p$ を「レベル」（$\mathbb{Z}_n$ の剰余類）へと分解し、それらの性質を分析するプロセスが含まれる。
3. 帰納ステップ： 本論文は、安定性に関する結果を確立している。すなわち、平方フリーな群 $\mathbb{Z}_n$ に対してS-Tの方向が成立する場合、$p > n$ が素数であれば $\mathbb{Z}_n \times \mathbb{Z}_p$ に対しても成立する。
   • ケース1 ($p \nmid |A|$)： 著者は、$p$ 倍の写像がスペクトル集合 $A$ 上で単射であることを証明する。これにより、$A$ を $\mathbb{Z}_n$ におけるスペクトル集合へと射影することが可能となり、帰納的仮定が適用される。
   • ケース2 ($p \mid |A|$)： 著者は、$A$ が $\mathbb{Z}_n \times \mathbb{Z}_p$ においてスペクトルであり、かつ $p$ がその濃度を割り切る場合、 $A$ のすべての「レベル」（$\mathbb{Z}_n$ の剰余類との共通部分）が共通のスペクトル $E \subset \mathbb{Z}_n$ を共有することを証明する（命題3.2）。
4. Coven-Meyerowitzとの関連： $n$ が平方フリーである場合、Coven-Meyerowitz予想（特にLabaとMeyerowitzによる結果）は、与えられた濃度を持つ任意のタイルが標準的な部分群補集合を持つことを保証する。これにより、レベルで見出された共通のスペクトル $E$ が、レベルすべてが同じ補集合を用いて $\mathbb{Z}_n$ をタイル張りすることを意味することが保証され、$A$ の大域的なタイル張りの構成が可能となる。

主要な貢献と結果
主要な貢献は、スペクトルからタイルへの方向を、新たな無限個の巡回群の族へと拡張する帰納的議論の確立である。

• 定理1.1（主結果）： $n$ を平方フリーとし、$p > n$ を素数とする。もし $\mathbb{Z}_n$ に対してスペクトルからタイルへの方向（$S\text{-}T(\mathbb{Z}_n)$）が成立するならば、$\mathbb{Z}_n \times \mathbb{Z}_p$（これは $\mathbb{Z}_{np}$ と同型である）に対しても成立する。
• 定理1.2（系）： 素因数が急速に増大する（具体的には $p_{j+1} > \prod_{i=1}^j p_i$）平方フリー整数 $M = \prod_{i=1}^k p_i$ について、フゲデの予想は $\mathbb{Z}_M$ に対して成立する。

この結果は、素因数が十分に速く増大するという条件の下で、任意の数の異なる素因数を持つことができる、フゲデの予想を満たす既知の最初の無限個の巡回群の族を提供している点で重要である。

意義と主張
本論文は、既存の手法ではアクセス不可能であった広範なクラスの巡回群に対して、スペクトルからタイルへの方向を解決することを主張している。

• 帰納的枠組み： 本研究は、「大きな素数」現象に依拠しながら、小さな巡回群と多くの素因数を持つ巡回群の間の溝を埋める、堅牢な帰納的手法を開発している。
• 共通スペクトル： 重要な技術的洞察は、大きな素因数が存在する場合には、スペクトル集合がすべてのレベルにおいて共通のスペクトルを持つことを示す命題3.2である。この構造的な剛性は、帰納的ステップにおいて極めて重要である。
• 限界： 著者は、レベルに対して共通のタイル補集合が存在することを保証するために、平方フリーの仮定が（ケース2において）最終ステップでのみ不可欠であることを述べている。この手法は、Coven-Meyerowitz予想が非平方フリーの群に対しても成立し、補集合の適合性の議論が確立できれば、非平方フリーの群へと拡張できる可能性を示唆している。
• 文脈： 本論文は、タイルからスペクトルへの方向はすでに（ShiとTijdemanによって）平方フリーな次数の場合は既知であることを認めている。新規性は、厳密にスペクトルからタイルへの方向に存在する。

著者は、自身の研究を、先行する共同研究（Fallon, Kiss, Mayeli）や最近のプレプリントの上に築かれた帰納的ステップとして控えめに位置づけており、非平方フリーの群への将来的な拡張のための基礎を提供し、予想の非対称性（例：T-Sは成立するがS-Tは成立しない群）に関する未解決問題に取り組むことを目的としている。