[論文レビュー] On a symmetric congruence and its applications

M. Z. Garaev, A. A. Karatsuba|ArXiv.org|Mar 8, 2005

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

ひとこと要約

本稿は、特定の剰余類集合に制限された4つの変数を含む対称的合同式 $ m $ を法として、その解の個数に関する漸近公式を確立する。この結果により、指数関数を含む二重三角関数和に対する新たな評価が得られ、特に $ m $ を法とする乗算表の像集合のサイズに関する推定値が著しく改善され、長さ $ \sim \Delta m^{1/2} \sqrt{m/\phi(m)} \log m $ の区間が $ (1+O(\Delta^{-1}))m $ 個の剰余類を覆うことが示され、乗算表問題における例外集合への応用が得られる。

ABSTRACT

For a large integer $m,$ we obtain an asymptotic formula for the number of solutions of a certain congruence modulo $m$ with four variables, where the variables belong to special sets of residue classes modulo $m.$ This formula are applied to obtain new information on the exceptional set of the multiplication table problem in a residue ring modulo $m$ and a new bound for a double trigonometric sum with an exponential function.

研究の動機と目的

• 指定された剰余類集合に属する変数を含む、合同式 $ v_1 y_1 \equiv v_2 y_2 \pmod{m} $ の解の個数に関する漸近公式を導出すること。
• この公式を用いて、素数を法とする指数関数を含む二重三角関数和の評価を改善すること。
• 特に、$ \mathbb{Z}_m $ における乗算表の像集合のサイズを調査し、$ x $ および $ y $ の区間における値 $ xy \mod m $ の密度を分析すること。

提案手法

• 文字和の技法と除数関数の推定を用いて、$ v_1, v_2 \in \mathcal{V} $ および $ y_1, y_2 \in [S+1, S+L] $ を満たす合同式 $ v_1 y_1 \equiv v_2 y_2 \pmod{m} $ の解の個数 $ J $ に対する漸近公式を導出する。
• 主公式を用いて、Weil型の評価と平均化の議論を活用し、形 $ \sum_{x \in \mathcal{X}} \left| \sum_{y=K+1}^{K+N} \gamma(y) \mathbf{e}_p(a \lambda^{xy}) \right| $ の指数和を評価する。
• 解の個数を用いて、$ q \leq m^{1/2} $ および $ y \in [S+1, S+\Delta m^{1/2} \sqrt{m/\phi(m)} \log m] $ の場合の集合 $ \{ qy \mod m \} $ のサイズを、二重数え上げと包含除算法を用いて推定する。
• 加法的キャラクターの直交性と指数和の非消滅性を用いて、$ x, y $ が長さ $ \Delta p^{1/2} $ の区間にあるとき、集合 $ \{ xy^{-1} \mod p \} $ が $ (1+O(\Delta^{-2}))p $ 個の剰余類を覆することを証明する。
• 構造的区間における積 $ xy \mod m $ の分布を分析することで、乗算表問題における例外集合のサイズに関する評価を確立する。
• 乗法的部分群の構造と文字和の推定を活用し、$ \mathbb{Z}_p $ における積集合の密度に関する既存の結果を精緻化する。

実験結果

リサーチクエスチョン

• RQ1 変数 $ v_1, v_2 \in \mathcal{V} $、$ y_1, y_2 \in [S+1, S+L] $ を満たす対称的合同式 $ v_1 y_1 \equiv v_2 y_2 \pmod{m} $ の解の個数の漸近的評価は何か？
• RQ2 この解の個数の評価を、素数 $ p $ を法とする指数関数を含む二重三角関数和を評価するためにどのように応用できるか？
• RQ3 集合 $ \{ xy \mod p \} $ が $ \mathbb{Z}_p $ の正の割合の剰余類を覆うために、$ x $ および $ y $ の区間長さが最小でどのくらい必要か？
• RQ4 集合 $ \{ qy \mod m \} $（$ q \leq m^{1/2} $）が $ (1+O(\Delta^{-1}))m $ 個の剰余類を $ m $ を法として覆うためには、区間長さがどの程度必要か？
• RQ5 $ \Delta = \Delta(p) \to \infty $ のとき、集合 $ \{ x/y \mod p \} $（$ x, y $ が長さ $ \Delta p^{1/2} $ の区間にある）のサイズは $ \Delta $ の関数としてどのように評価できるか？

主な発見

• 合同式 $ v_1 y_1 \equiv v_2 y_2 \pmod{m} $ の解の個数 $ J $ は、$ \mathcal{V} $ が $ m $ と互いに素な $ m^{1/2} $ 以下の素数の集合であるとして、$ J = \frac{|\mathcal{V}|^2 L^2}{m} + |\mathcal{V}|L - \frac{|\mathcal{V}|L^2}{m} + O\left( \frac{m^2 \log^2 m}{\phi(m)} \right) $ を満たす。
• 二重三角関数和に対する新たな評価が得られた：$ \left| \sum_{x=L+1}^{L+M} \sum_{y=K+1}^{K+N} \alpha_x \beta_y \mathbf{e}_p(ag^{xy}) \right| \ll (NM)^{5/8} p^{5/8+o(1)} $ であり、$ N, M \geq p^{5/6+\varepsilon} $ のとき有効である。
• $ \{ xy \mod p : 1 \leq x,y \leq p^{1/2} (\log p)^{2+\varepsilon} \} $ は、$ (1+o(1))p $ 個の $ p $ を法とする剰余類を含む。これは古典的乗算表予想の弱い形の確認である。
• $ \Delta = \Delta(p) \to \infty $ のとき、集合 $ \{ qy \mod p : 1 \leq q \leq p^{1/2}, \, 1 \leq y \leq \Delta p^{1/2} \log p \} $ は $ (1+O(\Delta^{-1}))p $ 個の $ p $ を法とする剰余類を含む。これは範囲がほぼ最適であることを示している。
• $ \{ xy^{-1} \mod p : N+1 \leq x \leq N+\Delta p^{1/2}, \, S+1 \leq y \leq S+\Delta p^{1/2} \} $ は $ (1+O(\Delta^{-2}))p $ 個の $ p $ を法とする剰余類を含む。これは比集合に関する既存の評価を改善している。
• 本手法により、乗算表問題における例外集合の鋭い評価が得られた：$ q \leq m^{1/2} $、$ y \leq \Delta m^{1/2} \sqrt{m/\phi(m)} \log m $ のとき、集合 $ \{ qy \mod m \} $ の像は $ (1+O(\Delta^{-1}))m $ 個の類を覆い、$ \Delta \to \infty $ のとき成立する。