[論文レビュー] Arithmetic progressions in sumsets and L^p-almost-periodicity

Ernie Croot, Izabella Łaba+1 more|arXiv (Cornell University)|Mar 30, 2011

Limits and Structures in Graph Theory参考文献 6被引用数 12

ひとこと要約

本稿では、アーベル群における畳み込みの新しい$L^p$-準周期性結果を確立し、確率的近似補題を用いてグリーンの定理（和集合における長大な等差数列）の短い証明を与える。スパースな集合に対しても境界を改善し、密度が$N$に従って減少する場合でも、$A+B$が長さ$\exp\left(c\left(\frac{\alpha\log N}{(\log \beta^{-1})^3}\right)^{1/2} - \log(\beta^{-1}\log N)\right)$の等差数列を含むことを示す。

ABSTRACT

We prove results about the L^p-almost-periodicity of convolutions. One of these follows from a simple but rather general lemma about approximating a sum of functions in L^p, and gives a very short proof of a theorem of Green that if A and B are subsets of {1,...,N} of sizes alpha N and beta N then A+B contains an arithmetic progression of length at least about exp(c (alpha beta log N)^{1/2}). Another almost-periodicity result improves this bound for densities decreasing with N: we show that under the above hypotheses the sumset A+B contains an arithmetic progression of length at least about exp(c (alpha log N/(log(beta^{-1}))^3)^{1/2}).

研究の動機と目的

• 有限アーベル群における畳み込みの一般的な$L^p$-準周期性結果を確立し、加法的組合せ論の問題に応用可能であることを目的とする。
• グリーンの定理（和集合$A+B$における長大な等差数列）の短い確率的証明を提供すること。
• 集合$A$や$B$の密度が$N$とともに減少する場合に、$A+B$に含まれる等差数列の長さの下界を改善すること。
• 有限体の設定にこれらの結果を拡張し、$A+B$に含まれる部分空間の次元に関する境界を得ること。
• 小二重性（small-doubling）のバージョンを導出し、$A+B$の構造とその二重化定数$K_A$, $K_B$との関係を結びつけること。

提案手法

• 関数の$L^p$ノルムにおける近似に関する一般補題を用いて、重いフーリエ解析を避けることで畳み込みの準周期性を導出する。
• 鍵となる技術は、$L^p$ノルムの差$|f(x+t) - f(x)|$が小さいような、ランクと半径が制御されたボール集合$T$を確率的構成で作ることである。
• 改善された境界を得るためには、主補題にサンダースの小二重性に関する知見とルズァのモデル補題の洞察を組み合わせる。
• この方法は$f = 1_A * 1_B$に適用され、Cauchy-Schwarzを用いて$\|\hat{f}\|_{\ell^1}$の制御がなされることで有効性が保証される。
• 有限体への拡張ではボール集合を部分空間に置き換え、同じ議論により$A+B$に含まれる部分空間の次元に関する境界が得られる。
• ブートストラップ手続きを用いて、より構造的な準周期集合を導出し、$2A - 2A$にコセットプログレッションが含まれることを示す。

実験結果

リサーチクエスチョン

• RQ1 畳み込みの準周期性を示す際、複雑なフーリエ解析的道具に代えて、単純な確率的議論が可能か？
• RQ2 集合$A$と$B$の密度が小さくまたは$N$とともに減少する場合に、$A+B$に含まれる等差数列の長さの最良の下界は何か？
• RQ3 $A$と$B$の二重化定数$K_A$と$K_B$に依存して、$A+B$の構造はどのように変化するか？
• RQ4 準周期性フレームワークを有限体に適応することで、$A+B$に関するより強い構造的結果が得られるか？
• RQ5 準周期集合を、単なるボール集合ではなく、コセットプログレッションなどのより構造的なものにできるか、その程度はどの程度か？

主な発見

• 新しい$L^p$-準周期性結果が証明された：任意の$f: G \to \mathbb{C}$に対して、ランク$O(p/\epsilon^2)$、半径$\Omega(\epsilon)$のボール集合$T$が存在し、すべての$t \in T$に対して$\|f(x+t) - f(x)\|_{L^p} \leq \epsilon \|\hat{f}\|_{\ell^1}$が成り立つ。
• この結果を$f = 1_A * 1_B$に適用することで、グリーンの定理の短い証明が得られ、$A+B$が長さ少なくとも$\exp\left(c(\alpha\beta\log N)^{1/2} - \log\log N\right)$の等差数列を含むことが示される。
• 密度が減少する場合のより強い境界を証明：$A+B$は長さ少なくとも$\exp\left(c\left(\frac{\alpha\log N}{(\log \beta^{-1})^3}\right)^{1/2} - \log(\beta^{-1}\log N)\right)$の等差数列を含む。
• 小二重性バージョンでは、$|A+B| \leq K_A|A|, K_B|B|$ならば、$A+B$は長さ少なくとも$\exp\left(c\left(\frac{\log|A+B|}{K_B(\log 2K_A)^3}\right)^{1/2} - \log(2K_A\log|2A|)\right)$の等差数列を含む。
• 有限体の設定$\mathbb{F}_q^n$では、$A+B$が次元少なくとも$c\alpha(\log \beta^{-1})^{-3}n / \log q$の部分空間の平行移動を含むことが示される。
• さらに洗練された結果として、任意の$d$に対して、余次元$d$の部分空間$V$が存在し、$A+B$は$V$のサイズが$\exp\left(c\alpha(\log \beta^{-1})^{-3}d\right)$以下の任意の部分集合の平行移動を含む。