A Gaussian-Perron Prime-Side Defect and Local Profiles Near Critical-Line Zeros of the Riemann Zeta Function

기술 요약: 가우스-페론 프라임 사이드 결함(Gaussian–Perron Prime-Side Defect) 및 임계선 영점 근처의 국소 프로파일

문제 정의
본 논문은 리만 제타 함수 $\zeta(s)$의 비자명 영점(non-trivial zeros)의 국소 기하학, 특히 선택된 영점 $\rho_0$의 인근 영역을 다룬다. 리만 가설(RH) 및 관련 수평 단조성 성질이 완결된 로그 미분 $\xi'/\xi$의 전역적 거동에 관한 것이라면, 본 연구는 국소적인 진단 도구를 구축하는 데 초점을 맞춘다. 목적은 매끄러운 프라임 측 힘(smoothed prime-side force)을 사용하여 다른 영점들과 소수 거듭제곱들의 "구름(cloud)"으로부터 단일 영점의 기여를 분리해 내는 것이다. 핵심 질문은, 매끄러운 프라임 장(prime-field) 근사가 실제 로그 미분 $\zeta'/\zeta$와 이 사이의 결함(defect)을 드러낼 때, 모든 선택되지 않은 기여가 지수적으로 억제되도록 구성될 수 있는가 하는 점이다.

방법론
저자는 커널 $H_{X,\alpha}(z) = X^z \exp(\alpha^2 Y z^2)$ (여기서 $Y = \log X$)를 포함하는 컨투어 적분을 통해 구성된 가우스 매끄러운 프라임 장 $P_{X,\alpha}(s)$를 사용하여, 가우스-페론 프라임-포스 결함(Gaussian–Perron prime-force defect) $\Delta_{X,\alpha}(s)$를 다음과 같이 정의한다:
$$\Delta_{X,\alpha}(s) = \left(\sigma - \frac{1}{2}\right) \text{Re}\left( P_{X,\alpha}(s) - \frac{\zeta'}{\zeta}(s) \right)$$

방법론은 다음과 같은 분석적 단계로 진행된다:

1. 프라임 측 표현: 매끄러운 장 $P_{X,\alpha}(s)$는 가중치 $WX,\alpha(n) = \frac{1}{2}\text{erfc}\left(\frac{\log n - \log X}{2\alpha\sqrt{Y}}\right)$를 갖는 소수 거듭제곱들의 가중 합으로 나타낼 수 있음을 보인다. 이는 $n=X$를 중심으로 급격히 감소하는 컷오프를 제공한다.
2. 컨투어 이동 및 명시적 공식: $P_{X,\alpha}(s)$의 적분 표현의 컨투어를 $\text{Re}(z) = c$에서 $\text{Re}(z) = -d$로 이동시킴으로써, 저자는 결함에 대한 명시적 공식을 유도한다. 이 공식은 결함을 다음의 기여들로 분해한다:
   • 스트립 $-d < \text{Re}(\rho-s) < c$ 내의 비자명 영점($\rho$).
   • $s=1$에서의 극(pole).
   • 음의 짝수 정수에서의 자명한 영점(trivial zeros).
   • 이동된 컨투어 적분 나머지(remainder).
3. 국소 스케일링: 분석은 로그 국소 스케일 $s = \rho_0 + \lambda / \log X$에서 수행된다. 여기서 $\rho_0$는 고정된 단순 영점이며, $\lambda = a + ib$는 복소 파라미터이다.
4. 비등방성 감쇠(Anisotropic Damping): 핵심적인 분석 도구인 가우스 감쇠 범함수 $Q_\alpha(\rho'; \rho_0) = \text{Re}(\rho' - \rho_0) + \alpha^2 \text{Re}((\rho' - \rho_0)^2)$는 선택되지 않은 영점들의 기여를 결정한다. 이 범함수는 $\rho_0$로부터의 수직 변위는 감쇠시키는 반면, 수평 변위는 가중치를 증가시킬 수 있으므로 영점 분포에 대한 특정 기하학적 조건이 필요함을 보여준다.

주요 기여 및 결과

• 정확한 선택된 영점 프로파일: 본 논문은 단일 선택된 영점 $\rho_0$의 결함에 대한 정확한 공식을 유도한다.

  • 임계선 케이스 ($\rho_0 = 1/2 + i\gamma_0$): $\rho_0$가 임계선 위의 단순 영점이라는 가정하에, 선택된 영점의 기여는 다음과 같은 보편적이고 유계된 프로파일로 수렴한다:
    $$L_{\rho_0, X, \alpha}(s) \sim -a \text{Re}\left(\frac{e^{-\lambda}}{\lambda}\right)$$
    여기서 $a = \text{Re}(\lambda)$이다. 이 프로파일은 주요 차수(leading order)에서 $\alpha$에 독립적이다.
  • 오프-라인 케이스 ($\beta_0 \neq 1/2$): 임계선을 벗어난 가상의 영점의 경우, 기여도는 $\log X$에 따라 선형적으로 스케일링된다, 즉 $O(\log X)$이다. 이는 이 결함 프레임워크 내에서 임계 영점과 오프-임계 영점을 구분하는 이론적 구별점을 제공한다.

• 국소화 정리(Localization Theorem): 주요 결과(정리 7.6)는 리만 가설과 특정 감쇠 조건 하에서, 임계선 근처의 전체 결함 $\Delta_{X,\alpha}(s)$가 선택된 영점 프로파일에 의해 지배되며, 비국소적 나머지(다른 영점, 극, 그리고 컨투어의 기여)는 지수적으로 작음($O(e^{-cY})$)을 입증한다.

  • 조건: 이 정리는 "극 감쇠 조건"( $\gamma_0$에 대한 $\alpha$의 하한)과 "컨투어 정칙성"(이동된 직선 상에서의 $\zeta'/\zeta$에 대한 유계)을 요구한다.
  • RH의 함의: RH를 가정하면, 모든 비자명 영점이 $\text{Re}(s)=1/2$ 선상에 존재하므로 영점 간격 조건이 자동으로 만족된다. 이는 모든 $\rho' \neq \rho_0$에 대해 $Q_\alpha < 0$임을 보장한다.

• 수치적 검증: 섹션 8은 절단된 소수 거듭제곱 합을 사용하여 프라임 사이 결함에 대한 직접적인 수치적 확인을 제공한다. 첫 번째 비자명 영점에 대해 계산된 결함은 이론적인 유한-$X$ 선택 영점 프로파일과 매우 높은 정밀도로 일치하며(최대 편차 $\approx 3.4 \times 10^{-10}$), 이는 계산 가능한 영역에서의 해석적 유도를 검증한다.

의의 및 주장
본 논문은 리만 제타 함수의 영점 기하학과 관련된 영점 기하학의 국소 진단 도구를 제공한다고 주장한다. $|\xi|$ 또는 $\text{Re}(\xi'/\xi)$의 전역적 단조성을 연구하는 이전 연구들과 달리, 본 연구는 특정 영점 근처의 "수평 힘(horizontal force)"의 국소적 거동을 분리해 낸다.

그 의의는 다음과 같다:

1. 디커플링(Decoupling): 가우스-페론 커널을 사용하여 전역적인 영점 및 소수의 합으로부터 단일 영점의 기여를 성공적으로 분리하였다.
2. 보편성(Universality): 임계선 근의 국소 프로파일이 (단순 영점인 경우) $\alpha$ 및 특정 영점의 높이에 관계없이 보편적임을 입증하였다.
3. 진단 잠재력(Diagnostic Potential): 이 프레임워크는 비국소적 나머지를 제어할 수 있다는 전제하에, $\Delta_{X,\alpha}$가 임계선으로부터의 이탈(오프-라인 영점은 유계된 프로파일 대신 $\log X$에 따른 선형적 성장을 보임)을 탐지하는 도구로 사용될 수 있음을 시사한다.

저자들은 이 분석이 "국소적이고 결함 이론적(local and defect-theoretic)"이며 RH 수준의 설정 내에서의 점근적 거동에 집중하고 있음을 밝히며, 적용 범위에 대해 신중한 태도를 유지한다. 본 연구는 영점을 계산하기 위한 새로운 알고리즘을 제안하거나 리만 가설을 증명하는 것이 아니라, 만약 존재할 경우를 대비하여 제타 함수의 국소 구조를 분석하기 위한 이론적 프레임워크를 구축하는 데 목적이 있다.