[論文レビュー] New estimates of double trigonometric sums with exponential functions

M. Z. Garaev, A. A. Karatsuba|ArXiv.org|Apr 1, 2005

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

ひとこと要約

本稿では、有限体上の乗法的指標および指数関数を含む二重指数和の新たな上限を、ヴィノグラドフ平均値法の洗練された応用によって提示する。主な貢献は、$ p $ の指数を著しく改善し、$ |\mathcal{X}| \geq |\mathcal{Y}| \geq p^{3/4+\varepsilon} $ の場合に非自明な推定が得られることであり、一般係数列を伴うこのような和に関して、既存の文献を上回る結果を得ている。

ABSTRACT

We establish a new bound for the exponential sum \begin{eqnarray*} \sum_{x\in\mathcal{X}}\Big|\sum_{y\in \mathcal{Y}}γ(y)\exp(2πi a λ^{xy}/p)\Big|, \end{eqnarray*} where $λ$ is an element of the residue ring modulo a large prime number $p,$ $\mathcal{X}$ and $\mathcal{Y}$ are arbitrary subsets of the residue ring modulo $p-1$ and $γ(n)$ are any complex numbers with $|γ(n)| \le 1.$ In particular, we improve several previously known bounds.

研究の動機と目的

• 形式 $ \sum_{x\in\mathcal{X}} \left| \sum_{y\in\mathcal{Y}} \gamma(y) \exp(2\pi i a \lambda^{xy}/p) \right| $ の二重指数和に対する既存の上限を改善すること。ここで $ \lambda $ は素数 $ p $ を法とする位数 $ T $ を持つ。
• 文献[10]の手法を拡張・精錬し、$ \mathcal{X}, \mathcal{Y} \subset \mathbb{Z}_{p-1} $ の任意の部分集合に対して強い上限を得るための新しい推定要素を導入すること。
• 特に $ |\mathcal{Y}| \geq p^{3/4+\varepsilon} $ の場合に非自明な推定が得られるように、スパarsな集合 $ \mathcal{Y} $ に対しても改善された推定を提供すること。これは、従来の閾値 $ p^{7/8+\varepsilon} $ を上回る。
• 文献[3]および[10]の応用に示唆されたように、一般の乗法的指標和および楕円曲線上の指数和の両方に適用可能な一般化された上限を確立すること。

提案手法

• 著者らは、除数和および乗法的指標のレベル集合に基づく新しい分解技術を組み込んだ、ヴィノグラドフ平均値法の洗練された応用を用いる。
• 彼らは $ dy \in \mathcal{Y} $ かつ $ (dy, p-1) = d $ を満たすインデックス $ y $ の集合 $ \mathcal{L}_d $ を定義し、$ p-1 $ の約数 $ d $ における二重分解を可能にする。
• $ d < Tp^{-1/2}(\log p)^{-4k} $ の小さい $ d $ に対しては、$ \ell $-レベル集合とコーシー・シュバルツによる新しいハイブリッド推定を用いて、$ x $ および $ y $ における和を制御し、指数和におけるキャンセルを活用する。
• この手法では、合同式系 $ uv_j \equiv t \pmod{p} $ の解の数を評価し、$ \delta(uv) $ を用いて解の数を数え、大篩または指数和の有界性を用いた $ L^2 $-型推定を適用する。
• 主な革新点は、パラメータ $ k $ を用いて異なる上限の間を補間することで、$ k \to \infty $ の漸近的最適化により $ p $ の指数を最適化できることである。
• 最終的な上限は、$ p-1 $ のすべての約数 $ d \mid p-1 $ について和をとることで得られ、$ d $ が小さい場合と大きい場合の寄与を分離し、$ \tau(p-1) = p^{o(1)} $ による約数の数の有界性を用いる。

実験結果

リサーチクエスチョン

• RQ1 任意の複素係数 $ \gamma(y) $、$ |\gamma(y)| \leq 1 $ を持つ二重指数和の上限は、現在の最先端の $ p^{7/8+o(1)} $ の指数を上回って改善可能か？
• RQ2 $ \mathcal{X}, \mathcal{Y} $ が $ \mathbb{Z}_{p-1} $ の任意の部分集合であるとき、$ W_a(\gamma; T; \mathcal{X}, \mathcal{Y}) $ の上限における $ p $ の最適指数は何か？また、これは $ k $ にどのように依存するか？
• RQ3 本手法は、文献[3]が示唆するように、楕円曲線上の指標和や他の代数的多様体上の和を評価するために拡張可能か？
• RQ4 本手法の上限が非自明なまま残る $ |\mathcal{Y}| $ の閾値は何か？また、従来の結果と比較するとどうか？

主な発見

• 本稿では新しい上限を確立する：$ W_a(\gamma; T; \mathcal{X}, \mathcal{Y}) \ll \frac{|\mathcal{X}|^{1-1/(2k)}|\mathcal{Y}|^{1-1/(2k+2)} p^{1/(2k) + 3/(4k+4) + o(1)}}{T^{1/(2k+2)}} $、任意の固定された $ k \geq 1 $ に対して有効。
• $ T = p-1 $ の場合、上限は $ W_a(\gamma; p-1; \mathcal{X}, \mathcal{Y}) \ll |\mathcal{X}|^{1-1/(2k)}|\mathcal{Y}|^{1-1/(2k+2)} p^{1/(2k) + 1/(4k+4) + o(1)} $ に簡略化され、従来の $ p^{7/8+o(1)} $ の指数を改善する。
• $ k \to \infty $ の極限では、上限は $ |\mathcal{X}| \geq |\mathcal{Y}| \geq p^{3/4+\varepsilon} $ の場合に非自明になる。これは、従来の閾値 $ p^{7/8+\varepsilon} $ を上回る。
• $ T \ll p $ の場合、上限 $ W_a(\gamma; T; \mathcal{X}_T, \mathcal{Y}_T) \ll |\mathcal{X}_T|^{1-1/(2k)}|\mathcal{Y}_T|^{1-1/(2k+2)} T^{1/(2k)} p^{1/(4k+4)+o(1)} $ は、$ T $-torsion 和に対して従来の $ p^{1/8+o(1)} $ の指数を改善する。
• 本手法により、新たな上限 $ W_a(\gamma; T; \mathcal{X}, \mathcal{Y}) \ll \frac{|\mathcal{X}|^{1/2}|\mathcal{Y}|^{3/4} p^{7/8+o(1)}}{T^{1/4}} $ を得る。これは、$ |\mathcal{Y}| \leq p^{1-c} $ のようなスパarsな集合 $ \mathcal{Y} $ に対して、従来の結果を改善する。