[论文解读] 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

一句话总结

本文研究了特征和 $ S(F) = \sum_{x \in \mathbb{F}_q} \chi(F(x)) $ 的分布，该和决定了超椭圆曲线 $ Y^2 = F(X) $ 上 $ \mathbb{F}_q $-有理点的数量。本文建立了三种极限分布：当固定 $ q $ 而 genus $ g $ 增长时，$ S(F) $ 收敛于 $ q $ 个独立同分布的三项式随机变量之和；当固定 $ 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 $-有理点数量的统计波动。
• 为了在 genus $ g $、$ q $ 很大或两者都很大的极限下，分析编码点计数的特征和 $ S(F) = \sum_{x \in \mathbb{F}_q} \chi(F(x)) $ 的分布。
• 为了在三种不同的渐近情形下建立 $ S(F) $ 的极限分布：固定 $ q $，$ g \to \infty $；固定 $ g $，$ q \to \infty $；以及 $ g, q \to \infty $ 共同增长。
• 为了证明联合极限与两种情形的顺序极限之间的一致性，表明在所有情况下均收敛于标准正态分布。

提出的方法

• 将特征和 $ S(F) $ 建模为在 $ \mathbb{F}_q $-点上的和，其中 $ \chi $ 是 $ \mathbb{F}_q^\times $ 上的二次特征，研究在随机均匀选取次数为 $ 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 $。
• 证明当 $ g \to \infty $ 时，$ S(F)/\sqrt{q} $ 的 $ k $ 阶矩收敛于 $ q $ 个独立同分布三项式随机变量之和的 $ k $ 阶矩（取值 $ \pm 1, 0 $，对应概率 $ \frac{1}{2}(1+q^{-1}), \frac{1}{2}(1+q^{-1}), \frac{1}{q+1} $）；当 $ g, q \to \infty $ 时，收敛于正态矩。
• 利用随机 $ USp(2g) $ 矩阵迹的矩在 $ g \to \infty $ 时收敛于正态矩，且独立同分布三项式和的矩在 $ q \to \infty $ 时收敛于正态矩的事实，确认联合极限中的一致性。

实验结果

研究问题

• RQ1 当超椭圆曲线的 genus $ g $ 增大而有限域 $ \mathbb{F}_q $ 固定时，特征和 $ S(F) $ 的极限分布是什么？
• RQ2 当 genus $ g $ 固定而有限域大小 $ q $ 趋于无穷时，$ S(F)/\sqrt{q} $ 的分布行为如何？
• RQ3 当 $ g \to \infty $ 和 $ q \to \infty $ 共同增长时，$ S(F)/\sqrt{q} $ 的分布会发生什么变化？
• RQ4 联合极限中的极限分布是否与两个情形的顺序极限一致（即固定 $ q $ 且 $ g \to \infty $，以及固定 $ g $ 且 $ q \to \infty $）？
• RQ5 是否可以证明 $ S(F)/\sqrt{q} $ 的矩在联合极限下收敛于正态矩，若可以，其条件是什么？

主要发现

• 当 $ q $ 固定且 $ g \to \infty $ 时，特征和 $ S(F) $ 在分布上收敛于 $ q $ 个独立同分布三项式随机变量之和，其取值为 $ -1, 0, 1 $，对应概率分别为 $ \frac{1}{2}(1+q^{-1}), \frac{1}{q+1}, \frac{1}{2}(1+q^{-1}) $。
• 当 $ g $ 固定且 $ q \to \infty $ 时，归一化和 $ S(F)/\sqrt{q} $ 在分布上收敛于一个随机 $ 2g \times 2g $ 单位酉辛矩阵的迹，此结果由 Katz 和 Sarnak 建立。
• 在联合极限 $ g, q \to \infty $ 下，归一化和 $ S(F)/\sqrt{q} $ 在分布上收敛于均值为零、方差为一的标准正态随机变量。
• $ S(F)/\sqrt{q} $ 的 $ k $ 阶矩收敛于标准正态分布的 $ k $ 阶矩，误差项为 $ O(q^{(3k-d)/2}) $，确认其收敛于正态分布。
• 联合极限与两种顺序极限一致：当 $ q \to \infty $ 时，由中心极限定理，三项式和收敛于正态分布；当 $ g \to \infty $ 时，由 Diaconis 和 Shahshahani 的定理，$ USp(2g) $ 迹分布收敛于正态分布。
• 通过矩比较法证明了矩的收敛性，表明 $ S(F)/\sqrt{q} $ 的矩与极限分布的矩在误差项随 $ d \to \infty $ 衰减的意义上一致。