[论文解读] On a conjecture of Montgomery-Vaughan on extreme values of automorphic L-functions at 1

Jianya Liu, Emmanuel Royer+1 more|arXiv (Cornell University)|Apr 14, 2006

Analytic Number Theory Research被引用 6

一句话总结

本文證明了蒙哥馬利-沃恩關於權數為 1 且為偶數權 k 的全純尖點形式之對稱幂 L-函數在 s=1 時極端值的一個較弱形式的猜想。利用彼得森追蹤公式與鞍點法，作者建立了 L(1,f) 之加權算術分佈的漸近分佈定律，顯示在極端值附近的形式比例衰減速率為 exp(−c(log k)/(log₂k)^{7/2} log₃k)，確認了例外集合大小的預期對數衰減速率。

ABSTRACT

In this paper, we prove a weaker form of a conjecture of Montgomery-Vaughan on extreme values of automorphic L-functions at 1.

研究动机与目标

• 研究權數為 1 的全純尖點形式在 s=1 時對稱幂 L-函數 L(1, sym^m f) 極端值的例外集合大小。
• 透過證明關於例外集合衰減速率的猜想，延續勞與吳在極端值界方面的研究，特別針對 m=1 的情形。
• 利用彼得森追蹤公式與調和權，建立 L(1,f) 之加權算術分佈的漸近分佈定律。
• 在自守 L-函數框架下，確認例外集合大小的預期對數衰減速率，與機率模型一致。

提出的方法

• 使用彼得森追蹤公式，將 H_k^*(1) 中新形式上 L(1,f) 的加權和表示出來，並引入調和權 ω_f = Γ(k−1)/(4π)^{k−1}||f||。
• 應用鞍點法估算涉及 L-函數對數導數的指數和，依賴函數 E(s,y) 及其解析性質。
• 將函數 Φ(t) 用作來自追蹤公式與 moments 評估的 L(1,f) 分佈之高斯近似。
• 透過對 I₁⁺, I₂⁺ 及相關積分的估計，利用對 E(σ+iτ,y) 的估計與函數 κ_t ∼ e^t，實施誤差估計。
• 應用追蹤公式將加權算術分佈與指數和聯繫起來，並透過對 zeta 函數與貝塞爾函數的估計控制誤差項。
• 利用加權和的漸近展開與主項的衰減，推導出 F̃_k(t) 與 Ḡ_k(t) 的最終分佈定律。

实验结果

研究问题

• RQ1 對於 L(1,f) 顯著偏大或偏小的新形式 f ∈ H_k^*(1)，其例外集合的漸近大小為何，相對於預測邊界？
• RQ2 例外集合大小的衰減速率是否與蒙哥馬利-沃恩對自守 L-函數在 s=1 時的機率預測一致？
• RQ3 能否在對稱平方情形（m=1）下，確立極端 L-值分佈的猜想對數衰減速率 exp(−c(log k)/log₂k)？
• RQ4 調和權 ω_f 如何影響 L(1,f) 的分佈？它們能否用於精煉算術分佈函數？
• RQ5 鞍點法與追蹤公式在控制極端 L-值分佈中誤差項的結合程度如何？

主要发现

• 加權算術分佈函數 F̃_k(t) 滿足 F̃_k(t) ≍ Φ(t)，其中 t ≍ T(k)，Φ(t) 為高斯型近似，且主項遠超誤差項。
• 對於上極端 (B_m^+ log₂k)^{A_m^+} 附近的 L(1,f)，例外集合大小衰減為 exp(−c₁(log k)/(log₂k)^{7/2} log₃k)，確認了預期量級。
• 對於下極端 L(1,f) ≪ (B_m^- log₂k)^{-A_m^-}，例外集合大小亦衰減為 exp(−c₂(log k)/(log₂k)^{7/2} log₃k)，與上界在量級上一致。
• 追蹤公式展開中的主要誤差項被控制在 O(Φ(t)/(log k)^A) 內，對大 k 值而言可忽略不計。
• F̃_k(t) 的漸近公式確立，誤差項為 O(Φ(t)(e^{t−T(k)−C}(t/T(k))^{1/2} + e^{−c₆e^{δt}} + (log k)^{−A}))，顯示其在 t = T(k) 附近集中。
• 結果確認了蒙哥馬利-沃恩猜想在 m=1 時的較弱形式，例外集合的衰減速率與預測的對數尺度一致，僅在 log log k 的冪次上有所差異。