Siegel zeros and small gaps between zeros of the Riemann zeta function

기술적 요약: 지겔 제로(Siegel Zeros)와 리만 제타 함수의 작은 간격

문제 정의
본 논문은 리만 제타 함수 $\zeta(s)$의 비자명한 영점들의 수직 분포를 다룬다. 구체적으로, 연속적인 영점의 허수 부분인 $\gamma_n$과 $\gamma_{n+1}$ 사이의 "작은 간격(small gaps)"의 존재 여부를 조사한다. 이 간격은 평균 간격인 $2\pi/\log \gamma_n$에 의해 정규화된다. 저자들은 $\mu = \liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) / (2\pi/\log \gamma_n)$라는 양을 정의한다.

오랫동안 지속된 추측은 $\mu = 0$임을 상정하고 있다. 리만 가설(RH)이 가정된 상태에서, $\mu$에 대한 알려진 무조건적 하한선은 문제가 되지 않으며, 오히려 본 논문은 상한선에 집중한다. 이 연구 이전의 최선 결과는 $\mu < 0.50895$ (Inoue)였다. 기존에는 지겔 제로(디리클레 $L$-함수의 예외적인 실수 영점)의 존재 가능성 때문에 $\mu$의 자연스러운 장벽으로서 $1/2$이라는 값이 존재할 것이라는 견해가 지배적이었다. Heath-Brown과 Conrey–Iwaniec의 이전 연구들은 만약 지겔 제로가 존재한다면, 이들이 제타 영점들에 일종의 경직성(rigidity)을 강요하여, 간격이 $1/2$보다 작게 발생하는 것을 방지할 수도 있다는 "대안 가설(Alternative Hypothesis)"을 시사했다.

방법론
저자들은 작은 간격을 탐지하기 위해 두 개의 가중 적분을 비교하는 Montgomery–Odlyzko 방법을 사용한다. 핵심적인 혁신은 "공명기(resonator)" 함수 $R(t)$의 선택과 그와 관련된 디리클레 다항식의 길이이다.

1. 긴 디리클레 다항식 (Long Dirichlet Polynomials): 전통적인 Montgomery–Odlely method의 적용은 계수들의 가법적 상관관계(additive correlations)와 관련된 다루기 힘든 비대각 항(off-diagonal terms)을 피하기 위해 "짧은" 디리클레 다항식(길이 $L \ll T$)으로 제한되어 왔다. 본 논문은 길이를 $L \approx T^{17/14}$인 긴 디리클레 다항식을 활용함으로써 이 장벽을 깨뜨린다.
2. 공명기 구성: 공명기는 $R(t) = \sum_{n \le L} \chi(n)G(n)n^{-1/2-it}$로 선택된다. 여기서 $\chi$는 지겔 제로와 연관된 원시 이차 디리클레 문자로, 계수들은 매끄러운 가중치 $G(n)$과 문자 $\chi$를 포함한다.
3. 비대각 항 처리: 주요 기술적 과제는 비대각 상관관계 $\sum \chi(m)\chi(km+r)$ 및 $\sum \Lambda(k)\chi(km+r)$를 추정하는 것이다. 저자들은 소수 변수 $k$의 크기에 따라 분석을 세 가지 영역으로 나누어, 거듭제곱 감소 오차항(power-saving error terms)을 사용하여 이러한 상관관계를 처리하는 새로운 체계를 개발하였다:
   • 작은 $k$: Lemma 4(Heath-Brown의 연구 확장)를 이용한 상관 합(correlation sums)의 경계값들을 통해 처리된다.
   • 중간 단계의 $k$: 이동된 문자 합(shifted character sums)의 2차 모멘트 추정치를 사용하여 처리된다 (Cauchy–Schwarz와 가법 분할 문제 기법의 결합).
   • 큰 $k$: 푸리에 역변환(일반화된 Jacobi 합)을 통해 $\chi(km+r)$의 변수를 분리하고, 디리클레 $L$-함수에 대한 영점 밀도 추정치(특히 Chen–Gupta–Li 추정치)를 적용하여 문자에 대한 합을 제한한다.

주요 결과
본 논문은 리만 가설(RH)을 가정하에 다음과 같은 주요 정리를 확립한다.

정리 1: RH가 성립하고, 품질 $E = \inf_j E_j$가 충분히 큰 예외적인 지겔 제로 수열이 존재한다고 가정하자. 그러면:
$$\mu < 0.4733$$
구체적으로, 저자들은 $\liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) \frac{\log \gamma_n}{2\pi} < 0.4733$임을 보인다.

따름정리 2: 동일한 가정 하에서, 정규화된 간격이 집합 $\frac{1}{2}\mathbb{Z}_{\ge 1} + o(1)$에 국한되는 점근적 분포는 존재할 수 없다. 이는 지겔 제로가 모든 간격을 반정수(half-integer)로 강제한다는 "대안 가설"의 강한 형태를 반박한다.

의의 및 주장
저자들은 자신들의 결과가 놀라운 이유는 지겔 제로가 $\mu < 1/2$을 증명하는 데 있어 장벽이 아니라, 오히려 그러한 간격의 존재를 증명하기 위해 사용될 수 있음을 보여주기 때문이라고 주장한다.

• 강한 대안 가설의 반박: 이 결과는 지겔 제로가 거의 모든 간격이 $\ge 1/2$인 경직된 분포를 함의한다는 아이디어를 반박한다. 대신, 만약 지겔 제로가 존재한다면, 정규화된 간격이 $0.4733$보다 엄격히 작은 곳에 영점들이 군집(clustering)을 이루어야 함을 보여준다.
• 방법론적 돌파구: Montgomery–Odlyzko 방법이 $\mu < 0.508$로 제한되었던 이유는 짧은 다항식의 제한 때문이었다. 지겔 제로를 사용하여 계수의 구조를 잡음으로써 긴 다항식(길이 $T^{17/14}$)의 비대각 항을 성공적으로 관리함으로써, 저자들은 이 계산적 장벽을 우회하였다.
• 기술적 미묘함: 저자들은 자신들의 결과가 Heath-Brown이나 Conrey–Iwaniec의 연구와 모순되지 않음을 명확히 한다. 해당 연구들은 지겔 제로가 $1/2$보다 작은 간격을 적게 만든다는 것(양적 비례 결과)을 확립했다. 반면, 본 논문은 적어도 하나의 간격이 $0.4733$보다 작다는 것(liminf 결과)을 확립하며, 그러한 간격이 양의 비율로 존재한다고 주장하지는 않는다.

본 논문은 결론적으로, 지겔 제로가 (더 높은 차수의 모멘트가 필요하여 다항식 길이를 더 제한하게 되는) 양의 비율을 가진 작은 간격을 확립하는 데에는 여전히 장벽으로 남아 있을 수 있으나, $1/2$ 미만의 간격의 존재를 확립하는 데에는 장벽이 아님을 밝힌다. 저자들은 계수 선택이나 영점 밀도 추정치(예: 밀도 가설)의 추가적인 개선을 통해 이 경계값을 아마도 $\mu < 0.467$까지 낮출 수 있을 것이라고 언급하였으나, 현재의 작업은 $1/2$ 장벽을 깨기 위해 지겔 제로를 사용하는 메커니즘 자체에 초점을 맞추고 있다.