Effective correlation and decorrelation for newforms, and weak subconvexity for $L$-functions

この論文「EFFECTIVE CORRELATION AND DECORRELATION FOR NEWFORMS, AND WEAK SUBCONVEXITY FOR L-FUNCTIONS（新形式の有効な相関と非相関、および L 関数の弱い凸性）」は、数論的解析、特に量子ユニークエルゴード性（QUE）と Rankin-Selberg L 関数の凸性限界の改善に関する研究です。著者 Nawapan Wattanawanichkul（付録は Jesse Thorner による）は、Holomorphic newforms（正則新形式）の相関と非相関の問題に対して、レベル $q$ と重み $k$ の両方に対して一貫した有効な（effective）評価を与えています。

以下に、この論文の技術的な要約を問題設定、手法、主要な貢献、結果、および意義の観点から詳細に記述します。

1. 問題設定と背景

量子ユニークエルゴード性（QUE）の有効化:
量子力学における古典的なエルゴード性の量子版である QUE は、高エネルギー極限（ここでは重み $k \to \infty$）において、固有状態の確率分布が位相空間全体に一様に分布することを主張します。

• Holowinsky-Soundararajan の結果: 以前、Holowinsky と Soundararajan はレベル 1 の正則新形式 $f$ について、$\langle \psi, |F_k|^2 \rangle = \frac{3}{\pi}\langle \psi, 1 \rangle + O((\log k)^{-\delta})$ という収束速度を示しました（$\delta$ は非常に小さい正の数）。
• レベル変動の問題: Kowalski, Michel, Vanderkam は、レベル $q$ も変動する場合（$kq \to \infty$）の QUE を予想しました。Nelson, Pitale, Saha はこれを証明しましたが、収束速度がレベル $q$ の構造（特に $q$ が平方因子を持つかどうか）に敏感であることが示されました。
• 相関と非相関: $f=g$ の場合（自己相関）は上記の QUE に相当し、$f \neq g$ の場合（非相関）は異なる固有状態の積の積分が 0 に収束するかどうかの問題です。Huang はレベル 1 の非相関について有効な評価を与えましたが、一般のレベル $q$ への拡張は未解決でした。

本研究の目的:
レベル $q$ と重み $k$ の両方に対して、$f=g$ および $f \neq g$ の場合における、テスト関数 $\psi$ に対する積分 $\langle \psi, F_k G_k \rangle_q$ の有効な評価（収束速度）を、$k, q, \psi$ に依存する明示的な定数とともに導出することです。特に、$f \neq g$ で $q$ が平方数でない（squarefree）場合の非相関性を証明し、$f=g$ の場合の収束速度を改善することを目標とします。

2. 手法と主要な技術的革新

この論文の核心は、Soundararajan の弱い凸性限界（weak subconvexity bound）の精密化にあります。

A. Rankin-Selberg L 関数の弱い凸性限界の改良 (Theorem 1.3)

• 背景: Rankin-Selberg L 関数 $L(s, \pi \times \pi')$ において、$\pi$ が一般化されたラマヌジャン予想（GRC）を満たす場合、Soundararajan は $L(1/2, \pi \times \pi') \ll C(\pi \times \pi')^{1/4} (\log C)^{-1+\epsilon}$ という限界を示しました。しかし、この限界における $\pi'$ への依存性が明示的ではありませんでした。
• 改良: 著者は、$\pi'$ の導手 $C(\pi')$ に対する依存性を明示的に制御した新しい限界を証明しました。
  $$L(1/2, \pi \times \pi') \ll_{m,m',\epsilon} C(\pi')^\epsilon \frac{C(\pi \times \pi')^{1/4}}{(\log C(\pi \times \pi'))^{1-\epsilon}}$$
  この改良により、$\pi'$ の導手が大きくなっても、その影響が $C(\pi')^\epsilon$ という緩やかな項で制御されることが示されました。これは、レベル $q$ が変動する QUE の問題において、レベル依存性を精密に評価するために不可欠です。
• 証明手法: Soundararajan の「平均値の緩やかな変動（slow variation of mean values）」に基づくアプローチを採用しつつ、部分和の評価や、極大値の選択（successive maxima）における $\pi'$ の導手への依存性を厳密に追跡することで、対数因子の改善と定数の明示化を実現しました。

B. 二つのアプローチの組み合わせ (Soundararajan 法と Holowinsky 法)
定理 1.1 の証明には、2 つの異なる手法の組み合わせと最適化が必要です。

1. Spectral Approach (Soundararajan 流): 固有形式のスペクトル分解を用い、Watson の三重積公式と改良された弱い凸性限界（Theorem 1.3）を組み合わせて評価します。
2. Poincaré Series Approach (Holowinsky 流): 不完全ポアンカレ級数を用いて、シフトされた畳み込み和（shifted convolution sums）を評価します。
3. 最適化: 両方の評価式を $M^\alpha$ のようにパラメータ $\alpha$ で結合し、Hecke 固有値 $\lambda_f(p)$ の分布に関する Mertens の定理的な評価を用いて、収束速度を最大化する $\alpha$ を選択します。これにより、対数因子の指数が最適化されます。

C. 付録（Jesse Thorner による）の修正
Iwaniec の講義ノートや Lester-Matomäki-Radziwiłł の論文における QUE の収束速度の評価に、見落としがあった因子（GL2 × GL3 の近似関数方程式における項）が存在することを指摘し、それを修正することで、実際の収束速度が以前主張されていたものよりも遅い（指数が小さい）ことを示しました。これは、本研究の主要な結果（Corollary 1.2）の定数部分の正当性を補強するものです。

3. 主要な結果

定理 1.1 (有効な相関・非相関の評価):
$q$ を整数、$q_0$ を $q$ の最大の平方因子でない約数とする。$f, g$ を重み $k$、レベル $q$ の正則新形式とする（$f \neq g$ の場合 $q$ は平方数でないとする）。
任意の有界な滑らかなテスト関数 $\psi$ に対して、以下の評価が成り立ちます：
$$\left| \langle \psi, F_k G_k \rangle_q - \mathbb{1}_{f=g} \frac{3}{\pi} \langle \psi, 1 \rangle_1 \right| \ll_{\epsilon} M^4 \left(\frac{q}{q_0}\right)^{-\frac{1}{12}(2\sqrt{3}-3)(1-2\theta)+\epsilon} (\log kq)^{-(\frac{7}{2}-2\sqrt{3})+\epsilon}$$
ここで $\theta$ は一般化されたラマヌジャン予想に関する最良の限界（現在 $\theta \le 7/64$）です。

• $f=g$ の場合: 量子ユニークエルゴード性の収束速度が $(\log kq)^{-(\frac{7}{2}-2\sqrt{3})+\epsilon} \approx (\log kq)^{-0.0359+\epsilon}$ で与えられます。これは、レベル 1 の場合、以前の結果（Holowinsky-Soundararajan や Iwaniec のノートに基づくもの）よりも速い収束速度です。
• $f \neq g$ の場合: レベル $q$ が平方数でない場合、有効な非相関性が証明されました。これは Huang のレベル 1 の結果を一般のレベルに拡張し、改善したものです。

系 1.2 (零点の等分布):
定理 1.1 の結果を用いると、正則新形式 $f$ の零点が双曲的測度に関して等分布する速度が具体的に評価できます。半径 $r \ge (\log k)^{-1/203}$ の双曲的球内での零点の分布が、期待値からの偏差が $(\log k)^{-\delta}$ のオーダーで制御されることが示されました。

4. 意義と貢献

1. QUE の有効性の大幅な向上:
   レベル $q$ が変動する状況下での量子ユニークエルゴード性について、$k$ と $q$ の両方に依存する明示的な収束速度を提供しました。特に、$f=g$ の場合、対数因子の指数が改善され、より速い収束が保証されました。

2. 非相関性の一般化:
   $f \neq g$ の場合、レベル 1 での非相関性が知られていましたが、一般のレベル（特に平方数でないレベル）における有効な非相関性の評価は本研究が初めてです。これにより、異なる固有状態間の相関が、レベルが高くなるにつれてどのように消滅するかを定量的に理解できるようになりました。

3. L 関数理論への貢献:
   Rankin-Selberg L 関数の弱い凸性限界を、導手 $C(\pi')$ に対して一貫した形で精密化しました。この技術は、QUE 以外の問題（例えば、L 関数の特殊値の分布や、他の自己相関問題）においても、導手依存性を制御する必要がある場合に有用なツールとなります。

4. 既存研究の誤りの修正:
   付録において、Iwaniec や Lester らの先行研究における収束速度の評価に存在した見落としを指摘し、修正しました。これにより、QUE に関する有効な評価の定数部分の信頼性が向上し、今後の研究の基礎がより堅固になりました。

5. 技術的統合:
   Spectral method（L 関数の凸性限界）と Poincaré series method（シフト畳み込み和）という、QUE 研究における 2 つの主要な手法を、レベル変動の文脈で統合し、両者の利点を活かした最適化を行った点も重要な技術的貢献です。

まとめ

この論文は、数論的解析の最先端において、量子ユニークエルゴード性の有効な定式化をレベル変動の状況下で達成した画期的な成果です。Soundararajan の手法を改良した L 関数の新しい限界と、Holowinsky の手法を組み合わせることで、レベル $q$ と重み $k$ の両方に対して、従来よりも強力な有効な評価を導出しました。また、先行研究の誤りを修正し、零点の等分布などへの応用可能性を示唆しています。