[论文解读] On the Littlewood problem modulo a prime

Ben Green, Sergeĭ Konyagin|ArXiv.org|Jan 23, 2006

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

一句话总结

本文通过证明：对于均值为零且傅里叶变换的 ℓ¹-范数归一化的实值函数 $ f $ 在 $ \mathbb{Z}/p\mathbb{Z} $ 上，$ f $ 的点态绝对值的最小值至多为 $ O((\log \log p / \log p)^{1/3}) $，解决了 Littlewood 问题的一个模形式类比。该结果意味着对稠密子集的特征函数的傅里叶变换的 $ \ell^1 $-范数给出了强有力的定量界，并解决了 Gowers 关于模素数下大集合平移交集大小分布的问题。

ABSTRACT

Let p be a prime, and let f : Z/pZ -> R be a function with average value 0 and ||f||_A <= 1, where ||f||_A denotes the algebra norm (L^1 norm of the Fourier transform). Then f(x) is small for some x, specifically min_x |f(x)| is no more than O(log p)^{-1/3 + eps}. One should think of f as being ``approximately continuous''; our result is then an ``approximate intermediate value theorem''. As an immediate consequence we show that if B in Z/pZ is a set of cardinality (p-1)/2 then the algebra norm ||1_B||_A is >> (log p)^{1/3 - eps}. This gives a result on a ``mod p'' analogue of Littlewood's well-known problem concerning the smallest possible L^1-norm of the Fourier transform of a set of n integers. Another application is to answer a question of Gowers. If B in Z/pZ is a set of size (p-1)/2 then there is some x in Z/pZ such that the intersection of B with B + x has cardinality within o(p) of p/4.

研究动机与目标

• 建立一个在 $ \mathbb{Z}/p\mathbb{Z} $ 上的函数的最小点态值的定量界，其傅里叶变换的 $ \ell^1 $-范数较小，其精神类似于近似中间值定理。
• 通过研究 $ \mathbb{Z}/p\mathbb{Z} $ 上特征函数的傅里叶变换的 $ \ell^1 $-范数，解决 Littlewood 关于整数集上指数和的最小 $ L^1 $-范数的模形式类比猜想。
• 回答 Gowers 提出的问题，即对于大小为 $ \lfloor p/2 \rfloor $ 的子集 $ A \subseteq \mathbb{Z}/p\mathbb{Z} $，其交集大小 $ |A \cap (A+x)| $ 的分布是否集中在 $ p/4 $ 附近，证明存在某个 $ x $ 使得该值接近 $ p/4 $。
• 推导出 $ \mathbb{Z}/p\mathbb{Z} $ 中稠密子集的特征函数的傅里叶变换的 $ \ell^1 $-范数的下界，改进了平凡界，并与调和分析中的经典问题相联系。

提出的方法

• 通过使用概率和卷积技术，构造一个函数 $ f: \mathbb{Z}/p\mathbb{Z} \to [0,1] $，其均值为 $ 1/2 $，且满足 $ \|f * f^\circ - 1/4\|_\infty \gg 1/(\log p \log \log p) $，从而得出主要结果。
• 通过独立以概率 $ f(x) $ 选取每个元素，从 $ \mathbb{Z}/p\mathbb{Z} $ 中随机选择一个子集 $ B \subseteq \mathbb{Z}/p\mathbb{Z} $，并应用 Hoeffding 不等式来控制 $ B $ 的大小以及卷积 $ 1_B * 1_B^\circ $ 的偏差。
• 然后通过增加或删除 $ O(p^{2/3}) $ 个元素，将集合 $ B $ 确定性地修改为大小恰好为 $ \lfloor p/2 \rfloor $ 的集合 $ A $，以确保 $ \|1_A - 1_B\|_2 \leq 2p^{-1/6} $。
• 利用 $ \ell^2 $-扰动下卷积的稳定性，通过一个引理控制卷积差的 $ \ell^\infty $-范数，确保最终集合 $ A $ 满足所需的交集大小集中性。
• 通过将指标集划分为三个独立族，使得即使在依赖性存在的情况下，也能对依赖的随机变量 $ X_y X_{y-x} $ 应用 Hoeffding 不等式，从而实现集中界。
• 该构造基于一个函数 $ f $，其与自身反射的卷积远离 $ 1/4 $，并通过概率方法和 Komlós 猜想的结果证明了此类函数的存在性。

实验结果

研究问题

• RQ1 对于满足 $ \mathbb{E}[f] = 0 $ 且 $ \|\widehat{f}\|_1 \leq 1 $ 的实值函数 $ f $ 在 $ \mathbb{Z}/p\mathbb{Z} $ 上，$ \min_x |f(x)| $ 的最小可能值是多少？
• RQ2 能否为 $ \mathbb{Z}/p\mathbb{Z} $ 中大小为 $ \lfloor p/2 \rfloor $ 的子集的特征函数的傅里叶变换的 $ \ell^1 $-范数建立一个非平凡的下界？
• RQ3 对于每个大小为 $ \lfloor p/2 \rfloor $ 的子集 $ A \subseteq \mathbb{Z}/p\mathbb{Z} $，是否存在某个平移 $ x $，使得 $ \big{|} |A \cap (A+x)| - p/4 \big{|} = o(p) $？
• RQ4 在 $ \mathbb{Z}/p\mathbb{Z} $ 中，一个集合的傅里叶变换的 $ \ell^1 $-范数与 Littlewood 问题中的经典 $ \log n $ 界相比如何？
• RQ5 中间值型界中的 $ \log \log p $ 因子能否被改进？Komlós 猜想在此过程中起到什么作用？

主要发现

• 主要结果表明：对于任意满足 $ \mathbb{E}[f] = 0 $ 且 $ \|\widehat{f}\|_1 \leq 1 $ 的函数 $ f: \mathbb{Z}/p\mathbb{Z} \to \mathbb{R} $，有 $ \min_x |f(x)| = O\big{(}(\log \log p / \log p)^{1/3}\big{)} $。
• 该界在对数因子意义下是紧的，因为构造出一个满足 $ \min |f(x)| \gg 1/\log p $ 的函数表明，该界无法改进至 $ O(1/\log p) $ 以下。
• 作为推论，大小为 $ \lfloor p/2 \rfloor $ 的子集 $ A \subseteq \mathbb{Z}/p\mathbb{Z} $ 的特征函数的傅里叶变换的 $ \ell^1 $-范数满足 $ \|\widehat{1_A}\|_1 \gg (\log p / \log \log p)^{1/3} $。
• 本文通过证明：对任意此类 $ A $，存在某个 $ x \in \mathbb{Z}/p\mathbb{Z} $，使得 $ \big{|} |A \cap (A+x)| - p/4 \big{|} = O\big{(} p (\log \log p / \log p)^{1/3} \big{)} $，从而解决了 Gowers 的问题。
• 该结果推广至任意密度分别为 $ \alpha, \beta $ 的集合 $ A, B \subseteq \mathbb{Z}/p\mathbb{Z} $，表明存在某个 $ x $，使得 $ \big{|} |A \cap (B+x)| - \alpha\beta p \big{|} = O\big{(} p (\log \log p / \log p)^{1/3} \big{)} $。
• 最近，Sanders 的工作将主定理中的误差项改进为 $ O((\log p)^{-1/2 + \epsilon}) $，表明当前的界可能并非最优。