[논문 리뷰] On subradically sifted sums related to Alladi's higher order duality between prime factors

Yazan Alamoudi|arXiv (Cornell University)|2026. 01. 15.

Analytic Number Theory Research인용 수 0

한 줄 요약

논문은 Alladi의 k번째 차수 이중성에 대한 정량적 추정치를 μ(n)와 Alladi의 모든이의 k-차 항의 이중성 합 M_{k,ω}(x,y)을 포함하는 변형 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)를 정의하고 분석한다.
• 오차 항이 제어되는 M_{k,ω}(x,y)에 대한 점근적 전개를 산출하는 정량적 프레임워크를 개발한다.
• 해석적 수 이론 맥락에서 부분근적(subradical) 및 근거 지배성(radical dominance) 개념을 도입하고 형식화한다.

제안 방법

• 고차 항에 접근하기 위해 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 선택 k−1 인자를 추출한다.
• 고차 도함수와 감마함수 도함수를 다루기 위한 등식 이동 기법과 Hankel 컨투어 기반 전개를 개발한다.
• 명시적 오차 항을 가진 y≤Y0 exp(p log x/(log log(x+1))^{1+ε}) 구간에서 한계와 점근식을 확립한다.

실험 결과

연구 질문

• RQ1 주어진 체질 한계 하에서 y가 x와 함께 증가할 때 M_{k,ω}(x,y)의 정량적 점근은 무엇인가?
• RQ2 μ(n) 및 ω(n)의 이항 계수로 가중된 합에 대한 명시적 점근 전개에서 Alladi의 고차 이중성이 어떤 식으로 나타나는가?
• RQ3 해석적 프레임워크에서 부분근적(subradical) 및 근거 지배성의 개념이 체질화된 범위와 여과 한계의 질을 명확히 하는가?
• 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} 항의 곱으로 이루어진 주항과 두 구성요소의 오차항을 포함하는 형태의 점근적 주항을 가진다.
• 오차항은 x(log log(x+1))^{k−1}/log x에 (log y/ log x)^{N+1} 또는 exp(−c'√log y) 형태의 상한으로 제시되어 주어진 y 구간에서 정량적 제어를 제공한다.
• 감마 도함수 상수 Γ_{m,N}는 고차 항에 나타나며, π, γ, ζ(2),…,ζ(m)에 의해 생성된 유리함수체 값들을 취한다.
• 부분근적(subradical) 및 근거 지배성(radical dominance)에 대한 공식적 프레임워크가 개발되어 여과 한계의 위계를 설명하고 부분근적 영역에서 선택된 여과 속도가 거의 최적임을 정당화한다.
• Hankel 컨투어 기반 공식을 제시하여 감마 함수의 도함수를 Selberg–Delange 프레임워크의 고차 항과 연결한다.