2025-11-10T03:15:04.183261

Explicit extreme values of the argument of the Riemann zeta-function

Inoue, Kobayashi, Toma
We investigate explicit extreme values of the argument of the Riemann zeta-function in short intervals. As an application, we improve the result of Conrey and Turnage-Butterbaugh concerning $r$-gaps between zeros of the Riemann zeta-function.
academic

리만 제타함수의 편각의 명시적 극값

기본 정보

  • 논문 ID: 2510.14309
  • 제목: Explicit extreme values of the argument of the Riemann zeta-function
  • 저자: Shōta Inoue, Hirotaka Kobayashi, Yuichiro Toma
  • 분류: math.NT (정수론)
  • 발표 시간: 2025년 10월 16일
  • 논문 링크: https://arxiv.org/abs/2510.14309

초록

본 논문은 리만 ζ함수의 편각이 짧은 구간에서 보이는 명시적 극값을 연구한다. 응용으로서, Conrey와 Turnage-Butterbaugh의 리만 ζ함수 영점 간 r-gaps에 관한 결과를 개선하였다.

연구 배경 및 동기

문제 배경

리만 ζ함수의 편각 함수 S(t)는 S(t):=1πarg⁡ζ(12+it)S(t) := \frac{1}{\pi} \arg \zeta(\frac{1}{2} + it)로 정의되며, 정수론에서 가장 중요한 함수 중 하나이다. 이 함수는 Riemann-von Mangoldt 공식을 통해 영점 분포와 밀접하게 관련되어 있다:

N(T)=T2πlog⁡(T2πe)+78+S(T)+O(1T)N(T) = \frac{T}{2\pi} \log \left(\frac{T}{2\pi e}\right) + \frac{7}{8} + S(T) + O\left(\frac{1}{T}\right)

연구 동기

  1. 영점 분포의 중요성: ζ함수 영점의 상세 정보는 소수 분포에 중요한 응용을 가지므로, S(t+h)-S(t)의 극값 연구는 의미 있다
  2. 기존 결과의 한계: Selberg와 Tsang의 고전적 결과는 명시적 상수 측면에서 개선의 여지가 있다
  3. 방법론 개선: Montgomery-Odlyzko의 공명 방법을 사용하여 Selberg/Tsang 방법의 명시적 경계를 개선한다

기존 방법의 한계

  • Selberg-Tsang 방법으로 얻은 명시적 상수 c < 1/√(2eπ)
  • 명확한 명시적 경계의 부족
  • r-gaps 문제에 대해 기존의 명시적 상수는 여전히 개선 가능

핵심 기여

  1. S(t+h)-S(t)의 명시적 극값 경계 개선: 공명 방법을 사용하여 더욱 정확한 경계를 얻었으며, 주항 계수는 √(h/π)log T에 도달
  2. r-gaps의 명시적 상수 향상: Conrey-Turnage-Butterbaugh 결과의 상수를 A₀ ≈ 0.906에서 √2 ≈ 1.414로 개선
  3. Montgomery-Odlyzko 방법의 한계 규명: 해당 방법이 영점 gaps 문제에서 가지는 이론적 한계를 증명
  4. 완전한 공명 방법 분석 제공: S(t)의 짧은 구간 극값에 대한 체계적 연구 제시

방법 상세 설명

주요 정리

정리 1 (S(t)의 극값): RH 가정 하에서, 충분히 큰 T와 h ∈ C/log T, c/log log T에 대해, sup⁡T≤t≤2T{±(S(t+h)−S(t))}≥(1−E)hπlog⁡T\sup_{T≤t≤2T} \{±(S(t+h) - S(t))\} ≥ (1-E)\sqrt{\frac{h}{\pi}} \log T 여기서 오차항 E는 특정 경계를 만족한다.

정리 2 (r-gaps의 개선): RH 가정 하에서, 충분히 큰 r에 대해, λr≥1+2r−C1(log⁡r)3/2r\lambda_r ≥ 1 + \frac{\sqrt{2}}{\sqrt{r}} - C_1 \frac{(\log r)^{3/2}}{r}μr≤1−2r+C2(log⁡r)3/2r\mu_r ≤ 1 - \frac{\sqrt{2}}{\sqrt{r}} + C_2 \frac{(\log r)^{3/2}}{r}

기술적 방법

공명 방법 프레임워크

Dirichlet 다항식을 공명기로 사용: R(t)=∑n≤Lf(n)n−itR(t) = \sum_{n≤L} f(n)n^{-it}

여기서 산술함수 f는 목표함수에 따라 특별히 선택된다.

핵심 명제

명제 2: 항등적으로 0이 아닌 임의의 산술함수 f에 대해, sup⁡T≤t≤2T{±(S(t+h)−S(t))}≥∓(1+O(1T))2πRe∑km≤L\Λ(k)klog⁡ksin⁡(h2log⁡k)f(m)f(km)∑n≤L∣f(n)∣2\sup_{T≤t≤2T} \{±(S(t+h) - S(t))\} ≥ ∓\left(1 + O\left(\frac{1}{T}\right)\right) \frac{2}{\pi} \text{Re} \frac{\sum_{km≤L} \frac{\Λ(k)}{\sqrt{k \log k}} \sin\left(\frac{h}{2} \log k\right) f(m)f(km)}{\sum_{n≤L} |f(n)|^2}

최적 공명기 구성

곱셈함수 f±를 선택하고, 소수 p에 대해 정의: f±(p):=±Q⋅sin⁡(h2log⁡p)p1/2+κhhlog⁡pf_±(p) := ±\sqrt{Q} \cdot \frac{\sin(\frac{h}{2} \log p)}{p^{1/2+κh} h \log p}M<p≤LM < p ≤ L일 때, 여기서 M=exp⁡(log⁡log⁡L/h)M = \exp(\sqrt{\log \log L}/\sqrt{h}).

매개변수 선택:

  • κ=log⁡(hlog⁡L)yhlog⁡Lκ = \frac{\log(h \log L)}{yh \log L}
  • y=log⁡(hlog⁡L)/(hlog⁡L)y = \sqrt{\log(h \log L)}/(h \log L)
  • Q는 적분 공식으로 결정

기술적 혁신점

  1. 정확한 공명기 설계: 매개변수 κ와 Q를 신중하게 선택하여 주항을 최적화
  2. 오차항의 정확한 제어: Rankin 기법과 부분 합 공식을 사용하여 명확한 오차 추정 획득
  3. 방법 한계의 이론적 분석: Montgomery-Odlyzko 방법의 이론적 상한 증명

실험 설정

이론적 검증

본 논문은 주로 이론 작업으로, 엄밀한 수학적 증명을 통해 결과를 검증한다.

수치 계산

  • Montgomery-Odlyzko 방법의 한계를 검증하기 위한 수치 계산 사용
  • λ₁ ≥ 3.022, μ₁ ≤ 0.508이 해당 방법의 이론적 한계임을 계산으로 확인

매개변수 선택

  • L ≤ T/(log T)²
  • h ∈ C/log T, c/log log T, 여기서 C는 크고 c는 작음
  • W = 22.6 (λ₁ 계산용), W = 4.9 (μ₁ 계산용)

실험 결과

주요 결과

S(t) 극값의 개선

Selberg-Tsang 방법의 상수 c < 1/√(2eπ) ≈ 0.225와 비교하여, 본 논문은 주항 계수 √(1/π) ≈ 0.564을 달성하여 현저한 향상을 보였다.

r-gaps 상수의 향상

  • 이전 결과: Conrey-Turnage-Butterbaugh가 얻은 Θ = A₀ ≈ 0.906
  • 본 논문 결과: Θ = √2 ≈ 1.414로 개선
  • 향상 폭: 약 56%의 개선

방법 한계

Montgomery-Odlyzko 방법의 이론적 한계를 증명:

  • λ₁ ≥ 3.022 (이전의 3.74에서 약간 개선)
  • μ₁ ≤ 0.508
  • 일반적 경우: λᵣ ≥ 1 + √2/√r - O(1/r)

기술적 검증

오차항 분석

정리 1의 오차항 E는 다음 경계를 만족한다: E≪hlog⁡log⁡T+min⁡{log⁡3(hlog⁡T)hlog⁡T,(log⁡log⁡T)3/2h3/2log⁡T}E \ll \sqrt{h \log \log T} + \min\left\{\sqrt{\frac{\log^3(h \log T)}{h \log T}}, \frac{(\log \log T)^{3/2}}{h^{3/2} \log T}\right\}

최적성 증명

정리 3은 √2 상수의 최적성을 증명하며, 본 논문의 결과가 Montgomery-Odlyzko 프레임워크 내에서 최적임을 보여준다.

관련 연구

역사적 발전

  1. Selberg (미발표): S(t+h)-S(t)의 하한 결과를 최초로 증명
  2. Tsang (1986): Selberg 결과의 완전한 증명 제시
  3. Montgomery-Odlyzko (1984): 영점 gaps 연구를 위한 공명 방법 개발
  4. Conrey-Turnage-Butterbaugh (2018): r-gaps의 명시적 경계 제시

방법 비교

  • Selberg-Tsang 방법: 직접적이지만 상수가 충분히 정확하지 않음
  • Montgomery-Odlyzko 공명 방법: 더욱 정교하지만 기술적 요구가 높음
  • Hall 방법: 특정 경우에 공명 방법의 한계를 돌파 가능

본 논문의 기여

본 논문은 공명 방법을 S(t) 연구에 교묘하게 적용하여 영점 gaps와의 연결을 수립하고, 명시적 상수의 현저한 개선을 실현했다.

결론 및 논의

주요 결론

  1. RH 가정 하에서, S(t+h)-S(t)의 극값은 (1-E)√(h/π)log T의 정확한 경계에 도달
  2. r-gaps의 정규화 경계는 1 ± √2/√r의 주항으로 개선
  3. 이러한 결과들이 Montgomery-Odlyzko 프레임워크 내에서 최적임을 증명

한계

  1. RH 가정 의존성: 주요 결과는 리만 가설을 필요로 함
  2. 매개변수 범위 제한: h는 특정 범위 내에 있어야 함
  3. 방법 한계: 공명 방법이 이론적 상한을 가짐을 증명

향후 방향

  1. Montgomery-Odlyzko 방법의 한계를 돌파하는 새로운 기법 탐색
  2. 더욱 일반적인 구간에서의 극값 문제 연구
  3. 무조건적 결과의 가능성 탐색

심층 평가

장점

  1. 기술적 혁신: 공명 방법을 S(t) 연구에 정교하게 적용하여 기술 처리가 정교함
  2. 결과의 현저성: 상수 개선 폭이 크며, 0.906에서 1.414로 향상
  3. 이론적 완전성: 개선된 결과뿐만 아니라 방법의 한계도 증명
  4. 증명의 엄밀성: 수학적 추론이 정밀하고 기술 세부사항이 적절히 처리됨

부족한 점

  1. 의존성 강함: 주요 결과가 RH 가정에 의존
  2. 응용 범위: 매개변수 h의 범위에 일정한 제한
  3. 계산 복잡성: 공명기의 구성 및 분석이 복잡함

영향력

  1. 이론적 기여: 해석적 정수론의 영점 분포 이론에 중요한 기여
  2. 방법론적 가치: 공명 방법이 새로운 문제에서의 위력을 보여줌
  3. 후속 연구: 추가 개선을 위한 이론적 기초 및 기술 프레임워크 제공

적용 분야

  1. 해석적 정수론의 극값 문제 연구
  2. L함수 영점 분포 관련 문제
  3. 공명 방법의 추가 응용 및 발전

참고문헌

본 논문은 해당 분야의 중요 문헌을 인용하며, 다음을 포함한다:

  1. Selberg의 개척적 업적
  2. Montgomery-Odlyzko의 공명 방법
  3. Conrey-Turnage-Butterbaugh의 r-gaps 연구
  4. Soundararajan과 Bondarenko-Seip의 공명 방법 발전

종합 평가: 이는 해석적 정수론 분야의 고품질 논문으로, 기술적으로 현저한 혁신을 이루었으며 결과상 중요한 개선을 달성했다. 영점 분포 이론의 발전에 중요한 가치를 가진다. 논문은 깊이 있는 이론적 통찰력과 정교한 기술 처리를 결합하여 해당 분야의 중요한 기여를 이루었다.