On the sign changes of $ψ(x)-x$

이 논문은 소수 정리 (Prime Number Theorem) 의 오차항인 $\psi(x) - x$의 부호 변화 횟수 $V(T)$에 대한 하한을 개선한 연구입니다. 저자들은 리만 가설 (Riemann Hypothesis) 이 참이라고 가정할 때, $T \to \infty$일 때 $V(T)/\log T$의 하한이 기존 결과보다 훨씬 큰 값임을 증명했습니다.

다음은 이 논문의 기술적 요약입니다.

1. 연구 문제 및 배경

• 문제 정의: $V(T)$는 구간 $[1, T]$에서 $\psi(x) - x$가 부호를 바꾸는 횟수를 의미합니다. 여기서 $\psi(x)$는 체비셰프 함수 (Chebyshev function) 입니다.
• 역사적 배경:
  • 1936 년 Ingham 은 준 리만 가설 (quasi-Riemann Hypothesis) 하에서 $V(T)/\log T$의 하한이 양수임을 보였습니다.
  • 이후 Kaczorowski 등은 조건 없이 $\kappa_0 \ge \gamma_0/\pi$를 증명했습니다 ($\gamma_0 \approx 14.13$은 리만 제타함수의 첫 번째 비자명한 영점의 허수부).
  • 최근까지의 개선은 매우 미미했습니다 (예: $2 \cdot 10^{-248}$ 또는 $1.867 \cdot 10^{-30}$만큼의 개선).
• 목표: $\liminf_{T \to \infty} \frac{V(T)}{\log T} \ge \frac{\gamma_0}{\pi} + \frac{1}{60}$을 증명하여 기존 기록을 획기적으로 경신하는 것입니다.

2. 핵심 방법론 및 아이디어

이 논문은 $V(T)$의 하한을 구하는 문제를 상반평면 (upper half-plane) 에서의 해석적 거의 주기 함수 (holomorphic almost periodic functions) 의 영점 밀도 추정 문제로 환원시킵니다.

가. $k$-함수 (k-function) 와 영점 밀도

• 정규화된 $k$-함수 $F^*(z)$를 정의하고, 이 함수의 영점 분포 밀도 $\kappa$를 통해 $\kappa_0 \ge \frac{\gamma_0}{\pi} + 2\kappa$ 관계를 이용합니다.
• 따라서 목표는 $\kappa$에 대한 하한을 구하는 것입니다.

나. 새로운 두 가지 아이디어

기존의 디오판토스 근사 (Diophantine approximation) 기법 (미크코프스키 볼록체 정리 등) 은 밀도 추정이 매우 낮아 ($2^{-N} \text{vol}(A)$) 큰 개선이 불가능했습니다. 저자들은 이를 극복하기 위해 두 가지 새로운 기법을 도입했습니다.

1. 유연한 충분 조건 (Flexible Sufficient Condition):

   • 기존에는 시프트 (shift) $\tau$에 대해 모든 성분의 노름 $\|\frac{\omega_n \tau}{2\pi}\|$가 균일하게 작아야 했지만, 이를 가중치 합 (weighted sum) 조건으로 대체했습니다 (Proposition 1).
   • 이를 통해 부분 합 $F_N(z)$의 영점을 찾기 위해 각 항의 위상 (phase) 을 임의로 조정 ($\eta_n$) 할 수 있게 되어, 함수의 위상 변화율을 최적화할 수 있게 되었습니다.

2. 타일링 방법 (Tiling Method):

   • 기존의 볼록체 정리를 적용할 때 발생하는 밀도 손실을 줄이기 위해, 해 집합 $A$를 채우는 **밀집 격자 (dense lattice)**를 구성하는 새로운 방법을 고안했습니다.
   • LLL 알고리즘의 변형을 사용하여, 해 집합 $A$ 내부에 "타일"처럼 배치된 격자 점들을 생성합니다.
   • 이 방법은 $A$가 볼록할 필요가 없게 하여, 실제 해 집합의 부피 (volume) 를 이론적 상한에 매우 가깝게 추정할 수 있게 합니다.

3. 주요 결과 및 증명 과정

• 주요 정리 (Theorem 1):
  $$\liminf_{T \to \infty} \frac{V(T)}{\log T} \ge \frac{\gamma_0}{\pi} + \frac{1}{60}$$
  여기서 $\gamma_0 \approx 14.1347$입니다. 이는 기존 결과 ($\gamma_0/\pi + \epsilon$) 에 비해 $\epsilon$이 $1/60$으로 크게 증가한 것입니다.

• 구체적 증명 단계:

  1. 매개변수 설정: $N=21$로 고정하고, 리만 제타 함수의 첫 21 개 영점을 사용하여 $F^*(z)$의 부분 합을 구성합니다.
  2. 경로 설계: 복소 평면上的으로 $z_1(t)$라는 폐곡선 (contour) 을 설계하고, 이 경로 위에서 $F_N(z)$가 0 을 감싸는지 확인합니다.
  3. 수치적 검증: Mathematica 와 ARB 라이브러리를 사용하여 고정밀 산술 (ball arithmetic) 로 부등식들을 엄밀하게 검증합니다.
     • 경로 상에서의 오차 항 $R_N(y)$를 추정합니다 (Lemma 1).
     • 가중치 함수 $w_n(x)$를 정의하여 조건 (1.5) 를 만족하는 $\tau$의 집합 $A$를 구성합니다.
  4. 격자 생성 및 부피 계산:
     • 제안된 알고리즘 (Algorithm 1) 을 사용하여 정수 계수 선형 결합을 찾고, 이를 통해 격자 벡터 $v_k$를 생성합니다.
     • 생성된 격자를 이용해 $A$ 내부의 유효 부피 $\text{vol}(A')$를 계산합니다.
     • Lemma 3 을 통해 부피 하한을 계산한 결과, $\frac{1}{\delta} \text{vol}(A') > \frac{1}{60}$임을 확인했습니다.

4. 의의 및 기여

• 기록 경신: $\psi(x) - x$의 부호 변화 횟수에 대한 하한을 기존에 비해 약 $10^{21}$배 이상 개선된 밀도 추정치를 바탕으로 획기적으로 높였습니다.
• 방법론적 혁신:
  • 거의 주기 함수의 영점 밀도 추정을 위한 **타일링 방법 (tiling method)**을 제안하여, 디오판토스 근사 이론과 해석적 수론을 결합한 새로운 접근법을 제시했습니다.
  • LLL 알고리즘을 변형하여 고차원 공간에서의 격자 생성 문제를 해결하는 효율적인 기법을 보여주었습니다.
• 수치적 엄밀성: 모든 수치 계산을 컴퓨터를 통해 엄밀하게 검증 (rigorous machine computation) 하여 결과의 신뢰성을 확보했습니다.

5. 결론

이 논문은 리만 가설 하에서 소수 정리의 오차항이 얼마나 자주 진동하는지에 대한 이해를 한 단계 끌어올렸습니다. 특히, 기존의 이론적 한계를 깨뜨리기 위해 새로운 기하학적/수치적 방법론 (타일링 및 격자 생성) 을 도입한 점이 가장 큰 학술적 기여로 평가됩니다. 이 결과는 리만 제타 함수의 영점 분포와 소수의 분포 사이의 깊은 연관성을 다시 한번 입증하는 중요한 성과입니다.