[論文レビュー] A note on Diophantine approximation with Gaussian primes

Stephan Baier|arXiv (Cornell University)|Sep 28, 2016

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

ひとこと要約

本稿は、ガウス整数への古典的ディオファントス近似の拡張を試み、任意の複素数 θ ∉ ℚ(i) に対して、||pθ|| ≤ N(p)^{-1/24+ε} を満たすガウス素数 p が無限に存在することを示している。ここで ||·|| は、最近接ガウス整数までの距離を表す。2次元版のハルマンの篩を ℤ[i] に適応させることで、近似の質によって定義される円環領域におけるガウス素数の漸近的等分布性を証明し、この設定で得られている最良の指数 1/24 を達成した。

ABSTRACT

We investigate the distribution of $pθ$ modulo 1, where $θ$ is a complex number which is not contained in $\mathbb{Q}(i)$, and $p$ runs over the Gaussian primes.

研究の動機と目的

• 有理数分母を用いた古典的ディオファントス近似を、ガウス整数環 ℤ[i] に拡張すること。
• θ ∉ ℚ(i) のとき、||pθ|| がノルム N(p) に対して小さいガウス素数 p が無限に存在することを確立すること。これは、有理素数における古典的指数 γ=1/4 に類似する。
• ハルマンの篩法をガウス整数環 ℤ[i] に適応させ、近似の質によって定義される円環領域におけるガウス素数の漸近的等分布性を導出すること。
• θ ∉ ℚ(i) のとき、||pθ|| ≤ N(p)^{-γ+ε} を満たすガウス素数 p が無限に存在するような、可能な限り大きな指数 γ を特定すること。
• Kloosterman和の評価の向上や他の数体への一般化を踏まえた、今後の改善の基盤を構築すること。

提案手法

• ガウス整数の2次元版の篩定理を、タイプ I およびタイプ II の双線形和を用いて定式化することで、ハルマンの篩法を環 ℤ[i] に適応させる。
• 近似の質を ||z|| = max{||Re(z)||, ||Im(z)||} として定義し、最近接ガウス整数までの距離を測定する。
• 集合 A と B を、dyadic 円環 {x/2 < N(p) ≤ x} 内のガウス整数として定義する。A は ||nθ|| ≤ δ を満たすものであり、B は全集合である。
• パラメータ化により2次元和を1次元和に還元することで、ℤ[i] 上の指数和推定値を適用し、文字和技法を用いて誤差項を評価する。
• θ のHurwitz連分数近似 a/q を用いて近似の質を定義し、最終的な結果では δ ≥ N(p)^{-1/24+ε} が成り立つ。
• 誤差項のバランスをとるため、パラメータとして x = |q|^{12}, J = [δ^{-1}x^{3ε}], M = x^{2/3}, α = 1/3, β = 1/2 を選択し、指数 1/24 を達成する。

実験結果

リサーチクエスチョン

• RQ1 有理素数分母を用いた古典的ディオファントス近似問題を、環 ℤ[i] 内のガウス素数に一般化することは可能か？
• RQ2 θ ∉ ℚ(i) のとき、||pθ|| ≤ N(p)^{-γ+ε} を満たすガウス素数 p が無限に存在するような、可能な限り大きな指数 γ は何か？
• RQ3 ハルマンの篩法を ℤ[i] の2次元的設定に適応させることで、近似領域におけるガウス素数の漸近的等分布性を導くことは可能か？
• RQ4 ℤ[i] 上での指数和推定値の改善は、1/24 を超える近似指数を向上させるのにどの程度寄与できるか？
• RQ5 このような結果を複素平面上の固定された角領域におけるガウス素数や、一般の数体へと拡張することは可能か？

主な発見

• 本稿では、任意の θ ∈ ℂ ℝ(i) に対して、無限に増加する数列 (N_k) が存在し、N(p) ∈ (N_k/2, N_k] かつ ||pθ|| ≤ δ_k を満たすガウス素数 p の個数が、δ_k ≥ N_k^{-1/24+ε} のとき、全個数に比例して 4δ_k^2 倍の漸近的等分布性を示している。
• 指数 1/24 は、ハルマンの篩の2次元的適応により達成され、誤差項は指数和推定値とパラメータ最適化によって制御されている。
• この結果は、||pθ|| ≤ N(p)^{-1/24+ε} を満たすガウス素数が無限に存在することを示しており、この設定で得られている最良の指数である。
• 本手法は、ℤ[i] 上の2次元指数和を1次元和に還元することで、古典的評価の適用を可能にするが、支配的誤差項の制限によりさらなる改善は困難である。
• 著者らは、現在の技術では、Kloosterman型和のより強い評価が得られない限り、指数 1/24 を改善することはできないと示している。
• 今後の研究では、複素平面上の領域や一般の数体への拡張が可能であり、代数的数論における広範な研究計画の基盤を提供している。