[論文レビュー] Orthogonal and symplectic n-level densities

Amy M. Mason, N. C. Snaith|arXiv (Cornell University)|Sep 17, 2015

Analytic Number Theory Research参考文献 65被引用数 2

ひとこと要約

本稿では、Ratios Conjectures フレームワークを用いて、直交性または正交性を示す L 関数の族における零点の n 階密度について明示的な予想を提示する。ランダム行列理論の手法を応用し、特に L 関数の比の平均を計算することで、下位項を含む公式を導出し、既知のランダム行列統計の極限と一致させることで、SO(2N) および USp(2N) エンsembleに対する Katz-Sarnak 予想との整合性を確認する。

ABSTRACT

In this paper we apply to the zeros of families of $L$-functions with orthogonal or symplectic symmetry the method that Conrey and Snaith used to calculate the $n$-correlation of the zeros of the Riemann zeta function. This method uses the Ratios Conjectures for averages of ratios of zeta or $L$-functions. Katz and Sarnak conjecture that the zero statistics of families of $L$-functions have an underlying symmetry relating to one of the classical compact groups $U(N)$, $O(N)$ and $USp(2N)$. Here we complete the work already done with $U(N)$ to show how new methods for calculating the $n$-level densities of eigenangles of random orthogonal or symplectic matrices can be used to create explicit conjectures for the $n$-level densities of zeros of $L$-functions with orthogonal or symplectic symmetry, including all the lower order terms. We show how the method used here results in formulae that are easily modified when the test function used has a restricted range of support, and this will facilitate comparison with rigorous number theoretic $n$-level density results.

研究の動機と目的

• U(N) 行列およびリーマン・ゼータ関数に既に適用された Ratios Conjecture 法を、直交的（SO(2N)）および正交的（USp(2N)）対称性を示す L 関数の族へ体系的に拡張すること。
• ランダム行列理論の極限から逸脱する下位補正項を含む、L 関数の零点の n 階密度の明示的かつ計算可能な公式を導出すること。
• 得られた予想が、特にテスト関数の台が制限された場合に、厳密な数論的結果と比較可能であるようにすること。
• 大 N の極限において、予想された n 階密度が、直交的および正交的ランダム行列エンsemblesにおける固有値相関の既知の行列式形態に収束することを確認すること。

提案手法

• Ratios Conjectures フレームワーク [21] を、直交的または正交的対称性を示す族における L 関数の比の平均を計算するために適応する。
• 積分変換および留数変形技術を用いて、零点の和を特殊関数（ψ′/ψ やゼータ関数の比）に関連づける。
• 複素平面上の極からの寄与を留数計算により評価し、特に α = −β、α = 0、β = 0 の点を丁寧に追跡し、符号と対称性を考慮する。
• インデックスの部分集合（K, L, M）に関する体系的な展開を用い、多重積分における包含・排除のための符号因子 (−1)^|M| を組み込むことで、n 階密度の公式を導出する。
• X → ∞ の極限（X は族の導手の上限）において漸近的解析を実施し、SO(2N) および USp(2N) 固有値相関カーネルの既知の形に収束することを確認する。
• Euler-Maclaurin 公式および対数近似を用いて、漸近展開における主要項（L² 階）を抽出する。ここで L = log(√(MX)/(2π)) である。

実験結果

リサーチクエスチョン

• RQ1 Ratios Conjecture 法は、ユニタリの場合に限らず、直交的または正交的対称性を示す L 関数の族へ体系的に拡張可能か？
• RQ2 このような族における零点の n 階密度の明示的公式（下位補正項を含む）はどのように導出可能か？
• RQ3 テスト関数の台が制限された場合、これらの予想された密度はどのように振る舞い、厳密な数論的結果と比較可能か？
• RQ4 大 N の極限において、予想された n 階密度は、SO(2N) および USp(2N) ランダム行列エンsemblesにおける固有値相関の既知の行列式形態に収束するか？

主な発見

• 導手 d ≤ X かつ ω_E = +1 を満たす楕円曲線 L 関数族の n 階密度は、J*E(A,B) を含む contour 積分表現で与えられ、極および留数項からの明示的寄与が含まれる。
• 直交的ケースにおける予想された n 階密度は、X → ∞ の極限において、既知のカーネル K_SO,even(θ₁,θ₂) = [sin(π(θ₂−θ₁))/π(θ₂−θ₁)] + [sin(π(θ₂+θ₁))/π(θ₂+θ₁)] に収束する。
• n 階密度の主要項の漸近的挙動は L² に比例し、L = log(√(MX)/(2π)) である。これはランダム行列理論からの期待されるスケーリングを確認する。
• α = −β および α = 0, β = 0 における留数寄与は明示的に計算され、展開における定数項および一次項に寄与することが示された。
• この手法は、SO(2N) 行列における既知の極限カーネルを正確に再現でき、予想が既存のランダム行列結果と整合することを検証した。
• 公式は、テスト関数の台が制限された場合に容易に修正可能であり、厳密な数論的 n 階密度定理と直接比較可能である。