[论文解读] A Non-Linear Roth Theorem for Sets of Positive Density

Ben Krause|arXiv (Cornell University)|Jan 5, 2019

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

一句话总结

该论文在实直线上建立了关于正上密度集合的非线性Roth型定理，证明了对于任意不含常数项或一次项的多项式 $ P(t) $（或更一般地，非平坦曲线），此类集合中均存在具有正密度的syndetic型配置 $ \{x - t, x - P(t)\} $。通过采用受Bourgain方法启发的精细傅里叶分析方法，作者证明：在大尺度下，此类配置的密度下界为常数倍的 $ \delta^2 $，其中 $ \delta $ 为该集合的上密度。

ABSTRACT

Suppose that $A \subset \mathbb{R}$ has positive upper density, \[ \limsup_{|I| o \infty} \frac{|A \cap I|}{|I|} = δ> 0,\] and $P(t) \in \mathbb{R}[t]$ is a polynomial with no constant or linear term, or more generally a non-flat curve: a locally differentiable curve which doesn't "resemble a line" near $0$ or $\infty$. Then for any $R_0 \leq R$ sufficiently large, there exists some $x_R \in A$ so that \[ \inf_{R_0 \leq T \leq R} \frac{|\{ 0 \leq t < T : x_R - t \in A, \ x_R - P(t) \in A \}|}{T} \geq c_P \cdot δ^2 \] for some absolute constant $c_P > 0$, that depends only on $P$.

研究动机与目标

• 将Bourgain针对线性Roth型配置的傅里叶分析方法推广至包含多项式或非平坦曲线的非线性模式。
• 在 $ P(t) $ 无一次项或常数项时，证明正上密度集合中存在syndetic型配置 $ \{x - t, x - P(t)\} $。
• 通过引入非平坦曲线并改进定量估计，推广先前关于稠密集中多项式配置的研究结果。
• 提供此类配置密度的定量下界，该下界仅依赖于多项式系数范数与集合密度 $ \delta $。

提出的方法

• 通过 dyadic 频率投影将双线性算子 $ B_r(f,g)(x) = \frac{1}{r}\int_0^r f(x-t)g(x-P(t))\,dt $ 分解为频带局部化的分量。
• 应用双线性型估计与极大函数有界性，控制误差项，特别是高频分量的误差。
• 基于频率局部化与特征函数傅里叶变换的 $ L^2 $-范数估计，采用反证法。
• 将单位区间划分为 dyadic 子区间，并识别出一个子集 $ \mathcal{Q} $，使得双线性算子的下确界满足 $ c_P \delta^3 $ 的下界。
• 利用不确定性原理与 $ \ell^2 $-限制估计，表明若双线性型较小，则其傅里叶支撑必须以受控方式变大。
• 利用关键估计 $ \|B_k(f_{k+m}, g_{2k+m+p})\|_{L^1} \lesssim 2^{-\epsilon m}\|f\|_2\|g\|_2 $ 控制双线性型项，并推导出定量衰减。

实验结果

研究问题

• RQ1 Bourgain 的傅里叶分析方法能否推广至检测正上密度集合中非线性模式 $ \{x - t, x - P(t)\} $ 的存在性？
• RQ2 当 $ P(t) $ 为非平坦曲线或无一次/常数项的多项式时，此类配置的密度是否存在定量下界？
• RQ3 曲率或非平坦性如何影响稠密集中此类模式的存在性与密度？
• RQ4 通过更精细的频率分解与双线性型估计，能否将双线性型下界改进至超越先前结果？
• RQ5 下界对多项式系数与集合密度 $ \delta $ 的依赖关系如何？

主要发现

• 对任意实直线上正上密度 $ \delta $ 的集合 $ A \subset \mathbb{R} $，存在 $ x_R \in A $，使得对所有充分大的 $ R $，满足 $ x_R - t, x_R - P(t) \in A $ 的 $ t \in [0,R] $ 的集合密度至少为 $ c_P \delta^2 $，其中 $ c_P > 0 $ 仅依赖于 $ P $。
• 通过推论1.8，主结果得到定量改进，给出双线性型在 $ r \in (0,1] $ 上的下确界下界为 $ \frac{c_{\epsilon,P}}{2^{\delta^{-5-\epsilon}}} \cdot c_P \delta^3 $ 的数量级。
• 一个关键命题表明：若双线性型在平均意义下较小，则特征函数 $ \mathbf{1}_A $ 的傅里叶变换在某些频率环带上的 $ L^2 $-范数必须较大，意味着其傅里叶支撑具有结构。
• 证明表明：若双线性型无法保持较大，则其傅里叶侧必须积累大量 $ L^2 $-质量，除非集合具有特定的频率结构，否则与小性假设矛盾。
• 该结果适用于广泛的非平坦曲线，包括在0处至少二阶零点的实解析函数、次数 $ \geq 2 $ 的洛朗多项式，以及形如 $ |t|^\alpha |\log|t||^\beta $ 的函数（其中 $ \alpha \neq 0,1 $）。
• 常数 $ c_P, C_P $ 对 $ \|P\| $（系数的 $ \ell^1 $-和）的依赖关系是显式的，且在缩放与 dyadic 分解下具有鲁棒性。