[论文解读] Algebraic geometry codes over abelian surfaces containing no absolutely irreducible curves of low genus

Yves Aubry, Elena Berardini+2 more|arXiv (Cornell University)|Apr 17, 2019

Coding theory and cryptography参考文献 23被引用 8

一句话总结

本文为有限域上定义的阿贝尔曲面构造代数几何（AG）码提出了一套理论框架，建立了最小距离的一般下界，并在曲面不包含低算术亏格绝对不可约曲线的条件下对该下界进行了改进。关键贡献在于针对不含亏格 ≤2 曲线的简单阿贝尔曲面（特别是椭圆曲线的韦伊限制或非主极化曲面）得出了更紧致的下界，尤其在较大 q 和 r 时显著提升了码性能。

ABSTRACT

We provide a theoretical study of Algebraic Geometry codes constructed from abelian surfaces defined over finite fields. We give a general bound on their minimum distance and we investigate how this estimation can be sharpened under the assumption that the abelian surface does not contain low genus curves. This approach naturally leads us to consider Weil restrictions of elliptic curves and abelian surfaces which do not admit a principal polarization.

研究动机与目标

• 建立基于有限域上阿贝尔曲面构造的 AG 码最小距离的一般下界。
• 在阿贝尔曲面不包含算术亏格 ≤ℓ 的绝对不可约曲线这一假设下，对该下界进行细化。
• 识别并表征不含亏格 0、1 或 2 曲线的阿贝尔曲面，特别是椭圆曲线的韦伊限制和非主极化曲面。
• 提供明确条件，使得 ℓ=2 时的细化下界相比 ℓ=1 时有显著改进。
• 通过利用阿贝尔曲面的几何与算术性质，实现更优最小距离 AG 码的实际构造。

提出的方法

• 利用充分大线丛的几何性质与点计数的韦伊估计，推导出阿贝尔曲面上评价码的最小距离的一般下界。
• 应用伴随公式，计算曲面上充分大线丛 H 的自交数 H²。
• 利用弗罗贝尼乌斯自同态的迹与 zeta 函数，计算 #A(𝔽_q) 和 Tr(A)，这是距离下界的关键参数。
• 引入一个依赖于低亏格曲线缺失的细化下界，使用函数 φ(x) 来建模此类曲线对距离损失的贡献。
• 应用同源分类结果（Howe, Nart, Ritzenthaler）来表征不含亏格 ≤2 曲线的阿贝尔曲面。
• 针对三种情形（亏格 2 曲线的雅可比簇、椭圆曲线的积、椭圆曲线的韦伊限制）计算了 #A(𝔽_q)、Tr(A) 和 H² 的显式值。

实验结果

研究问题

• RQ1 能否利用 H² 和 Tr(A) 等几何不变量，在阿贝尔曲面上为 AG 码建立最小距离的一般下界？
• RQ2 不包含算术亏格 ≤ℓ 的绝对不可约曲线如何影响阿贝尔曲面上 AG 码的最小距离？
• RQ3 在哪些类别的阿贝尔曲面（如韦伊限制或非主极化曲面）中，低亏格曲线的缺失成立？
• RQ4 ℓ=2 时的细化下界是否在阿贝尔曲面上显著优于 ℓ=1 时的下界？
• RQ5 对 𝔽_{q²} 上椭圆曲线的迹与同源类施加何种显式条件，可确保其韦伊限制在 𝔽_q 上不包含亏格 0、1 或 2 的绝对不可约曲线？

主要发现

• 最小距离的一般下界为 d(A,rH) ≥ #A(𝔽_q) − rH²(q+1−Tr(A)+m) − r²mH²/2，其中 m = ⌊2√q⌋。
• 对于不含算术亏格 ≤ℓ 的绝对不可约曲线的简单阿贝尔曲面，当 ℓ 较大时，细化下界显著改善，尤其在 ℓ=2 时效果突出。
• 当 q 足够大且 1 < r < √q 时，ℓ=2 的下界严格优于 ℓ=1 的下界，表明码性能得到提升。
• 在 𝔽_{q²} 上具有特定迹（如 Tr(E/𝔽_{q²}) = 2q−1 或 q）的椭圆曲线的韦伊限制，其在 𝔽_q 上不包含亏格 ≤2 的曲线。
• 非主极化阿贝尔曲面在 𝔽_q 上不包含算术亏格为 0、1 或 2 的绝对不可约曲线。
• 为三种情形（亏格 2 曲线的雅可比簇、椭圆曲线的积、韦伊限制）提供了 #A(𝔽_q)、Tr(A) 和 H² 的显式公式，从而支持实际码的构造。