[论文解读] Counting points on varieties over finite fields of small characteristic

Alan G. B. Lauder, Daqing Wan|ArXiv.org|Dec 6, 2006

Cryptography and Residue Arithmetic参考文献 18被引用 39

一句话总结

该论文提出了一种确定性多项式时间算法，用于在小特征有限域上计算任意固定维数代数簇的zeta函数，采用p进方法、Dwork的迹公式、Bombieri的次数界以及半线性约化。关键贡献是给出了一个显式算法，其比特复杂度被限定在$\tilde{\mathcal{O}}(2^{13n^2}a^{3n+7}d^{3n^2+9n}p^{2n+4})$以内，从而实现了对这类域上光滑射影曲线的雅可比群阶的高效计算。

ABSTRACT

We present a deterministic polynomial time algorithm for computing the zeta function of an arbitrary variety of fixed dimension over a finite field of small characteristic. One consequence of this result is an efficient method for computing the order of the group of rational points on the Jacobian of a smooth geometrically connected projective curve over a finite field of small characteristic.

研究动机与目标

• 开发一种高效、确定性的算法，用于计算小特征有限域上代数簇的zeta函数。
• 将Dwork的p进方法扩展至处理任意代数簇，而无需要求非奇异或光滑性条件。
• 以变量数、次数和域大小为参数，提供算法的精确复杂度界。
• 实现对小特征有限域上光滑射影曲线的雅可比群阶的高效计算。
• 利用牛顿多面体和Adolphson-Sperber方法对算法进行优化，基于稀疏性提升效率。

提出的方法

• 利用Dwork的p进迹公式，通过p进上同调将zeta函数表示为有理函数。
• 应用Bombieri的次数界控制zeta函数的分子和分母的次数，确保输入规模有限。
• 采用半线性约化论证，将问题约化为使用模算术和中国剩余定理在整数上求解线性系统。
• 使用环面分解方法计算扩张域$\mathbb{F}_{q^k}$上的点计数$N_k$，比特复杂度为$\tilde{\mathcal{O}}(a^{3n+7}k^{3n+5}n^{3n+5}d^{3n}p^{2n+4})$。
• 通过在$\mathbb{Z}$上进行线性代数运算，从$N_k$值重构zeta函数，其系数大小的界由Weil界导出。
• 利用多项式的牛顿多面体对算法进行优化，以多面体的归一化体积替代总次数$d^n$，从而提升稀疏多项式情形下的效率。

实验结果

研究问题

• RQ1 能否在确定性多项式时间内计算小特征有限域上代数簇的zeta函数？
• RQ2 如何将Dwork的p进方法改进为适用于任意代数簇（包括奇异情形）的显式高效算法？
• RQ3 以变量数、次数和域大小为参数，计算zeta函数的精确比特复杂度是多少？
• RQ4 能否利用牛顿多面体对算法进行优化，以提升稀疏多项式情形下的效率？
• RQ5 如何从zeta函数高效计算光滑射影曲线的雅可比群阶？

主要发现

• 任何固定维数的小特征有限域上的代数簇的zeta函数均可在确定性多项式时间内计算。
• 该算法的比特复杂度被限定在$\tilde{\mathcal{O}}(2^{13n^2}a^{3n+7}d^{3n^2+9n}p^{2n+4})$以内，软-oh记号忽略对数因子。
• 对于固定的$n$、$d$和$p$，时间复杂度为$\mathcal{O}(a^{3n+7})$，空间复杂度为$\mathcal{O}(a^{2n+4})$，在小特征情形下具有高效性。
• 该方法可通过$P(1)$实现对光滑射影曲线雅可比群阶的高效计算，其中$P(T)$是zeta函数的权重-1部分。
• 该算法无需非奇异性的假设，可处理奇异和非光滑代数簇。
• 通过牛顿多面体进行优化，将总次数$d^n$替换为多面体的归一化体积，从而提升稀疏多项式情形下的效率。