On structured cosine sums and applications

技术摘要：关于结构化余弦和及其应用

问题陈述
本文研究了定义在循环群 $G = \mathbb{Z}/N\mathbb{Z}$ 上的结构化余弦和的两个基本问题。对于多重集 $S \subset G$ 和整数 $k \in G$，该和定义为：
$$C_S(k) = \sum_{j=1}^t \cos\left(\frac{2\pi k s_j}{N}\right).$$
主要目标是：

1. 消失问题（The Vanishing Problem）： 特征化使得 $C_S(k) = 0$ 的对 $(k, S)$。
2. 重数问题（The Multiplicity Problem）： 对于给定的实值 $c$，估计并确定纤维 $\{k \in G : C_S(k) = c\}$ 的大小。

这些问题受到具有有理角的三角丢番图方程的启发，该领域在历史上由 Conway 和 Jones 进行过研究，并且与循环 Cayley 图的谱理论直接相关，其中 $C_S(k)$ 代表该图邻接矩阵的特征值。

方法论
作者将该三角问题转化为代数数论和群环的语言。

• 群环形式化（Group Ring Formalism）： 多重集 $S$ 被识别为其在整群环 $\mathbb{Z}[G]$ 中的伴随元素 $\sigma(S) = \sum_{s \in S} [s]$。余弦和通过恒等式 $2C_S(k) = ev_N(\text{Sym}(kS))$ 与评估映射 $ev_N: \mathbb{Z}[G] \to \mathbb{Z}[\zeta_N]$ 相关联，其中 $\text{Sym}(X) = X + X^*$ 且 $X^*$ 是对合 $x \mapsto -x$。
• 单位根的消失和（Vanishing Sums of Roots of Unity）： $C_S(k)$ 的消失对应于评估映射核中的元素，即 $\ker(ev_N) \cap \mathbb{N}[G]$。分析严重依赖于 Lam–Leung 关于单位根消失和的理论，特别是最小消失和的分类以及对于平方自由 $N$ 的核的结构。
• 傅里叶刚性（Fourier Rigidity）： 重数问题通过分析多重集的傅里叶变换来处理。作者建立了“刚性”结果，证明对于权重足够小的多重集，单个非零原初傅里叶系数的相等意味着多重集本身的相等。
• 伽罗瓦理论（Galois Theory）： 对于 $N$ 为平方自由且 $S$ 是单位群的一个子群的情况，作者利用循环域中正规基的性质和高斯周期来描述谱。

主要贡献与结果

1. 消失和的分类（定理 B）：

   • 对于 $N = p^a q^b$（其中 $p < q$ 为不同的奇素数），论文提供了 $C_S(k) = 0$ 的充分必要条件。具体而言，$\text{Sym}(kS)$ 必须是特定“块”的有限和：阶为 $p$ 的子群和 $q$ 的子群的平移，以及这些子群的一个特定组合 ($D_{p,q}(N)$)。
   • 对于一般的 $N$，若权重 $|S|$ 等于最小素因子 $p$，则 $C_S(k) = 0$ 当且仅当 $\text{Sym}(kS)$ 是阶为 $p$ 的子群的平移。
   • 论文还讨论了 $N = 2^a q^b$ 的情况，指出由于对合 $x \mapsto -x$ 的不动点而产生的复杂性。

2. 小权重傅里叶刚性（定理 C）：

   • 令 $p$ 为奇整数 $N$ 的最小素因子。如果两个多重集 $X, Y$ 的权重 $\le p$（或对称权重 $\le 2p$）且共享一个特定的非零傅里叶系数的值（即 $\hat{X}(1) = \hat{Y}(1) \neq 0$），那么 $X = Y$。
   • 这意味着对于小权重多重集，其“原初傅里叶谱”是刚性的：一个非零系数的相等强制了整个多重集的相等。

3. Wlodarski 定理与两项余弦界限（定理 A）：

   • 利用单位根视角和 Poonen 及 Rubinstein 的低权重分类，论文提供了 Wlodarski 关于有理四项余弦消失和分类的另一种证明。
   • 作为推论，它为两项重数问题建立了精确界限：对于任何非零 $c$，最多存在 3 对有理角 $\{\alpha, \beta\}$ 满足 $\cos \alpha + \cos \beta = c$。

4. 循环 Cayley 图的谱应用（定理 D & E）：

   • 零特征值： 论文基于结构化余弦和的消失准则，导出了循环 Cayley 图中零特征值存在的显式判据。
   • 重数界限（定理 D）： 若对称生成集 $S$ 包含一个单位元，且 $|S| \le 2p$（其中 $p$ 是 $N$ 的最小素因子），则任何非零特征值 $\mu$ 的重数被限制为 $|S|$（若 $p \ge 3$）或 6（若 $p=2$）。这些界限被证明是最佳的。
   • 平方自由单位子群（定理 E）： 当 $N$ 是平方自由且 $S$ 是单位群 $(\mathbb{Z}/N\mathbb{Z})^\times$ 的一个子群时，其谱通过缩放的高斯周期进行描述。论文根据 $N$ 的因子定义了特征值的“层”，并提供了不同层之间的特征值互异的条件。

意义
该论文声称其意义在于通过群环和单位根的代数框架，将三角丢番图问题与 Cayley 图的谱理论统一起来。

• 它将消失和理论的范围从一般的单位根扩展到了具有特定多重集 $S$ 约束的结构化余弦和。
• 它为小支撑条件下的 Cayley 图特征值重数提供了精确、最优的界限，这在图同构和谱间隙的研究中具有相关性。
• 它为经典结果（Wlodarski 定理）提供了严谨的代数证明，并将研究扩展到了新的语境（有理特征值的重数界限）。
• 关于平方自由单位子群的结果通过高斯周期提供了谱的完整描述，将生成集的组合结构与涉及的域扩张的算术性质联系起来。

该工作并未提出实验应用或超出所导出的定理在数学影响之外的未来方向，而是保持对代数分类和谱界限的关注。