[论文解读] An application of the sum-product phenomenon to sets having no solutions of several linear equations

Ilya D. Shkredov|arXiv (Cornell University)|Sep 21, 2016

Limits and Structures in Graph Theory参考文献 16被引用 3

一句话总结

该论文将有限域中的和积现象应用于控制 $\mathbb{F}_p$ 子集的大小，这些子集避免了形如 $x_1 + a_jx_2 + b_jx_3 = b_j$ 的多个线性方程。通过谱方法和关联理论，证明此类集合的大小为 $O(p / t^{\kappa})$，其中 $\kappa < 3/20$，改进了已知界限，并表明在不使用新技术的情况下，指数不可能超过 $1/3$。该结果在非平均集合、共线三元组和混合能量方面具有应用。

ABSTRACT

We prove that for an arbitrary $κ\le \frac{1}{3}$ any subset of $\mathbf{F}_p$ avoiding $t$ linear equations with three variables has size less than $O(p/t^κ)$. We also find several applications to problems about so--called non--averaging sets, number of collinear triples and mixed energies.

研究动机与目标

• 确定 $\ mathbb{F}_p$ 中避免 $t$ 个形如 $x_1 + a_jx_2 + b_jx_3 = b_j$ 且系数非零的线性方程的子集的最大大小。
• 研究和积现象如何约束此类集合的大小，特别是当 $t \to \infty$ 且 $p \to \infty$ 时。
• 建立避免 $t$ 个此类方程的集合大小的定量上下界，其中 $t$ 的指数显式给出。
• 将结果应用于加法组合数学中的问题，包括非平均集合、笛卡尔积中的共线三元组以及混合能量估计。

提出的方法

• 通过大傅里叶系数定义集合 $A \subseteq \mathbb{F}_p$ 的谱，以分析其加法和乘法结构。
• 应用 [9] 中的精确关联定理及其在 [1, 7, 10] 中的扩展，以控制线性方程解的数量。
• 利用对偶集（谱）通过谱能量界将关联结果推广到大集合 $A$，而不仅限于小集合。
• 证明集合 $A$ 的谱具有较小的乘法能量，并包含一个具有更小乘法能量的较大子集。
• 通过傅里叶系数上的柯西-施瓦茨不等式和抽屉原理，控制混合能量和与其期望值的偏差。
• 推导出一个关键估计，涉及 $\|\widehat{A}\|'_{\infty}$，即傅里叶变换在大系数上的本质上确界范数，以控制能量估计中的误差项。

实验结果

研究问题

• RQ1 和积现象能否用于控制 $\ mathbb{F}_p$ 中避免多个线性方程的集合大小？
• RQ2 对于避免 $t$ 个形如 $x_1 + a_jx_2 + b_jx_3 = b_j$ 的方程的集合，使得 $|A| = O(p / t^{\kappa})$ 的最佳可能指数 $\kappa$ 是多少？
• RQ3 是否可能将指数改进至 $\kappa = 1/3$ 以上，这对加法组合数学意味着什么？
• RQ4 集合 $A$ 的谱性质（如其谱的大小及其乘法能量）如何与其避免线性方程的能力相关？
• RQ5 该方法能否扩展以估计大集合 $A$ 的混合能量 $\sum_{x \in X} \mathsf{E}^+(A, xA)$？

主要发现

• 对于任意 $\kappa < 3/20$，若 $A \subseteq \mathbb{F}_p$ 避免了 $t$ 个形如 $x_1 + a_jx_2 + b_jx_3 = b_j$ 的方程，且其比值不同或坐标唯一，则 $|A| = O(p / t^{\kappa})$。
• 论文构造了一个避免 $t$ 个此类方程的集合，其大小为 $\gg p / t^{1/2}$，表明在某些情况下指数 $1/2$ 是紧的。
• 任何集合 $A \subseteq \mathbb{F}_p$ 的谱具有较小的乘法能量，并包含一个具有更小乘法能量的较大子集。
• 当 $|A| \gtrsim p^{11/14}$ 时，差值比值集合 $R[A]$ 的大小至少为 $(1 - o(1))p$，意味着比值近似均匀分布。
• 推导出一个新的混合能量估计：$\left| \sum_{x \in X} \mathsf{E}^+(A, xA) - \frac{|X||A|^4}{p} \right| \lesssim \delta^{8/3} |X|^{1/2} p^3 \left( \frac{\|\widehat{A}\|'_{\infty}}{|A|} \right)^{2/3} $，该估计在 $|X|$ 满足一定条件时成立。
• 在不使用新技术的情况下，$|A|$ 的界限无法改进至 $O(p / t^{1/3})$ 以下，因为 $1/3$ 被认为是当前技术的自然极限。