The Wiener Wintner and Return Times Theorem Along the Primes

기술적 요약: 소수를 따르는 위너-빈트너 정리 (The Wiener-Wintner Theorem Along the Primes)

문제 정의
본 논문은 고전적인 위너-빈트너 에르고딕 정리(Wiener-Wintner Ergodic Theorem)를 산술 수열, 구체적으로는 소수의 수열로 확장하는 문제를 다룬다. 고전적 정리(정리 1.1)는 측도 보존계 $(X, \nu, T)$와 함수 $f \in L^1(X)$에 대하여, 가중 평균 $\frac{1}{N} \sum_{n \le N} \phi(n) f(T^n x)$가 모든 연속적인 1-주기 함수 $\phi$에 대해 수렴하게 하는 전측도 집합이 존재함을 단언한다. $\phi(n) = e^{2\pi i n \theta}$인 경우 곱 시스템(product system)에 대한 비르크호프의 정리를 통해 거의 모든 $\theta$에 대해 극한이 존재한다는 것은 알려져 있으나, 위너-빈트너 정리는 단일 전측도 집합 위에서 모든 $\theta$에 대해 동시에 수렴함을 입증함으로써 이를 강화한다.

저자들은 정리 1.2를 증명하고자 한다: 임의의 측도 보존계와 $f \in L^\infty(X)$ (이는 $p>1$인 $L^p$로 완화 가능하다)에 대하여, 다음의 가중 평균이 모든 연속 1-주기 함수 $\phi$에 대해 수렴하도록 하는 전측도 집합 $X_f$가 존재한다:
$$\lim_{N \to \infty} \frac{1}{N} \sum_{n \le N} \phi(p_n) f(T^{p_n} x)$$
여기서 $\{p_n\}$은 소수 정수들이다. 이는 산술 수열에 대한 위너-빈트너 정리의 첫 번째 확장이다.

방법론
증명은 고전적 푸리에 해석학, 조합론적 수론, 고차 푸리에 해석학, 그리고 점별 에르고딕 이론의 교차점에서 작동한다. 방법론은 세 가지 주요 기둥에 의존한다:

1. 폰 망골트 함수(von Mangoldt Function)의 근사:
   저자들은 폰 망골트 함수 $\Lambda(n)$을 근사하기 위해 히스-브라운 모델($\Lambda_{HB}$)을 활용한다. 구체적으로, 라마누잔 합 $c_q(n)$과 뫼비우스 함수 $\mu(q)$를 포함하는 항들의 이진 합(dyadic sums)으로 구성된 $\Lambda_Q(n)$을 사용하는 절단된 합 $\Lambda_{\le T}$를 사용한다.

• 지에겔 제로(Siegel Zero) 보정: 디리클레 $L$-함수의 잠재적인 예외적 영점(exceptional zeros)을 처리하기 위해, 예외적 문자 $\chi_{q_{Siegel}}$와 지에겔 영점 $\sigma$를 포함하는 보정 항을 결입하여 모델을 $\Lambda'_{\le T}$로 정교화한다.

2. 고차 푸리에 해석학 (Gowers Norms):
   핵심적인 기술적 엔진은 Gowers $U^3$ 노름(norm)에 대한 경계 확립을 포함한다.

• 근사 오차: 저자들은 히스-브라운 모델이 $U^3$ 노름에서 폰 망골트 함수와 가깝다는 것을 증명한다: $\|\Lambda - \Lambda'_{\le Q}\|_{U^3[N]} \lesssim (\log N)^{-A}$. 이는 $U^3$ 노름에 대한 양적 역정리(Leng, Sanders, Green, Tao에 의한)를 사용하여 달성된다. 이 정리는 큰 $U^3$ 노름을 갖는 함수를 닐시퀀스(nilsequences)와 상관시키는 과정이다. 증명은 $\Lambda$와 $\Lambda'$를 Type I, Type II, 그리고 뒤틀린(twisted) Type I 합으로 분해하고, 이들이 유의미한 상관관계를 가질 수 없음을 보여줌으로써 모순이 발생하지 않음을 입증하는 과정을 포함한다.
• 고정 복잡도 경계: 핵심적인 조합론적 결과(명제 2.1)는 고정 복잡도 성분 $\Lambda_Q$에 대한 $U^3$ 노름의 날카로운 경계를 설정한다:
  $$\|\Lambda_Q\|_{U^3[N]} \lesssim Q^{-3/8 + o(1)}$$
  이 경계는 단순하지만 쉽지 않은 조합론적 논증을 통해 도출되며, 이는 $\{0,1\}^3$ 큐브 상의 선형 형식(linear forms)의 구조와 라마누찬 합의 분모의 약수 제약 조건을 다룬다. 저자들은 더 약한 $Q^{-1/4}$ 경계도 접근 가능하지만, $3/8$ 지수가 증명에 필수적임을 명시한다.

3. 에르고딕 전이 및 균일성:
   증명은 $\Lambda$를 사용한 가중 평균에서 소수 평균으로 이동하기 위해 전이(transference) 논증을 활용한다.

• 약혼합(Weak Mixing) 축소: 에르고딕 분해에 의해, 문제는 $f$가 약혼합인 경우로 축소된다. 약혼합 함수에 대해, 균등 위너-빈트너 정리(식 1.6)는 가중되지 않은 평균의 $\theta$에 대한 상한(supremum)이 0으로 수렴함을 의미한다.
• 가중 평균: 저자들은 $U^3$ 추정과 가중치를 $\Lambda$의 $U^3$ 노름과 관련된 부등식(명제 1.11)을 결합하여 $U^3$ 노름을 사용한다. 구체적으로, 가중치가 작은 $U^3$ 노름을 가지면 가중 평균이 작아짐을 보여준다. $\Lambda$를 (큰 $Q$에 대해 작은 $U^3$ 노름을 갖는) $\Lambda_{\le Q}$로 근사하고 오차를 제어함으로써, 소수 평균의 수렴을 확립한다.

주요 기여 및 결과

• 정리 1.2: 소수를 따르는 위너-빈트너 정리의 증명이라는 핵심 결과를 제공한다. 이는 연속적인 주기적 가중치를 갖는 가중 소수 평균이 수렴하게 하는 전측도 집합의 존재를 보장한다.
• 명제 2.1 (고정 복잡도 $U^3$ 경계): 논문은 $N > Q^{20}$일 때 $\|\Lambda_Q\|_{U^3[N]} \lesssim Q^{-3/8 + o(1)}$라는 경계를 설정한다. 이는 표준적인 $Q^{-1/4}$ 경계를 유의미하게 개선한 것이며, 독립적인 관심사로 언급되는 결과이다. 이 증명은 Gowers 노름 전개에서의 선형 형식에 의해 부과되는 제약 조건에 대한 상세한 조합론적 분석에 기초한다.
• 명제 3.1 (히스-브라운 근사): 히스-브라운 모델(지에겔 제로 보정을 포함한)이 $U^3$ 노름에서 $\log N$의 거듭제곱만큼 감소하는 오차를 가지고 폰 망골트 함수를 근사함을 증명한다. 이는 역 $U^3$ 정리와 Type I/II 합 및 닐시퀀스에 대한 상세한 분석에 의존한다.
• 보조정리 3.19 및 3.23: 이 보조정리들은 예외적 문자에 의해 뒤틀린 히스-브라운 모델의 $U^3$ 노름에 대한 추정치를 제공하며, 잠재적 지에겔 제로로부터 발생하는 기술적 어려움을 처리한다.

의의
본 논문은 위너-빈트너 정리를 산술 수열으로 확장한 첫 번째 사례라고 주장한다. 그 의의는 다음과 같다:

1. 분야의 통합: 증명은 고차 푸리에 해석학(특히 $U^3$ 이론 및 닐시퀀스), 고전적 해석적 수론(히스-브라운 모델, 지에겔 제로), 그리고 에르고딕 이론의 도구들을 합성한다.
2. 조합론적 통찰: 고정 복잡도 히스-브라운 모델에 대한 $Q^{-3/8}$ 경계의 도출은 표준적인 차원 계산 경계를 넘어서는 비자명한 조합론적 성취임이 강조된다.
3. 소수 평균의 강건성: 이 결과는 소수들이 비록 불규칙하게 분포되어 있음에도 불구하고, 연속 함수에 의해 가중될 때 강력한 점별 에르고딕 정리를 만족할 수 있는 충분한 "무작위성"(Gowers 노름이 작다는 의미에서의)을 가지고 있음을 보여준다.

저자들은 히스-브라운 모델에 대한 자신들의 $U^3$ 추정이 가법 조합론(additive combinatorics) 및 해석적 수론 연구자들에게 독립적인 관심사가 될 수 있음을 명시적으로 밝힌다. 이 작업은 새로운 실험적 응용을 제안하기보다는, 동역학계 내 소수를 따르는 점별 수렴에 관한 이론적 토대를 공고히 하는 데 목적이 있다.