[論文レビュー] Dirichlet polynomials: some old and recent results, and their interplay in number theory

Michel Weber|arXiv (Cornell University)|Jul 28, 2009

Analytic Number Theory Research参考文献 43被引用数 4

ひとこと要約

この解説論文は、ディリクレ多項式と解析的数論における中心的問題、特にリンデレーフ予想とリーマン予想の間の関係を検討する。リンデレーフ予想の、ディリクレ多項式の上限ノルムに関する同値な再定式化を確立し、確率的手法（確率的ディリクレ級数とガウス過程を用いて）それらの上限ノルムの鋭い評価を得る。これにより、臨界線におけるリーマン・ゼータ関数の成長に関する新たな知見が得られる。

ABSTRACT

In the first part of this expository paper, we present and discuss the interplay of Dirichlet polynomials in some classical problems of number theory, notably the Lindelöf Hypothesis. We review some typical properties of their means and continue with some investigations concerning their supremum properties. Their random counterpart is considered in the last part of the paper, where a analysis of their supremum properties, based on methods of stochastic processes, is developed.

研究の動機と目的

• ディリクレ多項式およびその数論における役割に関する基礎的結果を統合・提示すること。特にリンデレーフ予想とリーマン予想との関係を対象とする。
• リンデレーフ予想が特定のディリクレ多項式の $ L^2 $-ノルムおよび上限ノルムに関する境界と同値であることが明確になるようにすること。
• 確率的ディリクレ多項式の上限ノルムを解析するための確率的枠組みを構築すること。その際、確率過程およびガウス混合の道具を用いる。
• 数論、ディリクレ級数、および確率的解析の交差領域で作業する解析学者および確率論者向けの自己完結的参考文献を提供すること。

提案手法

• ディリクレ多項式の平均値を推定するために、フーリエ逆変換およびモントゴメリー＝ヴォーンのヒルベルトの不等式のバージョンを用いる。
• オイラー＝マクローリンの公式を適用して、ゼータ関数の部分和をベルヌーイ関数の積分と関連づけ、漸近的解析を可能にする。
• 臨界線における時間 $ t $ を、独立同一分布に従うコーシー変数の和 $ S_n $ を用いたコーシーのランダムウォークでモデル化し、$ \theta_n = \frac{1}{2} + iS_n $ のほとんど確実な挙動を研究する。
• $ \tilde{\theta}_n = \theta_n - \text{E}[\theta_n] $ の2次の性質を解析し、弱直交性および対数的増加の分散を示す。
• 対称化およびガウス過程の技術を用いて、エントロピーおよびメトリック・エントロピーの手法を通じて、確率的ディリクレ多項式の期待上限を評価する。
• 重要な境界を導出する：$ \text{E}[ ext{sup}_t | heta(rac{1}{2}+it)|] \leq C_{\sigma,\lambda} N^{1/2-\sigma} \tilde{D}_2(N) \left( \left( \frac{\nu \log \log \nu}{\log \nu} \right)^{1/2} + \cdots \right) $、ここで $ \tilde{D}_2(N) $ は係数関数の $ L^2 $-ノルムである。

実験結果

リサーチクエスチョン

• RQ1 リンデレーフ予想は、ディリクレ多項式の上限ノルムに関してどのように再定式化できるか？
• RQ2 近似ディリクレ多項式に零点がないこととリーマン予想との間にはどのような関係があるか？
• RQ3 ディリクレ多項式の平均値および $ L^2 $-ノルムは、臨界線上におけるリーマン・ゼータ関数の挙動とどのように関係するか？
• RQ4 確率的ディリクル多項式の上限ノルムを推定するためにどのような確率的道具が使えるか？
• RQ5 $ S_n $ がコーシーのランダムウォークであるとき、$ \zeta(\frac{1}{2} + iS_n) $ のほとんど確実な漸近的挙動はいかなるものか？

主な発見

• リンデレーフ予想は、すべての $ \varepsilon > 0 $ に対して $ \left| \sum_{n=1}^N \frac{(-1)^n}{n^{it}} \right| \leq C N^{1/2+\varepsilon} (2+|t|)^\varepsilon $ という境界と同値である。
• リーマン・ゼータ関数の2番目のモーメントは、$ \frac{1}{T} \int_1^T |\zeta(\frac{1}{2}+it)|^{2k} dt = \mathcal{O}_\varepsilon(T^\varepsilon) $ を満たし、これはリンデレーフ予想と同値である。
• 確率的ディリクレ多項式 $ \mathcal{D}(s) = \sum_{n \leq N} \frac{d(n)}{n^s} $ は、$ \mathbb{E}[\sup_t |\mathcal{D}(\frac{1}{2}+it)|] \leq C_{\sigma,\lambda} N^{1/2-\sigma} \tilde{D}_2(N) \left( \left( \frac{\nu \log \log \nu}{\log \nu} \right)^{1/2} + \cdots \right) $ を満たす。
• 系 $ \tilde{\zeta}_n = \zeta(\frac{1}{2}+iS_n) - \mathbb{E}[\zeta(\frac{1}{2}+iS_n)] $ は、ほぼ無相関変数のように振る舞い、$ \mathbb{E}[|\tilde{\zeta}_n|^2] = \log n + C + o(1) $ である。
• 期待上限ノルムは、ガウス過程 $ U(z) = \sum_{j=1}^\nu g_j p_j^{-1/2} z_j $ との比較によって制御され、$ \nu $、$ \log \nu $、$ \log \log \nu $ を含むエントロピーに基づく境界が得られる。
• 本論文は、$ \nu $、$ N $、および $ \tilde{D}_2(N) $ に依存する、確率的ディリクレ多項式の期待上限ノルムの鋭い推定を達成しており、算術的構造と確率的集中の相互作用を反映している。