[論文レビュー] Sign changes of Hecke eigenvalues

Kaisa Matomäki, Maksym Radziwiłł|arXiv (Cornell University)|May 29, 2014

Analytic Number Theory Research参考文献 19被引用数 6

ひとこと要約

この論文は、全モジュラー群に対する正則尖型形式およびマース尖型形式のヘッケ固有値が、漸近的に符号が平衡された分布を示すことを確立している。$x$ までにおける $\lambda_f(n)$ の符号変化回数は、$x \prod_{p \leq x, \lambda_f(p)=0} \left(1 - \frac{1}{p}\right)$ のオーダーであり、従来の下界を著しく改善している。証明では、符号列のゆらぎを制御し、キャンセルを検出するために、スieve重み、二重形式、およびシフトされた畳み込み和が用いられている。

ABSTRACT

Let $f$ be a holomorphic or Maass Hecke cusp form for the full modular group and write $λ_f(n)$ for the corresponding Hecke eigenvalues. We are interested in the signs of those eigenvalues. In the holomorphic case, we show that for some positive constant $δ$ and every large enough $x$, the sequence $(λ_f(n))_{n \leq x}$ has at least $δx$ sign changes. Furthermore we show that half of non-zero $λ_f(n)$ are positive and half are negative. In the Maass case, it is not yet known that the coefficients are non-lacunary, but our method is robust enough to show that on the relative set of non-zero coefficients there is a positive proportion of sign changes. In both cases previous lower bounds for the number of sign changes were of the form $x^δ$ for some $δ< 1$.

研究の動機と目的

• 尖型形式のヘッケ固有値の列 $\lambda_f(n)$ における符号変化の分布と頻度を理解すること。
• $\lambda_f(n)$ の符号が漸近的に正と負の値に等しく分布することを確立すること。
• 正則形式およびマース形式の両方において、$\lambda_f(n)$ の符号変化回数の既知の下界を改善すること。
• 二次剰余やサトウ＝タイト予想との類似性に触発され、符号パターンの統計的独立性およびランダム性を調査すること。

提案手法

• 区間 $[x, x+h]$ における符号変化を検出するために、符号付き和とその振動しない類似物との比較に用いる、$w_n \geq w_n' \geq 0$ であるスieve重み $w_n$ を導入する。
• シフトされた畳み込み和 $\sum_{am - bn = h} \lambda_f(m)\lambda_f(n)$ におけるキャンセルを検出するために、ハルコスの結果を用いる。これは符号付き和の振動部分を制御する。
• 双対重み $w_n'$ を大きな素数に台を持つ乗法的関数としてモデル化し、その一次および二次モーメントを計算することで、平均的に正の下界を得る。
• 大スieveおよびコーシー＝シュワルツ不等式を用いて、二重形式からの非対角項の寄与を抑え、$n$ が多数の小さな素因数を持つ場合の $\lambda_f(n)$ の小ささに依存する。
• モビウスの反転公式とダイアディック分解を用いて、$b, b'$ における二重和の構造の互いに素な条件を除去し、制御する。
• サトウ＝タイト定理を活用し、$|\lambda_f(n)|$ の激しいゆらぎを正当化する。これは、サイズの変動があるにもかかわらず、符号変化を検出するための重み付き和の使用を必要とする。

実験結果

リサーチクエスチョン

• RQ1 ヘッケ尖型形式の $\lambda_f(n)$ の列における符号変化の漸近的頻度は何か？
• RQ2 $\lambda_f(n)$ の符号はどれほど独立した確率変数のように振る舞い、符号変化回数にどのように影響するか？
• RQ3 従来の $x^{1/2}$ および $x^{1/8-\varepsilon}$ の下界を改善する非自明な符号変化回数の下界を確立できるか？
• RQ4 $\lambda_f(n)$ にゼロが存在する場合、符号変化の数にどのような影響があり、非ゼロ部分集合上でも正の割合の符号変化を検出できるか？

主な発見

• $n \leq x$ における $\lambda_f(n)$ の符号変化回数は、$x \prod_{p \leq x, \lambda_f(p)=0} \left(1 - \frac{1}{p}\right)$ のオーダーであり、自然密度の仮定のもとで $\gg x$ である。
• 正則形式では、非ゼロの $\lambda_f(n)$ の正と負の割合が漸近的に等しくなることが確認され、符号のバランスの取れた分布が裏付けられた。
• 符号変化回数の下界は $\gg x$ であり、正則形式では従来の $\gg x^{1/2}$ の下界、マース形式では $\gg x^{1/8-\varepsilon}$ の下界を著しく改善している。
• 相関和 $\left| \sum_{n \leq x} \text{sgn}(\lambda_f(n)) \text{sgn}(\lambda_f(n+1)) \right| \leq (1 - c)x$ は、ある $c > 0$ に対して成り立ち、長距離の符号相関が限定的であることを示している。
• この手法は、小素数の寄与をスieve重みで制御し、シフトされた畳み込み和を用いて大素数からのキャンセルを分離する。
• 証明は、符号分布がバランスしている限り、全モジュラー群に限らず、実フーリエ係数を持つ形式に対しても拡張可能である。