[論文レビュー] 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$ノルムを制御する。
• $\theta < 1/20$ の下で $\|\widehat{f_i}\|_{19/9}$ の小ささを用いて、$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 $ の閾値は何か？

主な発見

• 任意の $ N \to \infty $ において、$ p \geq cN^{-\theta} $（$ \theta < 1/110 $）の下で、$ |A| \geq \alpha |W| $ を満たす部分集合 $ A \subset W $ は、確率 $ 1 - o_\alpha(1) $ で非自明な平方差を含む。
• 平方差の高次一般化に対しても同様の結果が成り立ち、Sárközy型の定理がスパースなランダム集合へ拡張される。
• $ \theta < 1/140 $ の下で、任意の $ \beta < \alpha $ に対して、$ |A| \geq \alpha |W| $ を満たす部分集合 $ A \subset W $ は、確率 $ 1 - o_{\alpha,\beta}(1) $ で $ |A+A| \geq \beta N $ を満たす。
• $ \mathbb{Z}_N $ における和集合サイズが少なくとも $ \beta N $ であることが示され、このような構造が非常にスパースなランダム集合に対しても頑健であることを示唆する。
• 証明は、制限推定による畳み込みの$L^2$ノルムの制御と、$ \|\widehat{f_i}\|_{19/9} = O(1) $（$ \theta < 1/20 $ の下）の$L^{19/9}$ノルムの境界に基づく。
• 技術的条件 $ \epsilon_0 \ll \alpha^{28} k^{-9} (c\alpha / \log k)^{c\alpha^{-2} \log(1/\alpha) \log k} $ が満たされれば、畳み込みの必要な$L^2$境界が保証され、算術的構造の存在が保証される。