[論文レビュー] The fluctuations in the number of points on a hyperelliptic curve over a finite field

Pär Kurlberg, Zeév Rudnick|ArXiv.org|Apr 4, 2008

Analytic Number Theory Research参考文献 3被引用数 5

ひとこと要約

本稿は、双曲的曲線 $ Y^2 = F(X) $ の $ \mathbb{F}_q $-有理点の個数を決定する、$ S(F) = \sum_{x \in \mathbb{F}_q} \chi(F(x)) $ の分布を研究する。固定された $ q $ と増大する genus $ g $ の下で、$ S(F) $ は $ q $ 個の i.i.d. な三項確率変数の和に収束する。固定された $ g $ と増大する $ q $ の下で、$ S(F)/\sqrt{q} $ はランダムな $ 2g \times 2g $ ユニタリ・シンプレクティック行列のトレースに収束する。$ g $ と $ q $ が同時に増大する下では、$ S(F)/\sqrt{q} $ は標準正規分布に収束し、両者の極限と整合的である。

ABSTRACT

The number of points on a hyperelliptic curve over a field of $q$ elements may be expressed as $q+1+S$ where $S$ is a certain character sum. We study fluctuations of $S$ as the curve varies over a large family of hyperelliptic curves of genus $g$. For fixed genus and growing $q$, Katz and Sarnak showed that $S/\sqrt{q}$ is distributed as the trace of a random $2g imes 2g$ unitary symplectic matrix. When the finite field is fixed and the genus grows, we find that the the limiting distribution of $S$ is that of a sum of $q$ independent trinomial random variables taking the values $\pm 1$ with probabilities $1/2(1+q^{-1})$ and the value 0 with probability $1/(q+1)$. When both the genus and the finite field grow, we find that $S/\sqrt{q}$ has a standard Gaussian distribution.

研究の動機と目的

• 大規模な族を動く双曲的曲線の $ \mathbb{F}_q $-有理点数の統計的変動を理解すること。
• 点数を符号化する、$ S(F) = \sum_{x \in \mathbb{F}_q} \chi(F(x)) $ の分布を、大規模な genus $ g $、大規模な $ q $、または両者の極限において分析すること。
• 三つの異なる漸近的状況における $ S(F) $ の極限分布を確立すること：固定された $ q $、$ g \to \infty $；固定された $ g $、$ q \to \infty $；および $ g, q \to \infty $ の同時極限。
• 両者の逐次的極限（固定 $ q $、$ g \to \infty $ および固定 $ g $、$ q \to \infty $）と、同時極限の整合性を示し、すべてのケースで標準正規分布への収束を示すこと。

提案手法

• $ \chi $ を $ \mathbb{F}_q^\times $ 上の二次字を用い、$ \mathbb{F}_q $-点の和として $ S(F) $ をモデル化し、$ \mathrm{deg}(F) = d $ の平方自由モニック多項式 $ F $ を一様にランダムに選ぶ下でのその分布を研究する。
• モーメント法を用いる：$ k $ 次モーメント $ M_k(q,d) = \mathbb{E}\left[ \left( S(F)/\sqrt{q} \right)^k \right] $ を計算し、既知の分布のモーメントと比較する。
• 平方自由多項式上での独立性と条件付き確率を用い、$ \mathbb{F}_q $ の相異なる点 $ x_i $ における $ F(x_i) $ が所与の平方/非平方値を取る確率を組合せ論的・確率論的に分析する。
• ランダムな平方自由多項式 $ F $ が $ m $ 点で所与の値を取り、$ l $ 点で非ゼロ値を取る確率を推定する重要な補題を用いる。誤差項は $ d $ に依存する。
• genus $ g \to \infty $ の下で、$ S(F)/\sqrt{q} $ の $ k $ 次モーメントが、値 $ -1, 0, 1 $ をそれぞれ確率 $ \frac{1}{2}(1+q^{-1}), \frac{1}{q+1}, \frac{1}{2}(1+q^{-1}) $ で取る $ q $ 個の i.i.d. 三項確率変数の正規化された和のモーメントに収束することを示す。$ g, q \to \infty $ の下では、正規分布のモーメントに収束する。
• $ g \to \infty $ の下で、ランダムな $ USp(2g) $ 行列のトレースのモーメントが正規分布のモーメントに収束すること、および $ q \to \infty $ の下で、i.i.d. 三項確率変数の和のモーメントが正規分布のモーメントに収束することを用い、同時極限における整合性を確認する。

実験結果

リサーチクエスチョン

• RQ1 genus $ g $ が増大し、有限体 $ \mathbb{F}_q $ が固定されたとき、character sum $ S(F) $ の極限分布は何か？
• RQ2 genus $ g $ が固定され、有限体のサイズ $ q $ が $ \infty $ に近づくとき、$ S(F)/\sqrt{q} $ の分布はどのように振る舞うか？
• RQ3 genus $ g $ と $ q $ が同時に $ \infty $ に近づく同時極限では、$ S(F)/\sqrt{q} $ の分布はどのように変化するか？
• RQ4 同時極限の極限分布は、二つの状況（固定 $ q $、$ g \to \infty $ および固定 $ g $、$ q \to \infty $）の逐次的極限と整合的か？
• RQ5 $ S(F)/\sqrt{q} $ のモーメントが、同時極限で正規分布のモーメントに収束することは示せるか？その場合、どのような条件下で成立するか？

主な発見

• 固定された $ q $ と $ g \to \infty $ の下で、character sum $ S(F) $ は、値 $ -1, 0, 1 $ をそれぞれ確率 $ \frac{1}{2}(1+q^{-1}), \frac{1}{q+1}, \frac{1}{2}(1+q^{-1}) $ で取る $ q $ 個の独立同分布の三項確率変数の和に分布収束する。
• 固定された $ g $ と $ q \to \infty $ の下で、正規化された和 $ S(F)/\sqrt{q} $ は、Katz と Sarnak が確立したように、ランダムな $ 2g \times 2g $ ユニタリ・シンプレクティック行列のトレースに分布収束する。
• 同時極限 $ g, q \to \infty $ において、正規化された和 $ S(F)/\sqrt{q} $ は、平均 0、分散 1 の標準正規確率変数に分布収束する。
• $ S(F)/\sqrt{q} $ の $ k $ 次モーメントは、標準正規分布の $ k $ 次モーメントに収束し、誤差項 $ O(q^{(3k-d)/2}) $ を伴う。これは正規分布への収束を確認する。
• 同時極限は両方の逐次的極限と整合的である：$ q \to \infty $ の下で、三項確率変数の和は中心極限定理により正規分布に収束し、$ g \to \infty $ の下で、$ USp(2g) $ トレース分布は Diaconis と Shahshahani の定理により正規分布に収束する。
• モーメント比較法により収束が確立され、$ d \to \infty $ の下で誤差項が減少するように、$ S(F)/\sqrt{q} $ のモーメントが極限分布のモーメントと一致することが示された。