[논문 리뷰] A note on odd zeta values

Tanguy Rivoal, Wadim Zudilin|arXiv (Cornell University)|2018. 03. 08.

Advanced Mathematical Identities참고 문헌 3인용 수 6

한 줄 요약

이 논문은 33개의 홀수 제타 값 ζ(5), ζ(7), ..., ζ(69) 중에서 최소 두 개가 무리수임을 증명한다. 이는 새로운 유리수 선형형식 구성법과 안장점 방법의 조합을 통해 이루어지며, 이러한 형식의 점점 감소하는 점근적 감쇠율을 통해 이 범위 내의 모든 홀수 제타 값이 유리수일 수 없음을 보여, 이전의 홀수 정수에서의 제타 값의 무리수 성질에 대한 결과를 강화한다.

ABSTRACT

Using a new construction of rational linear forms in odd zeta values and the saddle point method, we prove the existence of at least two irrational numbers amongst the 33 odd zeta values $ζ$(5), $ζ$(7),. .. , $ζ$(69).

연구 동기 및 목표

• 33개의 홀수 제타 값 ζ(5), ζ(7), ..., ζ(69) 중에서 최소 두 개의 무리수 존재를 입증한다.
• 이전 결과를 개선하여 홀수 제타 값의 무리수 성질을 더 정밀하게 특정된 후보 집합으로 국소화한다.
• 새로운 홀수 제타 값에서의 유리수 선형형식 구성법을 안장점 방법과 융합하여 더 강력한 정량적 무리수 결과를 도출한다.
• 일부 제타 값 선형형식의 점근적 감쇠율이 이 범위 내의 모든 값이 유리수일 수 없음을 시사함을 보여, 이는 특정 범위 내에서의 유리수 가능성에 제약을 둔다.

제안 방법

• 초기함수형태의 하이퍼기하적 성격을 가진 유리함수 R(t)와 R̂(t)를 구성하여, 이중 미분과 합산을 통해 홀수 제타 값에서의 선형형식 Sₙ과 Ŝₙ를 생성한다.
• Sₙ와 Ŝₙ의 적분 표현을 멜린-바른스 적분을 통해 표현하고, 이를 통해 복소수 위상 함수 φ₀(t)와 그 변형 φ₂(t), φ₋₂(t)에 대해 안장점 방법을 적용하여 점근적 분석을 수행한다.
• 복소수 위상 함수 φ₀(t)와 그 변형 φ₂(t), φ₋₂(t)에 대해 안장점 방법을 적용하여 비퇴화된 두 번째 도함수를 가진 임계점 t₁, t₂, t₋₂를 식별한다.
• 짝수 정수로 이루어진 수열 σ(n)을 따라 n → ∞일 때 선형형식 Sₙ과 Ŝₙ의 점근적 행동을 분석하여 |Sₙ|^{1/n} → |f(t₂)e^{4iπt₂}| ≈ exp(−66.1727)임을 보인다.
• dₙ = lcm(1, ..., n)과 Φₙ(소수 거듭제곱의 곱)을 도입하여 변환된 선형조합에서 정수 계수를 확보하기 위해 산술적 정규화를 도입한다.
• 정규화된 조합 (2^m − 1)Sₙ − Ŝₙ이 ℤ에 속하는 계수를 가지며, 지수적으로 감쇠하지 않는다는 것을 증명함으로써, m과 다를 때 j ≠ m인 ζ(j) 중 최소 하나가 무리수임을 유추한다.

실험 결과

연구 질문

• RQ1 ζ(5), ζ(7), ..., ζ(69)의 33개 홀수 제타 값 중 최소 두 개가 무리수인가?
• RQ2 안장점 방법은 새로운 유리수 선형형식 구성법과 효과적으로 융합되어 홀수 제타 값의 무리수 성질을 향상시킬 수 있는가?
• RQ3 이 새로운 방법으로 구성된 선형형식의 점근적 감쇠율은 무엇이며, 이는 유리수 가능성에 어떤 제약을 둔다?
• RQ4 이 방법은 유한 집합 내의 개별 제타 값을 구별할 수 있는가? 즉, 고정된 m에 대해 나머지 32개의 홀수 제타 값 중 최소 하나는 무리수인가?
• RQ5 정규화된 선형조합 (2^m − 1)Sₙ − Ŝₙ의 감쇠율이 지수적으로 감소하지 않으며, 이는 나머지 집합 내에서 최소 하나의 ζ(j)가 무리수임을 시사하는가?

주요 결과

• 33개의 홀수 제타 값 ζ(5), ζ(7), ..., ζ(69) 중 최소 두 개가 무리수이며, 이는 정리 1을 확인한다.
• 모든 홀수 m ∈ {5,7,...,69}에 대해 나머지 32개의 홀수 제타 값 중 최소 하나가 무리수임이 보장되며, 이는 정리 2를 증명한다.
• 정규화된 선형형식 |Φₙ⁻³dₙ⁷⁰((2^m − 1)Sₙ − Ŝₙ)|^{1/n}의 점근적 감쇠율은 n → ∞일 때 exp(−0.0597) < 1로 수렴하며, 이는 m와 다를 때 j ≠ m인 ζ(j) 중 최소 하나가 무리수임을 의미한다.
• 주요 안장점 t₂ ≈ 1.0004 − i0.0007는 최대 감쇠율 |f(t₂)e^{4iπt₂}| ≈ exp(−66.1727)를 제공하며, 이는 선형형식의 점근적 행동을 지배한다.
• 수열 σ(n)을 따라 Ŝₙ / Sₙ → −1로 수렴하며, 이는 모든 j ≠ m에 대해 ζ(j)가 유리수일 가능성을 배제하는 데 기여한다.
• 감쇠율 e^{70 − κ − 3δ} ≈ e^{−0.0597}는 1보다 작게 엄격히 감소하며, 이는 정규화된 선형조합이 식별적으로 0이 될 수 없음을 보여주며, 따라서 최소 하나의 무리수 제타 값을 포함해야 한다.