On APN Exponents and the Differential and Boomerang Properties of Binomials in Characteristic 3

技術的概要：標数 3 における二項式の APN 指数と微分特性およびブーメラン特性について

問題提起
本論文は、有限体 $\mathbb{F}_{3^n}$ 上の二次指標 $\chi(x)$ を用いた $F_r(x) = x^r(1 + \chi(x))$ の形の二項式関数の暗号学的性質を調査する。微分一様性は差分攻撃に対する耐性を測る標準的な指標であるが、ブーメラン攻撃に対する耐性を完全に捉えるものではない。この課題に対処するため、ブーメラン一様性（$\beta_F$）の概念が導入された。先行研究 [9] は、特定の指数 $r$ に対して、関数 $F_r$ が低い微分一様性を示し、かつブーメラン一様性が 2 以下に抑えられることを確立した。しかし、経験的観察によれば、標数 3 においては、極めて低いブーメラン一様性（具体的には 0 または 1）を持つ事例が、他の標数に比べてより頻繁に発生する傾向がある。本論文は、これらの現象を体系的に分析し、ブーメラン一様性が 0 または 1 となる特定の指数 $r$ を同定し、これらのクラスに対する厳密な証明を提供することを目的としている。

手法
著者は、理論的分析と計算検証の組み合わせを採用する：

1. 理論的枠組み：本研究は「局所的-PN」および「局所的-APN」関数の概念に基づいている。微分方程式 $(x+1)^r - x^r = b$ と関連するブーメラン系を分析することで、微分スペクトルとブーメランスペクトルを明示的に決定できる条件を導出する。
2. APN 分類：本論文は、Zha と Wang [23] による構成から生じる Almost Perfect Nonlinear (APN) 冪関数の体系的なパラメータ化を提供する。これには、明示的な指数の族を生成するために、ディオファントス条件 $(3m+1)r - 2 = k(3^n-1)$ を解くことが含まれる。
3. 指標和とスペクトル解析：特定のクラス（特に $r = 3^n - 3$）のブーメランスペクトルを決定するため、著者は二次指標と多項式の根を含む指標和を評価する。
4. 計算探索：ブーメラン一様性が 0 または 1 となる指数を同定するため、SageMath を用いて $n$ の小さな値（$n=13$ まで）に対して網羅的な探索が行われた。これらの結果は、導出された理論的族と相互参照された。

主要な貢献と結果

• APN 指数のパラメータ化：著者は、[23] の枠組みから導出された APN 指数に対する明示的なパラメータ化（命題 3.3）を提示する。$n \le 13$ に対して、この一般化された構成が、標準的な表 [2] に以前リストアップされていなかった標数 3 における既知のすべての APN 冪関数を説明することを示す。これには、既知のクラス（例：$r = 3^{(n+1)/2} - 1$）の回復と、新しい散発的事例の同定が含まれる。
• ブーメラン一様性 0 を持つ 2 つのクラス：本論文は、2 つの特定の二項式 $F_r$ のクラスが、可能な最小のブーメラン一様性である 0 を持つことを厳密に証明する：
  1. [23] の APN 構成から生じる指数 $r$（条件 $(3m+1)r - 2 = k(3^n-1)$ を満たすもの）。
  2. 指数 $r = 2 \cdot 3^{(n-1)/2} + 1$。
     両方のクラスについて、著者は $F_r$ が局所的-PN であることを証明し、その微分スペクトルを導出する。
• $r = 3^n - 3$ の解析：本論文は、指数 $r = 3^n - 3$ を持つ二項式を解析する。$n \ge 5$ の奇数に対して、この関数がブーメラン一様性 1 を持つ局所的-APN であることを証明する。著者は、特定の指標和を評価することでそのブーメランスペクトルを完全に決定し、$\beta_{F_r}(1, b) = 0$ および $1$を生む$b$ の値の個数に関する明示的な式を提供する。
• 数値的分類：$n \le 13$ に対する網羅的な探索を通じて、著者はブーメラン一様性が 0 および 1 となる指数の表を編纂する。$n \le 9$ に対して、局所的-PN であるという条件が、以前の理論的境界で使用された厳密な $\gcd(r, 3^n-1) \in \{1, 2\}$ の仮定なしでも、ブーメラン一様性 0 に対して必要かつ十分であるように見えると観察される。

重要性
本論文は、標数 3 における二項式の暗号学的性質に関する既存の研究を明確化し、拡張する。その主な重要性は以下の点にある：

1. 体系的な特徴付け：標数 3 における特定の二項式がブーメラン一様性 0 または 1 を達成する理由を説明する統一的な枠組みを提供し、これらの性質を特定の APN 指数構成に直接関連付ける。
2. 境界の拡張：ブーメラン一様性の一般的な境界が 2 であること（[9] で確立）が、標数 3 における特定の無限族に対して厳密に 0 または 1 に改善できることを示す。
3. APN 分類の完全性：[23] からの APN 指数のパラメータ化が、小さな $n$ に対して標数 3 における既知のすべての APN 冪関数を網羅することを示し、これらの関数に対する包括的な構造を提案する。
4. 経験的検証：数値的結果は理論的知見を支持し、局所的-PN 性質とブーメラン一様性 0 の間の強い相関を浮き彫りにし、この関係を将来の厳密な証明のための潜在的な領域として提示する。

著者は、最適化されたブーメラン特性を持つ無限族と散発的事例を同定したが、局所的-PN 性質とブーメラン一様性 0 の間の正確な同等性は未解決の問題であり、ブーメラン一様性 1 の散発的事例を無限族に拡張することが将来の研究の方向性であると結論づける。