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

技术摘要：Gold 立方体之迹乘切换（Trace-Product Switchings）的维度刚性与射影几何

问题陈述
本文研究了通过标量迹乘切换机制对 Gold 近完美差分（APN）函数进行修改的问题。该函数定义为 $F(x) = x^3$，定义在有限域 $\mathbb{F}_{2^n}$ 上（其中 $n$ 为偶数）。研究的对象是形式如下的函数：
$$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$）提供了容许系数的原始列表，但仍缺乏统一的理论描述以及针对更大维数的非存在性证明。

方法论
作者结合了代数几何、特征和（character sum）估计以及计算验证：

1. 低秩导数框架： 论文建立了一个“低秩不动点判据”（定理 3.1）。该判据将任意秩为 $r$ 的更新的超平面单射性判据进行了推广。它将验证更新 $F + U \circ q$ 是否为 APN 的问题，简化为检查线性映射 $U$ 是否避开了由基函数导数像构成的预计算“禁止集”。这使得高效的成员测试（需 $2^r - 1$ 次测试）成为可能，而非进行穷举式的 APN 检查。
2. 截面积判据： 针对特定的标量迹乘族，作者推导出了一个几何判据（定理 4.2）。他们证明了 $F_{n,\theta}$ 是 APN 的充要条件是 $\theta$ 不能表示为“截面积” $c^3 + d^3$，其中 $c, d$ 满足特定的相对迹条件（$T(c)=1, T(d)=0$）。这使得问题转化为统计满足迹约束的方程 $c^3 + d^3 = \theta$ 的解的数量。
3. 解析与有限桥接：
   • 对于小维数（$n=4, 6, 8$），作者利用直接代数操作和 Frobenius 轨道证书对容许系数进行分类。
   • 对于 $n \ge 10$，论文利用射影费马三次曲线 $X^3 + Y^3 = \theta Z^3$ 上的加法特征估计。通过使用 Weil 界和 Artin–Schreier 指数分析来限制仿射点的数量，他们证明了当 $n \ge 14$ 时，对于所有 $\theta \neq 0$，解的数量 $h_n(\theta)$ 严格大于零。
   • 对于中间情况 $n=10$ 和 $n=12$，作者使用精确的有限计算（迹纤维的异或卷积）作为“桥接”，以确认非存在性。
4. 射影分类（维度 8）： 在维度 8 中，作者将分析扩展到射影迹形式的秩二组合。他们利用 $\mathbb{P}^1(\mathbb{F}_4)$ 对扩展进行参数化，并采用二进制迹选择器来识别有效的系数对。

核心贡献与结果

• 维度刚性定理： 论文证明了该切换机制存在严格的“维度阶梯”：
  • $n=4$： 容许系数是迹为零超平面的非零元素（$\text{Tr}(\theta)=0$）。这些映射与原 Gold 函数是扩展仿射（EA）等价的。
  • $n=6$： 容许系数恰好是 $\mathbb{F}_{64}$ 中乘法阶为 9 的六个元素。
  • $n=8$： 容许系数是子域 $\mathbb{F}_4^*$ 的非零元素。
  • $n \ge 10$（偶数）： 不存在任何非零系数 $\theta$ 能产生 APN 函数。容许系数集合为空。
• 内在特征描述： 论文为 Arshad 论文中发现的 $n=6$ 和 $n=8$ 的原始系数列表提供了首个内在的、与基无关的描述，用代数性质（阶为 9 和子域成员身份）取代了原始的域坐标。
• 射影秩二扩展（维度 8）： 作者对维度 8 中的归一化秩二扩展进行了分类。他们证明参数空间为 $\mathbb{P}^1(\mathbb{F}_4)$，其中每个的四个非基点各支持两个接受的系数对。这八个标记的切换形成了恰好两个 EA 类（并因此形成两个 CCZ 类），并组织成两个 Frobenius 循环。
• 计算工具： 提供了一个可重用的、与中心无关的不动点判据，它将秩为 $r$ 的更新的 APN 测试减少为针对预计算禁止集的 $2^r - 1$ 次包含测试。

意义与主张
论文声称其主要贡献在于针对 $n \ge 10$ 的统一非存在性结果以及针对低维度的内在几何描述。

• 方法论价值： “维度刚性”结果从更大偶数维度的 APN 函数搜索空间中剔除了整类切换机制，从而简化了未来的密码学研究。
• 结构洞察： 结果描述了已知全局 APN 类围绕 Gold 中心中心的“局部组织”。论文阐明了虽然生成的全局类是已知的，但特定的迹乘切换机制受到高度约束，仅在维度 4、6 和 8 中有效。
• 可复现性： 工作强调了严谨的可复现性，为所有有限计算（包括 12 行和 33 行轨道证书以及 $n=10, 12$ 桥接）提供了精确的 JSON 证书、Python 脚本和 SHA-256 校验和。作者明确指出，计算机辅助步骤是作为 $n \ge 14$ 的解析证明以及 $n < 10$ 的代数推导的辅助手段。

本文并非声称发现了新的全局 APN 类，而是绘制了 Gold 函数如何通过迹乘切换进行局部修改的精确边界和结构属性。