[論文レビュー] Energies and structure of additive sets

Ilya D. Shkredov|arXiv (Cornell University)|May 13, 2014

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

ひとこと要約

この論文は、アーベル群における和集合および差集合が大きな $\varepsilon_3$ エネルギーを持つことを確立し、加法的エネルギー $\varepsilon_k$、$\mathsf{T}_k$、およびガウワーノルムの間の臨界的関係を示す集合の完全な構造的特徴付けを提供する。主な貢献は、極値エネルギー比を持つ集合の分類であり、これには $H \dotplus \Lambda$（構造的でないものとランダムなものの和）、小倍数性を持つ集合の互いに素な和集合、および制御された倍数性とエネルギーを持つ大きな部分集合を有する集合が含まれる。

ABSTRACT

In the paper we prove that any sumset or difference set has large E_3 energy. Also, we give a full description of families of sets having critical relations between some kind of energies such as E_k, T_k and Gowers norms. In particular, we give criteria for a set to be a 1) set of the form H+L, where H+H is small and L has "random structure", 2) set equals a disjoint union of sets H_j, each H_j has small doubling, 3) set having large subset A' with 2A' is equal to a set with small doubling and |A'+A'| \approx |A|^4 / \E(A).

研究の動機と目的

• 異なる種類の加法的エネルギー、たとえば $\mathsf{E}_k$、$\mathsf{T}_k$、およびガウッパー・ノルムの間の臨界的関係を示す加法的集合を特徴付けること。
• 特に $\mathsf{E}_3(A) \gg |A| \cdot \mathsf{E}(A)$ のとき、エネルギー比が極値となる集合の構造的性質を特定すること。
• 構造的および擬似乱数的成分を併せ持つ集合を含む、エネルギーの臨界的挙動を示す集合の完全な分類を提供すること。
• バログ–シュメレディ–ガウッパーおよびバタマン–カッツの結果を、高階のエネルギーおよび一様性ノルムへ一般化すること。
• 任意の集合から、エネルギーと倍数性の性質が制御された大きな部分集合を抽出するための手法を確立すること。

提案手法

• 与えられた集合 $A$ から部分集合 $A'$ を抽出する反復的アルゴリズムを用い、すべての中程度のサイズの部分集合 $\tilde{A} \subseteq A'$ が、$\mathsf{E}_q(\tilde{A})$ に対して $\mathsf{E}_q(A')$ に対する下界を満たすようにする。
• エネルギー $\mathsf{E}_k(A)$ を加法的方程式の解の数に関連付けるために、ホルダーの不等式とコーシー–シュワルツの不等式を適用する。
• 二進分解と反復的除去を用いて、最終的な部分集合 $A'$ がその部分構造全体にわたり高いエネルギーと一様性を維持することを保証する。
• 構造的均一性をエネルギー分布にわたる度合いで測るため、$\beta$-連結性および $\gamma$-連結性の概念を活用する。
• $\mathsf{T}_4$-エネルギーおよびガウッパー一様性ノルムを用いて、構造的および擬似乱数的挙動を併せ持つ集合を特徴付ける。
• 補題54および命題55を適用して、抽出された部分集合 $A'$ のサイズおよびエネルギーに関する境界を導出し、初期エネルギー密度 $c = \mathsf{E}_k(A)|A|^{-(k+1)}$ に明示的な依存関係を示す。

実験結果

リサーチクエスチョン

• RQ1 和集合 $\mathsf{E}_3(A) \gg |A| \cdot \mathsf{E}(A)$ を満たす集合は、$\mathsf{E}_3$ と $\mathsf{E}_2$ エネルギーの間で臨界的関係を示すが、このような集合の構造的性質は何か？
• RQ2 $\mathsf{E}_k$、$\mathsf{T}_k$、およびガウッパー・ノルムの間の臨界的関係を持つ集合を完全に分類するにはどのような条件が必要か？
• RQ3 集合が互いに素な小倍数性を持つ集合の和集合として分解可能、または $H \dotplus \Lambda$ として分解可能（$H$ は構造的で、$\Lambda$ は擬似乱数的）となる条件は何か？
• RQ4 集合 $A$ の部分集合 $A' \subseteq A$ で、$|A'+A'| \approx |A|^4 / \mathsf{E}(A)$ かつ $A'$ が小倍数性を持つようなものの最大サイズは何か？
• RQ5 すべての中程度のサイズの部分構造にわたってエネルギーが一様に高い部分集合 $A'$ を反復的に抽出するにはどのような手順が必要か？

主な発見

• アーベル群における任意の和集合または差集合は、大きな $\mathsf{E}_3$ エネルギーを持ち、$\mathsf{E}_3(A) \gg |A| \cdot \mathsf{E}(A)$ を満たす。
• 集合 $A$ が $H \dotplus \Lambda$（$H+H$ が小さく、$\Lambda$ が非関連）に近い構造を持つのは、$\mathsf{E}_3(A) \gg |A| \cdot \mathsf{E}(A)$ であるときかつそのときに限り成り立つ。
• 集合 $A$ が小倍数性を持つ集合 $H_j$ の互いに素な和集合として分解可能であるのは、$\mathsf{E}_3(A) \gg |A| \cdot \mathsf{E}(A)$ であるときかつそのときに限り成り立つ。
• サイズ $|A'| \geq (1 - 2^{-1}\beta)^s c^{1/2} |A|$ となる部分集合 $A' \subseteq A$ が存在し、$\mathsf{E}_k(A') > (1 - 2^{-1}\beta)^{2s} \mathsf{E}_k(A)$ が成り立つ。ここで $c = \mathsf{E}_k(A)|A|^{-(k+1)}$ である。
• 部分集合 $A'$ は $(k, \beta, \gamma)$-連結であり、$\gamma \geq 2^{-(2sk + 2k - 2s)} \beta^{2k} (2 - \beta)^{2s(k-1)}$ を満たし、エネルギー分布の一様性が保証される。
• 反復的除去プロセスは、$s \leq \log(1/c) \left(2 \log\left(\frac{2 - \beta}{2 - 2\beta}\right)\right)^{-1}$ ステップ以内に終了し、このような部分集合 $A'$ の存在が保証される。