[论文解读] Proof of a Conjecture on the Sequence of Exceptional Numbers, Classifying Cyclic Codes and APN Functions

Fernando Hernando, Gary McGuire|arXiv (Cornell University)|Mar 11, 2009

Coding theory and cryptography参考文献 6被引用 10

一句话总结

本文证明了，在无穷多个有限域 F_{2^n} 上，使得单项式函数 f(x) = x^t 为几乎完美非线性（APN）的唯一例外指数 t，仅限于形如 2^i + 1（Gold 数）或 4^i - 2^i + 1（Kasami-Welch 数）的形式。证明使用了代数几何，特别是从二元循环码中的重量-4码字条件导出的齐次多项式 g_t(x,y,z) 的绝对不可约性，并应用贝祖定理与交点理论，表明非例外 t 必须产生有理点，从而与 APN 性质或最小距离为 5 的条件矛盾，尤其在 n 足够大时。

ABSTRACT

We prove a conjecture that classifies exceptional numbers. This conjecture arises in two different ways, from cryptography and from coding theory. An odd integer $t\geq 3$ is said to be exceptional if $f(x)=x^t$ is APN (Almost Perfect Nonlinear) over $\mathbb{F}_{2^n}$ for infinitely many values of $n$. Equivalently, $t$ is exceptional if the binary cyclic code of length $2^n-1$ with two zeros $ω, ω^t$ has minimum distance 5 for infinitely many values of $n$. The conjecture we prove states that every exceptional number has the form $2^i+1$ or $4^i-2^i+1$.

研究动机与目标

• 解决编码理论与密码学中长期存在的一个猜想：即对无穷多个 F_{2^n}，使得 f(x) = x^t 为 APN 的例外指数 t 的分类问题。
• 确立唯一满足该性质的 t 均为 2^i + 1 或 4^i - 2^i + 1 的形式，从而完成对这些特殊指数的完整分类。
• 通过证明在该猜想下，密码学（APN 函数）与编码理论（具有两个零点的二元循环码中的最小距离 5）两种视角等价，实现两者的桥梁连接。
• 使用交点理论与贝祖定理，对与重量-4码字相关的多项式 g_t(x,y,z) = (x^t + y^t + z^t + (x+y+z)^t)/((x+y)(x+z)(y+z)) 提供严谨的代数几何证明。

提出的方法

• 本文分析了从长度为 2^n - 1、零点为 ω 与 ω^t 的二元循环码 C_n^t 中，由重量-4码字条件导出的齐次多项式 g_t(x,y,z)。
• 应用韦伊估计与一个准则：若 g_t 在 F_2 上有绝对不可约因子，则其在所有足够大的 n 下于 F_{2^n} 上具有有理点。
• 证明根据 t = 2^i ℓ + 1（其中 ℓ 为奇数且 ℓ ≥ 3）时的 gcd(ℓ, 2^i - 1) 分为两种情况。
• 在 gcd(ℓ, 2^i - 1) = ℓ 的情形下，作者使用交点理论：将 g_t 在 F_2 上分解为不可约分量 f_k，计算在奇点 P 处的交点重数 I(P, f_k,i, f_k,j)，并应用贝祖定理，若 g_t 不是绝对不可约，则导出矛盾。
• 通过比较贝祖定理左边的交点重数之和与右边的总次数平方，利用重数与次数的界建立不等式。
• 当假设 g_t 不是绝对不可约时，矛盾产生，表明此类 t 无法使码具有最小距离 5 或使 f(x) = x^t 成为 APN 函数，对无穷多个 n 成立。

实验结果

研究问题

• RQ1 是否存在超出已知 Gold 数与 Kasami-Welch 數的例外指数 t，使得 f(x) = x^t 在无穷多个 F_{2^n} 上为 APN？
• RQ2 对于所有不属于 2^i + 1 或 4^i - 2^i + 1 形式的 t，多项式 g_t(x,y,z) = (x^t + y^t + z^t + (x+y+z)^t)/((x+y)(x+z)(y+z)) 在 F_2 上是否绝对不可约？
• RQ3 若 g_t 在所有足够大的 n 下于 F_{2^n} 上具有有理点，是否意味着 t 必为 Gold 数或 Kasami-Welch 數？
• RQ4 能否通过在关联多项式 g_t 上使用代数几何与交点理论，完成对例外数的分类？

主要发现

• 本文证明了猜想 1 与猜想 2：唯一例外数 t 为 2^i + 1 或 4^i - 2^i + 1 的形式。
• 对于任意奇数 t ≥ 3 且不属于该形式，长度为 2^n - 1、具有两个零点 ω 与 ω^t 的二元循环码 C_n^t 在除有限多个 n 外的所有 n 中均存在重量为 4 的码字。
• 若 t 不属于 2^i + 1 或 4^i - 2^i + 1 的形式，则 f(x) = x^t 仅在有限多个 n 下为 F_{2^n} 上的 APN 函数。
• 发现了一个对猜想 3（关于 g_t 的绝对不可约性）的反例：当 t = 205 时，g_t 在 F_2 上分解为两个不可约分量，表明绝对不可约性并非有理点存在的必要条件。
• 证明确立了：仅当 t 为 Gold 数或 Kasami-Welch 数时，g_t 才在所有足够大的 n 下于 F_{2^n} 上具有有理点，从而确认了分类结果。
• 该方法通过在假设非例外 t 导致无穷多个有理点时，于交点重数计数中导出矛盾，成功解决了该猜想。