[論文レビュー] Polynomial functions of degree 20 which are APN infinitely often

Florian Caullery|arXiv (Cornell University)|Dec 19, 2012

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

ひとこと要約

この論文は、関数と関連する代数的曲面の有理点を分析することにより、$\mathbb{F}_2$ の無限個の拡張体上でAPN（ほとんど完全非線形）であるすべての20次多項式関数を分類する。すべてのこのような関数が $x^5$ とCCZ同値であることを証明し、Aubry-McGuire-Rodier予想における例外的指数に関する重要な一歩を踏み出す。

ABSTRACT

We give all the polynomials functions of degree 20 which are APN over an infinity of field extensions and show they are all CCZ-equivalent to the function $x^5$, which is a new step in proving the conjecture of Aubry, McGuire and Rodier.

研究の動機と目的

• 20次多項式関数で、$\mathbb{F}_2$ の無限個の拡張体上でAPNであるものをすべて分類すること。
• このような関数が、Aubry-McGuire-Rodier予想を満たすかどうかを検証すること。この予想は、APNとなるのは、$d = 2^i+1$ または $4^i - 2^i + 1$ であるような例外的単項式 $x^d$ とCCZ同値である関数に限ると述べている。
• 関連する代数的曲面に現れる可約成分の問題に直面するが、20次多項式へ表面の有理点解析法を拡張すること。
• すべての20次APN関数が $x^5$ とCCZ同値であることを示すこと。これは既知の例外的単項式である。

提案手法

• 論文は、多項式 $f$ に関連して、$\phi(x,y,z) = \frac{f(x)+f(y)+f(z)+f(x+y+z)}{(x+y)(x+z)(y+z)}$ という有理関数を定義し、APN挙動の重要な不変量とする。
• APN性が無限個の $\mathbb{F}_{2^n}$ で成り立つのは、$\phi = 0$ で定義される代数的曲面 $X$ が、3枚の平面からなる固定された曲面 $V$ に含まれる場合に限ることを用いる。
• この手法は、$\phi$ の対称多項式および既約成分による可除性を分析し、特に $x^5$ に関連する $\phi_5$ に注目する。対称多項式 $s_1, s_3$ とフロベニウス自己同型 $\rho$ を用いる。
• $\phi$ の係数を次数ごとに比較することで、$f$ の形を制約し、非ゼロとなる係数が特定のものに限られることを示す。
• $\phi_5 + b$ が $b \neq 0$ のとき $\mathbb{F}_q$ 上で既約であるという事実を用い、このような項が $\phi$ に現れるとうまくいかず、結果として $b=0$ でなければならないことを導く。
• 最後に、$f$ の唯一の可能な形が $f(x) = x^{20} + a_{16}x^{16} + a_{10}x^{10} + a_8x^8 + a_5x^5 + a_4x^4 + a_2x^2 + a_1x + a_0$ であることを示し、これが $x^5$ とCCZ同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{F}_q$ 上の20次多項式関数で、$\mathbb{F}_{2^n}$ の無限個の拡張体上でAPNであるものはどれか？
• RQ2 Aubry-McGuire-Rodier予想が示唆するように、すべての20次APN関数が $x^5$ とCCZ同値であるか？
• RQ3 関数 $f$ の次数が20のとき、$\phi(x,y,z)$ で定義される代数的曲面 $X$ の構造は、$f$ の可能な形をどのように制約するか？
• RQ4 対称多項式およびフロベニウス自己同型は、このようなAPN関数の分類においてどのような役割を果たすか？
• RQ5 表面の有理点の境界と成分解析の手法を、12次を超える高次多項式へ拡張できるか？

主な発見

• 20次多項式関数で、$\mathbb{F}_2$ の無限個の拡張体上でAPNであるものは、すべて $f(x) = x^{20} + a_{16}x^{16} + a_{10}x^{10} + a_8x^8 + a_5x^5 + a_4x^4 + a_2x^2 + a_1x + a_0$ の形をとり、係数は $\mathbb{F}_q$ に属する。
• 関数 $f$ は $x^5$ とCCZ同値であることが確認され、これはAubry-McGuire-Rodier予想が予言する例外的単項式のクラスに属することを裏付ける。
• 有理点の可除性と既約性の制約により、係数 $a_{19}, a_{18}, a_{17}, a_{15}, a_{14}, a_{13}, a_{12}, a_{11}, a_9, a_7, a_6$ はすべてゼロでなければならない。
• 関数 $f$ に関連する曲面 $X$ は $\phi_5$ で割り切れることが示され、残りの因子構造が、$x^5$ の特定の対称的摂動形に帰着する。
• 証明は、$\phi_5 + b$ が $b \neq 0$ のとき $\mathbb{F}_q$ 上で既約であるという事実に依拠しており、$\phi$ にこのような項が現れると矛盾が生じるため、$b=0$ でなければならない。
• 最終的に、$f$ の形が $x^5$ とCCZ同値であることが示され、20次多項式における分類が完了する。