[论文解读] On the Conjecture on APN Functions

Moisés Delgado, Heeralal Janwa|arXiv (Cornell University)|Jul 23, 2012

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

一句话总结

本文证明了所有形如 $ f(x) = x^{2^k+1} + h(x) $ 的函数，其中 $ h(x) $ 是满足弱条件的奇次多项式，在 $ \mathbb{F}_{2^n} $ 上均不是例外的APN函数。通过代数几何方法和关联曲面 $ \phi(x,y,z) $ 的不可约性判别，作者扩展了先前结果，并为‘仅Gold和Kasami单项式是例外APN函数’这一猜想提供了强有力证据。

ABSTRACT

An almost perfect nonlinear (APN) function (necessarily a polynomial function) on a finite field $\mathbb{F}$ is called exceptional APN, if it is also APN on infinitely many extensions of $\mathbb{F}$. In this article we consider the most studied case of $\mathbb{F}=\mathbb{F}_{2^n}$. A conjecture of Janwa-Wilson and McGuire-Janwa-Wilson (1993/1996), settled in 2011, was that the only exceptional monomial APN functions are the monomials $x^n$, where $n=2^i+1$ or $n={2^{2i}-2^i+1}$ (the Gold or the Kasami exponents respectively). A subsequent conjecture states that any exceptional APN function is one of the monomials just described. One of our result is that all functions of the form $f(x)=x^{2^k+1}+h(x)$ (for any odd degree $h(x)$, with a mild condition in few cases), are not exceptional APN, extending substantially several recent results towards the resolution of the stated conjecture.

研究动机与目标

• 解决长期存在的猜想：在 $ \mathbb{F}_{2^n} $ 上，仅Gold和Kasami单项式是例外APN函数。
• 通过分析关联代数曲面的不可约性，扩展先前结果，证明某些多项式函数类不是例外APN函数。
• 建立函数 $ f(x) = x^{2^k+1} + h(x) $ 不是例外APN函数的一般条件，即使 $ h(x) $ 为奇次多项式亦然。
• 通过曲面 $ \phi(x,y,z) = \frac{f(x)+f(y)+f(z)+f(x+y+z)}{(x+y)(x+z)(y+z)} $ 提供一个框架，利用绝对不可约性来判断非例外APN行为。

提出的方法

• 定义函数 $ f(x) = x^{2^k+1} + h(x) $，其中 $ h(x) $ 是次数 $ d < 2^k + 1 $ 的奇次多项式，并分析其关联的对称曲面 $ \phi(x,y,z) $。
• 利用如下刻画：若 $ \phi(x,y,z) $ 是绝对不可约的，则 $ f $ 不是例外APN函数，依据是Lang-Weil与Ghorpade-Lachaud对有理点数的界。
• 应用引理2分析 $ \phi $ 在平面 $ y = z $ 上的行为，将问题约化为单变量多项式整除性条件。
• 通过反证法证明不可约性：假设 $ \phi = PQ $，则导出次数匹配方程，并证明 $ x+y $ 必须整除 $ \phi_d(x,y) $，与已知因式分解性质矛盾。
• 利用条件 $ \gcd(\phi_{2^k+1}, \phi_d) = 1 $ 确保无公共因子导致因式分解，这对不可约性至关重要。
• 利用关于 $ \phi_d $ 在 $ d < 100 $，$ d \not\equiv 2^i+1, 2^{2i}-2^i+1 \pmod{2^n} $ 时的不可约性已知结果，验证互素条件。

实验结果

研究问题

• RQ1 所有形如 $ f(x) = x^{2^k+1} + h(x) $ 且 $ h(x) $ 为奇次的函数是否均为非例外APN函数？
• RQ2 在何种条件下，曲面 $ \phi(x,y,z) $ 是绝对不可约的，从而暗示非例外APN行为？
• RQ3 能否将‘仅Gold和Kasami单项式是例外APN函数’的猜想扩展至包含奇次多项式扰动的情形？
• RQ4 $ \phi_{2^k+1} $ 与 $ \phi_d $ 的互素性如何影响 $ \phi(x,y,z) $ 的不可约性？
• RQ5 平面 $ y = z $ 在通过单变量约化检测 $ \phi(x,y,z) $ 因式分解中起什么作用？

主要发现

• 所有形如 $ f(x) = x^{65} + h(x) $ 的函数，其中 $ h(x) $ 为奇次多项式，均不是例外APN函数，扩展了先前的分类结果。
• 当 $ \gcd(\phi_{2^k+1}, \phi_d) = 1 $ 且 $ d \equiv 1 \pmod{4} $ 时，曲面 $ \phi(x,y,z) $ 是绝对不可约的，意味着其表现出非例外APN行为。
• 证明方法表明，若 $ \phi $ 可约，则 $ x+y $ 必须整除 $ \phi_d(x,y) $，这与已知因式分解性质矛盾，尤其当 $ \phi_d $ 不可约或无重线性因子时。
• 条件 $ \gcd(\phi_{2^k+1}, \phi_d) = 1 $ 是不可约性的必要条件，且在多种情形下成立，包括 $ \phi_d $ 为绝对不可约时。
• 结果推广并强化了Aubry、McGuire和Rodier的早期定理，覆盖了超越单项式的更广泛函数类。
• 本工作为‘仅Gold和Kasami单项式是例外APN函数’的猜想提供了强有力证据，通过排除了整个扰动函数族的存在。