[論文レビュー] Some new inequalities in additive combinatorics

Ilya D. Shkredov|arXiv (Cornell University)|Aug 11, 2012

Limits and Structures in Graph Theory参考文献 26被引用数 58

ひとこと要約

本稿は、アーベル群における交差 $ A \cap (A - x) $ を含む新しい不等式を導入し、固有値法を用いて加法的エネルギーおよび高次モーメントの上限を導出する。乗法的部分群および凸集合の加法的エネルギーに対する改善された上界を確立し、絶対的な $ \varepsilon_0 > 0 $ を用いて $ \mathsf{E}(A) = O(|A|^{5/2 - \varepsilon_0}) $ を示す。これにより、二重化定数および和集合成長に関するより強い下界が得られる。

ABSTRACT

In the paper we find new inequalities involving the intersections $A\cap (A-x)$ of shifts of some subset $A$ from an abelian group. We apply the inequalities to obtain new upper bounds for the additive energy of multiplicative subgroups and convex sets and also a series another results on the connection of the additive energy and so--called higher moments of convolutions. Besides we prove new theorems on multiplicative subgroups concerning lower bounds for its doubling constants, sharp lower bound for the cardinality of sumset of a multiplicative subgroup and its subprogression and another results.

研究の動機と目的

• アーベル群内の部分集合 $ A $ に対して、交差 $ A \cap (A - x) $ を含む新しい不等式を構築すること。
• これらの不等式を用いて、乗法的部分群および凸集合の加法的エネルギー $ \mathsf{E}(A) $ の上界を精緻化すること。
• このような集合の二重化定数および和集合サイズに対する改善された下界を確立すること。
• 既存の結果を一般化し、指数 $ 5/2 $ を絶対的な $ \varepsilon_0 > 0 $ を用いて $ 5/2 - \varepsilon_0 $ に置き換えること。

提案手法

• 加法的エネルギーとの関連を確立するため、$ \mathsf{T}_{x,y} = (\chi_A \circ \chi_A)(x - y) $ で定義される作用素 $ \mathsf{T} $ を分析する固有値法を用いる。$ \mathsf{E}(A) = \langle \mathsf{T} \chi_A, \chi_A \rangle $ を通じて関連付ける。
• Katz–Koesterのテクニックの重み付き版を適用し、和集合の交差を局所的加法的構造に関連付ける。$ |(A+A) \cap (A+A - x)| \geq |A + (A \cap (A - x))| $ を用いる。
• 重みの最適化と双対性を利用した、新たな局所的解析技術を採用する。$ x \in A - A_x $ であることと $ s \in A - A_x $ であることが同値であることを用い、$ A_x = A \cap (A - x) $ を制御する。
• Balog–Szemerédi–Gowers定理およびPlünnecke–Ruzsa不等式を用いて、エネルギーの上限を和集合成長の推定に変換する。
• Hölder型およびコーシー–シュワルツ不等式を用いて固有値および固有関数を評価し、特にスペクトル分解における $ \mu_0 $ と $ \omega_0 $ に注目する。
• 定理57を用いた一般枠組みを導入し、$ \mathsf{E}_3(A) $、和集合 $ D $、および二重化が制御された大きな部分集合 $ A' $ の存在を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 既知の乗法的部分群および凸集合の加法的エネルギーの上限における指数 $ 5/2 $ は、絶対的な $ \varepsilon_0 > 0 $ を用いて $ 5/2 - \varepsilon_0 $ に改善可能か？
• RQ2 加法的エネルギーを制御するために、$ A \cap (A - x) $ 及びその高次モーメントを含む新たな不等式は導出可能か？
• RQ3 $ \mathsf{E}_3(A) $ が小さいとき、固有値法をどのように変更すれば二重化定数に対するより強い上限が得られるか？
• RQ4 局所的スペクトル解析を用いてKatz–Koester不等式を精緻化し、より良い和集合推定を得られるか？

主な発見

• 乗法的部分群 $ \Gamma \subseteq \mathbb{Z}/p\mathbb{Z} \setminus \{0\} $ の加法的エネルギーは、絶対的な $ \varepsilon_0 > 0 $ を用いて $ \mathsf{E}(\Gamma) = O(|\Gamma|^{5/2 - \varepsilon_0}) $ を満たす。
• 実数直線上の凸集合 $ A \subseteq \mathbb{R} $ に対し、加法的エネルギーは $ \mathsf{E}(A) = O(|A|^{5/2 - \varepsilon_0}) $ を満たし、以前の上限を改善する。
• 任意の乗法的部分群 $ \Gamma $ の二重化定数は $ |\Gamma \pm \Gamma| \geq |\Gamma|^{3/2 + \varepsilon_0} $ を満たし、$ \varepsilon_0 > 0 $ は絶対的である。
• 凸集合 $ A $ に対して、和集合は $ |A \pm A| \geq |A|^{3/2 + \varepsilon_0} $ を満たし、再び $ \varepsilon_0 > 0 $ は絶対的である。
• 新たな一般不等式が確立された：$ \sum_x \frac{|A_x|^2}{|A \pm A_x|} \leq |A|^{-2} \sum_x |A_x|^3 $、ここで $ A_x = A \cap (A - x) $ である。
• 新たな三重線形不等式が導出された：$ \sum_{x,y,z \in A} |A_{x-y}| |A_{x-z}| |A_{y-z}| \geq |A|^{-3} \left( \sum_x |A_x|^2 \right)^3 $。