[論文レビュー] On additive shifts of multiplicative almost-subgroups in finite fields

Dmitrii Zhelezov|arXiv (Cornell University)|Jul 20, 2015

Limits and Structures in Graph Theory参考文献 10被引用数 7

ひとこと要約

本稿は、有限体における乗法的準部分群の加法的シフトを含む積集合に対して、改善された下界を確立する。インシデント幾何とエネルギー推定を活用し、$ \mathbb{F}_p $ の集合 $ A, B, C $ に対して $ |A| = |B| = |C| \leq \sqrt{p} $ であるとき、$ \max(|AB|, |(A+d)C|) \gg |A|^{1+1/26} $ が成り立つことを証明する。これは以前の結果を改善する。さらに、一般の有限体 $ \mathbb{F}_q $ に拡張し、指数 $ 1+1/559+o(1) $ を得る。また、ガウス和に対して明示的なパワー・サボティングの境界を提供し、特定の範囲で古典的ウェイユの境界を上回る。

ABSTRACT

We prove that for sets $A, B, C \subset \mathbb{F}_p$ with $|A|=|B|=|C| \leq \sqrt{p}$ and a fixed $0 eq d \in \mathbb{F}_p$ holds $$ \max(|AB|, |(A+d)C|) \gg|A|^{1+1/26}. $$ In particular, $$ |A(A+1)| \gg |A|^{1 + 1/26} $$ and $$ \max(|AA|, |(A+1)(A+1)|) \gg |A|^{1 + 1/26}. $$ The first estimate improves the bound by Roche-Newton and Jones. In the general case of a field of order $q = p^m$ we obtain similar estimates with the exponent $1+1/559 + o(1)$ under the condition that $AB$ does not have large intersection with any subfield coset, answering a question of Shparlinski. Finally, we prove the estimate $$ \left| \sum_{x \in \mathbb{F}_q} ψ(x^n) ight| \ll q^{\frac{7 - 2δ_2}{8}}n^{\frac{2+2δ_2}{8}} $$ for Gauss sums over $\mathbb{F}_q$, where $ψ$ is a non-trivial additive character and $δ_2 = 1/56 + o(1)$. The estimate gives an improvement over the classical Weil bound when $q^{1/2} \ll n = o\left( q^{29/57 + o(1)} ight)$.

研究の動機と目的

• 乗法的準部分群における和積推定の指数を $ \mathbb{F}_p $ で改善すること、特に $ |A(A+1)| \gg |A|^{1+\delta} $ を満たす集合 $ A $ に対して。
• このような推定を、$ \mathbb{F}_q = \mathbb{F}_{p^m} $ の一般の有限体に拡張すること、ただし部分体の陪類との大きな交差を避ける条件を課す。
• ガウス和 $ \left| \sum \psi(x^n) \right| $ に対して明示的なパワー・サボティングの境界を提供し、$ n \ll q^{29/57+o(1)} $ の範囲で古典的ウェイユの境界を上回ること。
• シュパルリンスキーが提起した、$ AB $ が大きな部分体の陪類を避ける場合の $ \mathbb{F}_q $ における積集合の構造に関する問いに答えること。

提案手法

• 最近の有限体におけるルーデヴェンのインシデント結果に基づく洗練されたインシデント理論的アプローチを用いる。
• 加法的および乗法的エネルギーを、シフトされた集合で制御するためにエネルギー推定とバログ＝ツェメレディ＝ガウザーの定理を適用する。
• 部分体との交差に関する条件の下で、乗法的エネルギー $ E(G) \ll |G|^{3-\delta_2} $ を有界化する重要な補題を用いる。ここで $ \delta_2 = 1/56 + o(1) $ である。
• エネルギー推定をガウス和推定 $ |S(a,G)| \ll q^{1/8} E(G)^{1/4} $ と組み合わせ、改善された指数和の境界を導出する。
• エネルギー推定が適用可能になるように、$ n $ と部分体との関係に条件を課す：$ \gcd(n, (q-1)/(p^\nu -1)) \ll n^\delta q^{1-\delta}/p^\nu $ で、$ \delta = 119/605 $ である。
• 一般の $ \mathbb{F}_q $ の場合を、リーとローチ・ニュートンの和積推定に還元し、BSGおよびエネルギー法の使用により、弱い指数を得る。

実験結果

リサーチクエスチョン

• RQ1 有限体 $ \mathbb{F}_p $ において、和積推定 $ |A(A+1)| \gg |A|^{1+\delta} $ の指数 $ \delta $ を $ \delta = 1/56 $ を超えて改善できるか。
• RQ2 集合が部分体の陪類と大きな交差を避けるとき、一般の有限体 $ \mathbb{F}_q $ におけるこのような推定はどのように変化するか。
• RQ3 ウェイユの境界を超える明示的なパワー・サボティングの指数を、ガウス和 $ \left| \sum \psi(x^n) \right| $ に対して導出できるか。
• RQ4 乗法的準部分群の構造は、$ (A+d)C $ のようなシフトされた積集合のサイズにどのように影響するか。
• RQ5 $ n \gg q^{1/2} $ のとき、$ \sum \psi(x^n) $ に対して非自明な境界を得るために、$ n $ と部分体に関するどのような条件下が必要か。

主な発見

• 任意の固定された $ d \neq 0 $ に対して、$ \mathbb{F}_p $ の集合 $ A, B, C $ で $ |A| = |B| = |C| \leq \sqrt{p} $ であるとき、$ \max(|AB|, |(A+d)C|) \gg |A|^{1+1/26} $ が成り立つ。これは以前の $ \delta = 1/56 $ よりも改善されたものである。
• この結果は、$ |A(A+1)| \gg |A|^{1+1/26} $ を示しており、ローチ・ニュートンとジョーンズによる $ \delta = 1/56 $ の境界を超える最初の改善である。
• $ \mathbb{F}_q $ において、すべての真の部分体 $ F $ および $ c \in \mathbb{F}_q $ に対して $ |AB \cap cF| \leq |F|^{1/2} $ という条件のもとで、$ \max(|AB|, |(A+d)C|) \gg |A|^{1+1/559+o(1)} $ が確立される。
• 本稿はガウス和に対して新しい境界を提供する：$ \left| \sum_{x \in \mathbb{F}_q} \psi(x^n) \right| \ll q^{(7-2\delta_2)/8} n^{(2+2\delta_2)/8} $ で、$ \delta_2 = 1/56 + o(1) $ であり、$ n \ll q^{29/57+o(1)} $ の範囲で有効である。
• このガウス和の境界は、$ q^{1/2} \ll n \ll q^{29/57+o(1)} $ の範囲でウェイユの境界を上回り、明示的なパワー・サボティングを提供する。
• 条件 $ \gcd(n, (q-1)/(p^\nu -1)) \ll n^{119/605} q^{1-119/605}/p^\nu $ が満たされれば、エネルギー推定が適用可能になり、ガウス和の境界が得られる。