# 有限域曲线的 Zeta 函数：Jacobian 群阶、循环 Resultant 与 Weil 多项式

这里的 zeta function 不是 Riemann zeta，而是记录代数曲线在所有有限扩域上点数的生成函数。对 genus $g$ 曲线，它由一个 $2g$ 次 Weil 多项式完全决定。Kedlaya 的量子算法不逐个数扩域点，而是用 Abelian 黑盒群算法求 Jacobian 在若干扩域上的群阶，再从这些 cyclic resultants 重建 Weil 多项式，复杂度关于 $g$ 与 $\log q$ 为多项式。

## 1. 定义与有理性

设 $C$ 是 $\mathbb F_q$ 上光滑、射影、几何连通曲线，

$$
N_n=|C(\mathbb F_{q^n})|.
$$

局部 zeta function 定义为

$$
Z_C(T)=
\exp\!\left(
\sum_{n=1}^\infty N_n\frac{T^n}{n}
\right).
$$

Weil 猜想（曲线情形）给出

$$
Z_C(T)=
\frac{P_C(T)}{(1-T)(1-qT)},
$$

其中

$$
P_C(T)=\prod_{j=1}^{2g}(1-\alpha_jT)
$$

次数 $2g$、整数系数，并满足 $|\alpha_j|=\sqrt q$（复嵌入）。因此输出只需 $O(g\log q)$ 量级系数位，而不是无限点数序列。

由对数导数比较：

$$
N_n=q^n+1-\sum_{j=1}^{2g}\alpha_j^n.
$$

## 2. Jacobian 群阶编码同一根

曲线 Jacobian $J_C$ 的 $\mathbb F_{q^n}$-有理点构成有限 Abel 群，Frobenius 本征值同为 $\alpha_j$。其阶满足

$$
|J_C(\mathbb F_{q^n})|
=\prod_{j=1}^{2g}(1-\alpha_j^n).
$$

另一方面，若把 reciprocal polynomial 约定处理好，这正是 $P_C$ 与 $T^n-1$ 的 resultant：

$$
R_n=\operatorname{Res}(P_C(T),T^n-1)
$$

乘上可知符号/幂因子。序列 $R_n$ 称为 cyclic resultants。求若干 Jacobian 群阶，就等于获得未知 Weil polynomial 的若干非线性指纹。

## 3. 如何把 Jacobian 做成黑盒群

Jacobian 元素是 degree-zero divisor classes。算法选择可计算规范表示（例如 reduced divisors），并实现：

$$
[D_1]+[D_2]=[D_1+D_2],\qquad-[D]=[-D]
$$

后通过 Riemann--Roch/约化回到规范形式。对扩域 $\mathbb F_{q^n}$，域算术、因式分解与 divisor reduction 在指定曲线模型和固定/输入 genus 条件下为 $\operatorname{poly}(g,n,\log q)$。

Abelian 黑盒群 order algorithm 还需一组能高概率生成整个 $J_C(\mathbb F_{q^n})$ 的元素。Kedlaya 构造**可证明近均匀**的随机 divisor classes，而不是假设随便选点就生成；收集足够元素后，用 order finding/关系格分解群：

$$
J_C(\mathbb F_{q^n})
\cong\mathbb Z_{d_1}\times\cdots\times\mathbb Z_{d_s},
$$

于是 $R_n=\prod_id_i$。

## 4. 从 cyclic resultants 重建 $P_C$

设未知根为 $\alpha_1,\ldots,\alpha_{2g}$。$R_n=\prod_j(1-\alpha_j^n)$ 是根的对称函数。一般多项式可能有不同根集合产生部分相同 resultants；Weil polynomial 额外满足：

- 整系数与固定常数项 $q^g$；
- reciprocal functional equation；
- 所有根绝对值 $\sqrt q$；
- 系数有 Weil bounds。

这些约束把候选压到有限且可有效区分的集合。取关于 $g$ 多项式多个 $n$，用整数因子/对数界和 Fried cyclic-resultant reconstruction 的有效版本，逐步恢复 elementary symmetric polynomials，从而得到 $P_C(T)$。最后经典验证候选对所有已求 $R_n$ 成立。

## 5. 例子：射影直线与椭圆曲线

$C=\mathbb P^1$ 的 genus 为 0，

$$
N_n=q^n+1,\qquad
Z_C(T)=\frac1{(1-T)(1-qT)}.
$$

椭圆曲线 $E$ 的 genus 为 1：

$$
P_E(T)=1-aT+qT^2,
$$

$$
|E(\mathbb F_q)|=q+1-a,\qquad|a|\le2\sqrt q.
$$

求 $E(\mathbb F_q)$ 群阶就得到 $a$，单个扩域已足以确定二次 Weil polynomial；高 genus 需要更多 cyclic resultants。

## 6. 速度提升与限制

量子复杂度关于 $g,\log q$ 为多项式，依赖高效曲线/Jacobian 算术与随机元素构造。已知经典通用算法在某些参数（特别是域特征、genus）有不同表现；“超多项式”应按论文所比较的联合参数族陈述。

算法输出完整 zeta rational function，而非零点的浮点近似；van Dam 的相关工作研究用量子过程获取 zeta zeros/谱信息。不能把有限域曲线结果外推到计算 Riemann zeta 非平凡零点。

## 7. 小结与习题

- 曲线 zeta function 由 $2g$ 次 Weil polynomial 决定。
- Jacobian 扩域群阶是 Weil 根的 cyclic resultant。
- 量子 Abel 群分解高效求这些群阶，经典重建恢复多项式。
- 整性、functional equation 和 Weil bounds 是从有限指纹唯一恢复的关键。

1. 从 $P_C$ 根表达推导 $N_n$ 公式。
2. 对 elliptic $P(T)=1-aT+qT^2$ 写出 $|E(\mathbb F_{q^2})|$。
3. 解释为何 Jacobian 元素必须有唯一/可比较的规范编码。
4. 区分局部 zeta function 与 Riemann zeta。

## 参考文献

- Zoo 编号 64：Kiran Kedlaya, [Quantum Computation of Zeta Functions of Curves](https://arxiv.org/abs/math/0411623).
- Zoo 编号 87：Wim van Dam, [Quantum Computing and Zeros of Zeta Functions](https://arxiv.org/abs/quant-ph/0405081).