Dimension Rigidity and Projective Geometry of Trace-Product Switchings of the Gold Cube

技術要約：ゴールド・キューブのトレース積スイッチングにおける次元の剛性と射影幾何学

問題提起
本論文は、偶数次元 $n$ の有限体 $\mathbb{F}_{2^n}$ 上で定義されるゴールド（Gold）のほとんど完全非線形（APN）関数 $F(x) = x^3$ を、スカラー・トレース積によるスイッチング機構を用いて修正する手法を調査している。具体的には、以下の形式の関数を分析する：
$$F_{n,\theta}(x) = x^3 + \theta Q_n(x)$$
ここで、$Q_n(x) = \text{Tr}_{\mathbb{F}_{2^n}/\mathbb{F}_2}(x) \cdot \text{Tr}_{\mathbb{F}_{2^n}/\mathbb{F}_2}(\lambda x)$ は正規化された二次形式であり、$\theta \in \mathbb{F}_{2^n}$ は係数、$\lambda$ は $\mathbb{F}_4$ の原始元である。中心となる問題は、どのような偶数次元 $n$ およびどのような非ゼロ係数 $\theta$ に対して、結果として得られる関数 $F_{n,\theta}$ がAPN性を保持するかを決定することである。Arshadの学位論文などの先行研究では、小次元（$n=6, 8$）における許容係数の生のリストは提供されていたが、統一的な理論的記述および大きな次元における非存在性の証明は欠けていた。

手法
著者は、代数幾何学、文字和の推定、および計算機による検証を組み合わせて用いている：

1. 低ランク微分フレームワーク： 本論文は「低ランク固定点基準」（定理3.1）を確立する。これは、既存のハイパープレーン単射性基準を、任意のランク $r$ の更新へと一般化したものである。これにより、APN性の検証を、ベースとなる関数の微分像から導出された「禁止集合」を回避するかどうかを確認することへと簡略化できる。これにより、全探索的なAPNチェックではなく、効率的なメンバーシップ判定（$2^r - 1$ 回のテスト）が可能となる。
2. セクション積基準： 特定のスカラー・トレース積族に対して、著者は幾何学的基準（定理4.2）を導出する。$F_{n,\theta}$ がAPNであるための必要十分条件は、$\theta$ が、特定の相対トレース条件（$T(c)=1, T(d)=0$）を満たす $c, d$ を用いた「セクション積」$c^3 + d^3$ として表現できないことである。これにより、問題はトレース制約の下での方程式 $c^3 + d^3 = \theta$ の解の数を数える問題へと変換される。
3. 解析的および有限の架け橋：
   • 小次元（$n=4, 6, 8$）については、直接的な代数的操作とフロベニウス・軌道証明書を用いて、許容係数を分類している。
   • $n \ge 10$ については、射影フェルマー三次曲線 $X^3 + Y^3 = \theta Z^3$ に対する加法文字和の推定を利用する。ワイル境界（Weil bounds）とアルティン・シュライヤー（Artin–Schreier）導手解析を用いてアフィン点の数を抑え込むことで、$n \ge 14$ のすべての $\theta \neq 0$ に対して解の数 $h_n(\theta)$ が厳密に正であることを証明する。
   • 中間ケースである $n=10$ および $n=12$ については、有限計算（トレースファイバーのXOR畳み込み）が、非存在性を確認するための「架け橋」として機能する。
4. 射影分類（次元8）： 次元8において、著者は射影的トレース形式のランク2の組み合わせへと分析を拡張する。彼らは $\mathbb{F}_4$ 上の射影直線 $\mathbb{P}^1(\mathbb{F}_4)$ を用いて拡張をパラメータ化し、バイナリ・トレース・セレクターを用いて有効な係数ペアを特定する。

主要な貢献と結果

• 次元の剛性定理： 本論文はこのスイッチング機構における厳格な「次元の梯子（dimension ladder）」を証明する：
  • $n=4$： 許容係数は、トレースゼロの超平面（$\text{Tr}(\theta)=0$）の非ゼロ要素である。これらの写像は、元のゴールド関数と拡張アフィン（EA）同値である。
  • $n=6$： 許容係数は、$\mathbb{F}_{64}$ における位数9の要素のちょうど6個である。
  • $n=8$： 許容係数は、部分体 $\mathbb{F}_4^*$ の非ゼロ要素である。
  • $n \ge 10$（偶数）： 非ゼロの係数 $\theta$ は、いかなるAPN関数も生成しない。許容係数の集合は空集合である。
• 本質的な特徴付け： 本論文は、Arshadの学位論文で見られた係数リストに対し、生のフィールド座標に代わる代数的性質（位数9および部分体への所属）を用いることで、初めて本質的かつ基底に依存しない記述を提供した。
• 射影ランク2の拡張（$n=8$）： 著者は、次元8における正規化されたランク2の拡張を分類する。彼らは、パラメータ空間が $\mathbb{P}^1(\mathbb{F}_4)$ であり、4つの非ベース点それぞれがちょうど2つの受理された係数ペアをサポートしていることを示している。これら8つのマークされたスイッチングは、正確に2つのEAクラス（したがって2つのCCZクラス）を形成し、2つのフロベニウス・サイクルに組織化されている。
• 計算ツール： 再利用可能で中心に依存しない固定点基準が提供されており、ランク $r$ の更新に対するAPNテストを、事前計算された禁止集合に対する $2^r - 1$ 回の包含判定へと削減する。

意義と主張
本論文の主要な貢献は、$n \ge 10$ における一様な非存在結果、および低次元における許容集合の本質的な幾何学的記述である。

• 方法論的価値： 「次元の剛性」の結果は、新しいAPN関数を探索するための探索空間から、このクラスのスイッチング機構全体を排除し、将来の暗号学的研究を合理化する。
• 構造的洞察： これらの結果は、既知のグローバルなAPNクラスが、ゴールドの中心の周囲でどのように局所的に構成されているかという「局所的な組織化」を記述している。本論文は、得られるグローバルなクラスは既知であるが、特定のトレース積スイッチング機構は非常に制約されており、次元4、6、8においてのみ機能することを明らかにしている。
• 再現性： 本研究は、厳格な再現性を強調しており、すべての有限計算（12行および33行の軌道証明書、ならびに $n=10, 12$ の架け橋を含む）に対して、正確なJSON証明書、Pythonスクリプト、およびSHA-256チェックサムを提供している。著者は、コンピュータによる補助的なステップが、$n \ge 14$ に対する解析的証明、および $n < 10$ に対する代数的導出に対する補助的なものであることを明示している。

本論文は、新しいグローバルAPNクラスを発見したと主張しているのではなく、ゴールド関数がトレース積スイッチングを介して局所的に修正され得る正確な境界と構造的特性をマッピングしたものである。