[論文レビュー] Combinatorics of lower order terms in the moment conjectures for the Riemann zeta function

Paul-Olivier Dehaye|arXiv (Cornell University)|Jan 21, 2012

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

ひとこと要約

本稿は、対称関数、対称群の表現論、およびアルファベットの操作を用いて、リーマンゼータ関数のモーメント予想における下位項を理解するための組合せ的枠組みを提供する。主な結果は、モーメント多項式 $ P_k(x) $ の係数を、スケーリングされた部分集合の次元と素数ゼータ関数から導かれる算術的要因の両方で表すものであり、$ L $-関数族全体にわたる組合せ的および算術的寄与を統一する。

ABSTRACT

Conrey, Farmer, Keating, Rubinstein and Snaith have given a recipe that conjecturally produces, among others, the full moment polynomial for the Riemann zeta function. The leading term of this polynomial is given as a product of a factor explained by arithmetic and a factor explained by combinatorics (or, alternatively, random matrices). We explain how the lower order terms arise, and clarify the dependency of each factor on the exponent $k$ that is considered. We use extensively the theory of symmetric functions and representations of symmetric groups, ideas of Lascoux on manipulations of alphabets, and a key lemma, due in a basic version to Bump and Gamburd. Our main result ends up involving dimensions of skew partitions, as studied by Olshanski, Regev, Vershik, Ivanov and others. In this article, we also lay the groundwork for later unification of the combinatorial computations for lower order terms in the moments conjectures across families of $L$-functions of unitary, orthogonal and symplectic types.

研究の動機と目的

• リーマンゼータ関数のモーメント多項式 $ P_k(x) $ の下位係数の起源と構造を明確化すること。
• モーメント予想を算術的および組合せ的成分に分解し、それぞれが指数 $ k $ にどのように依存するかを示すこと。
• 特に先行項以外の項に注目して、$ P_k(x) $ の係数 $ c_N(k) $ を体系的に計算する方法を開発すること。
• ユニタリ型、正則型、シミプレクティック型の $ L $-関数族にわたる組合せ的計算を統一する基盤を築くこと。
• 対称関数、表現論、および素数ゼータ関数などの特殊関数を用いて、係数の明示的公式を提供すること。

提案手法

• 本手法は、特にシュール関数と単純対称関数を用いた対称関数および対称群の表現論に依拠する。
• ラスコウのアルファベット操作理論を用いて、$ rak{p}_ u $、$ rak{s}_ u $、$ rak{m}_ u $ などの対称関数の基底を関連付ける。
• モーメント生成関数の組合せ的構造を扱うために、Bump-Gamburdの補題をキーパラメータとして用いる。
• 係数 $ c_N(k) $ は、素数ゼータ関数の指数型母関数から導かれる $ d_{ u u'} $ を含む重みを持つ、分割 $ u, u' $ に関する和として表現される。
• $ W_{ u u'} $ は、素数ゼータ関数の微分の和として計算され、収束性を高めるための系列の再編成を可能にする。
• 最終的な $ c_N(k) $ の表現は、$ d_{ u u'} $、スケーリングされた部分集合の次元 $ ext{dim}( u, S_k( u')) $、および有理関数 $ B(k) $ を組み合わせたものである。

実験結果

リサーチクエスチョン

• RQ1 リーマンゼータ関数のモーメント多項式 $ P_k(x) $ の下位係数は、算術的要因と組合せ的要因の相互作用によってどのように生じるか？
• RQ2 各係数 $ c_N(k) $ が指数 $ k $ にどのように依存するかの明確な依存関係は何か？ そして、これを代数的にどのように記述できるか？
• RQ3 ユニタリ型、正則型、シミプレクティック型の異なる $ L $-関数族にわたるモーメント予想の組合せ的構造を統一するにはどうすればよいか？
• RQ4 対称関数および対称群の表現論は、$ P_k(x) $ の係数を計算する際に果たす役割は何か？
• RQ5 係数 $ c_N(k) $ は、スケーリングされた部分集合の次元と既知の算術関数を用いて表現可能か？

主な発見

• モーメント多項式 $ P_k(x) $ の係数 $ c_N(k) $ は、$ c_N(k) = rac{1}{(k^2 - N)!} \times \text{sum over } \nu, \nu' \text{ of } d_{\nu\nu'} \times \text{dim}(\nu, S_k(\nu')) $ で与えられる。
• 次元 $ \text{dim}(\nu, S_k(\nu')) $ は、$ \frac{g_k B(k)}{k^2 (k^2 - 1) \times \text{lower terms}} $ として表現され、$ B(k) \notin \bbQ(k) $ であるため、超越的依存性を示している。
• 係数 $ d_{\nu\nu'} $ は、指数型母関数 $ \text{exp}( \text{sum } W_{\nu\nu'} \frak{p}_\nu(\bX) \frak{p}_{\nu'}(\bY) ) $ から導かれる。ここで $ W_{\nu\nu'} $ は、素数ゼータ関数の微分を含む。
• 構造 $ W_{\nu\nu'} $ は、$ \text{sum}_r V^r_{\nu\nu'} F^{(|\nu|+|\nu'|)}_r $ として与えられ、$ V^r_{\nu\nu'} $ は多項係数と構造定数 $ f_{\rho\tau} $ を含む。
• 本手法により、[CFK+05] における $ 2k $ 重のコーシー積分の制限を超えて、より大きな $ k $ に対する $ P_k(x) $ の効率的数値計算が可能になる。
• この枠組みは、$ P_k(x) $ を代数的および算術的成分に分解することで、$ k $ における解析接続への道筋を提供し、リンデレフ予想と関連する。