[论文解读] Computing the Automorphism Groups of Hyperelliptic Function Fields

Norbert Goeb|ArXiv.org|May 20, 2003

Algebraic Geometry and Number Theory参考文献 7被引用 7

一句话总结

本文提出了一种高效算法，用于计算有限域及其代数闭包上超椭圆函数域的自同构群，利用Brandt的规范形式与Gröbner基技术求解由Möbius变换和缩放因子导出的多项式系统。该方法可快速确定自同构群结构，对评估超椭圆曲线Jacobian的密码学安全性至关重要。

ABSTRACT

The purpose of this paper is to propose an efficient method to compute the automorphism group of an arbitrary hyperelliptic function field (genus>1) over a given ground field of characteristic >2 as well as over its algebraic extensions.

研究动机与目标

• 开发一种高效算法，用于计算有限域及其代数闭包上超椭圆函数域的自同构群。
• 通过检查自同构群是否足够小，为超椭圆曲线Jacobian的密码学安全性提供实用测试，以抵抗Pohlig-Hellman与Frey-Rück攻击。
• 通过利用自同构群结构作为初步筛选，克服一般超椭圆曲线直接计算Jacobian阶数的计算不可行性。
• 为现有方法（如Stoll的AutomorphismGroup函数）提供替代方案，尤其适用于自同构群较大的情况，此时Stoll的方法变得难以承受。
• 利用Brandt对自同构群有限子群的分类，通过其类型表征超椭圆函数域，实现系统化的群结构恢复。

提出的方法

• 使用Brandt的规范形式，根据自同构群类型对超椭圆函数域进行分类，将问题简化为判断给定曲线是否匹配已知规范形式。
• 对有理参数 $ t $ 应用变换 $ x = \frac{\alpha_0 t + \alpha_1}{\alpha_2 t + \alpha_3} $，并代入定义多项式 $ D_x $，得到关于 $ t $ 的有理函数。
• 计算缩放因子 $ \varphi \in k(t) $，使得 $ \varphi^{-2} D_x(x(t)) = D_t $，使变换后的多项式与原始定义方程一致。
• 通过比较 $ D_t $ 与 $ \varphi^{-2} D_x(x(t)) $ 的系数，导出关于参数 $ \alpha_i $ 的多项式方程组，需验证其相容性。
• 在基域 $ k $ 上使用Gröbner基方法求解所得方程组，实现对所有自同构的算法化确定。
• 对于非代数闭域，通过域扩张扩展方法，并利用 $ \mathrm{Aut}(F/k) \leq \mathrm{Aut}(\overline{F}/\overline{k}) $ 的性质，实现在 $ \overline{k} $ 上计算并下降至 $ k $。

实验结果

研究问题

• RQ1 是否可以不依赖昂贵的除子类计数，高效计算有限域上超椭圆函数域的自同构群？
• RQ2 如何判断给定的超椭圆曲线是否具有小自同构群，这是抵抗Pohlig-Hellman与Frey-Rück攻击的必要条件？
• RQ3 与现有实现（如Stoll的AutomorphismGroup函数）相比，所提算法的计算性能如何，尤其在自同构群较大的曲线情况下？
• RQ4 在多大程度上可利用代数几何与多项式系统求解方法恢复自同构群的结构（而不仅是单个元素）？
• RQ5 该方法能否推广至特征 > 2 的任意域上的函数域（包括非闭域），通过下降技术实现？

主要发现

• 该算法利用Möbius变换与缩放因子导出的系数匹配系统，结合Gröbner基技术，高效计算出超椭圆函数域的完整自同构群。
• 对于 genus $ g \leq 4 $，在1.7 GHz Celeron上运行时间少于100秒，且运行时间与自同构群大小无关，而Stoll的方法在大群时性能显著下降。
• 该方法正确识别出在各种有限域上，genus 2至4的曲线对应的自同构群大小为2、4、12、24、48、240、672与1440，计算时间在9.2至90.3秒之间。
• 该算法在自同构群较大的曲线中尤为有效：当Stoll的方法耗时1347.3秒（群大小1440）时，本方法仅用34.1秒完成。
• 该方法不仅提供群结构与生成元，还提供完整群结构信息，而不仅是一组元素列表，因此提供更深入的洞察。
• 该方法在密码学中可作为快速预筛选步骤：具有非平凡自同构群的曲线不太可能产生安全的Jacobian，因此该测试可避免昂贵的除子类计数。