[論文レビュー] On a Problem of Mordell with Primitive Roots

Cristian Cobeli|ArXiv.org|Nov 15, 2009

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

ひとこと要約

本稿は、素数 p を法とする複数の原始根を含む指数和に関する、リンニクとモーデルが提起した長年の問題に取り組む。原始根 g 全体にわたる平均をとることで、形 ∑_{x=1}^N exp(2πi(ax + b₁g₁^x + ⋯ + bₖgₖ^x)/p) の平均に対して、O(p^{23/24+ε}) という非自明な評価を確立し、r ≥ 2 かつ係数が p で割り切れない場合の重要なケースを解消する。

ABSTRACT

We consider the sums of the form $$ S=\sum_{x=1}^{N} \exp\big((ax+b_1g_1^x+... +b_rg_r^x)/p \big) $$, where $p$ is prime and $g_1,..., g_r$ are primitive roots $\pmod p$. An almost forty years old problem of L. J. Mordell asks to find a nontrivial estimate of $S$ when at least two of the coefficients $b_1,...,b_r$ are not divizible by $p$. Here we obtain a nontrivial bound of the average of these sums when $g_1$ runs over all primitive roots $\pmod p$.

研究の動機と目的

• 素数 p を法とする複数の原始根を含む指数和に関して、L. J. モーデルが提起した長年の未解決問題を解消すること。
• r ≥ 2 かつ少なくとも2つの係数 bᵢ が p で割り切れない場合に、S = ∑_{x=1}^N exp(2πi(ax + b₁g₁^x + ⋯ + bₖgₖ^x)/p) の形の和に対して非自明な評価を与えること。
• 特に、1つの原始根 g をすべての原始根にわたって平均化し、他の原始根は固定するという状況に注目しながら、すべての原始根 g₁, ..., gᵣ に対する非自明な平均評価を確立すること。
• r = 1 の場合の既知の評価（例えば、ストーンハムやバーガー）を、r ≥ 2 の多次元設定に拡張すること。これは約40年間未解決のままであった。

提案手法

• p を法とする原始根 g の和を、gcd(u, p−1) = 1 を満たす指数 u に対する和に置き換える。ここで g₀ は固定された原始根であり、g = g₀^u と表す。
• 平均和に対してコーシー・シュバルツの不等式を適用し、g^{ux} と g^{uy} を含む指数項をもつ x, y, u に関する二重和への問題の簡略化を行う。
• ホルダーの不等式を用いて和を8乗し、乗法的指標和推定と dyadic 分解を可能にする。
• u と x に関する4重指数和の推定に、モービウス関数の性質と t_d = (p−1)/d を用いた dyadic 分解を適用する。
• カネッティら（2002年）のキーレムマを適用し、原始根のべきに関する合同式系の解の個数を評価することで、和 H_{a,b} に対して O(p^{14/3+ε}) の評価を得る。
• 完全和の評価を用い、区間 I ⊆ [1, p−1] における不完全和を、フーリエ型の特性関数と幾何級数推定を用いて評価することで、証明を完了する。

実験結果

リサーチクエスチョン

• RQ1 素数 p を法とする2つ以上の異なる原始根を含む指数和に対して、非自明な評価を確立できるか？
• RQ2 1つの原始根をすべての可能な原始根にわたって変化させたとき、そのような和の平均の大きさはどの程度か？
• RQ3 r = 1 の場合に用いられる手法（例：ストーンハムやバーガー）は、r ≥ 2 の場合に拡張可能か？もしそうなら、どのような平均化条件下で成立するか？
• RQ4 区間 I ⊆ [1, p−1] における不完全和は、[1, p−1] 全体の完全和の評価で抑えられるか？
• RQ5 r ≥ 2 かつ係数が p で割り切れない場合に、平均和の評価における最適な指数は何か？

主な発見

• 著者らは、r ≥ 2 かつ係数が p で割り切れない場合に、すべての原始根 g を法とする p に対して、和 S_N(a, b, b, g, g) の非自明な平均評価 O(p^{23/24+ε}) を確立する。
• この評価は、まず完全和（N = p−1）に対して結果を証明し、コーシー・シュバルツとホルダーの不等式を用い、dyadic 分解と指標和推定を適用することで得られる。
• 主な技術的ステップは、原始根のべきに関する合同式系の解の個数を推定するためのレムマを用いて、u と x に関する4重指数和を評価することである。
• 和 H_{a,b} = ∑_{y=1}^{p−1} |∑_{u: gcd(u,p−1)=1} e_p(aλ^u + bλ^{uy})|^4 が O(p^{14/3+ε}) であることが示され、これにより先行研究を改善する。
• 任意の区間 I ⊆ [1, p−1] における不完全和は、|S(I)| ≪ p^{47/24+ε} を満たすことが示され、完全和の評価を用いて、φ(p−1) で割った平均和が O(p^{23/24+ε}) で抑えられることを示す。
• 最終的な評価 O(p^{23/24+ε}) は、自明な評価 O(p) よりも改善されており、類似する指数和問題における既知の最良評価と一致するため、最適性を有する。これにより、モーデルの問題が平均的意味で解決される。