[論文レビュー] Intersections of multiplicative subgroups and Heilbronn's exponential sum

Ilya D. Shkredov, E. V. Solodkova+1 more|arXiv (Cornell University)|Feb 15, 2013

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

ひとこと要約

本稿は、有限体における複数の乗法的部分群の交差を推定するステパノフ法を拡張し、ハイルブルンの指数和に対する新たな評価を導出し、フェルマー商の分布に関する結果を改善した。複数のシフトされた部分群を含む交差の大きさに関する重要な不等式を確立し、ハイルブルンの和の新しい$L^4$-ノルム評価を証明した。その結果、最小の非ゼロフェルマー商インデックス$l_p$に対する改良された上界が得られ、$l_p$の$/log p$の指数における定量的改善が達成された。指数は$7829/4284$から$5977/3276$に低下した。この手法は加法的エネルギーの推定と、べき級数体上での一般化された線形従属性に依拠している。

ABSTRACT

The paper is devoted to some applications of Stepanov method. In the first part of the paper we obtain the estimate of the cardinality of the set, which is obtained as an intersection of additive shifts of some different subgroups of F^*_p. In the second part we prove a new upper bound for Heilbronn's exponential sum and obtain a series of applications of our result to distribution of Fermat quotients. Also we study additive decompositions of multiplicative subgroups.

研究の動機と目的

• 単一の部分群に限らない$\mathbb{F}_p^*$における複数の乗法的部分群の交差推定を一般化すること。
• ハイルブルンの指数和$S(a) = \sum_{n=1}^p e^{2\pi i a n^p / p^2}$の上界、特にその$L^4$-ノルムを改善すること。
• 改善された加法的エネルギー推定を用いて、フェルマー商$q(n) \not\equiv 0 \pmod{p}$を満たす最小の$n$、すなわち$l_p$の既知の上界を精緻化すること。
• ステパノフ法の適用範囲を$\mathbb{Z}^*_{p^2}$の部分群および関連構造における指数和に拡張すること。
• ハイルブルン部分群$\Gamma = \{m^p \mod p^2 \mid 1 \leq m \leq p-1\}$の加法的エネルギーに関する新しい評価を確立し、改善された指数和推定の根拠とする。

提案手法

• F.K. スミスの結果（$\mathbb{F}((x))$上での線形従属性）を用いて、複数の部分群の交差を扱えるようにステパノフ法を一般化する。
• ハイルブルン部分群$\Gamma \subseteq \mathbb{Z}^*_{p^2}$の加法的エネルギー$\mathsf{E}(\Gamma)$に関する組合せ的推定を適用し、指数和を評価する。
• 文献[27]の補題3.4の一般化版を用いて、部分群のサイズと積に関する制約の下で$|G_0 \cap (G_1 + \mu_1) \cap \cdots \cap (G_k + \mu_k)|$の評価を導出する。
• 有限アーベル群におけるフーリエ解析的恒等式と双対性を用い、指数和と加法的エネルギー、畳み込みノルムを関連付ける。
• 文献[1]の補題9を適用して、$ux \equiv y$の制限範囲内での解の数を推定し、$N(k)$（dyadic区間内の解の数）を評価する。
• 指数和$S(a)$の評価問題を、$\mathsf{E}^{1/4}(\Gamma)$の推定に還元する。この還元には、$|S(a)| \leq \mathsf{E}^{1/4}(\Gamma) \cdot N^{1/4}$という恒等式を活用する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{F}_p^*$における乗法的部分群の$k$個の異なるシフト$G_1 + \mu_1, \dots, G_k + \mu_k$と$G_0$の交差$G_0 \cap (G_1 + \mu_1) \cap \cdots \cap (G_k + \mu_k)$の最大サイズは何か？
• RQ2 ハイルブルンの指数和$S(a)$の$L^4$-ノルムは、ハイルブルン部分群$\Gamma$の加法的エネルギー推定を用いて、既存の境界を超えて改善可能か？
• RQ3 フェルマー商$q(n) \not\equiv 0 \pmod{p}$を満たす最小の$n$、すなわち$l_p$の最良の上界は、$\log p$の関数としてどのように表せるか？
• RQ4 ハイルブルン部分群$\Gamma = \{m^p \mod p^2\}$の加法的エネルギーは、$\Gamma$上での指数和の大きさとどのように関係するか？
• RQ5 ステパノフ法は、$k \geq 3$に対して$\mathbb{Z}^*_{p^k}$の部分群における指数和に対して非自明な評価を提供できるように拡張可能か？

主な発見

• 本稿では、特定のサイズおよび積の制約の下で、$k+1$個の乗法的部分群とそのシフトの交差に関する新しい上界を確立した：$|G_0 \cap (G_1 + \mu_1) \cap \cdots \cap (G_k + \mu_k)| \leq 4k(k+2)(|G_0|\cdots|G_k|)^{1/(2k+1})$。
• 新しい$L^4$-ノルム評価が証明された：$\sum_a |S(a)|^4 \ll p^{58/13} \log^{14/13} p$。これは、$|S(a)|^4$の平均的大きさに関する既存の境界を改善する。
• 最小の非ゼロフェルマー商インデックスの上界は、$l_p \leq (\log p)^{5977/3276 + o(1)}$に改善され、指数は$7829/4284$から減少した。
• ハイルブルン部分群$\Gamma \subseteq \mathbb{Z}^*_{p^2}$の加法的エネルギーは、ステパノフ法と組合せ的議論を用いて推定され、$L^4$-ノルム推定に使用される重要な$\mathsf{E}(\Gamma)$の評価が得られた。
• この結果から、十分大きな$n$に対して、$a \leq (\log p)^{5977/3276 + \varepsilon}$を満たすすべての$a$について$a^{n-1} \equiv 1 \pmod{n}$が成り立つならば、$n$は平方自由であることが導かれる。
• $|\Gamma|$が$p-1$を割る限り、$k \geq 3$に対して$\mathbb{Z}^*_{p^k}$に対してもこの手法が拡張可能である。その際、射影$\varphi: \mathbb{Z}^*_{p^k} \to \mathbb{Z}^*_{p^{k-1}}$を用いる。