🔢 mathematics

Extreme values of the real part of the Riemann zeta function

本論文は、レゾナンス法および非負の係数を持つディリクレ級数の積分評価を用いることにより、クリティカルライン上におけるリーマンゼータ関数の実部の極値に関する新たな下界を確立することで、ボンダレンコとセイプの研究を拡張するものである。

原著者： Qiyu Yang, Shengbo Zhao

公開日 2026-07-07

📖 1 分で読めます🧠 じっくり読む

原著者： Qiyu Yang, Shengbo Zhao

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

リーマン・ゼータ関数 $\zeta(s)$ を、数の宇宙全体にわたって奏でられる、連続的で複雑なメロディを奏でる巨大で目に見えない楽器だと想像してみてください。数学者たちは、この楽器が奏でることのできる最も「大きな」音に長年魅了されてきました。これらの大きな音は、この関数が「クリティカル・ライン（臨界線）」と呼ばれる特別な線上の特定の点において、極値（非常に大きな数）に達することに対応しています。

数十年にわたり、研究者たちはこの楽器がどれほど大きな音を奏でることができるのかを解明しようとしてきました。

旧来の手法：音量を聴くこと

以前は、サウンダララジャン（Soundararajan）や、その後のボンダレンコとセイプ（Bondarenko and Seip）といった数学者たちが、「共鳴法（resonance method）」と呼ばれる巧妙なテクニックを開発しました。これは、音響エンジニアが楽器の出しうる最大音量を見つけ出そうとする試みに似ています。

これを行うために、彼らは「共鳴器（レゾネーター）」、つまりゼータ関数と同調して振動するように設計された数学的なツールを構築しました。共鳴器とゼータ関数が共に振動すると、信号が増幅されます。この増幅された信号を測定することで、彼らはゼ是在関数が非常に大きな音を出していることを証明できました。

しかし、そこには落とし穴がありました。ゼータ関数の出力は複素数であり、それは二つの部分、すなわち実部（例えば音量のようなもの）と虚部（例えば隠れた位相や方向のようなもの）を持っています。旧来の手法は、全音量（絶対値 $|\zeta|$ ）を測定していました。これにより、その音符が「大きい」ことは分かりましたが、その音波がどの方向を向いているかは分かりませんでした。それは実部が巨大だから大きいのか、あるいは虚部が巨大だから大きいのか、あるいはその両方の混合なのか、判別できなかったのです。

新たな発見：方向をチューニングする

本論文において、著者であるヤン（Qiyu Yang）とジャオ（Shengbo Zhao）は、既存の共鳴法を改良し、特に音の実部を聴き取るように調整を行いました。

ゼータ関数の出力を、地図上の特定の方向を指す矢印だと想像してみてください。

旧来の手法： 矢印の長さ（中心からの距離）を測定しました。
新手法： 矢印が具体的にどれだけ**「東」**（実部）を向いているかを測定します。

著者たちの主要な成果（定理 1.1）は、ゼータ関数が単にランダムな方向に向かって大きくなるのではなく、特に「東」の方向において極めて大きくなることを証明したことです。

いかにして成し遂げたか：「建設的干渉」のトリック

彼らの手法における秘訣は、**畳み込み（convolution）**を用いた数学的なトリックです。

問題点： ゼータ関数は正の数と負の数が混ざり合っており、それらが互いに打ち消し合う（ノイズキャンセリングヘッドホンのように）ことがあります。
解決策： 著者たちは、ゼータ関数を特殊なフィルターと混合するために、彼らの共鳴器を使用します。このフィルターは、光を分離するプリズムのように機能します。
結果： このフィルターを通過した後、「ノイズ」（負の部分）は最小限に抑えられ、「信号」（正の部分）が増幅されます。これは、バラバラの方向に向かって叫ぶ群衆を、完璧なハーモニーで歌う一つの合唱団へと変えるようなものです。

得られた信号は非負の係数（すべて正の数）で構成されているため、「東」の方向（実部）が劇的なブーストを受けることになります。著者たちは、このブーストがあまりに強力であり、実部が全音量に限りなく近い高さにまで達することを証明しました。

なぜこれが重要なのか

この論文は、ゼータ関数が単に一般的な意味で「大きい」だけでなく、方向性を持って大きいことを示しています。

以前： ゼータ関数が高さ $H$ に達しうることは分かっていました。
現在： その同じピークの高さにおいて、「東」の成分もまた $H$ に近いことが分かったのです。

これは重要な洗練です。これは、極値が複素平面上のランダムなスパイクではなく、強固でポジティブな急上昇であることを物語っています。

コーロラリー（随伴定理による副次的発見）

著者たちはまた、この「方向性のある大きさ」が他の関連する数学的対象にも適用されることを示しています。

導関数： ゼータ関数の変化率（メロディがどれほど加速しているか、あるいは減速しているか）に注目した場合でも、実部は依然としてこれらの巨大なピークに達します。
線の近傍： 「クリティカル・ライン（メインステージ）」からわずかに外れた場所に位置する場合でも、実部は（ライン上よりはわずかに低くなるものの）依然として驚くほど大きな値を保ちます。

まとめ

簡単に言えば、ヤンとジャオは、数学的な音の全音量を測るために使われていた強力なツールを取り上げ、それを特定の方向の音量を測るために精緻化しました。彼らは、リーマン・ゼータ関数が単に大きくなるだけでなく、ポジティブかつ方向性を持って大きいことを証明し、その実部が到達しうる高さのこれまでの記録を塗り替えました。これは、この有名な関数の「極値」が、単なる混沌とした変動ではなく、強い正の構造を持っていることを裏付けています。

技術的要約：リーマンゼータ関数の実部の極値

問題の定義
本論文は、クリティカルライン上におけるリーマンゼータ関数 $\zeta(1/2 + it)$ の実部 $\text{Re}(\zeta(1/2 + it))$ の極値に対する下界を確立するという問題に取り組んでいる。絶対値 $|\zeta(1/2 + it)|$ の極値については重要な進展が遂げられてきたが、実部そのものの振る舞いは依然として特有の課題として残っている。絶対値に関する既存の結果は位相の情報を提供しない。すなわち、絶対値が大きいからといって、必ずしも実部が大きく正であるとは限らない。なぜなら、その大きさは虚部によって支配されている可能性があるからである。著者らは、 $\zeta(1/2 + it)$ が特に実軸の方向に大きな値を取り得ることを示そうとしている。

手法
著者らは、Soundararajanによって導入され、その後BondarenkoとSeipによって洗練された**共鳴法（resonance method）**を採用している。彼らのアプローチの核心は、以下のステップを含む。

共鳴子の構成（Resonator Construction）: BondarenkoとSeipの枠組みに従い、特定の共鳴子 $R(t) = \sum_{m \in M'} r(m)m^{-it}$ を構成する。これには、素数の集合 $P$ と、平方フリーな数上に台を持つ乗法的関数 $f(n)$ の定義が含まれる。集合 $M'$ は、共鳴子に関連するディリクレ多項式の寄与を最大化するように注意深く構成される。
畳み込み公式（Convolution Formula）: 本研究における重要な技術的革新は、 $\zeta(1/2 + it)$ を非負の係数を持つディリクレ多項式へと変換するための畳み込み公式の使用である。 $\text{Re}(\zeta(1/2 + i(t+u)))$ をカーネル $K(u)$ および共鳴子の二乗絶対値 $|R(t)|^2$ に対して積分することで、著者らは実部を孤立させる。
積分推定（Integral Estimation）: 証明は、積分 $\int_{\mathbb{R}} \text{Re}(\zeta(1/2 + it)) |R(t)|^2 \Phi(t/T) dt$ $\int_{R} Re (ζ (1/2 + i t)) ∣ R (t) ∣^{2} Φ (t / T) d t$ （ここで $\Phi$ $Φ$ はガウス重み関数）の推定に依存している。
- 下界: レマ2.2を用いて、非負の係数を持つディリクレ級数に関する積分の下界を確立する。非負の係数への畳み込み後の正値性は、建設的干渉の一形態として解釈され、虚部が小さくなることを要求することなく、正の実部の寄与を増幅させる。
- 上界: 著者らは、積分の裾の部分や、畳み込みが支配的でない領域から生じる誤差項を抑えるために、古典的な凸性評価および $\zeta(s)$ のモーメント評価を利用する。

主要な貢献と結果
主要な結果は定理1.1であり、これは区間 $[T^\beta, T]$ におけるゼータ関数の実部の最大値に対する新しい下界を確立するものである。

定理 1.1: 固定された $\beta \in [0, 1)$ および十分に大きな $T$ に対して：
$\max_{t \in [T^\beta, T]} \text{Re} \zeta\left(\frac{1}{2} + it\right) \ge \exp\left( \left(\sqrt{1-\beta} + o(1)\right) \sqrt{\frac{\log T \log_3 T}{\log_2 T}} \right)$
ここで $\log_k$ は $k$ 回反復された対数を表す。
系 1: この手法は、ゼータ関数の導関数 $\text{Re}(\zeta^{(\ell)}(1/2 + it))$ の実部にも拡張され、同様のオーダーの大きさの指数を持つ下界を与える。
系 2: 結果はクリティカルライン付近の点、具体的には $\sigma = 1/2 + A/\log_2 T$ へと拡張される。下界は同じオーダーを維持するが、指数の定数は $\lambda(A) = \frac{1}{e^A\sqrt{e}-1}$ へとわずかに減少する。

意義と主張
本論文は、その結果が $\zeta(1/2 + it)$ の既知の極値に対する**方向的な精緻化（directional refinement）**を提供するものであると主張している。

同時極値性（Simultaneous Extremality）: 著者らは、彼らの結果が絶対値と実部の両方の極値の同時存在を意味することを強調している。以前の手法では、実部を最大化するために虚部を小さくする必要があったかもしれないが、本アプローチは、畳み込み公式がゼータ関数を非負の係数を持つ多項式へと変換し、それによって建設的干渉を通じて実部の寄与を増幅することに依拠している。
既存研究との関係: 著者らは、彼らの結果が Bondarenko と Seip によって確立された絶対値の下界を直ちに含意することを述べている（ $|\zeta(s)| \ge \text{Re}(\zeta(s))$ であるため）。
限界: 論文では、指数の定数を $(\sqrt{1-\beta} + o(1))$ から $(\sqrt{2} + o(1))$ （de la Bretèche と Tenenbaum が絶対値に対して達成した境界）へと改善することは、現在の手法を用いる限り困難であると謙虚に認めている。著者らは、 $|\zeta(1/2 + it)|^2$ の大きな下界が、必ずしも大きな正の実部を保証するわけではない（大きさは虚数成分によって駆動される可能性があるため）と説明している。したがって、ここで用いられている特定の技術は、絶対値を最適化するための二重版の畳み込みとは異なるものである。

要約すると、本論文は共鳴法を適応させてリーマンゼータ関数の実部を孤立させ、増幅させることに成功し、 $\zeta(1/2 + it)$ が特定の漸近的成長率を持つ特定の方向（実軸）において大きな値を取り得ることを証明している。