On the number of exceptional intervals to the prime number theorem in short intervals

기술적 요약: 짧은 구간에서 소수정리에 대한 예외 구간의 개수에 관하여

문제 제기
이 논문은 짧은 구간에서의 소수정리 (PNT) 의 유효성을 다룬다. 구체적으로, 고정된 지수 $0 < \theta \le 1$에 대해, 구간 $[x, x+x^\theta]$에 대한 폰 망골트 함수 $\Lambda(n)$의 합이 $x \to \infty$일 때 $\sum_{x<n\le x+x^\theta} \Lambda(n) \sim x^\theta$를 만족한다는 추측이 있다. 이는 최근 영점 밀도 추정치에 기반하여 $\theta > 17/30$일 때 모든 $x$에 대해, 그리고 $\theta > 2/15$일 때 거의 모든 $x$에 대해 성립하는 것으로 알려져 있으나, $2/15 < \theta \le 17/30$ 범위 내의 특정 "예외적"인 $x$ 값들에서는 이 성립이 실패한다.

핵심 문제는 PNT 가 상대 오차 $\delta$만큼 실패하는 $x \in [X, 2X]$의 집합으로 정의된 이 예외 집합 $E_\delta(X, \theta)$의 크기를 정량화하는 것이다. 저자들은 예외 집합의 르베그 측도가 $|E_\delta(X, \theta)| \ll X^{\mu(\theta)+o(1)}$을 만족하도록 하는 지수 $\mu(\theta)$를 결정하고자 한다. $\mu(\theta) < 1$인 값은 PNT 가 거의 모든 $x$에 대해 성립함을 의미하며, $\mu(\theta) = -\infty$는 모든 $x$에 대해 성립함을 의미한다.

방법론
저자들은 리만 제타 함수의 영점 밀도 추정치와 예외 집합 지수 $\mu(\theta)$에 대한 경계 사이의 엄밀한 연결을 확립한다.

1. 명시적 공식과 모멘트 추정: 증명 전략은 $\sum \Lambda(n)$에 대한 명시적 공식에 의존한다. 저자들은 오차 항을 $\zeta(s)$의 비자명 영점 $\rho = \beta + i\gamma$들의 기여로 분해한다. 그리고 $L^\infty$, $L^2$, $L^4$ 모멘트 추정을 사용하여 이러한 기여의 크기를 분석한다.
2. 영점 밀도와 가법적 에너지:
   • 표준 영점 밀도 정리는 실수부가 $\ge \sigma$이고 허수부가 $\le T$인 영점의 개수인 $N(\sigma, T)$에 대한 경계를 제공한다. 지수 $A(\sigma)$는 $N(\sigma, T) \ll T^{A(\sigma)(1-\sigma)+\varepsilon}$이 되도록 정의된다.
   • 결정적으로, 저자들은 영점의 가법적 에너지에 대한 경계를 포함시키는데, 이는 $|\gamma_1 + \gamma_2 - \gamma_3 - \gamma_4| \le 1$을 만족하는 영점 사중항 $(\rho_1, \dots, \rho_4)$의 개수를 세는 $N^*(\sigma, T)$로 표시된다. 이에 관련된 지수는 $A^*(\sigma)$이다.
3. 경계 유도: 명시적 공식을 적용하고 $L^2$ 및 $L^4$ 노름을 통해 결과적인 합을 경계 짓는 방식으로, 저자들은 특정 실수부 범위 $[\sigma, \sigma+\epsilon]$ 내의 영점 기여에 대한 두 가지 경쟁하는 상한을 유도한다:
   • $A(\sigma)$를 포함하는 이차 모멘트에서 유도된 경계: $\mu_{2,\sigma}(\theta) = (1-\theta)(1-\sigma)A(\sigma) + 2\sigma - 1$.
   • $A^*(\sigma)$를 포함하는 4 차 모멘트에서 유도된 경계: $\mu_{4,\sigma}(\theta) = (1-\theta)(1-\sigma)A^*(\sigma) + 4\sigma - 3$.
4. 최적화: $\mu(\theta)$에 대한 최종 경계는 영점 밀도가 충분히 높은 ($A(\sigma) \ge \frac{1}{1-\theta} - \varepsilon$) 제약 조건 하에, 이 두 양 중 최소값에 대한 $\varepsilon$에 대한 하한과 $\sigma$에 대한 상한을 취함으로써 얻어진다.

주요 기여

• 정리 1.2 (일반적 경계): 논문은 $\mu(\theta)$와 영점 밀도 지수 $A(\sigma)$를 연관 짓는 일반 공식을 확립한다. 이는 모든 $x$에 대해 PNT 가 성립하는 조건 ($\theta > 1 - 1/A_0$) 과 거의 모든 $x$에 대해 성립하는 조건 ($\theta > 1 - 2/A_0$) 과 같은 이전 결과들을 복원한다.
• 정리 1.3 (정밀화된 경계): 주요 이론적 기여는 가법적 에너지 지수 $A^*(\sigma)$의 포함이다. 저자들은 $\mu(\theta)$가 이차 모멘트와 4 차 모멘트에서 유도된 경계 중 최소값에 의해 상한이 결정됨을 증명한다. 이 정밀화는 특히 $A^*(\sigma)$가 $3A(\sigma)$보다 현저히 작은 범위에서 예외 집합에 대한 더 엄격한 제약을 가능하게 한다.
• 최근 추정치와의 명시적 연관: 저자들은 예외 집합을 경계 짓기 위해 최신 영점 밀도 추정치 (특히 Guth 와 Maynard, 그리고 Tao–Trudgian–Yang 의 것) 를 직접 적용할 수 있는 프레임워크를 제공한다. 이는 해석적 유도 및 컴퓨터 지원 수치 평가를 결합하여 달성된다.

결과

• 무조건적 경계: $A(\sigma)$와 $A^*(\sigma)$에 대한 현재 최선의 무조건적 경계 (표 1 과 2 에 요약됨) 를 사용하여, 저자들은 $\mu(\theta)$에 대한 명시적 상한을 계산한다.
  • $\theta > 17/30$인 경우, 예외 집합은 공집합이다 (PNT 가 모든 $x$에 대해 성립).
  • $\theta > 2/15$인 경우, 예외 집합의 밀도는 0 이다.
  • 중간 범위에서, 논문은 구체적인 수치 경계를 제공한다. 예를 들어, $\theta = 17/30$에서 $\mu(17/30) \le 7/12$임을 보인다.
• 이전 연구와의 비교: 저자들은 그들의 방법이 Bazzanella 와 Perelli 의 경계를 복원하지만, 가법적 에너지 추정치를 활용함으로써 특정 범위에서 이를 개선한다고 지적한다. 그들은 이전 연구 (Bazzanella [4]) 에서 $1/6 < \theta \le 1/2$ 범위에 관한 특정 주장과 관련하여 재현할 수 없음을 명시적으로 밝히며, 이는 Jutila 밀도 추정과 관련된 이전 논증의 결함을 식별한다.
• 가정적 시나리오: 논문은 밀도 가설 (DH), 린델뢰프 가설 (LH), 그리고 리만 가설 (RH) 하에서의 경계를 분석한다. RH 하에서 $\theta > 1/2$일 때 $\mu(\theta) = -\infty$이다. DH 하에서는 경계가 크게 개선되지만, 저자들은 특정 $\theta$에 대해 무조건적 경계가 DH 를 가정한 경계와 놀라울 정도로 가깝다고 지적한다.

의의와 주장
이 논문은 영점 밀도 추정치와 예외 집합 경계 간의 "가장 명시적인 관계"를 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 통합 프레임워크: 영점 밀도 추정치 ($A(\sigma)$ 또는 $A^*(\sigma)$) 의 어떤 개선이든 예외 집합에 대한 개선된 경계로 직접 변환하는 체계적인 방법을 창출한다.
2. 가법적 에너지의 활용: 영점의 가법적 에너지 ($A^*(\sigma)$) 를 명시적으로 포함시킴으로써, 저자들은 가장 날카로운 알려진 무조건적 경계를 얻기 위해 4 차 모멘트 추정이 필요함을 보여준다. 이는 덜 정밀한 밀도 추정치에 의존했던 이전 결과들을 복원하고 정밀화한다.
3. 계산적 검증: 저자들은 그들의 이론적 경계가 컴퓨터 지원을 통해 즉시 적용 가능함을 강조하며, 예외 집합 자체에 대한 새로운 해석적 기계를 요구하지 않고 최신 결과 (예: Guth–Maynard) 를 직접 적용할 수 있게 한다.

저자들은 경계에 대한 정확한 공식이 복잡하며 새로운 영점 밀도 추정치가 증명됨에 따라 대체될 가능성이 있음을 겸손하게 지적한다. 그들은 $\theta \le 2/15$에 대한 짧은 구간에서의 PNT 를 해결한다고 주장하기보다는, 현재 접근 가능한 범위 내의 예외에 대한 최선의 알려진 정량적 설명을 제공한다.