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

技术摘要：关于平方自由阶循环群的 Fuglede 猜想

问题陈述
本文研究了有限循环群背景下的 Fuglede 猜想。该猜想指出，一个集合是谱集（即存在指数函数的正交基）当且仅当它可以通过平移对空间进行平铺。虽然该猜想在维度 $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$ 的全局平铺。

主要贡献与结果
主要贡献在于建立了一种归纳论证，将 Fuglede 猜想的有效性扩展到了新的无穷族循环群中。

• 定理 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（推论）： 对于平方自由整数 $M = \prod_{i=1}^k p_i$，其中素因子增长迅速（具体为 $p_{j+1} > \prod_{i=1}^j p_i$），Fuglede 猜想对于 $\mathbb{Z}_M$ 成立。

这一结果具有重要意义，因为它提供了第一个已知满足 Fuglede 猜想且可以拥有任意数量不同素因子的循环群无穷族，前提是这些素数增长得足够快。

意义与主张
本文声称解决了此前现有方法无法触及的一类广泛循环群的谱到平铺方向问题。

• 归纳框架： 该工作开发了一种稳健的归纳技术，通过利用“大素数”现象，架起了小规模循环群与具有许多素因子的循环群之间的桥梁。
• 公共谱： 一个关键的技术洞察是命题 3.2，它表明在存在大素因子的情况下，一个谱集在其各层中必须具有一个公共谱。这种结构刚性对于归纳步骤至关重要。
• 局限性： 作者指出，平方自由假设仅在证明的最后一步（情况 2）中是必要的，以确保各层存在一个共同的平铺补集。该方法表明，如果 Coven-Meyerowitz 猜想对非平方自由群也成立，并且可以建立补集的兼容性论证，则结果可能会扩展到非平方自由群。
• 背景： 本文承认平铺到谱的方向对于平方自由阶已是已知（通过 Shi 和 Tijdeman）。新颖性严格在于谱到平铺方向。

作者谦逊地将这项工作描述为建立在先前合作（Fallon, Kiss, Mayeli）和近期预印本基础上的归纳步骤，旨在为未来的非平方自由群扩展提供基础，并解决关于猜想不对称性的开放问题（例如，既满足 T-S 但不满足 S-T 的群）。