[論文レビュー] A note on odd zeta values

Tanguy Rivoal, Wadim Zudilin|arXiv (Cornell University)|Mar 8, 2018

Advanced Mathematical Identities参考文献 3被引用数 6

ひとこと要約

本稿は、33個の奇数のゼータ値 ζ(5), ζ(7), ..., ζ(69) の中で、少なくとも2つが無理数であることを、新しい有理線形形式の構成法とサドルポイント法を組み合わせた新規手法を用いて証明している。この手法により、これらの線形形式の漸近的減衰率を特定し、この範囲内のすべての奇数のゼータ値が有理数であることは不可能であることを示しており、奇数の整数におけるゼータ値の無理数性に関する従来の結果を強化している。

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) の中に、少なくとも2つの無理数が存在することを確立すること。
• 従来の結果を精緻化し、奇数のゼータ値の無理数性に関する候補の集合を、以前の境界よりもより正確に局所化すること。
• 奇数のゼータ値における新しい有理線形形式の構成法とサドルポイント法を組み合わせ、より強い定量的無理数性の結果を得ること。
• 特定の範囲内のすべてのゼータ値が有理数であることは不可能であることを、ある種の線形形式の漸近的減衰率が示唆すること。

提案手法

• 超幾何型構造を持つ有理関数 R(t) および R̂(t) を構成し、二重微分と和分を用いて奇数のゼータ値における線形形式 Sₙ および Ŝₙ を生成する。
• Mellin-Barnes 積分を用いた Sₙ および Ŝₙ の積分表現を用い、複素位相関数 φ₀(t) 及びその変種 φ₂(t), φ₋₂(t) に対してサドルポイント法を適用し、漸近的解析を実行する。
• 複素位相関数 φ₀(t) 及びその変種 φ₂(t), φ₋₂(t) に対してサドルポイント法を適用し、非退化な2次微分を持つ臨界点 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ₙ − Ŝₙ が ℤ に値を持つこと、かつ指数的減衰より速く減衰することを証明し、j ≠ m なる ζ(j) の少なくとも1つが無理数であることを示す。

実験結果

リサーチクエスチョン

• RQ1 33個の奇数のゼータ値 ζ(5), ζ(7), ..., ζ(69) の中に、少なくとも2つが無理数であるか。
• RQ2 新しい有理線形形式の構成法とサドルポイント法を効果的に組み合わせることで、奇数のゼータ値の無理数性に関する結果を改善できるか。
• RQ3 この新規手法により構成された奇数のゼータ値における線形形式の漸近的減衰率は何か。また、その減衰率は有理数性にどのような制約を課えるか。
• RQ4 この手法は有限集合内の個々のゼータ値を区別できるか。特に、任意の固定された m に対して、j ≠ m なる ζ(j) のうち少なくとも1つが無理数であることを保証できるか。
• RQ5 正規化された線形結合 (2^m − 1)Sₙ − Ŝₙ の減衰率が指数的でないことは、残りの集合内に少なくとも1つの無理数 ζ(j) が存在することを示唆するか。

主な発見

• 33個の奇数のゼータ値 ζ(5), ζ(7), ..., ζ(69) の中に、少なくとも2つが無理数であることが確認され、定理1が裏付けられた。
• 任意の固定された奇数 m ∈ {5,7,...,69} に対して、残りの32個の奇数のゼータ値の中に、少なくとも1つの無理数が存在する。これは定理2の証明である。
• 正規化された線形形式 |Φₙ⁻³dₙ⁷⁰((2^m − 1)Sₙ − Ŝₙ)|^{1/n} の漸近的減衰率は、n → ∞ のとき exp(−0.0597) < 1 に収束し、j ≠ m なる ζ(j) の少なくとも1つが無理数であることを示唆する。
• 主要なサドルポイント t₂ ≈ 1.0004 − i0.0007 が、最大の減衰率 |f(t₂)e^{4iπt₂}| ≈ exp(−66.1727) を与え、線形形式の漸近的挙動を支配する。
• 比 Ŝₙ / Sₙ → −1 が列 σ(n) 沿いに成り立つため、j ≠ m なるすべての ζ(j) が有理数である可能性を排除できる。
• 減衰率 e^{70 − κ − 3δ} ≈ e^{−0.0597} は1より厳密に小さいため、正規化された線形結合が恒等的にゼロであることは不可能であり、したがって少なくとも1つの無理数ゼータ値を含むことになる。