[论文解读] On sumsets of dissociated sets

Ilya D. Shkredov|ArXiv.org|Dec 7, 2007

Limits and Structures in Graph Theory参考文献 18被引用 11

一句话总结

本文通过分析方程 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$ 在 $q_i \in Q$ 下的解的数量，研究了阿贝尔群中无关联集合的和集，特别是 $\mathbf{F}_2^n$ 中的情形。利用初等的傅里叶分析技术以及无关联集合的鲁丁不等式类比，作者建立了该解数的最优上界，并对博尔甘关于大指数和的结果进行了微小改进。

ABSTRACT

In the paper we are studying some properties of subsets Q of sums of dissociated sets. The exact upper bound for the number of solutions of the following equation (1) q_1 + ... + q_p = q_{p+1} + ... + q_{2p}, q_i \in Q in groups F_2^n is found. Using our approach, we easily prove a recent result of J. Bourgain on sets of large exponential sums and obtain a tiny improvement of his theorem. Besides an inverse problem is considered in the article. Let Q be a set belonging a sumset of two dissociated sets such that equation (1) has many solutions. We prove that in the case the large proportion of Q is highly structured.

研究动机与目标

• 确定方程 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$ 的解数的精确上界，其中 $q_i \in Q$，且 $Q$ 是 $\mathbf{F}_2^n$ 中无关联集合和集的子集。
• 通过傅里叶分析和无关联集合的性质，为 J. 博尔甘 最近关于具有大指数和的集合的结果提供一个初等证明。
• 研究逆问题：若该方程有大量解，则 $Q$ 必须具备何种结构性质？
• 通过无关联集合的鲁丁不等式类比的新颖应用，对博尔甘关于 $d\dot{\Lambda} \cap \mathcal{R}_\alpha$ 大小的定理实现定量改进。

提出的方法

• 定义 $Q \subseteq d\dot{\Lambda}$，其中 $\Lambda$ 为无关联集合，并分析方程 $r_1 + \cdots + r_k = r_1' + \cdots + r_k'$ 的解数 $T_k(Q)$，其中 $r_i, r_i' \in Q$。
• 采用初等的傅里叶分析方法，避免使用复杂的超收缩技术，将 $T_k(Q)$ 估计为 $C^{dk}k^{dk}|Q|^k$，其中 $C > 0$ 为绝对常数。
• 将该估计应用于 $d\dot{\Lambda} \cap \mathcal{R}_\alpha$，其中 $\mathcal{R}_\alpha$ 是集合 $A$ 的傅里叶系数较大的特征标集合，以获得改进的估计。
• 引入 $Q$ 的递归分解，将其划分为由 $\vec{a} \in S_1 \times \cdots \times S_{d-2}$ 索引的结构化部分 $Q(\vec{a})$，并基于解数使用反证法。
• 利用无关联集合的鲁丁不等式推广形式，控制结构化子部分中的解数。
• 使用赫尔德不等式及一个引理（$T_k(f) \leq T_k(|f|)$）将解数与傅里叶系数的 $L^1$-范数联系起来。

实验结果

研究问题

• RQ1 对于 $Q \subseteq d\dot{\Lambda}$，方程 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$ 的解数的精确上界是什么，其中 $Q$ 是 $\mathbf{F}_2^n$ 中无关联集合和集的子集？
• RQ2 能否通过初等的傅里叶分析方法重新证明并略微改进博尔甘关于 $d\dot{\Lambda} \cap \mathcal{R}_\alpha$ 大小的结果？
• RQ3 当方程 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$ 有大量解时，$Q$ 必须具备何种结构性条件？
• RQ4 对于 $d\dot{\Lambda}$ 的子集 $Q$，解数 $T_k(Q)$ 的行为如何？这又对 $Q$ 的结构意味着什么？
• RQ5 该方程的解数与大傅里叶系数集合 $\mathcal{R}_\alpha$ 的大小之间存在何种关系？

主要发现

• 对于 $Q \subseteq d\dot{\Lambda}$，方程 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$ 的解数被控制在 $C^{dp}p^{dp}|Q|^p$ 以内，其中 $C > 0$ 为绝对常数，这在 $\mathbf{F}_2^n$ 中给出了一个紧确的估计。
• 作者推导出对博尔甘界的一个微小改进：$|d\dot{\Lambda} \cap \mathcal{R}_\alpha| \leq 8(\delta/\alpha)^2 \log^d(1/\delta)$，通过初等方法获得了更优的常数因子。
• 若 $Q \subseteq d\dot{\Lambda}$ 在方程 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$ 上有大量解，则 $Q$ 的大部分具有高度结构，即包含一个具有特定加法分解的大子集。
• 对于任意 $B \subseteq \mathcal{R}_\alpha$，其解数 $T_k(B)$ 满足 $T_k(B) \geq \delta \alpha^{2k} |B|^{2k} / \delta^{2k}$，这是一个在分析中使用的关键下界。
• 证明避免了超收缩技术，转而使用 $Q$ 沿 $\vec{a} \in S_1 \times \cdots \times S_{d-2}$ 索引的递归分解，若解数超过预期界限，则导致矛盾。
• 找到一个向量 $\vec{a} \in S_1 \times \cdots \times S_{d-2}$，使得 $|Q(\vec{a})| \geq \frac{m d^d}{2^{50d} K^{2d} |\Lambda|^{d-2}}$，其中 $m = |Q'|$，表明 $Q$ 中存在一个结构化的子部分。