Exponential sums over primes are unbounded

기술 요약: 소수에 대한 지수 합은 유계가 아니다

문제 정의
본 논문은 Aymone이 제기하고 Ramaré가 전달한 소수 지수 합의 거동에 관한 질문을 다룬다. 구체적으로, 다음의 합이 모든 실수 $\alpha$에 대해 유계인지 여부를 조사한다:
$$\pi(x; \alpha) := \sum_{p \le x} e(\alpha p)$$
여기서 $e(\beta) = e^{2\pi i \beta}$이다. 이 합의 상한(upper bounds)은 잘 알려져 있으나(예: Vinogradov의 정리는 $\alpha$의 디오판토스 근사 성질에 의존하는 비자명한 상한을 제공함), 고정된 $\alpha$에 대한 비자명한 하한(lower bounds)을 찾는 것은 여전히 어려운 과제로 남아 있다. 자명한 $L^2$ 평균은 $x \log x$ 차수로 알려져 있지만, 고정된 $\alpha$에 대한 점별 하한은 Vaughan의 $L^1$ 평균 결과 외에는 알려진 바가 없었다.

방법론
저자는 짧은 구간에서의 거동을 분석함으로써 $\sum f(n)e(\alpha n)$ 형태의 지수 합에 대한 하한을 확립하는 새로운 방법을 개발한다. 핵심 전략은 다음과 같다:

1. 짧은 구간 분석 (Short Interval Analysis): 전역적인 디오판토스 근사 파라미터 $R(x, \alpha)$가 작아야 할 필요(이는 $\alpha$가 작은 분모를 가진 유리수에 가깝다는 것을 의미함) 대신, 이 방법은 짧은 구간 길이 $y$에 대한 국소적 파라미터 $R(y, \alpha)$가 작을 것을 요구한다. 이를 통해 구간 $[n, n+y]$에서의 지수 합을 유리점 $a/q$에서의 합으로 근사할 수 있다.
2. 대형 체(Large Sieve) 적용: 저자는 산술 함수 $F$의 부분 합인 $g(n) = F(n, n+y; \alpha)$에 Montgomery-Vaughan의 대형 체를 적용한다. 이를 통해 짧은 구간 합의 제곱 절댓값의 평균 $\frac{1}{x} \sum |F(n, n+y; \alpha)|^2$에 대한 하한을 유리점에서의 전역 합 $F(x; a/q)$의 값들로 나타낸다.
3. 주요 호 추정 (Major Arc Estimation): 하한은 근사 구간 내에 존재하는 "주요 호"($\alpha$에 가까운 유리수 $a/q$)의 존재 여부에 의존한다.
   • 약수 함수 $\tau$의 경우, 저자는 $\sum \tau(n)e(an/q)$에 대한 정밀한 점근 공식(asymptotic formulas)을 사용하여 주 항(main term)이 지배적임을 보인다.
   • 폰 망골트 함수 $\Lambda$ (소수)의 경우, 저자는 $y \ll x^{1/3}$인 평균적인 경우를 처리하기 위해 Bombieri-Vinogradov 정리를 (Liu와 Zhan의 방식을 통해) 활용한다.
   • 더 큰 $y$의 경우(구체적으로 $y \gg x^{1/3}$), 저자는 모든 주요 호를 개별적으로 제어하기 위해 일반화된 리만 가설(GRH)을 가정하며, 이를 디오판토스 근사에서의 제곱 자유 분모의 분포에 관한 Heath-Brown의 결과와 결합한다.

주요 결과

1. 소수 지수 합의 유계성 없음 (Unboundedness of Prime Exponential Sums):
   본 논문은 임의의 $\varepsilon > 0$에 대하여 소수 지수 합이 유계가 아님을 양적인 하한과 함께 증명한다:
   $$\inf_{\alpha \in \mathbb{R}} \sup_{n \le x} |\psi(n; \alpha)| \gg x^{1/6-\varepsilon}$$
   여기서 $\psi(x; \alpha) = \sum_{n \le x} \Lambda(n)e(\alpha n)$이다. 이는 $\pi(x; \alpha)$ (소수에 대한 합)에 대해서도 동일한 결과를 함의한다.

2. 짧은 구간에서의 평균 하한:
   주요 기술적 정리(정리 2)는 $y \le x^{1/3-\varepsilon}$일 때, 짧은 구간에서의 제곱 합의 평균이 다음을 만족함을 확립한다:
   $$\frac{1}{x} \sum_{-y < n \le x} \left| \sum_{n < m \le n+y} \Lambda(m)e(\alpha m) \right|^2 \gg y \log x$$
   이는 "제곱근 상쇄(square root cancellation)"(무작위 합에서 기대되는 거동)가 이러한 구간들의 평균에서 최선임을 보여준다; 즉, 이 합들은 더 나은 상쇄를 보이지 않는다.

3. GRH 하에서의 결과:
   일반화된 리만 가설(GRH)을 가정하면 $y$의 범위를 확장할 수 있다. 적절한 디오판토스 근사를 갖는 무리수 $\alpha$에 대하여, 하한은 $y \le x^{5/9-\varepsilon}$까지 유지되며, 이는 다음의 따름정리로 이어진다:
   $$\limsup_{n \to \infty} n^{-5/18+\varepsilon} |\psi(n; \alpha)| > 0$$

4. 약수 함수 케이스:
   이 방법은 약수 함수 $\tau$에도 적용된다. 본 논문은 무리수 $\alpha$에 대하여 $\sum_{n \le x} \tau(n)e(\alpha n)$이 유계가 아님을 보이며, $x^{1/2}(\log x)(\log \log x)^{-2}$ 차수의 하한을 제시한다. 저자는 Carleson-Hunt 부등식에 근거하여, 이 결과가 거의 모든 $\alpha$에 대해 로그 인자 차이 내에서 매우 날카롭다(sharp)고 언급한다.

의의 및 주장
본 논문은 Aymone과 Ramaré의 질문에 긍정적으로 답하며, 모든 $\alpha$에 대해 소수 지수 합이 유계가 아님을 증명한다고 주장한다. 이 연구의 의의는 다음과 같다:

• 평균적인 결과를 넘어, 고정된 $\alpha$에 대한 소수 지수 합의 첫 번째 비자명한 하한을 제공했다는 점에 있다.
• 요구 사항을 전역적 디오판토스 성질($R(x, \alpha)$)에서 국소적 성질($R(y, \alpha)$)로 전환하여 짧은 구간에서의 합을 분석할 수 있게 하는 방법론을 도입했다.
• 소수를 포함하는 짧은 구간에서 "제곱근 상쇄" 휴리스틱이 평균적으로 타이트함을 입증하였으며, 특히 이 합들이 $y^{1/2}$보다 현저히 작아질 수 없음을 보여주었다.

저자는 이 방법이 일반적이며 별도의 연구에서 다른 산술 함수들(예: $1_{\Omega(n)=k}$ 및 일반적인 곱셈 함수)에 적용되었다고 명시하였으나, 본 논문은 $\Lambda$와 $\tau$의 경우에 집중한다. 결과는 $y \le x^{1/3-\varepsilon}$ 범위에서는 무조건적(unconditional)이며, 확장된 $y$의 범위에 대해서는 표준적인 가설(GRH)에 조건부(conditional)로 제시된다.