[논문 리뷰] A remark on Sarnak's conjecture

Régis de la Bretèche, Gérald Tenenbaum|arXiv (Cornell University)|2017. 09. 04.

Analytic Number Theory Research참고 문헌 8인용 수 2

한 줄 요약

이 논문은 실수 덧셈 함수가 고정된 값을 갖는 정수의 지표 함수와 Möbius 함수의 상관관계를 분석함으로써 Sarnak의 추측을 조사한다. 곱셈 함수 이론 및 효과적인 평균값 추정 기법을 사용하여, 이러한 정수들에 대한 μ(n)의 합에 대해 지수 감쇠 상한을 도출한다. 이는 f(p)=1을 갖는 소수를 피하는 경우, Halász의 정리에서 유도되는 자명한 상한보다 훨씬 작다는 것을 보여준다.

ABSTRACT

We investigate Sarnak's conjecture on the M\"obius function in the special case when the test function is the indicator of the set of integers for which a real additive function assumes a given value.

연구 동기 및 목표

• 덧셈 함수의 고정된 값에서 정수의 지표 함수인 테스트 함수를 갖는 특수한 경우에서 Sarnak의 추측을 조사하는 것.
• Halász의 고전적 상한을 개선하기 위해 Möbius 함수의 상쇄 효과를 통합함으로써 주어진 덧셈 함수 값을 갖는 정수의 수에 대한 상한을 개선하는 것.
• 특히 f(p) ∈ {0,1}일 때, 덧셈 함수의 수준집합에서 Möbius 함수의 합에 대한 정량적 추정을 수립하는 것.
• 덧셈 함수가 희박한 경우(즉, f(p)=0인 소수의 비율이 양수일 때) Möbius 상쇄 효과가 일반적인 Halász 상한보다 더 강하다는 것을 보여주는 것.

제안 방법

• 지수 합 M(x; #) = ∑_{n≤x} μ(n)e^{2πi#f(n)}를 포함하는 푸리에 적분 기법을 사용하여, ∑_{f(n)=m} μ(n)을 적분으로 표현한다.
• 논문 [10]의 정리 1.3에서 유도된 곱셈 함수에 대한 효과적인 평균값 추정(정리 1.3)을 적용하여, g(n) = μ(n)z^{f(n)}인 지수 합 M(x; g)를 제어한다.
• 수정된 오차 항을 포함한 Halász 유형의 평균값 추정을 사용하여 지수 합의 실수부 및 허수부에 대한 점별 상한을 확립한다.
• Cauchy의 적분 공식을 적용하여 m번째 수준집합에 해당하는 푸리에 계수를 추출하고, 덧셈 함수의 생성함수와 연결한다.
• 부분 합과 오일러乘수의 로그 미분에 대한 추정을 적용하여 주항 및 오차항을 제어한다.
• ∑_{f(n)=m} μ(n)에 대한 정확한 점근적 공식을 도출하기 위해, 이를 N_m(x; f)와 비교함으로써, e^{-2F(x)} 비례하는 상쇄 효과를 보여준다.

실험 결과

연구 질문

• RQ1 Halász의 정리에서 유도되는 것 외에, Möbius 함수가 덧셈 함수의 수준집합에서 비자명한 상쇄 효과를 보일 수 있는가?
• RQ2 Möbius 상쇄 효과의 강도는 f(p)=1을 갖는 소수 집합의 희박성에 따라 어떻게 달라지는가?
• RQ3 어떤 조건에서 ∑_{f(n)=m} μ(n)에 대해 예상되는 상쇄 효과를 반영하는 점근적 공식을 도출할 수 있는가?
• RQ4 f(p) ∈ {0,1}일 때, 수준집합에서 Möbius 합의 감쇠 속도가 자명한 상한 O(x / √(1+E(x)))보다 더 빠른가?
• RQ5 곱셈 함수에 대한 효과적인 평균값 정리가 Sarnak의 추측 맥락에서 개별 푸리에 계수를 탐지하는 데에 적응될 수 있는가?

주요 결과

• f(p) ∈ {0,1}인 덧셈 함수 f에 대해, Q(x; f, μ) := sup_m |∑_{f(n)=m} μ(n)| 는 O( x(1+F(x))e^{-cF(x)} / √(1+E(x)) )로 유계이며, 여기서 c ≈ 0.30751이다.
• F(x) = ∑_{p≤x, f(p)=0} 1/p 가 천천히 증가할 경우(예: F(x) ≲ log₃x), 수준집합에서 Möbius 합은 주항에 대해 e^{-2F(x)} 비례하는 지수 감쇠를 보인다.
• 조건 (1·6) 및 (1·7) 하에서, 합 ∑_{f(n)=m} μ(n)는 점근적 공식 (−1)^m N_m(x; f) [λ_f e^{-2F(x)} + O(1/(log₂x)^b) ] 를 만족하며, 여기서 b > 0이다.
• 상수 λ_f = ∏_{f(p)=0} (1−1/p)/(1+1/p e^{2/p}) 는 f(p)=0인 소수의 산술적 구조를 반영한다.
• 점근적 공식의 오차항은 f(p)=0인 소수 집합의 로그 크기에 의해 제어되며, log₂x에 대해 다항식 속도로 감쇠한다.
• 결과적으로, Möbius 합이 수준집합에서 자명한 상한보다 e^{-2F(x)}의 인자만큼 더 빠르게 감쇠함으로써, Sarnak의 추측 프레임워크에서 강한 상쇄 효과가 확인된다.