[论文解读] Arithmetic structures in random sets

Mariah Hamel, Izabella Łaba|ArXiv.org|Mar 26, 2007

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

一句话总结

本文将经典加法数论中的结果——Sárközy关于平方差的定理以及Green关于和集中长等差数列的定理——推广至渐近密度为零的稀疏随机集合。通过借鉴Green与Green-Tao的傅里叶分析限制方法，作者证明：即使在环境集合密度随N增大而趋于零的情况下，具有正相对密度的随机集合子集仍包含非平凡的平方差和大和集。

ABSTRACT

We extend two well-known results in additive number theory, Sárközy's theorem on square differences in dense sets and a theorem of Green on long arithmetic progressions in sumsets, to subsets of random sets of asymptotic density 0. Our proofs rely on a restriction-type Fourier analytic argument of Green and Green-Tao.

研究动机与目标

• 在渐近密度为零的稀疏随机集合中建立经典加法组合学结果的类比。
• 研究具有正相对密度的随机集合子集是否包含如平方差和长等差数列等算术结构。
• 将Sárközy定理与Green的和集结果推广至N增大时密度趋于零的随机集合。
• 证明稀疏集合中的伪随机性足以保证算术结构的存在，其效果类似于Green-Tao方法在素数中的结果。

提出的方法

• 将Green与Green-Tao的傅里叶分析限制方法适配至稀疏随机集合。
• 使用分解技术将集合分为结构部分与伪随机部分，重点通过限制估计处理伪随机部分。
• 应用Hölder不等式与Plancherel定理，控制特征函数卷积的$L^2$-范数。
• 通过$ olimits\|\widehat{f_i}\|_{19/9}$在$\theta < 1/20$下的小性，控制傅里叶变换的$L^{19/9}$-范数，确保一致有界性。
• 通过小的$\epsilon_0$控制傅里叶变换的上确界范数，确保伪随机部分不占主导。
• 使用概率估计与平均值论证，证明即使在稀疏设定下，和集大小也以高概率为大。

实验结果

研究问题

• RQ1 Sárközy关于平方差的定理能否推广至渐近密度为零的随机集合子集？
• RQ2 对于密度满足$p \geq N^{-\theta}$（$\theta < 1/110$）的随机集合，是否存在具有正相对密度的子集，其包含非平凡平方差？
• RQ3 Green关于和集中长等差数列的结果能否推广至稀疏随机集合，且$\theta < 1/140$？
• RQ4 当环境密度趋于零时，随机集合中和集的长等差数列是否存在性是否仍被保持？
• RQ5 此类算术结构在密度趋于零的随机集合中持续存在的$\theta$阈值是多少？

主要发现

• 当$p \geq cN^{-\theta}$且$\theta < 1/110$时，对任意满足$|A| \geq \alpha |W|$的子集$A \subset W$，当$N \to \infty$时，其以概率$1 - o_\alpha(1)$包含非平凡平方差。
• 对更高次幂差的结果亦成立，将Sárközy型定理推广至稀疏随机集合。
• 当$\theta < 1/140$时，对任意满足$|A| \geq \alpha |W|$的子集$A \subset W$，有$|A+A| \geq \beta N$，且该结果以概率$1 - o_{\alpha,\beta}(1)$成立，其中任意$\beta < \alpha$。
• 在$\mathbb{Z}_N$中，和集大小至少为$\beta N$，表明此类结构在极稀疏的随机集合中仍具鲁棒性。
• 证明依赖于通过限制估计控制卷积的$L^2$-范数，以及对傅里叶变换的$L^{19/9}$-范数有界性，且在$\theta < 1/20$下有$\|\widehat{f_i}\|_{19/9} = O(1)$。
• 关键技术条件$\epsilon_0 \ll \alpha^{28} k^{-9} (c\alpha / \log k)^{c\alpha^{-2} \log(1/\alpha) \log k}$确保了卷积所需的$L^2$-界，从而保证算术结构的存在。