More than two thirds of the zeta zeros are simple and on the critical line

기술 요약: "리만 제타 함수의 영점 중 3분의 2 이상은 단순하며 임계선 위에 존재한다"

문제 정의
본 논문은 리만 제타 함수 $\zeta(s)$의 비자명 영점(nontrivial zeros)의 분포를 다룬다. 구체적으로, $T \to \infty$일 때 다음 두 가지 양에 대한 무조건적 하한(unconditional lower bounds)을 구하는 것을 목표로 한다:

1. 임계선($\text{Re}(s) = 1/2$) 위에 있는 영점 중 단순 영점(중복도가 1인 경우)의 비율.
2. 임계선 위에 있는 서로 다른 영점(중복도를 1로 계산하는 경우)의 비율.

이 연구 이전의 무조건적 기록은 단순 영점의 경우 $5/12$ ($\approx 0.4167$), 서로 다른 영점의 경우 $0.6603$이었다. 리만 가설(RH) 하에서, 몽고메리(Montgomery, 1973)는 임계선 위의 영점 중 적어도 $2/3$가 단순하다고 추론했으며, 이후 연구들이 서로 다른 영점의 하한을 개선했다. 과제는 역사적으로 실수 횡단(real ordinates)에 대한 합을 구할 때 와일의 명시적 공식(Weil's explicit formula)의 "영점 측(zero side)" 양의 성질을 보장하기 위해 필요했던 RH에 대한 의존성을 제거하는 것이었다.

방법론
본 논문은 와일의 명시적 공식의 유한 차원 근사치를 구축하고, RH를 우회하기 위해 선형 대수의 계수-흔적 부등식(rank-trace inequalities)을 적용한다.

1. 와일의 명시적 공식과 에르미트 형식(Hermitian Forms):
   저자들은 테스트 함수에 대한 에르미트 형식 $W(f, g) = \sum_\rho m_\rho \hat{f}(\gamma_\rho) \overline{\hat{g}(\gamma_\rho)}$를 정의하기 위해 와일의 명시적 공식을 활용한다. 이 형식이 모든 콤팩트 지지 함수(compactly supported functions)에 대해 양의 성질을 갖는 것은 RH와 동치이다.
   저자들은 이 형성이 양수임을 가정하는 대신, $[T, 2T]$ 구간에 걸쳐 배치된 특정 조절된 테스트 함수(modulated test functions)들의 가문(family) $\psi$ (윈도우 $d \approx N(T, 2T)$)로 이 형식을 제한한다. 이를 통해 실수 대칭 행렬 $\tilde{G}$를 얻는다.

2. 행렬 분해 (영점 측):
   행렬 $\tilde{G}$는 $\tilde{G} = P + Q + E$로 분해된다:

• $P$는 임계선 위의 영점으로부터의 기여를 나타낸다.
• $Q$는 임계선 밖의 쌍 $\{\rho, 1-\bar{\rho}\}$로부터의 기여를 나타낸다.
• $E$는 작은 트레이스 노름(trace norm)을 가진 꼬리 항(tail term)이다.

결정적으로, 저자들은 이 구성 요소들의 **계수(rank)**와 양의 지표(positive index)(양의 고윳값 개수)를 분석한다:

• 임계선 위의 각 단순 영점은 $P$에 계수 1을 기여한다.
• 임계선 밖의 각 쌍은 $Q$에 $(1, 1)$ 시그니처 블록을 기여하며, 이는 $n_+(Q)$에 1을 기여하지만 "선 위(on-line)" 부분의 계수에는 0을 기여함을 의미한다.
• 이러한 구조적 통찰은 봄비에리(Bombieri)의 연구에 기인하며, 저자들은 이를 통해 임계선 밖의 쌍의 개수를 $Q$의 양의 지표를 사용하여 제한할 수 있다.

3. 계수-흔적 부등식 (핵심 혁신):
   본 논문은 에르미트 행렬 $P_1 \succe 0$와 $Q'$에 대한 특정 선형 대수 부등식(Lemma 3.2)을 도입한다:
   $$\text{rank}(P_1) \ge 2\text{tr}(P_1) + 4\text{tr}(Q') - 4n_+(Q') - \|P_1 + Q'\|_{HS}^2$$
   $P_1$을 $P$에 대응하는 임계선 위 단순 영점 부분으로, $Q'$를 나머지 부분으로 설정함으로써, 저자들은 임계선 밖의 쌍의 개수와 $\tilde{G}$의 트레이스 및 프로베니우스 노름만을 사용하여 단순 임계선 영점의 개수($N_s^0$)에 대한 하한을 도출한다. 이는 항별 양의 성질(선 밖에서는 실패함)을 요구하는 고전적인 방식 대신 "계수-흔적" 경계값을 사용한다.

4. 소수 측 (무조건적 평가):
   $\text{tr}(\tilde{G})$와 제곱 프로베니우스 노름 $\|\tilde{G}\|_{HS}^2$은 와일 공식의 "소수 측(prime side)"을 사용하여 평가된다.

• $\text{tr}(\tilde{G})$는 점근적으로 $N(T, 2T)$임이 밝혀졌다.
• $\|\tilde{G}\|_{HS}^2$은 디리클레 다항식의 평균값으로서 평가된다. 이는 몽고메리-브이언(Montgomery–Vaughan) 부등식과 $\Lambda(n)^2$의 합에 대한 경계값에 의존한다.
• 결과적으로 $\|\tilde{G}\|_{HS}^2 = (R(\psi) + o(1))N(T, 2T)$이며, 여기서 $R(\psi)$는 윈도우 함수에 의존하는 상수이다. 지시 함수 윈도우(indicator window)의 경우 $R(\psi_0) = 4/3$이다.

주요 기여 및 결과
본 논문은 구간 $(T, 2T)$에 대해 다음의 무조건적 결과를 확립한다:

• 정리 A(i): 비자명 영점 중 적어도 $2/3$ (구체적으로 $2/3 - o(1)$)는 단순하며 임계선 위에 존재한다.
  • 몽고메리-테일러(Montgomery–Taylor) 윈도우를 사용하면 이 상수는 **$0.6725$**로 개선된다.
• 정리 A(ii): 비자명 영점 중 적어도 $5/6$ (구체적으로 $5/6 - o(1)$)는 서로 다르며 임계선 위에 존재한다.
  • 몽고메리-테일러 윈도우를 사용하면 이 상수는 **$0.8362$**로 개선된다.
• 정리 B: 이 결과들은 원시 디리클레 $L$-함수 $L(s, \chi)$에 대해서도 동일하게 적용된다.

본 증명은 몰리파이어(mollifier), 영밀도 추정치(zero-density estimates), 또는 영영역(zero-free regions)을 사용하지 않는다. 대신 명시적 공식, 스털링 근사(Stirling's estimate), 체비쇼프-메르텐스(Chebyshev–Mertens) 추정, 그리고 몽고메리-브이언 부등식에 의존한다.

의의 및 주장

• 몽고메리의 추론을 무조건적으로 만듦: 본 논문은 몽고메리의 1973년 추론(임계선 위 단순 영점의 비율이 $2/3$라는 것)을 무조건적으로 만든다고 주장한다. 고전적으로는 영점 측의 합을 실수 횡단의 양의 합으로 해석하기 위해 RH가 필요했다. 여기서 저자들은 와일 형식의 유한 압축에 적용된 계수-흔적 부등식을 통해 이 양의 성질을 대체하였다.
• 방법론의 최적성: 저자들은 $2/3$ 경계값이 이 특정 방법론에 대해 최적이라고 주장한다. 저자들은 트레이스, 프로베니우스 노름, 그리고 행렬의 블록 구조만을 주어졌을 때 사용된 부등식이 엄밀하다는 것을 보여준다. 이 특정 "계수-흔적" 접근법을 사용하여 $2/3$ 이상의 경계값을 개선하려면, 현재 무조건적으로는 알 수 없는 더 높은 차수의 소수 측 모멘트(즉, 푸리에 지지 집합 1 이상의 상관관계 정보)가 필요하다.
• 형식적 검증: 이 수학적 논증은 AI(Claude)에 의해 발견되고 작성되었으며, 인간 저자들에 의해 검증되었고, Lean 4에서 형식적으로 검증되었다. 이 형식화는 증명이 표준 공리들에만 의존함을 확인해 준다.
• 한계: 본 논문은 결과가 무엇이 아닌지를 명시적으로 밝힌다. 이는 하한일 뿐이며, 남은 영점들이 임계선 밖에 있다는 것을 증명하는 것이 아니라, 단지 이 특정 인증(certificate)에 포착되지 않았음을 의미한다. 이 방법은 $o(N)$ 수준의 임계선 밖 영점에는 영향을 받지 않으며, 만약 리만 가설이 거짓이라 하더라도(예: 다벤포트-하일브로너크 제타 함수) 산술적 입력값이 유지된다면 동일하게 성립한다.

요약하자면, 본 논문은 상당수의(>66%) 제타 영점이 단순하며 임계선 위에 존재한다는 엄밀한 무조건적 증명을 제공하며, 와일의 공식에 선형 대수의 계수 제약을 적용하는 새로운 방식을 통해 몽고메리의 조건부 결과와 일치하는 경계값을 달축했다.