Amplified moments of the Riemann zeta function

기술 요약: 리만 제타 함수의 증폭된 모멘트 (Amplified Moments of the Riemann Zeta Function)

문제 정의
$M_k(T) = \int_0^T |\zeta(1/2 + it)|^{2k} dt$로 정의되는 리만 제타 함수의 모멘트 평가은 해석적 정수론의 핵심적인 문제이다. $k=1$과 $k=2$에 대해서는 점근적 공식(Hardy–Little List와 Ingham에 의해)이 알려져 있으며, 더 높은 $k$에 대해서는 (상한에 대해 리만 가설을 가정할 경우) 날카로운 경계값이 존재하지만, $k \ge 3$인 경우의 무조건적인 점근적 공식은 여전히 도달하기 어려운 영역으로 남아 있다. 본 연구의 주요 목적은 고전적 모멘트 $M_k(T)$와 제타 함수의 도함수를 포함하는 다양한 결합 모멘트에 대해 개선된 무조건적 유효 하한(unconditional effective lower bounds)을 확립하는 것이다. 이러한 하한값들은 무작위 행렬 이론(random matrix theory)에 의해 동기 부여된 Keating–Snaith, Keating–Wei 등의 추측치와 비교된다.

방법론
저자들은 더 높은 차수의 모멘트를 조사하기 위해 비틀린 평균값(twisted mean values)을 활용하는 "증폭된 모멘트(amplified moments)" 방법을 사용한다. 핵심 기법은 다음과 같은 형태의 적분에 횔더의 부등식(Hölder's inequality)을 적용하는 것이다:
$$\int_0^T |\zeta(1/2 + it)|^{2k} dt \ge \frac{\left( \int_0^T |\zeta(1/2 + it)|^4 |A(1/2 + it) + \chi(1/2 + it)A(1/2 - it)|^{2k-4} dt \right)^{k-1}}{\left( \int_0^T |\zeta(1/2 + it)|^2 |A(1/2 + it) + \chi(1/2 + it)A(1/2 - it)|^{2k-2} dt \right)^{k-2}}$$
여기서 $A(s)$는 매끄러운 다항식 계수 $P[n]$을 갖는 길이 $y = T^\theta$ (또는 4차 모멘트의 경우 $T^\vartheta$)의 디리클레 다항식이다.

주요 방법론적 구성 요소는 다음과 같다:

1. 이중 조각 증폭기 (Two-Piece Amplifier): 단일 디리클레 다항식을 사용했던 이전의 접근 방식과 달리, 저자들은 근사 함수 방정식(approximate functional equation)을 모사하는 "이중 조각" 증폭기 $A(s) + \chi(s)A(1-s)$를 사용한다. 이를 통해 $\zeta(s)$를 더 잘 모델링할 수 있으며 결합 모멘트 처리를 용이하게 한다.
2. 이항 전개 (Binomial Decomposition): 증폭기의 거듭제곱을 이항 정리를 사용하여 전개함으로써, 적분을 주 항(대각 성분 기여)과 $\chi(1-s)$의 거듭제곱을 포함하는 진동 항으로 분리한다.
3. 점근적 평가: 저자들은 증폭기의 높은 거듭제곱을 가진 비틀린 2차 및 4차 모멘트에 대한 점근적 공식을 확립한다. 증폭기 길이 파라미터가 $\theta_k < 1/(2k)$ 및 $\vartheta_k < 1/(4k)$를 만족할 때, 빠른 진동 덕분에 $\chi(1-s)$의 높은 거듭제곱(구체적으로 2차 모멘트의 경우 $\nu \ge 2$, 4차 모멘트의 경우 $\nu \ge 3$)을 포함하는 항들이 무시 가능함($O(T^{1-\varepsilon})$)을 증명한다.
4. 다포체 적분 (Polytope Integrals): 주 항들은 다포체(simplexes) 상의 고차원 적분으로 축소된다. 이 적분들은 멜린 변환(Mellin transforms)과 리만 제타 함수의 성질을 사용하여 명시적으로 계산되며, Barnes $G$-함수와 산술적 인자들을 포함하는 식으로 나타난다.
5. 최적화: 다항식 $P(x)$의 계수들은 결과적인 하한값을 최대화하기 위해 (Wolfram Mathematica를 사용하여) 수치적으로 최적화된다.

주요 기여 및 결과

• 고전적 모멘트에 대한 무조건적 하한:
  본 논문은 6차 모멘트에 대한 새로운 무조건적 하한을 확립한다:
  $$M_3(T) \ge (34.1 + o(1))c_3 T (\log T)^9$$
  이는 Conrey–Ghosh, Soundararajan, Page의 이전 경계값들을 개선하며, Keating–Snaith가 추측한 값인 $42c_3 T (\log T)^9$에 근접한다.

• 도함수 모멘트:
  $\zeta(s)$의 1차 및 2차 도함수에 대한 6차 모멘트에 대한 새로운 무조건적 하한이 얻어진다:
  $$\int_0^T |\zeta'(1/2 + it)|^6 dt \ge (0.549 + o(1))c_3 T (\log T)^{15}$$
  $$\int_0^T |\zeta''(1/2 + it)|^6 dt \ge (0.0231 + o(1))c_3 T (\log T)^{21}$$
  이 결과들은 Page 등의 기존 경계값들을 개선한다.

• 결합 모멘트:
  저자들은 $\zeta(s)$와 그 도함수를 포함하는 여러 결합 모멘트(예: $\int |\zeta|^2 |\zeta'|^4$, $\int |\zeta|^4 |\zeta'|^2$ 등)에 대한 무조건적 하한을 제공한다. 이 경계값들은 Keating–Wei의 추측과 강력하게 일치한다.

• Soundararajan의 경계값 정교화 (정리 10):
  본 논문은 $M_5(T)$ 및 $M_6(T)$에 대한 Soundararajan의 경계값에서 린델로프 가설(Lindelöf Hypothesis) 가정을 제거하여 이를 무조건적인 것으로 만든다. 또한, 증폭기에 두 번째 조각을 도입함으로써 $7 \le k \le 11$ 범위의 $M_k(T)$에 대한 하한을 개선한다. 예를 들어:
  $$M_5(T) \ge (6484 + o(1))c_5 T (\log T)^{25}$$
  $$M_6(T) \ge (56260 + o(1))c_6 T (\log T)^{36}$$
  이 결과들은 진동 항을 무조건적으로 처리하기 위해 Soundararajan의 논증을 수정하여 도출되었다.

• 일반 결합 모멘트 (정리 11):
  $\zeta(s)$와 그 도함수들의 모든 정수 결합 모멘트에 대한 일반적인 무조건적 하한이 확립된다. 이 경계값은 오일러 곱(Euler product)과 유리 함수의 도함수로부터 유도된 상수 $C(a_1, \dots, a_K)$로 주어지며, 이는 무작위 행렬 이론의 예측과 일치한다.

의의 및 주장
본 논문은 제타 함수 모멘트의 하한에 관한 지식의 상태를 크게 진전시켰다고 주장한다. 본 연구의 주요 의의는 다음과 같다:

1. 조건부 가정의 제거: 특정 고차 모멘트($k=5, 6$)에 대해 린델로프 가설의 요구 사항을 성공적으로 제거하였으며, 광범한 범위의 결합 모멘트에 대해 무조건적 경계값을 제공한다.
2. 수치적 상수 개선: 도출된 하한값들은 이전의 그 어떤 무조건적 결과들보다 (Keating–Snaith, Keating–Wei의) 추측치에 수치적으로 더 가깝다.
3. 방법론적 유연성: "이중 조각" 증폭 모멘트 방식은 결합 모멘트에 특히 효과적임이 입증되었으며, 고차 모멘트의 경우 Soundararajan의 증폭 기법과 결합하여 다포체 적분의 계산적 어려움을 극복한다.

저자들은 자신들의 방법이 강력한 경계값을 제공하지만, 허용되는 디리클레 다항식의 길이가 $k$가 증가함에 따라 감소한다는 점을 언급하며, 이는 다른 프레임워크(Bui, Hall, Subira Jorge 등에 의한 것)에서 관찰되는 특정 균등 현상을 회복하는 데 한계가 있음을 시사한다. 그러나 특정 목표인 정수 모멘트에 대한 효과적인 무조건적 하한을 얻는 데 있어서 이 접근법은 매우 성공적임을 입증하였다.