[논문 리뷰] Explicit averages of square-free supported functions: to the edge of the convolution method

Sebastian Zuniga Alterman|arXiv (Cornell University)|2020. 03. 12.

Analytic Number Theory Research참고 문헌 12인용 수 3

한 줄 요약

이 논문은 제곱-free 지지 집합을 가진 산술 함수의 평균에 대한 명시적 점근적 추정을 위한 정교화된 컨볼루션 방법을 개발하며, 임계 지수 δ₀에서 최적의 오차 항을 달성한다. 무한 곱 수렴과 구간 산술을 기반으로 한 새로운 오차 추정 기법을 도입하여, 고전적 컨볼루션 방법을 개선함으로써, 특히 서로소 조건 하에서 정규적인 소수 행동을 보이는 곱셈 함수를 포함한 잘 정의된 함수들에 대해 명시적이고 날카로운 오차 상수를 도출한다.

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⁻ᵟ₀ 순서의 오차 항을 체계적으로 달성하는 새로운 방법을 개발하여, 표준 컨볼루션 방법의 정성적 경계를 향상시키는 것.
• 정규적인 소수 행동을 보이는 잘 정의된 제곱-free 지지 집합을 가진 곱셈 함수에 적용 가능한 일반적인 프레임워크를 제공하는 것, 특히 서로소 조건 하에서.
• 오일러 피 함수 ϕ(ℓ)를 포함한 합에서 알려진 오차 상수에 대한 명시적 개선을 통해 방법의 우수성을 입증하는 것.

제안 방법

• 복소해석 기법과 잔여 이론을 활용한 정교화된 컨볼루션 방법을 도입하여 명시적 오차 추정에 적합하게 조정한다.
• 고정밀도를 확보하기 위해 C++ 구현을 통한 구간 산술을 활용하여 명시적 오차 경계를 계산하며, 덜 정확한 arbitrary-precision 도구를 대체한다.
• 모비우스 함수와 곱셈 구조를 활용한 핵심 분해를 통해 제곱-free 정수에 대한 합에서 주항목과 오차항을 분리한다.
• 컨볼루션의 내부 합(여기서 e에 대한 합)에 대한 새로운 추정을 적용하여, 비어 있는 합일 경우에도 유효한 추정을 제공함으로써 외부 합의 나머지 항의 수렴을 보장한다.
• 특히 β − α > 1/2일 때 f(p)를 포함하는 무한 곱의 수렴성을 분석함으로써 명시적 오차 경계를 도출한다. 이는 오차 상수가 유한하게 유지됨을 보장한다.
• q의 홀짝성에 따라 경우를 구분하여 오차 상수를 정밀화하며, 특히 곱에 지배적인 영향을 미치는 p=2와 p=3의 요소를 특별히 다룬다.

실험 결과

연구 질문

• RQ1 컨볼루션 방법을 개선하여 임계 순서 X⁻ᵟ₀의 오차 항을 달성할 수 있는가? 여기서 δ₀는 X⁻ᵟ 경계가 유효한 구간 I의 상한이다.
• RQ2 산술 함수 f(특히 소수에서의 행동)에 어떤 조건이 요구되어야 임계 지수에서 명시적이고 날카로운 오차 상수가 달성되는가?
• RQ3 서로소 조건((ℓ, q) = 1 등)은 오차 항에 어떤 영향을 미치며, 기존 결과보다 더 나은 상수를 도출하기 위해 방법을 어떻게 적응시킬 수 있는가?
• RQ4 이전 연구들(예: Ramaré–Akhilesh, 2017)에서 다루어진 함수를 초월하여 이 신규 방법이 다른 곱셈 함수에 얼마나 일반화될 수 있는가?

주요 결과

• 논문은 고전적 컨볼루션 방법이 이 임계 지수에 도달하지 못하는 데 비해, X⁻ᵟ₀ 순서의 오차 항과 명시적이고 합리적인 오차 상수 Wqᵅ를 달성하는 새로운 방법을 확립한다.
• 합 ∑_{ℓ≤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에 따라 경우를 나누어 유의미하게 상수를 정밀화한다. 특히 소수에 대해 강력한 영향을 미치는 작은 소수에 대해 특별히 다룬다.
• 이전 결과인 [19, Thm. 1.2]와 [20]을 초월하며, 보조 보조정리([19, Lemmas 7.1–7.9] 등)의 더 강력한 경계를 제공함으로써, 명시적 수론 전반에 걸쳐 광범위한 적용 가능성을 시사한다.