The Riemann Hypothesis is false

1. 문제 제기 (Problem)

• 주요 대상: 리만 제타 함수 $\zeta(s)$의 비자명한 영점 (non-trivial zeros) $\rho = \beta + i\gamma$.
• 정의: $\Theta$를 $\zeta(s)$의 모든 비자명한 영점의 실수부 $\beta$의 상한 (supremum) 으로 정의합니다. 즉, $\Theta = \sup \{ \Re(\rho) \}$.
• 목표: 리만 가설 (Riemann Hypothesis, RH) 은 모든 영점이 임계선 $\Re(s) = 1/2$ 위에 있다는 주장 ($\Theta = 1/2$) 입니다. 본 논문은 이 가설이 거짓임을 증명하고, 실제로 $\Theta = 1$임을 보임으로써 임계선에서 벗어난 무한히 많은 영점이 존재함을 주장합니다.

2. 방법론 (Methodology)

저자는 다음과 같은 고전적 해석적 수론 도구들을 결합하여 논증을 전개합니다.

1. Landau-Gonek 명시적 공식 (Explicit Formula) 활용:

   • 영점의 합을 소수 함수 (von Mangoldt function $\Lambda(n)$) 와 관련된 합으로 변환하는 Gonek 의 공식을 핵심 도구로 사용합니다.
   • 특히, $\sum_{T \le \gamma \le H} (2n)^{\rho-1}$ 형태의 합을 평가합니다.

2. 디리클레 다항식 근사 및 함수 방정식:

   • $\zeta(s)$의 근사 함수 방정식 (Approximate Functional Equation) 을 사용하여 $\zeta(\sigma - it)$을 유한 합으로 근사합니다.
   • $\zeta(s)$의 로그 도함수 $\frac{\zeta'}{\zeta}(s)$의 성질을 이용하여 적분 경계에서의 오차항을 통제합니다.

3. 복소 적분과 유수 정리 (Residue Theorem):

   • 직사각형 경로 (좌표 $1+\epsilon$에서 $-1$까지, 높이$T$에서$H$까지) 를 따라$\frac{\zeta'}{\zeta}(s)(2n)^{s-1}$의 적분을 수행합니다.
   • 이 적분은 4 개의 부분 ($I_1, I_2, I_3, I_4$) 으로 나뉘며, 각 경계에서의 기여도를 정밀하게 평가합니다.

4. 점근적 분석 및 오차항 추정:

   • $T \to \infty$일 때의 점근적 거동을 분석합니다.
   • 특정 구간 ($m$과 $2n$이 매우 가까운 경우) 에서의 합을 평가하기 위해 Van der Corput 방법 및 **지수 합 (Exponential Sums)**의 점근적 성질을 활용합니다.
   • 소수 정리 (Prime Number Theorem) 와 관련된 항 ($\sum \Lambda(m)/m$) 들을 사용하여 주항 (main term) 을 추출합니다.

3. 핵심 논증 단계 (Key Arguments)

1. 적분 분해:

   • 유수 정리를 적용하여 영점의 합을 적분 ($I_1 \sim I_4$) 으로 표현합니다.
   • $I_2, I_3, I_4$ (상하 및 좌우 경계) 는 $O(T^{1/2} \log^8 T)$ 정도로 작게 평가되어 주항에 비해 무시할 수 있음을 보입니다.

2. 주항 ($I_1$) 의 정밀한 평가:

   • $I_1$은 $\frac{\zeta'}{\zeta}(s)$의 급수 전개 $\sum \frac{\Lambda(m)}{m^s}$를 대입하여 계산합니다.
   • $2n$과 $m$이 매우 가까운 경우 ($|2n - m| \ll m$) 에 발생하는 발산적 성분을 정밀하게 처리합니다.
   • 이 과정에서 분수부 (fractional part) 함수 $\{x\}$와 관련된 합이 등장하며, 이를 소수 정리와 오일러 - 마스케로니 상수 $B$를 사용하여 점근적으로 전개합니다.
   • 최종적으로 $I_1$의 합은 $T$에 비례하는 주항을 가지며, 그 계수는 $(1-B) + \log(\pi/2)$ 등의 상수들을 포함합니다.

3. 모순 도출:

   • 가정: 만약 리만 가설이 참이거나 $\Theta < 1$이라면, 영점의 합 $\sum (2n)^{\rho-1}$은 $O(T^{\Theta-1})$로 매우 빠르게 감소해야 합니다 (Lemma 1 적용).
   • 결과: 앞서 계산한 적분 결과 (주항) 는 $O(T)$의 크기를 가집니다.
   • 모순: $O(T)$ (적분 결과) 와 $O(T^{\Theta-1})$ (가정 하의 영점 합) 은 $\Theta < 1$일 때 $T \to \infty$에서 일치할 수 없습니다.
   • 결론: 따라서 가정이 틀렸으며, $\Theta = 1$이어야 합니다.

4. 주요 결과 (Results)

• 주요 정리 (Theorem 1): $\Theta = 1$입니다. 즉, 리만 제타 함수의 영점 중 실수부가 1 에 임의로 가까운 값들이 존재합니다.
• 귀결 (Corollary 1): $\Re(s) \ge 1$에서 $\zeta(s) \neq 0$임은 알려져 있으므로, $\Theta=1$이라는 사실은 임계선 ($\Re(s)=1/2$) 에서 벗어난 무한히 많은 영점이 존재함을 의미합니다. 이는 리만 가설의 반증입니다.
• 구체적 성질 (Remark 1): 충분히 큰 $T$에 대해, $T \le \gamma \le 2T+1$ 구간에 실수부가 $1 - o(1)$인 영점 $\rho_T$가 존재합니다.

5. 의의 및 한계 (Significance and Limitations)

• 의의:

  • 리만 가설을 반증하려는 시도 중 Landau-Gonek 공식을 디리클레 다항식 근사와 결합하여 영점의 실수부 상한을 직접적으로 공격한 새로운 접근법을 제시했다고 주장합니다.
  • 기존 연구에서 간과되었을 수 있는 "2n 과 m 이 매우 가까운 경우"의 정밀한 합 평가가 핵심 열쇠였다고 강조합니다.

• 한계 및 적용 범위 (Remark 2, 4):

  • Beurling 수계 (Beurling Number Systems): 이 논증은 Beurling 정수 시스템의 제타 함수에는 적용되지 않습니다. 왜냐하면 Beurling 시스템에서는 Titchmarsh 의 정리 4.11 (Lemma 1) 이나 함수 방정식이 성립하지 않기 때문입니다. (Beurling 시스템에서는 RH 가 참인 것으로 알려져 있음).
  • Weil 제타 함수: Weil 제타 함수의 경우에도 해당 정리가 성립하지 않아 RH 가 참임을 보장합니다.
  • 오차항의 정밀도: 논증은 $\sigma$가 0 에 수렴할 때의 오차항 제어에 의존하는데, 저자는 이것이 Titchmarsh 의 증명에서 $\sigma > \sigma_0 > 0$을 가정하는 것과 충돌하지 않도록 주의했다고 설명합니다.

요약

이 논문은 해석적 수론의 고전적 도구 (Landau-Gonek 공식, 함수 방정식, 유수 정리) 를 정교하게 조합하여, 리만 제타 함수의 영점 실수부 상한 $\Theta$가 1/2 이 아닌 1 임을 증명하려 시도합니다. 논증의 핵심은 영점 합을 소수 함수를 통해 변환한 후, 특정 구간에서의 정밀한 점근적 평가를 통해 모순을 이끌어내는 데 있습니다. 저자는 이 결과가 리만 가설의 부정을 의미하며, Beurling 및 Weil 제타 함수와 같은 다른 맥락에서는 적용되지 않는다고 명시합니다.