Note on the positivity of the real part of the log-derivative of the Riemann $ξ$-function near the critical line

기술 요약: 리만 $\xi$-함수의 로그 미분의 실수부의 양의 성질

문제 정의
본 논문은 임계 구역 $0 < \sigma < 1$ 내에서 리만 $\xi$-함수의 로그 미분의 실수부, 즉 $\Re \frac{\xi'}{\xi}(s)$의 거동을 조사한다. 저자들은 특히 충분히 큰 $t$에 대하여 $1/2 + 1/\sqrt{\log t} < \sigma < 1$로 정의된 임계선 바로 오른쪽 영역에 집중한다.

$\sigma > 1$인 경우 $\Re \frac{\xi'}{\xi}(s) > 0$임이 알려져 있으며, 리만 가설(RH)은 이 양의 성질이 모든 $\sigma > 1/2$에서 유지되는 것과 동치이지만, $1/2 < \sigma < 1$인 구역에서의 거동은 여전히 연구 대상이다. Goldstein과 A.G. [5]의 선행 연구는 임계선 상의 제로(zero)들에 대한 합에 대한 하한을 확립했으나, 이 하한은 $\sigma \to 1/2$일 때 0으로 수렴하는 경향이 있었다. 본 연구의 주요 목적은 이 하한을 $\sigma \to 1/2$일 때 무한히 증가하는 것으로 개선하여, 임계선 인근에서의 양의 성질에 대한 더 강력한 조건을 제공하는 것이다.

방법론
저자들은 주로 $\xi$-함수의 무한 곱 표현과 부분 합산(partial summation) 방법을 활용하는 해석적 정수론 기법을 사용한다.

1. 로그 미분 전개: 연구는 $\frac{\xi'}{\xi}(s) = \sum_{\rho} \frac{1}{s-\rho}$라는 전개를 활용하며, 여기서 합은 리만 제타 함수의 비자명한 제로 $\rho$들에 대해 수행된다. 이 합의 실수부는 임계선 상의 제로($\rho = 1/2 + i\gamma$)의 기여와 임계선 밖의 가설적 제로($\tilde{\rho} = \tilde{\beta} + i\tilde{\gamma}$)의 기여로 분해된다.
2. 부분 합산 및 적분 근사: 임계선 상의 제로들에 대한 합을 추정하기 위해, 저자들은 제로 계수 함수 $N(T)$에 대한 명시적 유계(explicit bounds)를 결합한 부분 합산(보조정리 2)을 활용한다.
3. 적분 추정: 기술적 작업의 상당 부분은 $\int \frac{\log u}{a^2(t) + b^2(t)(u-t)^2} du$ 형태의 적분에 대한 명시적 하한을 도출하는 데 할애된다. 보조정리 5는 이 적분들에 대한 엄격한 하한을 제공하며, 이는 제로들의 이산적 합을 근사하는 데 사용된다.
4. 가설적 제로 처리: RH가 실패하는 시나리오를 분석하기 위해, 임계선 밖의 제로들의 기여를 고려한다. 보조정리 9는 가설적 제로들까지의 거리의 역 제곱 합에 대한 상한을 제공하여, 지정된 영역 내에서 이들의 기여가 임계선 상의 제로들로부터 오는 양의 기여를 압도하지 않도록 보장한다.

주요 기여 및 결과

• 개선된 하한 (정리 6): 핵심 결과는 정리 6이며, 이는 임계선 상의 제로들에 대한 합의 실수부에 대한 새로운 명시적 하한을 설정한다. $1/2 + 1/\sqrt{\log t} < \sigma < 1$ 및 $t > 3.11 \times 10^{10}$에 대하여 저자들은 다음을 증명한다:
  $$0 < (0.28 - \epsilon(t))c \frac{1}{\sigma - 1/2} < \Re \sum_{\rho=1/2+i\gamma} \frac{1}{s-\rho}$$
  여기서 $c$는 임계선 상의 제로의 하한 밀도($c = \liminf N_{1/2}(T)/N(T)$)를 나타내며, $\epsilon(t)$는 $\frac{\log \log t}{\log t}$로서 소멸하는 함수이다. 기존의 유계와 달리, 이 식은 $\sigma \to 1/2$일 때 발산하며, 이는 더 강력한 제약을 제공한다.

• RH 실패 시나리오 분석: 섹션 4는 RH가 거짓이라는 가정하에 $\Re \frac{\xi'}{\xi}(s)$의 양의 성질을 조사한다. 저자들은 세 가지 경우를 고려한다:

  1. 임계선 밖의 단일 제로.
  2. 임계선 밖의 유한한 수의 제로.
  3. 임계선 밖의 무한한 수의 제로.
     모든 경우에 대해, 저자들은 $\Re \frac{\xi'}{\xi}(s)$가 가설적인 비자명 제로들의 작은 근방을 제외하고는 $1/2 + 1/\sqrt{\log t} < \sigma < 1$ 영역에서 양수로 유지됨을 입증한다. 임계선 상의 제로들로부터 오는 양의 기여(c에 의해 스케일링된)가 임계선 밖의 제로들로부터 오는 음의 기여를 압도한다.

• 수치적 검증: 저자들은 특정 큰 $t$ 값(예: $t \approx 2.68 \times 10^{11}$)에 대해 부등식이 성립하는 영역을 시각화하기 위해 Odlyzko 데이터베이스 [12]를 사용하였으며, 이론적 유계를 확인하였다.

의의 및 주장
본 논문은 임계선 근처에서 $\xi$-함수의 로그 미분에 대한 이해를 정교화한다고 주장한다. $\sigma \to 1/2$일 때 증가하는 하한을 얻음으로써, 본 연구는 리만 가설의 참 여부와 관계없이 $\Re \frac{\xi'}{\xi}(s)$의 양의 성질에 대한 증거를 강화한다.

저자들은 자신들의 기여를 Goldstein과 A.G. [5]의 결과에 대한 개선으로 겸손하게 규정한다. 그들은 리만 가설을 증명하려는 것이 아니라, 만약 RH가 실패하더라도 "양의 영역"이 가설적인 반례들의 즉각적인 근방을 제외하고는 임계선 근처에서 견고하게 지속된다는 것을 보여준다. 이 연구는 임계선 상의 제로 밀도($c$)와 $t$의 크기에 의존하는 명시적이고 계산 가능한 유계를 제공한다.