Logarithmic Density of Rank $\geq 1$ and Rank $\geq 2$ Genus-2 Jacobians and Applications to Hyperelliptic Curve Cryptography

技术摘要：秩 $\ge 1$ 与 秩 $\ge 2$ 的亏格-2 雅可比簇的对数密度及其在超椭圆曲线密码学中的应用

问题陈述
本文研究了定义在 $\mathbb{Q}$ 上的亏格-2 曲线的雅可比簇的 Mordell–Weil 秩的定量分布。虽然 Mordell–Weil 定理保证了雅可比簇上的有理点群可以分解为一个有限挠子群和一个自由阿贝尔群，其秩为 $r$，但在按算术大小排序的族中，理解具有 $r \ge 1$ 或 $r \ge 2$ 的曲线的频率仍然是一个核心挑战。具体而言，作者研究了按整 Weierstrass 模型之朴素高度排序的超椭圆曲线的这些分布。本文的次要目标是分析二次扭转和双二次扭转族（特别是对于具有分裂雅可比簇的曲线）中的秩分布，以评估它们在 Regev 关于离散对数问题（DLP）的量子算法中的效用。

方法论
作者结合了几何、解析和计算技术：

1. 几何框架与通用截面： 研究利用了整 Weierstrass 模型 $y^2 + h(x)y = f(x)$ 的参数空间。作者定义了一个通用截面 $\alpha_{\text{univ}} = [\infty_+ - \infty_-]$ 在通用雅可比簇上，对应于两个无穷远点的差。他们证明了该截面在泛型纤维中不是挠元素。
2. 挠洛卡斯与高度界限： 通过建立 $\alpha_{\text{univ}}$ 特化为挠点的参数集合是低维的 Zariski 闭子集，并利用 Faltings 高度与 $\theta$-高度的比较来界定挠子群的大小，作者表明在高度界限 $X \to \infty$ 时，该截面为挠点的曲线比例趋于零。
3. Néron 特化： 为了建立秩 $\ge 2$ 的情况，作者构造了显式的两参数子族，其中两个独立的截面（其中一个是 $\alpha_{\text{univ}}$，另一个是通过特定特化构造的）在泛型上是独立的。他们应用 Néron 特化定理来证明对于几乎所有的特化，其秩至少为 2。
4. 分裂雅可比构造： 对于具有分裂雅可比簇（与椭圆曲线是同源的）的曲线，作者利用粘合构造（遵循 Gajović–Park 和 [33]）将亏格-2 雅可比簇的秩与组成部分的椭圆曲线的秩联系起来。他们分析了这些分裂曲线的二次和双二次扭转族。
5. 计算验证： 理论结果得到了来自 LMFDB 的显式搜索和自定义脚本（可在 GitHub 仓库中获取）的支持，用于验证截面的独立性并计算特定族（包括 CM 曲线和用于密码学的分裂雅可比曲线）的秩。

主要贡献与结果

• 秩 $\ge 1$ 的对数密度： 作者证明了具有两个有理无穷远点（确保了截面 $\alpha_{\text{univ}}$ 的存在）的亏格-2 曲线子集，在按高度排序的整模型族中，其对数密度至少为 $13/14$。由于该截面对于几乎所有此类模型都不是挠元素，这给出了秩 $r \ge 1$ 的曲线具有至少 $13/14$ 对数密度的无条件下界。
• 秩 $\ge 2$ 的对数密度：
  • 通过构造一个具有两个独立有理截面的显式子族，作者证明了秩 $r \ge 2$ 的曲线具有至少 $5/7$ 的无条件对数密度。
  • 他们还确定了一个具有分裂雅可比簇且秩 $r \ge 2$ 的曲线子族，其对数密度至少为 $2/21$。
• 扭转族：
  • 对于雅可比簇与 $E_1 \times E_2$ 同源（其中 $E_1, E_2$ 具有全有理 2-挠）的亏格-2 曲线，在假设 Birch–Swinnerton-Dyer (BSD) 猜想的前提下，作者表明双二次扭转族包含比例为 $1/4$ 的秩 $\ge 2$ 的曲线。
  • 对于雅可比簇与 $E^2$ 同源且 $E$ 具有有理 3-同源的曲线，作者证明了二次扭转族包含正比例的秩 $\ge 2$ 的曲线，这是无条件的。
• 密码学意义： 本文在 Regev 量子算法的背景下分析了“高秩曲线问题”和“高秩扭转问题”。Regev 关于雅可比簇 DLP 的算法受益于参数 $d = r + 2$，其中 $r$ 是有理提升或兼容扭转的秩。结果表明，寻找高秩曲线（或扭转）比朴素的暴力搜索要高效得多，在相关的上述高度排序下，复杂度从 $O(X^7)$ 降低到秩 $\ge 1$ 时的 $O(X^{1/2})$ 以及秩 $\ge 2$ 时的 $O(X^2)$。作者提供了用于超椭圆曲线密码学（HECC）的曲线（如 $y^2 = x^5 + a$ 和分裂雅可比族）的高秩扭转显式示例，证明了在计算可行的搜索空间内存在秩为 6 到 8 的扭转。

重要性
本文提供了按朴素高度排序的具有正 Mordell–Weil 秩及秩至少为 2 的亏格-2 曲线的对数密度的第一个无条件下界。它超越了启发式预测（例如来自随机矩阵模型的预测），实现了严谨的几何证明。

其重要性体现在两个方面：

1. 算术几何： 它以定量的方式解决了高秩曲线的存在性和密度问题，表明高秩曲线的“稀薄”集合在（对数意义上）实际上比之前量化的要稠密得多。通过构造具有秩 $\ge 2$ 的显式子族，为这类曲线提供了具体的来源。
2. 密码分析： 其结果直接影响了超椭圆曲线密码学针对 Regev 量子算法的安全分析。通过量化高秩扭转和提升的存在性，本文表明为 Regev 算法提供必要的 Mordell–Weil 生成元所需的“预处理”步骤，对于广泛的曲线族（包括具有分裂雅可比簇的曲线）而言，在计算上是可行的。这意味着对于存在此类高秩结构的曲线，其针对特定量子攻击的有效安全性可能低于预期，因为参数 $d$ 可以增加，从而减小量子电路的规模。

作者对密码学意义保持了审慎的态度，澄清他们的工作是识别适合作为 Regev 式攻击的输入的曲线，而非建议用于安全的曲线选择。他们强调，虽然这些结构有助于高秩预处理，但目前并不意味着对于一般的亏格-2 雅可比簇存在比现有方法更快的离散对数算法，而是使特定的量子攻击变得更加可行。