🔢 mathematics

Infinite families of APN permutations in constrained trivariate classes over $\mathbb{F}_{2^m}$

本論文は、 $\mathbb{F}_{2^m}$ 上のスカラーパラメータを任意の非零元に拡張することで、Li-Kaleyski が発見した 2 つの APN 置換多項式族を一般化し、それらが APN であるための代数的条件を導出するとともに、これらが既知の族と CCZ 同値でない新たな無限族を構成することを示しています。

原著者： Daniele Bartoli, Pantelimon Stanica

公開日 2026-03-17

📖 1 分で読めます🧠 じっくり読む

CC0 1.0

原著者： Daniele Bartoli, Pantelimon Stanica

原論文は CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/) のもとパブリックドメインに提供されています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

🛡️ 物語の舞台：「最強のロック」を作る料理人

まず、この研究の背景にある「APN 関数」というものを想像してください。
これは、デジタルな世界（インターネットやスマホ）の**「最強のロック」**のようなものです。ハッカーが鍵を破ろうとして（暗号解読）、どんなに巧妙に鍵をいじっても、中身がバラバラにならないように守る役割を果たします。

特に「APN 関数」は、ハッカーが「鍵を少し変えたら、中身はどう変わるか？」を推測しようとしても、**「2 つの答えしか出ない」という、驚くほど完璧な防御力を持っています。さらに、このロックが「開け閉めできる（逆算可能）」**ものであると、それは「理想的な S-ボックス（暗号の部品）」と呼ばれ、非常に貴重です。

これまで、この「完璧なロック」を見つけるのは、**「宇宙で二重の流星が衝突する」**くらい難しいことでした。数学者たちは、いくつかの「奇跡的な例」しか見つけられず、それが無限に続く家族（ファミリー）を作れるかどうかが長年の謎でした。

🍳 今回の発見：新しい「万能レシピ」の発見

この論文の著者たち（ダニエレさんとパントレモンさん）は、**「新しい万能レシピ」**を発見しました。

彼らは、Li さんと Kaleyski さんが以前見つけた「2 つの特別なレシピ（9 次元の料理）」を、**「無限に広がる家族」へと進化させました。
しかも、彼らのレシピには「魔法の調味料（係数 $a$ ）」**という要素があります。

以前のレシピ： 調味料は「1」しか使えませんでした。
今回のレシピ： 調味料を**「自由に選べる」**ようにしました（ $F_{2^m}^*$ という広い範囲から選べます）。

🌊 調味料の選び方：「毒」を避けるルール

ここで面白いのが、調味料の選び方です。
「どんな調味料を使ってもいいわけではない。ある特定の『毒（方程式の解）』が含まれていない調味料を選ばないと、料理（暗号）が失敗してしまう」というルールが見つかりました。

成功の条件： 「毒（方程式の解）」が**「1 滴も入っていない」**調味料を選ぶこと。
失敗の条件： 「毒」が混じっていると、ロックが壊れてしまいます。

著者たちは、この「毒が入っていない調味料」が、**「どれくらいたくさんあるか」**を計算しました。
「全調味料の山から、毒が入っているものを除けば、まだ大量の『安全な調味料』が残っている！」と証明したのです。つまり、この新しいレシピを使えば、無数の新しい最強ロックを作れることがわかりました。

🔄 双子の料理：「Ga」と「Ha」

この研究では、2 つの異なる料理（ $G_a$ と $H_a$ ）を扱っています。
一見すると形が違うように見えますが、「調味料の選び方（毒の有無）」というルールは、実は 2 つの料理で全く同じであることがわかりました。

Ga 料理： 調味料 $a$ が「毒なし」なら、完璧なロックになる。
Ha 料理： 同じ調味料 $a$ が「毒なし」なら、これも完璧なロックになる。

つまり、**「1 つの調味料を選べば、2 つの異なる最強ロックが同時に完成する」**という、非常に効率的な発見です。

🔍 本物か偽物か？「似て非なるもの」を見分ける

ここで重要な問いがあります。「この新しいロックは、昔からある有名なロック（Li-Kaleyski 族）と全く同じものじゃないか？」という疑問です。

もし同じなら、新しい発見とは言えません。著者たちは、**「この 2 つは本物とは全く違う（非等価）」**ことを証明しました。

例え話：
- 昔のロック（Li-Kaleyski）は、「赤い鍵」で開けるタイプでした。
- 新しいロック（Ga や Ha）は、「青い鍵」で開けるタイプです。
- 一見、形は似ていますが、「鍵の穴の形（数学的な構造）」が根本的に違うため、互いに変換することはできません。

特に、 $m$ （料理のサイズ）が特定の条件を満たす場合、**「1 以外のどんな調味料を選んでも、それは完全に新しい、誰も見たことのないロック」**であることが保証されました。

🎉 まとめ：なぜこれがすごいのか？

無限の宝庫： これまで「数個しかなかった」完璧なロックが、**「無限に作れる」**ことが証明されました。
安全な選択： 「毒（方程式の解）」がない調味料を選べば、自動的に最強のロックができるという、簡単なルールが見つかりました。
完全な新しさ： これらは既存のロックとは全く異なる、**「新しい種類のセキュリティ」**を提供します。

一言で言えば：
「暗号の守りを強化するための、無限に作れる新しい『最強の鍵』のレシピと、その鍵を選ぶための簡単なルールを見つけた！」というのが、この論文の核心です。

これにより、将来のインターネットや通信システムが、より強固で安全なものになる可能性が広がりました。

この論文は、有限体 $\mathbb{F}_{2^m}$ 上の 3 変数多項式写像からなる、新しい無限族の「Almost Perfect Nonlinear (APN) 置換」の構成とその性質に関する研究です。特に、Li と Kaleyski が 2024 年に発見した 2 つの特殊な APN 置換（次元 9 の sporadic な例）を、係数を $\mathbb{F}_{2^m}$ 全体に拡張した無限族として一般化し、その存在性と非等価性を証明しています。

以下に、論文の技術的概要を問題設定、手法、主要な貢献、結果、そして意義に分けて詳細にまとめます。

1. 問題設定 (Problem)

背景: 暗号理論（特に差分攻撃に対する耐性）と符号理論において、APN 関数は極めて重要です。さらに、置換（全単射）である APN 関数は、S ブロックの構成要素として理想的ですが、その構成は非常に困難です。特に、偶数次元における APN 置換の存在は長年の未解決問題でした。
既存の成果: Beierle と Leander はコンピュータ探索により $\mathbb{F}_{2^9}$ 上の 2 つの特殊な APN 置換を発見しました。Li と Kaleyski (2024) はこれらを一般化し、係数が $\mathbb{F}_2$ に制限された 2 つの無限族（3 変数形式）を構築しました。
本研究の課題: Li-Kaleyski 族の係数を $\mathbb{F}_2$ から $\mathbb{F}_{2^m}^*$ （ $\mathbb{F}_{2^m}$ の非零元）全体に拡張した場合、どのようなパラメータ $a$ が APN 置換を生成するかを特定し、その性質（置換性、APN 性、等価性）を完全に記述すること。

2. 手法とアプローチ (Methodology)

対象関数の定義:
以下の 2 つの 3 変数多項式族 $G_a$ と $H_a$ を考察します（ $q=2^i$ , $\gcd(i,m)=1$ , $m$ は奇数）。
$G_a(x, y, z) = (x^{q+1} + ax^qz + yz^q, \ x^qz + y^{q+1}, \ xy^q + ay^qz + z^{q+1})$
$H_a(x, y, z) = (x^{q+1} + axy^q + yz^q, \ xy^q + z^{q+1}, \ x^qz + y^{q+1} + ay^qz)$
代数幾何学的手法:
- 多変数方程式系（衝突や微分方程式）を解析し、1 変数多項式の根の有無に帰着させます。
- 代数曲線の絶対既約性（Absolute Irreducibility）と Lang-Weil bound、Hasse-Weil bound を用いて、有理点の存在数を評価し、パラメータの存在下限を導出します。
等価性の判定:
- 対角線変換（Diagonal equivalence）による同値性を厳密に解析し、Li-Kaleyski 代表元との関係を明らかにします。
- 二次 APN 関数における CCZ 同値性、EA 同値性、EL 同値性の一致（Yoshiara, Kaspers-Zhou の結果）を利用し、対角線非等価性が CCZ 非等価性を意味することを示します。

3. 主要な貢献と結果 (Key Contributions & Results)

A. 置換性と APN 性の同値性と根の条件

定理 2.7 (族 $G_a$ について):
$G_a$ が置換であることと、APN であることは同値です。これらは、以下の 1 変数多項式 $Q_a(T)$ が $\mathbb{F}_{2^m}$ に根を持たないことと完全に同値です。
$Q_a(T) = T^{q^2+q+1} + aT + 1$
この結果により、複雑な 3 変数写像の性質が、単一の 1 変数多項式の根の存在問題に帰着されました。
定理 3.3 と相関 3.4 (族 $H_a$ について):
$H_a$ についても同様の結果が成り立ちます。 $H_a$ が APN 置換となるための条件は、 $G_a$ と「根同値（root-equivalent）」な多項式 $P'_a(T) = T^{q^2+q+1} + T^{q^2+q}a + 1$ が根を持たないことです。
重要な点: $G_a$ と $H_a$ は、同じパラメータ $a$ に対して同時に APN 置換となります。

B. 良好なパラメータの存在と数え上げ

定理 2.12:
良好なパラメータ $a$ （すなわち $Q_a$ が根を持たないもの）の個数の下限を導出しました。
$|B_{m,q}| \geq 2^m + 1 - \frac{(d-1)(d-2)2^{m/2}}{d}$
ここで $d = q^2+q+1$ です。この結果は、任意の奇数 $m$ に対して、無限に多くの APN 置換が存在することを保証します。
二進ケース ( $q=2$ ):
$q=2$ の場合、 $7 \nmid m$ ならば $a=1$ は常に良好なパラメータとなり、Li-Kaleyski 族を回復します。また、 $a \neq 1$ かつ $a^7 \neq 1$ となるパラメータも存在し、これらは新たな APN 置換を生成します。

C. 非等価性の証明 (Significance)

Li-Kaleyski 代表元との非等価性 (定理 4.2):
$G_a$ $G_{a}$ （または $H_a$ $H_{a}$ ）が Li-Kaleyski 代表元 $G_1$ $G_{1}$ （または $H_1$ $H_{1}$ ）と対角線同値であるための必要十分条件は $a^{q^2+q+1} = 1$ $a^{q^{2} + q + 1} = 1$ です。
- 特に $q=2, 7 \nmid m$ の場合、 $a=1$ 以外のすべての良好なパラメータは、Li-Kaleyski 族と CCZ 非等価（したがって EA 非等価、EL 非等価）であることが示されました。
2 つの族間の非等価性 (定理 4.5):
同じ $q$ $q$ に対して、 $G_a$ $G_{a}$ 族の任意の要素と $H_b$ $H_{b}$ 族の任意の要素は、CCZ 同値ではありません。
- これにより、 $G$ 族と $H$ 族は、互いに異なる、かつ Li-Kaleyski 族とも異なる、3 つの独立した APN 置換の無限源であることが確立されました。

4. 意義と結論 (Significance)

APN 置換の新たな無限族の発見:
偶数次元（ $2^m$ ）における APN 置換の構成は困難ですが、この研究は $m$ が奇数である $3m$ 次元空間（ $\mathbb{F}_{2^{3m}}$ ）において、パラメータ $a$ を自由に選べる 2 つの新しい無限族を構築しました。
構造の単純化と一般化:
複雑な 3 変数多項式の性質を、1 変数多項式の根の有無という明確な代数的条件に帰着させました。これにより、APN 性や置換性の判定が容易になりました。
暗号理論への寄与:
得られた関数は、既知の Li-Kaleyski 族とは CCZ 非等価であり、かつ $G$ 族と $H$ 族同士も非等価です。これは、暗号システム（特に S ブロック）に利用可能な、多様で高品質な非線性関数の供給源を提供するものです。
今後の課題:
論文の最後には、 $7 \mid m$ の場合の具体的な良好なパラメータの明示的構成や、偶数次元への拡張、 $n$ 変数 ( $n>3$ ) への一般化などの未解決問題が提示されています。

総じて、この論文は有限体上の APN 置換の理論において、既存の sporadic な例を体系的に一般化し、その性質を完全に解明した重要な成果です。