[論文レビュー] A probabilistic technique for finding almost-periods of convolutions

Ernie Croot, Olof Sisask|arXiv (Cornell University)|Mar 15, 2010

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

ひとこと要約

本稿は、任意の群における部分集合の畳み込みにおける準周期性を特定する、新しい確率的手法を導入する。フーリエ解析に依存せずに、局所的条件のもとで$L^2$-準周期性の結果を確立し、アーベルおよび非アーベルの両設定においてロスの定理や構造的積集合定理の新たな証明を可能にする。特に、小 doubling または高乗法的エネルギーを持つスパースな集合に対して有効である。

ABSTRACT

We introduce a new probabilistic technique for finding 'almost-periods' of convolutions of subsets of groups. This gives results similar to the Bogolyubov-type estimates established by Fourier analysis on abelian groups but without the need for a nice Fourier transform to exist. We also present applications, some of which are new even in the abelian setting. These include a probabilistic proof of Roth's theorem on three-term arithmetic progressions and a proof of a variant of the Bourgain-Green theorem on the existence of long arithmetic progressions in sumsets A+B that works with sparser subsets of {1, ..., N} than previously possible. In the non-abelian setting we exhibit analogues of the Bogolyubov-Freiman-Halberstam-Ruzsa-type results of additive combinatorics, showing that product sets A B C and A^2 A^{-2} are rather structured, in the sense that they contain very large iterated product sets. This is particularly so when the sets in question satisfy small-doubling conditions or high multiplicative energy conditions. We also present results on structures in product sets A B. Our results are 'local' in nature, meaning that it is not necessary for the sets under consideration to be dense in the ambient group. In particular, our results apply to finite subsets of infinite groups provided they 'interact nicely' with some other set.

研究の動機と目的

• 任意の群における部分集合の畳み込みにおける準周期性を特定する、新たな確率的手法の開発。フーリエ解析への依存を回避すること。
• 従来のフーリエ解析的手法が失敗する非アーベル的およびスパースな設定において、ボゴリューボフ型およびフライマン型の結果を拡張すること。
• 集合がその周囲の群に密でない場合でも適用可能な、準周期性定理の局所的バージョンの確立。
• ロスの定理（3項等差数列に関する）のような古典的結果に対する、新たな確率的証明の提供。
• 小 doubling または高エネルギー条件の下で、積集合 $A_1 \cdot A_2 \cdot A_3$ および $A^2 \cdot A^{-2}$ の構造的性質の確立。

提案手法

• 畳み込み $1_A * 1_B$ が左移動 $t \in TT^{-1}$ に対して準周期的であるような、大きな部分集合 $T \subseteq S$ を特定する確率的選択プロセスを導入する。
• 超幾何分布および二項分布のモーメントの境界を用いて、畳み込み値の乖離を制御し、ホーフディングの不等式およびモーメント生成関数の推定を活用する。
• 独立なベルヌーイ変数の和の尾確率推定を導くための集中不等式（例：チェルノフ型の境界）を適用し、$L^2$-ノルムの乖離を制御する。
• 差 $\|1_A*1_B(xt) - 1_A*1_B(x)\|_2^2$ の $L^2$-ノルムの分解を、指数的モーメント境界を用いて有界化する。
• 二項確率変数の $\mathbb{E}|X - np|^{2m}$ の境界をガンマ関数および指数積分の推定に還元し、$n, p, m$ に関する多項式境界を導出する。
• 凸確率的順序による比較を通じて、超幾何分布と二項分布のモーメントを比較し、既知の二項分布のモーメント境界を超幾何設定に適用可能にする。

実験結果

リサーチクエスチョン

• RQ1 任意の群において、フーリエ解析に依存せずに畳み込みの準周期性を確立できるか？
• RQ2 密度のグローバルな仮定に代わる、$|B \cdot S| \leq K|B|$ などの局所的条件が、畳み込み構造定理においてどの程度代替可能か？
• RQ3 この確率的手法により、整数の集合における3項等差数列に関するロスの定理の新たな証明が得られるか？
• RQ4 集合 $A$ が小 doubling または高乗法的エネルギーを持つ場合、積集合 $A_1 \cdot A_2 \cdot A_3$ および $A^2 \cdot A^{-2}$ にどのような構造的性質が現れるか？
• RQ5 これらの結果は、特に強い近似群や和集合構造の文脈において、非アーベル群へどのように拡張されるか？

主な発見

• 任意の有限部分集合 $A, B \subseteq G$ および $\epsilon \in (0,1)$ に対して、条件 $|B \cdot S| \leq K|B|$ の下で、$|T| \geq |S| / (2K)^{9/\epsilon^2}$ を満たす $T \subseteq S$ が存在し、すべての $t \in TT^{-1}$ に対して $\|1_A*1_B(xt) - 1_A*1_B(x)\|_2^2 \leq \epsilon^2 |A||B|^2$ が成り立つ。
• この手法により、密度 $\beta > 0$ の集合に対しても、$\{1, \ldots, N\}$ における3項等差数列に関するロスの定理の確率的証明が得られる。
• バーガン＝グリーンの長大な等差数列に関する定理のバリエーションが、従来の結果よりもスパースな集合に対しても、同じ確率的枠組みの中で成り立つことが示された。
• 非アーベル設定では、集合 $A$ が小 doubling または高乗法的エネルギー条件を満たす場合、積集合 $A_1 \cdot A_2 \cdot A_3$ および $A^2 \cdot A^{-2}$ に非常に大きな反復積集合が含まれる。
• 結果は局所的である：集合 $A$ と $B$ がスパースであっても、ある大きな集合 $S$ と適切に相互作用する限り、$|B \cdot S| \leq K|B|$ の条件によって形式化される。
• この手法は一般関数へ拡張可能であり、二項および超幾何分布のモーメント境界を用いる。二項確率変数に対して $\mathbb{E}|X - np|^{2m} \leq 2(3mnp + m^2)^m$ が成り立ち、畳み込みの乖離を精密に制御可能である。