[論文レビュー] On sumsets of dissociated sets

Ilya D. Shkredov|ArXiv.org|Dec 7, 2007

Limits and Structures in Graph Theory参考文献 18被引用数 11

ひとこと要約

本稿は、アーベル群、特に $\mathbf{F}_2^n$ における非依存集合の和集合を、方程式 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$ の解の個数を分析することによって研究する。基本的なフーリエ解析的手法と非依存集合に対するルーディンの不等式の類似を用いて、解の個数に対する最適な上界を確立し、ボルガインの大きな指数和に関する結果のわずかな改善を得た。

ABSTRACT

In the paper we are studying some properties of subsets Q of sums of dissociated sets. The exact upper bound for the number of solutions of the following equation (1) q_1 + ... + q_p = q_{p+1} + ... + q_{2p}, q_i \in Q in groups F_2^n is found. Using our approach, we easily prove a recent result of J. Bourgain on sets of large exponential sums and obtain a tiny improvement of his theorem. Besides an inverse problem is considered in the article. Let Q be a set belonging a sumset of two dissociated sets such that equation (1) has many solutions. We prove that in the case the large proportion of Q is highly structured.

研究の動機と目的

• 非依存集合の和集合の部分集合 $Q$ としての $Q \subseteq \mathbf{F}_2^n$ における方程式 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$ の解の個数の正確な上界を特定すること。
• フーリエ解析と非依存集合の性質を用いて、最近の J. ボルガインの大きな指数和を持つ集合に関する結果の初等的証明を提供すること。
• 逆問題を調査する：方程式が多数の解を持つならば、$Q$ がどのような構造的性質を有する必要があるか。
• 非依存集合に対するルーディンの不等式の類似を新規に応用することで、$d\dot{\Lambda} \cap \mathcal{R}_\alpha$ のサイズに関するボルガインの定理の定量的改善を確立すること。

提案手法

• 非依存集合 $\Lambda$ に対して $Q \subseteq d\dot{\Lambda}$ を定義し、$r_i, r_i' \in Q$ に対する方程式 $r_1 + \cdots + r_k = r_1' + \cdots + r_k'$ の解の個数 $T_k(Q)$ を分析する。
• 高度なハイパーコントラクト性技術を避ける初等的なフーリエ解析的手法を用い、絶対定数 $C > 0$ を用いて $T_k(Q) \leq C^{dk}k^{dk}|Q|^k$ を得る。
• $\mathcal{R}_\alpha$ を $A$ の大きなフーリエ係数を持つ文字の集合とするとき、$d\dot{\Lambda} \cap \mathcal{R}_\alpha$ に適用して、改善された推定値を得る。
• 解の個数に基づく背理法を用いて、$\vec{a} \in S_1 \times \cdots \times S_{d-2}$ をインデックスとする構造的部品 $Q(\vec{a})$ への $Q$ の再帰的分解を導入する。
• 非依存集合のためのルーディンの不等式の一般化を用いて、構造的部品における解の個数を制御する。
• ホルダーの不等式と $T_k(f) \leq T_k(|f|)$ を示す補題を用いて、解の個数とフーリエ係数の $L^1$ ノルムとの関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 非依存集合の和集合の部分集合 $Q \subseteq \mathbf{F}_2^n$ としての $q_i \in Q$ に対する方程式 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$ の解の個数の正確な上界は何か？
• RQ2 ボルガインの $d\dot{\Lambda} \cap \mathcal{R}_\alpha$ のサイズに関する結果は、初等的なフーリエ解析的手法を用いて再証明され、わずかに改善できるか？
• RQ3 方程式 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$ が多数の解を持つとき、$Q$ が満たすべき構造的条件は何か？
• RQ4 部分集合 $Q \subseteq d\dot{\Lambda}$ に対して、解の個数 $T_k(Q)$ はどのように振る舞い、これは $Q$ の構造に何を示唆するか？
• RQ5 方程式の解の個数と、大きなフーリエ係数を持つ集合 $\mathcal{R}_\alpha$ のサイズとの間にはどのような関係があるか？

主な発見

• 非依存集合の和集合の部分集合 $Q \subseteq d\dot{\Lambda}$ に対して、方程式 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$ の解の個数は、絶対定数 $C > 0$ を用いて $C^{dp}p^{dp}|Q|^p$ で上から抑えられ、$\mathbf{F}_2^n$ において鋭い推定を与える。
• 著者らはボルガインの境界をわずかに改善し、$|d\dot{\Lambda} \cap \mathcal{R}_\alpha| \leq 8(\delta/\alpha)^2 \log^d(1/\delta)$ を得たが、初等的手法により定数係数を改善した。
• もし $Q \subseteq d\dot{\Lambda}$ が方程式 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$ に対して多数の解を持つならば、$Q$ の大部分は強く構造的である。具体的には、特定の加法的分解を持つ大きな部分集合を含む。
• 任意の $B \subseteq \mathcal{R}_\alpha$ に対して、$T_k(B) \geq \delta \alpha^{2k} |B|^{2k} / \delta^{2k}$ を満たすことが示され、これは解析において重要な下界である。
• ハイパーコントラクト性を避ける代わりに、$\vec{a} \in S_1 \times \cdots \times S_{d-2}$ をインデックスとする $Q$ の再帰的分解を用い、解の個数が期待される境界を超えると背理が生じる。
• あるベクトル $\vec{a} \in S_1 \times \cdots \times S_{d-2}$ が存在し、$|Q(\vec{a})| \geq \frac{m d^d}{2^{50d} K^{2d} |\Lambda|^{d-2}}$ を満たす。ここで $m = |Q'|$ であり、これは $Q$ の構造的部品を示している。