[论文解读] Counting Plane Cubic Curves over Finite Fields with a Prescribed Number of Rational Intersection Points

Nathan O. Kaplan, Vlad Matei|arXiv (Cornell University)|Mar 31, 2020

Coding theory and cryptography参考文献 28被引用 4

一句话总结

该论文通过利用投影雷德-穆勒码的权重枚举函数，对有限域 Fq 上的平面三次曲线对在恰好 k 个有理点处相交的对数进行精确计算，其中 k ∈ [0,9]。关键结果是给出了 ck 的多项式公式（即无公共不可约分量的此类曲线对的数量），揭示了对称群统计与编码理论之间的深刻联系，且首项与 S9 中具有 k 个不动点的置换所占比例一致。

ABSTRACT

For each integer $k \in [0,9]$, we count the number of plane cubic curves defined over a finite field $\mathbb{F}_q$ that do not share a common component and intersect in exactly $k\ \mathbb{F}_q$-rational points. We set this up as a problem about a weight enumerator of a certain projective Reed-Muller code. The main inputs to the proof include counting pairs of cubic curves that do share a common component, counting configurations of points that fail to impose independent conditions on cubics, and a variation of the MacWilliams theorem from coding theory.

研究动机与目标

• 确定在每个 k ∈ [0,9] 下，Fq 上无公共不可约分量的平面三次曲线对在恰好 k 个 Fq-有理点处相交的数量。
• 排除在 Fq 上共享公共不可约分量的曲线对，以确保相交计数为横截相交。
• 建立此类相交曲线对数量的多项式公式，结合代数几何与编码理论。
• 将计数问题与投影雷德-穆勒码的权重枚举函数以及对称群统计联系起来。

提出的方法

• 将问题建模为计数非零三次型 f,g ∈ Fq[x,y,z] 的对 (f,g)，使得其在 P2(Fq) 中恰好有 k 个公共零点，且无公共不可约因子。
• 利用与平面三次曲线相关的投影雷德-穆勒码的权重枚举函数来编码相交数据。
• 应用编码理论中麦克威廉姆斯定理的变体，将权重分布与所需计数关联。
• 计算并减去曲线共享公共分量，或点未能对三次曲线施加独立条件的配置。
• 利用 Deuring、Waterhouse 和 Schoof 关于椭圆曲线与 zeta 函数的结果，计算码的权重枚举函数。
• 结合特殊点构型（如共线点、圆锥上的点）的组合计数，以校正非横截相交的影响。

实验结果

研究问题

• RQ1 对于每个 k ∈ [0,9]，在排除共享公共不可约分量的前提下，Fq 上有多少对平面三次曲线在恰好 k 个 Fq-有理点处相交？
• RQ2 在 Fq 上，P2 中三次投影雷德-穆勒码的权重枚举函数结构如何？其与相交计数有何关联？
• RQ3 为何 ck 的计数多项式首项与 S9 中恰好有 k 个不动点的置换所占比例一致？
• RQ4 当 d,e ≥ 3 且 (d,e) ≠ (3,3) 时，P2(Fq) 中恰好有 de 个公共零点的曲线对数量是否为 q 的多项式？
• RQ5 特殊点构型（如 4 个共线点或 7 个共圆点）在何种程度上扭曲了平面三次曲线对的朴素相交计数？

主要发现

• 对每个 k ∈ [0,9]，Fq 上无公共不可约分量且在恰好 k 个 Fq-有理点处相交的平面三次曲线对的数量 ck 是一个关于 q 的 20 次多项式，但 c8 为 19 次。
• 每个 ck 的首项与 S9 中恰好有 k 个不动点的置换数量成比例，与 Entin 的渐近结果一致。
• ck 的公式显式计算得出，包含如 (q+1)^2、(q−1)^3 或 (q−1)^4、q^5 或 q^4 以及 (q^2 + q + 1) 等因子，反映出几何对称性与曲线计数的结构。
• ck 中 q^20 的系数恰好为 π(k,9)/9!，其中 π(k,9) 表示 S9 中具有 k 个不动点的置换数量。
• 本文表明当 (d,e) = (3,3) 时，计数结果为多项式，但当 d,e ≥ 3 且 (d,e) ≠ (3,3) 时则不再成立，表明 (3,3) 是一个临界情况。
• 通过组合几何与点计数技术，系统地计算并减去如 4 个共线点或 7 个共圆点等特殊构型的影响。