[論文レビュー] New zero-free regions for the derivatives of the Riemann Zeta Function

Thomas Binder, Sebastian Pauli+1 more|arXiv (Cornell University)|Jan 1, 2011

Analytic Number Theory Research参考文献 12被引用数 3

ひとこと要約

本稿は、右半平面におけるリーマン・ゼータ関数 ζ(k)(s) の k 階微分について、ゼロをもたない領域の新たな領域を確立し、それらの領域が無限に続くこと、かつその中でゼロが存在し得ない無限の系列が存在することを証明している。さらに、k が増加するにつれて、ゼロが『臨界帯』と呼ばれる領域において中心線に周期的に収束する驚くべき現象を明らかにした。これは、ζ(s) が臨界線上で混沌とした1次元的分布を示すのに対し、高階微分では非常に規則的かつ予測可能な2次元的ゼロ分布を示すという対比を示している。

ABSTRACT

Abstract. The main aim of this paper is twofold. First we generalize, in a novel way, most of the known non-vanishing results for ζ(k)(s) by establishing the existence of an infinite sequence of regions in the right half-plane where these derivatives cannot have any zeros; and then, in the rare regions of the complex plane that do contain zeros of ζ(k)(s) (named “critical strips ” in analogy with the classical case of ζ(s)), we describe a unexpected phenomenon, which – especially for the hitherto-neglected high derivatives ζ(k)(s) – implies great regularities in their zero distributions. In particular, we prove sharp estimates for the number of zeros in each of these new critical strips, and we explain how they converge, in a very precise, periodic fashion, to their central, “critical ” lines, as k increases. This not only shows that the zeros of ζ(k)(s) are not randomly scattered to the right of the line σ = 12, but that, in many respects, their two-dimensional distribution eventually becomes much simpler and more predictable than the one-dimensional behavior of the zeros of ζ(s) on the line σ = 12. 1.

研究の動機と目的

• ζ(k)(s) の既存の非消滅結果を一般化し、右半平面におけるゼロをもたない領域の無限列を同定すること。
• ζ(k)(s) がゼロをもてる稀な領域（「臨界帯」と呼ばれる）におけるゼロの分布を調査すること、特に高階微分の場合に焦点を当てる。
• k が増加するにつれて ζ(k)(s) のゼロの2次元的分布に現れる構造的規則性を解明すること。
• 各臨界帯におけるゼロの数を定量的に特定し、k が増加するにつれてそのゼロが中心線にどのように収束するかを記述すること。
• ζ(s) が σ = 1/2 で示す古典的1次元的ゼロ分布と比較して、ζ(k)(s) のゼロ分布の予測可能性を評価すること。

提案手法

• ζ(k)(s) の既知の非消滅定理を、右半平面における無限のゼロをもたない領域を構成するための新しい解析的枠組みによって拡張する。
• ζ(s) の古典的臨界帯に類似した、ζ(k)(s) がゼロをもてる領域である「臨界帯」の概念を導入する。
• 漸近的解析と複素関数論を用いて、これらの帯域における ζ(k)(s) の振る舞い、特に k → ∞ のときの挙動を研究する。
• 閉曲線積分と密度論的議論を用いて、各臨界帯におけるゼロの数の鋭い推定値を導出する。
• ゼロの位置が帯の中心線にどのように周期的かつ予測可能に収束するかを分析し、k の増加に伴うパターンを示す。
• 古典的リーマン・ゼータ関数との比較を通じて、高階微分におけるより高い規則性を強調する。

実験結果

リサーチクエスチョン

• RQ1 右半平面における ζ(k)(s) のゼロをもたない無限の系列の領域は何か？ そして、それらはどのように体系的に構成できるか？
• RQ2 ζ(k)(s) のゼロは臨界帯内でどのように分布するか？ また、k が増加するにつれてどのような構造的パターンが現れるか？
• RQ3 k が増加するにつれて、ζ(k)(s) のゼロは臨界帯の中心線にどの程度周期的に収束するか？
• RQ4 ζ(k)(s) のゼロの2次元的分布は、σ = 1/2 における ζ(s) の1次元的分布と比べて、複雑さと予測可能性の面でどのように異なるか？
• RQ5 低階微分では見られるような乱雑さとは対照的に、高階微分のゼロ分布にこのような高い規則性が現れる理由は何か？

主な発見

• 本稿は、ζ(k)(s) に対して右半平面における無限のゼロをもたない領域が存在することを証明し、既知の非消滅結果を一般化した。
• ζ(k)(s) のゼロは、ζ(s) の古典的臨界帯に類似した、複素平面における稀な「臨界帯」に限定される。
• 高階微分では、k が増加するにつれて、各臨界帯内においてゼロが周期的かつ収束的パターンで中心線に近づく。
• 閉曲線積分と密度論的議論を用いて、各臨界帯におけるゼロの数の鋭い推定値が得られ、その分布に対する定量的制御が可能になった。
• ζ(k)(s) のゼロの2次元的分布は、σ = 1/2 における ζ(s) の1次元的分布よりも著しく規則的かつ予測可能であることが明らかになった。
• 結果として、ゼータ関数の高階微分は、予想に反して驚くべき構造的秩序を示すことが示された。これは、k の増加に伴い複雑性が増すという仮定に反する。