[論文レビュー] On a Generalised Lehmer Problem for Arbitrary Powers

Igor E. Shparlinski|ArXiv.org|Mar 25, 2008

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

ひとこと要約

本稿は、整数とそのモジュロ逆数の偶奇性に関する古典的レーマー問題を、任意のべき乗および複数の剰余類へ一般化する。指数和の推定値——特にスパースな有理関数に関する境界——を用いることで、$ n \bmod q $ が $ m_j $ を法として所定の等差数列に属するような単数の個数について、漸近公式を$ O(q^{1-1/s + o(1)}) $ の誤差項を伴って確立する。これは、以前の結果の $ O(q^{3/4 + o(1)}) $ の誤差項を改善したものである。

ABSTRACT

We consider a generalisation of the classical Lehmer problem about the parity distribution of an integer and its modular inverse. We use some known estimates of exponential sums to study a more general question of simultaneous distribution of the residues of any fixed number of negative and positive powers of integers in prescribed arithmetic progressions. In particular, we improve and generalise a recent result of Y. Yi and W. Zhang.

研究の動機と目的

• 整数 $ n $ 及びそのモジュロ逆数 $ \overline{n} $ の偶奇性に関する古典的レーマー問題を、高次のべき乗および複数の剰余条件へ一般化すること。
• 固定された非ゼロ整数 $ k_j $ 及び $ m_j \geq 1 $ に対して、$ n^{k_j} \bmod q $ がそれぞれの $ m_j $ を法とする所定の等差数列に同時に属する分布を研究すること。
• 以前の誤差項の境界、特にイェーとチャンによる $ O(q^{3/4 + o(1)}) $ の結果を、よりタイトな $ O(q^{1-1/s + o(1)}) $ の誤差項に改善すること。
• 単数 $ n \in \mathcal{U}_q $ が複数の合同条件を満たすような個数について、漸近公式を確立すること。
• 特にスパースな有理関数に関する境界を用いた指数和の技法を、乗法的数論における多次元的分布問題へ応用可能にするように拡張すること。

提案手法

• 加法的キャラクターの直交性を用い、ラマヌジャン和を通じて、$ m_j $ を法とする剰余条件を満たす解の個数を表現する。
• 文献[8]の主要な指数和の推定値（補題2）を一般化し、任意の $ d = \gcd(\lambda_1, \dots, \lambda_s) $ に対して、$ \sum_{n \in \mathcal{U}_q} \mathbf{e}_q(\sum \lambda_j n^{k_j}) \ll d^{1/s} q^{1 - 1/s + o(1)} $ の形の和を評価する。
• 中国剰余定理と素数べき法における指数和の乗法的分解を用い、問題を局所的推定に還元する。
• 幾何級数の境界を適用する：$ \left| \sum_{u=0}^U \mathbf{e}_\ell(\mu u) \right| \ll \min\{U, \ell/|\mu|\} $ およびその $ \ell $-和について $ \sum \ll \ell \log \ell $ を用いる。
• $ \gcd(\lambda_1, \dots, \lambda_s) = d $ の上での二重分解を実行し、その後、除数関数の推定値 $ \sum_{d \mid q} 1 = q^{o(1)} $ を用いて全寄与を評価する。
• キャラクター和の技法と、$ \gcd(m_j, q) = 1 $ の条件を活用した $ q $ を法とする乗法的群の構造を組み合わせ、剰余分布の均一性を保証する。

実験結果

リサーチクエスチョン

• RQ1 固定された $ k $ に対して、$ n^k \bmod q $ 及びその逆数の分布における誤差項を $ O(q^{3/4 + o(1)}) $ から $ O(q^{1/2 + o(1)}) $ に改善できるか？
• RQ2 固定された $ m_1, \dots, m_s $ を法とする所定の剰余類に、$ s $-重組 $ (n^{k_1}, \dots, n^{k_s}) \bmod q $ が同時に分布する場合の最適な誤差項は何か？
• RQ3 整数 $ k_j \neq 0 $ および $ \gcd(m_j, q) = 1 $ を満たす任意の法 $ m_j $ に対して、$ n^{k_j} \bmod q $ の分布はどのように振る舞うか？
• RQ4 スパースな有理関数に関する指数和の推定値を、多次元的乗法的キャラクター和の問題へ拡張し、応用できるか？
• RQ5 整数 $ n \in \mathcal{U}_q $ で、すべての $ j $ に対して $ n^{k_j} \equiv a_j \pmod{m_j} $ を満たすものの個数が、期待される主要項 $ \varphi(q)/(m_1 \cdots m_s) $ に近づく条件は何か？

主な発見

• 本稿は、すべての $ \mathbf{m}, \mathbf{a} $ に対して $ \gcd(m_j, q) = 1 $ かつ固定された $ \mathbf{k} \in \mathbb{Z}^s $、$ k_j \neq 0 $ を満たす限り、漸近公式 $ N_q(\mathbf{m}, \mathbf{a}; \mathbf{k}) = \frac{1}{m_1 \cdots m_s} \varphi(q) + O(q^{1 - 1/s + o(1)}) $ を確立した。
• 特に $ s = 2 $、$ m_1 = m_2 = 2 $、$ k_1 = k_2 = k $ の場合、誤差項は $ O(q^{3/4 + o(1)}) $ から $ O(q^{1/2 + o(1)}) $ に改善され、古典的レーマー問題の境界と一致する。
• 誤差項 $ O(q^{1 - 1/s + o(1)}) $ は、スパースな有理関数に関する指数和の最良既知の境界と一致するため、最適性を有する。
• 誤差項は、$ \gcd(m_j, q) = 1 $ の条件下で、すべての剰余類 $ a_j \bmod m_j $ に対して一様に成立し、主要項が正確に期待される一様分布の値になることを保証する。
• 文献[8]のスパースな有理関数に関する指数和の境界を用いることで、誤差項は $ k_j $ の具体的な値に依存せず、$ s $ のみに依存する。ただし $ k_j \neq 0 $ である限り有効である。
• 除数関数の推定値 $ \sum_{d \mid q} 1 = q^{o(1)} $ は、$ d = \gcd(\lambda_1, \dots, \lambda_s) $ のすべての値について和を取った後の全誤差を制御するために不可欠であり、最終的な誤差境界の導出に寄与している。