[논문 리뷰] A proof of the Riemann hypothesis

Xian‐Jin Li|arXiv (Cornell University)|2008. 07. 01.

Mathematical functions and polynomials참고 문헌 6인용 수 4

한 줄 요약

이 논문은 p-진 및 아델릭 L² 공간 위에서의 추적 공식 접근을 통해 리만 가설을 증명한다. 특별히, 몫공간 CS = JS/O*ₐ 위의 힐버트-슈미트 연산자에 기반하여 리만 제타 함수의 비자명한 영점이 임계선 ℜ(s) = 1/2 위에 있음을 보장하는 리의 기준에 따라 리의 계수 λₙ의 음이 아닌 성질을 증명한다. L²(CS) 위의 적분 연산자 추적값이 음이 아니라는 사실은 모든 n에 대해 λₙ ≥ 0임을 의미하며, 이는 리의 기준을 통해 리만 제타 함수의 모든 비자명한 영점이 임계선 위에 있음을 확인한다.

ABSTRACT

In this paper we study traces of an integral operator on two orthogonal subspaces of a $L^2$ space. One of the two traces is shown to be zero. Also, we prove that the trace of the operator on the second subspace is nonnegative. Hence, the operator has a nonnegative trace on the $L^2$ space. This implies the positivity of Li's criterion. By Li's criterion, all nontrivial zeros of the Riemann zeta-function lie on the critical line.

연구 동기 및 목표

• 모든 리 계수 λₙ가 음이 아닌 것을 보여주는 리의 기준을 통해 리만 가설을 증명하는 것.
• 아델릭 공간 AS 위의 컨볼루션 연산자에서 유도된 몫공간 CS = JS/O*ₐ 위의 특정 적분 연산자 추적의 음이 아닌 성질을 확립하는 것.
• L²(CS)의 수직 부분공간 Q⊥_Λ 및 QΛ 위에서 연산자 Th의 스펙트럼 분해를 분석하여 추적 성분을 분리하고 평가하는 것.
• s=0과 s=1에서 메린 변환이 0이 되는 테스트 함수 hn,ϵ의 가족을 구성하여 bh(0)=bh(1)=0를 확보함으로써 ∆(hn,ϵ)을 추적으로서 고립하는 것.

제안 방법

• CS = JS/O*ₐ인 몫공간 위에서 정의된 힐버트-슈미트 연산자 Th에 대한 추적 공식을 사용하며, 이는 (0,∞) 위의 미분 가능하고 컴actsupport를 가진 함수 gn,ϵ로부터 유도된 컨볼루션 커널 h에 기반한다.
• 연산자 Th는 아델릭 공간 AS 위의 유니터리 푸리에 변환 FS를 이용하여 두 수직 부분공간 Q⊥_Λ(|x| < Λ에서 푸리에 변환값이 0인 함수)과 QΛ(보완 부분공간) 위의 추적으로 분해된다.
• 커널 분석과 기본 도메인 위의 적분을 통해 정교한 분석을 통해 Q⊥_Λ 위의 추적값이 0임을 증명한다(정리 1.3).
• QΛ 위의 추적값이 음이 아닌 것으로 증명된다(정리 1.4). 이는 진동적 적분의 경계를 설정하고 절대수렴성을 입증함으로써 이루어지며, 최종적으로 ζ(s)의 비자명한 영점에 대한 합이 ∆(h)에서 음이 아닌 것으로 도출된다.
• gn,ϵ의 구성은 bhn,ϵ(0) = bhn,ϵ(1) = 0임을 보장하므로 trace(Th) = ∆(hn,ϵ) → 2λₙ (ϵ → 0)가 되며, 따라서 λₙ ≥ 0임을 유도한다.
• 핵심 단계는 리의 기준의 적용: 모든 n ∈ ℕ에 대해 λₙ ≥ 0이면, ζ(s)의 모든 비자명한 영점은 임계선 ℜ(s) = 1/2 위에 존재한다.

실험 결과

연구 질문

• RQ1 특정 h의 구성에 기반하여 Q⊥_Λ 및 QΛ 부분공간으로 분해된 L²(CS) 위의 적분 연산자 Th의 추적값이 여전히 음이 아닌가?
• RQ2 Q⊥_Λ 위의 추적값이 ∆(h)의 기여를 고립하기 위해 엄밀히 0임을 증명할 수 있는가?
• RQ3 gn,ϵ을 통해 구성된 hn,ϵ에 대해 QΛ 위의 추적값이 음이 아닌가, 특히 ϵ → 0의 극한에서 어떻게 되는가?
• RQ4 ϵ → 0일 때 ∆(hn,ϵ)의 극한이 2λₙ과 일치하는가, 즉 추적값이 리 계수와 어떻게 연결되는가?
• RQ5 모든 n에 대해 λₙ의 음이 아닌 성질이 리의 기준을 통해 리만 가설을 증명하는가?

주요 결과

• 정리 1.3에 의해 Q⊥_Λ 위에서 연산자 Th의 추적값은 정확히 0이다. 이는 추적 기여가 QΛ 성분으로 고립됨을 보여준다.
• 정리 1.4에 의해 QΛ 위에서 Th의 추적값은 음이 아니며, 진동적 적분의 경계 설정과 급수 표현의 절대수렴성 증명을 통해 입증된다.
• 정리 1.2에 따르면, ϵ → 0일 때 ∆(hn,ϵ)의 극한은 2λₙ이다. 여기서 λₙ은 n번째 리 계수이며, 이는 추적값이 극한에서 리 계수를 정확히 반영함을 보여준다.
• 커널 함수의 메린 변환은 bhn,ϵ(0) = bhn,ϵ(1) = 0를 만족하므로, 추적값이 직접 ∆(hn,ϵ)로 동일시되며 경계 보정이 필요 없다.
• 모든 ϵ > 0에 대해 ∆(hn,ϵ)이 음이 아니므로, ∆(hn,ϵ) → 2λₙ 이며 추적값이 음이 아니므로, 모든 양의 정수 n에 대해 λₙ ≥ 0임을 유도한다.
• 리의 기준에 의해, 모든 λₙ의 음이 아닌 성질은 리만 제타 함수의 모든 비자명한 영점이 임계선 ℜ(s) = 1/2 위에 있음을 의미하므로, 리만 가설이 증명된다.