[論文レビュー] On subradically sifted sums related to Alladi's higher order duality between prime factors

Yazan Alamoudi|arXiv (Cornell University)|Jan 15, 2026

Analytic Number Theory Research被引用数 0

ひとこと要約

この論文は μ(n) と Alladi の k-th order duality に基づく和の精緻な定量推定を、Selberg–Delange 法の変種を用いて導出し、誤差項と y の範囲条件を示す。

ABSTRACT

In this paper, I utilize a variant of the Selberg--Delange method to find quantitative estimates of the sums \[M_{k,ω}(x,y)=\sum_{\substack{p_{1}(n)> y\\ n\leq x} } μ(n) {ω(n)-1\choose k-1},\] where $y$ can grow with $x$ but we must have $y\leq Y_0\exp(\mathscr{p}\frac{\log x}{(\log\log (x+1))^{1+ε}})$ with $Y_0,\mathscr{p},ε>0$. Moreover, I give preliminary upper bounds for the general range $1.9\leq y\leq x^{\frac{1}{k}}$. In addition, I formalize the notions of subradical and radical dominance and discuss their relevance to the analytic approach of the study of arithmetic functions. Lastly, I give a fascinating formula related to the derivatives of the gamma function and the Hankel contour, which should be relevant for those employing the Selberg--Delange method to obtain higher-order terms.

研究の動機と目的

• 算術関数における k=1 および k=2 を超える高次 Alladi 双対性の研究動機づけ。
• p1(n)>y かつ n≤x の下で和 M_{k,ω}(x,y) を定義・分析する。
• 誤差項を制御した漸近展開を与える定量的枠組みを開発する。
• 解析的数論の文脈で部分的に根源的・根源優勢の概念を導入・形式化する。

提案手法

• 高次項にアクセスするための Selberg–Delange 法の変種を用いる。
• f(s,y,z)=z^{-1}∏_{p>y}(1+z/p^s) とその関係 f(s,y,z)=g(s,y,z)ζ(s)^z を取り扱う。
• 複素解析的表現を M_{k,ω}(x,y) に結びつけるために打ち切り Perron の公式を用いる。
• z に関して微分し z=−1 で評価して μ(n)ω(n)−1 choose k−1 の因子を抽出する。
• 高階微分とガンマ関数の微分を扱うための等高線シフト技法と Hankel 輪郭に基づく展開を開発する。
• y≤Y0 exp(p log x/(log log(x+1))^{1+ε}) の範囲で明確な誤差項を伴う境界・漸近を確立する。

実験結果

リサーチクエスチョン

• RQ1 y が x とともに成長するとき、上記の sifting 条件の下で M_{k,ω}(x,y) の定量的漸近はどうなるか。
• RQ2 μ(n) と ω(n) の二項係数で加重された和に対するExplicitな漸近展開において Alladi の高次双対性はどのように現れるか。
• RQ3 この解析的枠組みにおける sifting bound の範囲と質を明らかにするために部分根源的・根源的優勢の概念は役割を果たすか。
• RQ4 Γ_{m,N} を介するガンマ導関数項および Hankel 輪郭の評価は高次項の導出にどのように寄与するか。

主な発見

• y > x^{1/k} のとき M_{k,ω}(x,y)=0。
• 1.9 ≤ y ≤ min{Y0 exp(p log x/(log log(x+1))^{1+ε}), x^{1/k}} の場合、M_{k,ω}(x,y) は x/log x に等式する主項と、(log log x)^{J−j} および (log x)^{−i} 因子の多重和の形、および 2 つの成分からなる明示的な誤差項を持つ。
• 誤差項は x(log log(x+1))^{k−1}/log x に (log y/ log x)^{N+1} または exp(−c'√log y) の形で被っており、示された y 範囲で定量的な制御を与える。
• ガンマ導関数定数 Γ_{m,N} は高次項に現れ、有理関数体は π, γ, ζ(2),…,ζ(m) によって生成される。
• 部分根源的・根源的優勢の formal framework を開発し、sifting bounds の階層とサチングレートのほぼ最適性を正当化する。
• Hankel 輪郭に基づく式を提示し、ガンマ関数の微分と高次項を Selberg–Delange 枠組みの中で結びつける。