[論文レビュー] Explicit averages of square-free supported functions: to the edge of the convolution method

Sebastian Zuniga Alterman|arXiv (Cornell University)|Mar 12, 2020

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

ひとこと要約

本稿は、平方自由な補助関数の平均の明示的漸近的推定のための洗練された畳み込み法を開発し、臨界指数 δ₀ において最適な誤差項を達成する。無限積の収束と区間演算に基づく新規な誤差評価技術を導入することで、古典的な畳み込み法を改善し、特に互いに素な条件の下で正規な素数行動を示す乗法的関数を含む、明示的かつ鋭い誤差定数をもつ和のための結果を得た。

ABSTRACT

We give a general statement of the convolution method so that one can provide explicit asymptotic estimations for all averages of square-free supported arithmetic functions that have a sufficiently regular order on the prime numbers and observe how the nature of this method gives error term estimations of order $X^{-\delta}$, where $\delta$ belongs to an open real positive set $I$. In order to have a better error estimation, a natural question is whether or not we can achieve an error term of critical order $X^{-\delta_0}$, where $\delta_0$, the critical exponent, is the right hand endpoint of $I$. We reply positively to that question by presenting a new method that improves qualitatively almost all instances of the convolution method under some regularity conditions; now, the asymptotic estimation of averages of well-behaved square-free supported arithmetic functions can be given with its critical exponent and a reasonable explicit error constant. We illustrate this new method by analyzing a particular average related to the work of Ramar\'e--Akhilesh (2017), which leads to notable improvements when imposing non-trivial coprimality conditions.

研究の動機と目的

• 古典的な畳み込み法が、X⁻ᵟ誤差境界が有効である区間 I の右端である臨界指数 δ₀ において誤差項を達成できないという限界を解消すること。
• X⁻ᵟ₀ のオーダーの誤差項を体系的かつ明示的・現実的な定数で達成する新しい手法を開発し、標準的な畳み込み法の定性的な境界を改善すること。
• 正規な素数行動を示す、良好に定義された平方自由な補助を持つ乗法的関数に一般化可能なフレームワークを提供すること、特に互いに素な条件の下で。
• 特にオイラーのトーティエント関数 ϕ(ℓ) を含む和の文脈において、既知の誤差定数の明示的改善を通じて、本手法の優位性を示すこと。

提案手法

• 複素解析的技術と留数論を活用した洗練された畳み込み法を導入し、明示的誤差推定に適応する。
• C++ 実装による区間演算を用いて、高精度で明示的誤差境界を計算し、精度が低い任意精度計算ツールに代わる。
• モービウス関数と乗法的構造を用いた重要な分解により、平方自由整数上の和における主要項と誤差項を分離する。
• 畳み込みにおける内側の和（e に関する和）に対する新しい推定を適用し、空和に対しても有効であり、外側の和の剰余項の収束を保証する。
• 特に β − α > 1/2 のとき、f(p) を含む無限積の収束を分析することで、明示的誤差境界を導出する。これにより誤差定数が有限に保たれる。
• q の偶奇に基づく場合分けにより誤差定数を精緻化し、特に p=2 および p=3 を含む因子を支配的とし、積の精度を高める。

実験結果

リサーチクエスチョン

• RQ1 畳み込み法は、X⁻ᵟ₀ のオーダーの誤差項を達成できるか。ここで δ₀ は、X⁻ᵟ 境界が有効である区間 I の上限である。
• RQ2 算術的関数 f にどのような条件（特に素数における挙動）が、臨界指数における明示的かつ鋭い誤差定数を可能にするか。
• RQ3 互いに素な条件（例：(ℓ, q) = 1）は誤差項にどのように影響するか。また、既存の結果よりも良い定数を得るために、本手法は適合可能か。
• RQ4 本手法は、Ramaré–Akhilesh (2017) らの先行研究で取り上げられた関数を越えて、他の乗法的関数へどの程度一般化可能か。

主な発見

• 本稿は、古典的な畳み込み法が到達できない臨界指数 δ₀ において、明示的かつ現実的な誤差定数 Wqᵅ をもつ X⁻ᵟ₀ のオーダーの誤差項を達成する新規な手法を確立した。
• 和 ∑_{ℓ≤X, (ℓ,q)=1} µ²(ℓ)f(ℓ) に対して、主要項は Fqᵅ(X) であり、誤差項は α ≠ 1/2 の場合 O∗(Wqᵅ X¹/²⁻ᵅ)、α = 1/2 の場合 O∗(Wqᵅ log X) で表され、Wqᵅ は無限積による明示的評価が可能である。
• 和 ∑_{ℓ≤X, (ℓ,2)=1} µ²(ℓ)/ϕ(ℓ) の誤差定数は、[19, Thm. 1.1] の 4.956 から 2.169 に著しく低減された。
• 誤差定数 Wqᵅ は q を割らない素数に関する積として表され、β − α > 1/2 のとき収束が保証され、|β − α| ≤ 1/2 である少数の関数を除き、すべての関数に適用可能である。
• 誤差定数への主な寄与は p=2 に起因し、本手法は奇数 q と偶数 q の場合を区別することで、特に小さな素数の寄与を精緻に反映する。
• 本手法は [19, Thm. 1.2] や [20] の結果を改善し、補助的補題（例：[19, Lemmas 7.1–7.9]）に対してもより強い境界を与える。これは、明示的数論における広範な応用可能性を示唆する。