[論文レビュー] Sumsets of reciprocals in prime fields and multilinear Kloosterman sums

Jean Bourgain, M. Z. Garaev|arXiv (Cornell University)|Nov 18, 2012

Analytic Number Theory Research参考文献 13被引用数 11

ひとこと要約

この論文は、素数 p を法とする有限体における逆数集合の加法的エネルギーに関する新たな上限を確立し、多変数指数和推定値を用いて不完全な多変数クローストマン和に関する改善された結果を得ている。|I| < p^{c/k²} である区間 I に対して、k重和集合 k(I⁻¹) のサイズは |I|^{k+o(1)} であることが示され、従来の推定値を著しく改善し、素数上での指標和および一般の乗法的関数に関するより強い境界を可能にする。

ABSTRACT

We obtain new results on additive properties of the set $$ I^{-1}= \{x^{-1}: \quad x\in I\} $$ where $I$ is an arbitrary interval in the field of residue classes modulo a large prime $p$. We combine our results with multilinear exponential sum estimates and obtain new results on incomplete multilinear Kloosterman sums.

研究の動機と目的

• F_p における逆数を含む加法的合同式の解の数に対する改善された上界を確立すること。
• F_p における区間 I に対して、集合 I⁻¹ = {x⁻¹ : x ∈ I} の加法的構造を分析すること。
• これらの境界を応用して、不完全な多変数クローストマン和に関する新たな推定値を導出すること。
• 新しい和集合境界を用いて、既存の素数上での指標和推定値および乗法的関数に関する推定値を改善すること。

提案手法

• 文献[6]に由来する多変数指数和推定値を用いて、逆数和合同式の解の数を上界で制御すること。
• 区間上での指標和に対するワイエルの境界を応用し、不完全和を制御すること。
• 二進分解およびスムージング技術を用いて、二進範囲上の和を扱うこと。
• ヴォーレンの恒等式および部分和法を用いて、整数上の和を素数上の和に関連付けること。
• 補題5を用いて、区間サイズと指数和の減衰を結びつけることで、二重和の境界を導出すること。
• |I| < p^{c/k²} の条件下で、k重和集合 k(I⁻¹) の最適な境界を確立すること。

実験結果

リサーチクエスチョン

• RQ1 |I| が p に対して小さいとき、x₁⁻¹ + ... + xₖ⁻¹ ≡ xₖ₊₁⁻¹ + ... + x₂ₖ⁻¹ mod p を満たす xᵢ ∈ I としての解の最大数は何か？
• RQ2 F_p における区間 I に対して、|I| を関数として k重和集合 k(I⁻¹) のサイズはどのように増加するか？
• RQ3 逆数集合の加法的エネルギー推定値から、不完全な多変数クローストマン和に関する改善された境界を導出可能か？
• RQ4 |I| < p^{3/46} のとき、和集合 I⁻¹ + I⁻¹ + I⁻¹ のサイズにおける最良の指数は何か？
• RQ5 この手法は、r > 1 に対する x⁻ʳ や素数上での和へとどの程度拡張可能か？

主な発見

• 任意の固定された k に対して、|I| < p^{c/k²} かつ c = 1/4 のとき、x₁⁻¹ + ... + xₖ⁻¹ ≡ xₖ₊₁⁻¹ + ... + x₂ₖ⁻¹ mod p を満たす解の数は |I|^{k+o(1)} で上界される。
• これは、同じ条件下で k(I⁻¹) のサイズが |I|^{k+o(1)} よりも大きいことを示唆する。
• |I| < p^{1/18} のとき、x₁⁻¹ + x₂⁻¹ + x₃⁻¹ ≡ x₄⁻¹ + x₅⁻¹ + x₆⁻¹ mod p を満たす解の数は |I|^{3+o(1)} で上界され、したがって |I⁻¹ + I⁻¹ + I⁻¹| > |I|^{3+o(1)} である。
• |I| < p^{3/46} のとき、x⁻¹ + y⁻¹ + z⁻¹ ≡ λ mod p を満たす解の数は、λ ∉ I⁻¹ ∪ {0} の場合 |I|^{2/3+o(1)} で上界され、|I⁻¹ + I⁻¹ + I⁻¹| > |I|^{7/3+o(1)} であることが示唆される。
• 不完全な多変数クローストマン和の境界から、p > N^{1/2+ε のとき、ある δ > 0 に対して max_{(a,p)=1} |∑_{x<N, x prime} e_p(ax⁻ʳ)| < N^{1−δ} が得られる。
• ヴォーレンの恒等式および補題5を用いることで、∑_{n≤p} Λ(n)e_p(an⁻ʳ) は p^{23/24+o(1)} で上界され、ワイエルの境界 p^{15/16+o(1)} よりも改善される。