[论文解读] Some examples of sets of large exponential sums

Ilya D. Shkredov|ArXiv.org|Oct 18, 2006

Limits and Structures in Graph Theory参考文献 17被引用 4

一句话总结

本文构造了 $ A \subseteq \mathbb{Z}/N\mathbb{Z} $ 的显式例子，其指数和较大，展示了 M.-C. Chang 定理在集合 $ \mathcal{R}_\alpha $（即超过阈值 $ \alpha N $ 的傅里叶系数集合）结构上的紧致性。本文改进了生成集 $ \Lambda^* $ 的大小上界，表明其在对数因子范围内最优，并通过组合与傅里叶分析技术建立了指数和集合的定量逆定理。

ABSTRACT

Let $A$ be a subset of $\mathbb{Z} / N\mathbb{Z}$ and let $\mathcal{R}$ be the set of large Fourier coefficients of $A$. Properties of $\mathcal{R}$ have been studied in works of M.-- C. Chang, B. Green and the author. In the paper we obtain some new results on sets of large exponential sums.

研究动机与目标

• 为了证明 M.-C. Chang 关于集合 $ \mathcal{R}_\alpha $（即子集 $ A \subseteq \mathbb{Z}/N\mathbb{Z} $ 的大傅里叶系数集合）结构定理的紧致性。
• 为了构造显式例子，使得 $ \mathcal{R}_\alpha $ 无法被包含在小集合 $ \Lambda $ 的张成空间中，从而表明现有上界的最优性。
• 为了建立大指数和集合的定量逆定理，改进对 $ \delta = |A|/N $ 和 $ \alpha $ 的依赖关系。
• 为了改进生成集 $ \Lambda^* $ 和 $ \tilde{\Lambda} $ 的大小上界，这些集合可通过带符号和表示 $ \mathcal{R}_\alpha $ 的所有元素。

提出的方法

• 在 $ \mathbb{Z}_2^n $ 中构造一个集合 $ A \subseteq \mathbb{Z}_2^n $，满足 $ |A| = \delta N $，通过控制交集的结构化子集 $ A_i $ 的并集来控制傅里叶系数。
• 将 $ \mathcal{R}_\alpha $ 定义为满足 $ |\widehat{A}(r)| \geq \alpha N $ 的 $ r \in \mathbb{Z}_N $ 的集合，并通过方程 $ r_1 + \cdots + r_k = r_1' + \cdots + r_k' $ 的解数分析其加法结构。
• 利用子集 $ B \subseteq \mathcal{R}_\alpha \setminus \{0\} $ 的 $ k $ 阶矩 $ T_k(B) $ 推导 $ \mathcal{R}_\alpha $ 的加法能量下界，将其与 $ B $ 的大小及参数 $ \delta, \alpha $ 联系起来。
• 应用组合估计和交集大小 $ |A_i \cap A_j| < k/r $ 的上界，控制 $ \mathcal{R}_\alpha $ 中加法方程的解数，从而得到 $ T_2(\mathcal{R}_\alpha) $ 的上界。
• 使用傅里叶分析工具，包括恒等式 $ \sum_r |\widehat{f}(r)|^4 = \frac{1}{N} \sum_r |\widehat{f \ast f}(r)|^2 $，将 $ T_2 $ 与傅里叶变换的 $ L^4 $-范数联系起来。
• 将这些上界与逆定理框架结合，表明生成 $ \mathcal{R}_\alpha $ 所需的生成元数量 $ \Lambda^* $ 在对数因子范围内是最优的。

实验结果

研究问题

• RQ1 M.-C. Chang 关于 $ \mathcal{R}_\alpha $ 结构的定理在生成集 $ \Lambda $ 的大小方面是否可证明为紧致？
• RQ2 使得每个 $ r \in \mathcal{R}_\alpha $ 均可表示为 $ \Lambda $ 中元素的带符号和的最小集合 $ \Lambda $ 的大小是多少？
• RQ3 能否给出 $ A \subseteq \mathbb{Z}/N\mathbb{Z} $ 的显式构造，使得 $ \mathcal{R}_\alpha $ 无法被小集合 $ \Lambda $ 的张成空间覆盖？
• RQ4 加法能量 $ T_k(B) $ 如何依赖于 $ \delta $、$ \alpha $ 和 $ |B| $？
• RQ5 Chang 定理中生成集大小对 $ \delta/\alpha $ 和 $ \log(1/\delta) $ 的依赖关系是否最优？

主要发现

• 本文构造了一个集合 $ A \subseteq \mathbb{Z}_2^n $，使得 $ \mathcal{R}_\alpha $ 无法被任何大小小于 $ 2^{-12}(\delta/\alpha)^2 \log(1/\delta) $ 的集合 $ \Lambda $ 的张成空间包含，从而在特定条件下证明了 Chang 上界的紧致性。
• 本文证明了表示 $ \mathcal{R}_\alpha $ 中所有 $ r $ 所需的生成元数量 $ \Lambda^* $ 满足 $ |\Lambda^*| \leq \min\left(2^{30}(\delta/\alpha)^2 \log(1/\delta), 2^{4(\log\log(1/\delta))^2 + 2}\right) $，改进了先前的上界。
• 本文证明了在 $ \alpha \geq 32\delta^2 $ 的条件下，$ \mathcal{R}_\alpha $ 中满足 $ r_1 + r_2 = r_1' + r_2' $ 的解数 $ T_2(\mathcal{R}_\alpha) $ 上界为 $ \frac{16\delta}{\alpha^4} $。
• 本文证明了表示任意 $ r \in \mathcal{R}_\alpha $ 所需的向量 $ \lambda_i^* \in \Lambda^* $ 的数量最多为 $ 8\log(1/\delta) $，且该界本质上是最优的。
• 替代生成集 $ \tilde{\Lambda} $ 的大小被上界控制为 $ 2^{20}(\delta/\alpha)^2 \log^{5/3}(1/\delta) \log\log(1/\delta) $，表明了对数依赖与多项式依赖之间的权衡。
• 本文确认了 $ \Lambda^* $ 大小中对 $ \log(1/\delta) $ 的依赖关系在常数因子范围内是最优的，因为当 $ |\mathcal{R}_\alpha| \approx 1/\delta $ 时，任何更小的集合都无法生成 $ \mathcal{R}_\alpha $。