[論文レビュー] On a question of Cochrane and Pinner concerning multiplicative subgroups

Tomasz Schoen, Ilya D. Shkredov|arXiv (Cornell University)|Aug 4, 2010

Limits and Structures in Graph Theory参考文献 14被引用数 3

ひとこと要約

この論文は、CochraneとPinnerの問いを解決し、$ p^\ho \leq |R| \leq p^{2/3 - \rho} $ である乗法的部分群 $ R \neq \bF_p^* $ に対して、$ |R \pm R| \gg |R|^{3/2 + \delta} $ が成り立つことを証明している。ここで $ \delta > 0 $ は $ \rho $ のみに依存する。証明はフーリエ解析、加法的エネルギー推定、部分群の陪集合における不均一性の境界を用い、$ |R \pm R| $ が小さすぎるという仮定から矛盾を導出することで、従来の結果よりも強い成長を示している。

ABSTRACT

Answering a question of T. Cochrane and C. Pinner, we prove that for any ε>0, sufficiently large prime number p and an arbitrary multiplicative subgroup R of the field Z/pZ, p^ε < |R| < p^{2/3-ε} the following holds |R + R|, |R - R| > |R|^{3/2+δ}, where δ>0 depends on ε only.

研究の動機と目的

• 乗法的部分群 $ R \subseteq \bbF_p^* $ における加法的エネルギーの成長に関する Cochrane と Pinner が提起した問いを解決すること。
• 乗法的部分群 $ R \subseteq \bbF_p^* $ で $ |R| \leq p^{2/3} $ の場合の和集合 $ R \pm R $ のサイズに対する既知の下界を改善すること。
• サイズ $ p^\varepsilon \leq |R| \leq p^{2/3 - \varepsilon} $ の部分群に対して、古典的な $ |R \pm R| \gg |R|^{3/2} $ の境界を定量的に改善すること。
• $ |R| \geq p^{\kappa} $ で $ \kappa > 41/83 $ の場合に $ 6R = \bbF_p^* $ を示し、有限体における基底型結果を精緻化すること。

提案手法

• 有限アーベル群上のフーリエ解析、特にフーリエ変換とパーサバルの等式を用い、加法的エネルギーと指数和を関連付ける。
• 加法的エネルギー $ \mathsf{E}(A) $ と高階エネルギー $ \mathsf{E}_3(A) $ の概念を用い、$ R \pm R $ の構造を分析。$ R $ の特性関数のフーリエ係数の境界を活用する。
• 背理法を用いる：$ |R \pm R| $ が小さいと仮定すると、部分群陪集合の既知の一様分布性と矛盾する。
• $ R - R $ が $ R $ の陪集合の和集合であり、各陪集合が $ p $ を法として一様に分布することを用い、最大フーリエ係数 $ \rho = \max_{\xi \neq 0} |\widehat{S}(\xi)| $ を評価する。
• 補題17と補題18の推定を組み合わせ、$ |R \pm R| $ を $ |R| $、$ p $、$ \log|R| $ の関数として評価し、主な不等式 (1) と (2) を導出する。
• 基底結果を精緻化するためにこの手法を適用：$ |R| \geq p^{\kappa} $ で $ \kappa > 41/83 $ の場合に $ 6R = \bbF_p^* $ を示し、改善された和集合境界とフーリエ変換のパーサバルの等式を用いる。

実験結果

リサーチクエスチョン

• RQ1 乗法的部分群のサイズが $ p^\varepsilon \leq |R| \leq p^{2/3 - \varepsilon} $ の場合、古典的境界 $ |R \pm R| \gg |R|^{3/2} $ を改善できるか？
• RQ2 小規模な乗法的部分群に対して $ |R \pm R| \gg |R|^{3/2 + \delta} $ が成り立つような最適な指数 $ \delta > 0 $ は何か？
• RQ3 十分に大きな部分群 $ |R| \geq p^{\kappa} $ で $ \kappa > 41/83 $ の場合、$ \bbF_p^* $ の基底数を 8 から 6 に減らせるか？
• RQ4 高階加法的エネルギーと部分群陪集合のフーリエ一様性は、$ R \pm R $ のサイズにどのような制約を課えるか？
• RQ5 加法的エネルギー、フーリエ係数、有限体における $ R - R $ の構造の間にはどのような相互作用があるか？

主な発見

• 任意の $ \varepsilon > 0 $、十分に大きな素数 $ p $、および乗法的部分群 $ R \subseteq \bbF_p^* $ で $ p^\varepsilon \leq |R| \leq cp^{2/3} $ を満たすものに対して、和集合は $ |R \pm R| \gg \min\left\{ |R|p^{1/3} (\log|R|)^{-1/3}, |R|^{3/2} p^{\delta} \right\} $ を満たす。ここで $ \delta = \delta(\varepsilon) > 0 $ である。
• より大きな部分群、特に $ |R| \sim p^{1/2} $ の場合、境界は $ |R \pm R| \gg |R|^{5/3 - \varepsilon} $ に改善され、二次的成長を上回ることを示す。
• $ |R| \geq p^{1/3 + \varepsilon} $ の場合、境界 $ |R \pm R| \gg |R|^{27/14} p^{-1/7} (\log|R|)^{-4/7} $ が成り立ち、これは $ |R|^{3/2} $ を上回ることを確認し、より強い成長を示す。
• この論文は、$ |R| \geq p^{\kappa} $ で $ \kappa > 41/83 $ の場合に、すべての十分に大きな $ p $ に対して $ 6R = \bbF_p^* $ を証明している。これは Glibichuk の結果 $ 8R = \bbF_p^* $ よりも改善されたものである。
• 陪集合のフーリエ一様性とエネルギー境界に基づく背理法により、$ |R \pm R| $ が小さくなりすぎることは不可能であり、これにより改善された成長推定が得られる。
• この手法により、$ |R| \ll p^{2/3} $ の場合に、Heath–Brown と Konyagin の $ |R \pm R| \gg |R|^{3/2} $ の境界を、$ |R| $ の指数に非自明な指数 $ \delta > 0 $ を導入することで定量的に改善している。