[論文レビュー] An improvement on Gauss's Circle Problem and Dirichlet's Divisor Problem

Xiaochun Li, Xuerui Yang|arXiv (Cornell University)|Aug 28, 2023

Mathematics and Applications被引用数 4

ひとこと要約

この論文は、デコルピング技術とスケーリング問題の解析を組み合わせた改良版ボンビエリ＝イワニエツ方式を用いて、ガウスの円問題とディリクレの除数問題の最良既知の上界を改善した。指数 θ* ≈ 0.314483 を得ており、これはフクスレーの以前の上限 131/416 ≈ 0.3149 よりも優れている。これは、ゼータ関数の平均値と除数和推定における指数和分解、有理近似、およびポアソン和公式の相互作用を最適化することによって達成された。

ABSTRACT

Using Bombieri-Iwaniec method, we establish an improvement on both Gauss's Circle Problem and Dirichlet's Divisor Problem. More precisely, we derive a new estimate for the first spacing problem and combine it with Huxley's results on the second spacing problem.

研究の動機と目的

• ガウスの円問題およびディリクレの除数問題の誤差項に関する最良既知の上界を改善すること。
• ボウガンのゼータ関数の境界に関する研究から得られるデコルピング理論の知見を統合することで、ボンビエリ＝イワニエツ方式を精緻化すること。
• 除数問題および円問題に由来する指数和におけるスケーリング問題の解析を最適化すること。
• 有理近似と指数和の減衰を含む非線形方程式を解くことにより、θ* < 131/416 の新たな指数を得ること。
• 主要領域および微小領域の分解における不等式の厳密な検証を通じて、新しい境界の妥当性を検証すること。

提案手法

• ボンビエリ＝イワニエツ方式を用いて長い指数和を短い和に分解し、局所的解析を可能にする。
• 位相関数（例：log m, T/m）を m に関して二次または三次多項式で近似するためにテイラー展開を適用する。
• ディリクレの近似定理を用いて位相関数の係数を有理化し、構造的なポアソン和公式を可能にする。
• ポアソン和公式を適用して、(l, kl, l√k, l/√k) の形をとるベクトルを含む構造的指数和に変換する。
• 微小領域におけるこれらの指数和の平均値を制御するために、二重大スイープ不等式を用いる。
• フクスレーのスケーリング問題解析を新規に最適化された指数に関する非線形方程式と組み合わせる。

実験結果

リサーチクエスチョン

• RQ1 ボンビエリ＝イワニエツ方式を精緻化することで、ガウスの円問題における誤差項の上界をより良くできるか？
• RQ2 同じ手法により、131/416 の閾値未満の現在の最良既知の境界が、ディリクレの除数問題で改善できるか？
• RQ3 デコルピング技術とスケーリング問題の最適化を組み合わせた場合に得られる最適な指数 θ* は何か？
• RQ4 有理近似、ポアソン和公式、指数和の減衰の相互作用が最終的な誤差境界にどのように影響するか？
• RQ5 現在の手法フレームワーク下で、新しい指数 θ* = 0.3144831759741... が最良のものであるか？

主な発見

• 本論文は、R(X) および Δ(X) に対する新しい上界を確立し、すべての ε > 0 に対して R(X) = Oε(Xθ*+ε) および Δ(X) = Oε(Xθ*+ε) が成り立つことを示した。
• 新しい指数は θ* ≈ 0.3144831759741 であり、これはフクスレーの以前の上限 131/416 ≈ 0.3149038 よりも厳密に小さい。
• 指数 θ* は、平方根と有理関数を含む非線形方程式の唯一の解として定義されており、指数和推定における最適な減衰を保証する。
• 証明は、選択したパrameterizationのもとで最終的な境界の妥当性を保証する2つの重要な不等式 (5.23) および (5.24) の検証に依存している。
• 有理近似における分母 q とそれに続く指数和の減衰率との相互作用を最適化することで、より良い減衰が達成された。
• 最終的な境界は、連鎖的な代入と代数的簡略化の結果、T^{-8/25 x - 1/200 (√(2(1-14x)) - 5√(-1-8x))² + 51/200 + ε} という式に帰着され、x = -θ* で最大値をとる。