リーマンゼータの“増幅”平均で無条件の下限を大幅に改善 — 六次モーメントなど具体的数値を導出
この論文は、リーマンゼータ関数の特定の「増幅(amplified)」平均値を解析して、多くの整関数モーメントに対する無条件の効果的な下限を得たことを報告します。特に、六次モーメントについてM3(T)≥(34.1+o(1)) c3 T (log T)^9という明確な下限を示しました。これはランダム行列理論からの予想値(Keating–Snaithの予想)と強く整合しますが、完全な同値ではありません。論文は第二次と第四次の「二片増幅(two-piece amplified)」モーメントの漸近公式を立て、それを応用して下限を導いています。
研究者たちは短いディリクレ多項式 A(s) を増幅子(アンプ)として用いました。この多項式は長さ y を T のべきでとり、係数は滑らかな多項式で与えます。さらに A(s) とその反映 A(1−s) を組み合わせた二片の形 A(s)+χ(s)A(1−s) を使います。ここで χ(s) はゼータ関数の機能方程式に現れる因子で、この組み合わせは短い近似版の機能方程式に相当します。こうした増幅子を ζ(1/2+it) の二乗・四乗の平均に掛ける「ねじれた(twisted)平均」を解析し、その漸近を得ることでホルダーの不等式を使い高次のモーメントについて下限を導きます。解析に用いる増幅子の長さは k に依存し、一般に k が増えると許される長さは短くなります(具体的には二乗平均で y=T^{θ_k}、四乗平均で y=T^{ϑ_k} を取り、θ_k<1/(2k)、ϑ_k<1/(4k) の範囲を要求します)。
具体的な成果として、論文は多くの定理を示します。代表例は定理1で、六次モーメント M3(T) の無条件下限を上記の数値で示しています。さらに ζ'(s) と ζ''(s)(ゼータの一階・二階微分)の六次モーメントや、ζ とその導関数の同時モーメントについても数値付きの下限を与えています(論文中に定理2〜9として多数の具体値が示されています)。また、以前はリンドレフ仮説(Lindelöf Hypothesis)を仮定していた k=5,6 の下限を仮定なしで得るほか、k=7〜11 に対しても改善された下限を与える定理10を示しています。さらに一般の整数べきの合同モーメントについて正の定数 C(a1,...,aK) を使った下限(定理11)も得られています。
この成果が重要な理由は二点あります。第一に、モーメントはゼータ関数の大きさや値の分布を理解する基本的な道具です。明確な数値付き下限は、ランダム行列理論に基づく予想との比較を可能にし、理論と数値的期待の整合性を確かめる手がかりになります。第二に、これらは従来の手法を改良して得た無条件の結果であり、Soundararajan や Conrey らの以前の下限を上回る箇所がある点で進展です。論文はまた、増幅子の扱い方や二片の取り方が、微分を含む同時モーメントの解析にもうまく働くことを示しています。
重要な制約と不確実性も明確に述べられています。まず、論文で得られる漸近公式(とそれに基づく下限)は増幅子の長さに制約があり、k が大きくなると扱える増幅子は短くなります。したがって高次モーメントでは手法の有効範囲が狭まります。計算上の制約もあり、多面体積分(polytope integrals)を使う部分は高次で計算が難しくなります。さらに、完全な漸近公式としての(1.1)式は現状 k=1,2 のみで確立されており、すべての正整数 k についての完全な公式が得られればリンドレフ仮説が導かれるという既知の事実も再確認されます。本論文の結果は下限を与える重要な前進ですが、上限や完全な漸近式を得るにはなお大きな困難が残っています。