乘法逆函数的零和子空间有多少个？

统计逆函数和为零的子空间

设 q=2^n，F_q 为含 q 个元素的有限域。论文中的所有子空间都是 F_2 子空间，所有维数也都在 F_2 上取。对于 F_q 的子空间 E，论文研究的是和 S(E)=Σ_{x∈E\{0}} x^{−1}，其中 x^{−1} 是 F_q 中的乘法逆元。量 N_{n,k} 是满足 S(E)=0 的 k 维 F_2 子空间 E 的个数。

论文中的猜想 1.1 即 Carlet 猜想，它断言对每个 n≥6 以及每个 3≤k≤n−3，都有 N_{n,k}>0。等价地说，F_{2^n} 上的乘法逆函数在该范围内不是 k 阶和自由的。论文的主要定理，即定理 1.3，证明了这个猜想。

一个有用的化简是只需检查向量子空间。Carlet 观察到，若 V 是向量子空间且 a∉V，则 Σ_{x∈a+V} x^{−1}=L'_V(a)/L_V(a)=b_0/L_V(a)≠0，其中 L_V 是 V 的子空间多项式，b_0 是其 X 的系数。因此不包含 0 的仿射子空间永远不会给出零和，所以对向量子空间计数 N_{n,k} 才是正确的对象。

中心区间为何让早期点计数失效

早期工作已取得实质进展。Carlet 引入了子空间多项式的表述，证明了对称性 N_{n,d}=N_{n,n−d}，并指出子空间多项式的次高项系数 τ(H) 是关键量。Carlet 和 Hou 使用 Frobenius 不变子空间与点计数方法，对偶数 n 以及相对较小的维数证明了该猜想。Ebeling、Hou、Rydell 和 Zhao 找到了更多算术族。Hou 和 Zhao 证明了对称多项式 F_k 与 Θ_k 的绝对不可约性，他们的点计数估计在 n≥8 时解决了范围 3≤k≤⌊n/3⌋+2 与 ⌈2n/3⌉−2≤k≤n−3 内的猜想，并在 n≥k+3 时解决了每个固定维数 3≤k≤12。后续一篇论文处理了所有非素数扩张次数 n。

剩余情形被限制在素数扩张次数，而当 k 与 n 成比例增长时，已有方法无法给出统一处理。障碍是具体的：涉及的两个超曲面次数为 deg F_k=2^k−2 与 deg Θ_k=2^k−1。当 k 与 n 成比例时，这些次数关于 n 是指数级的，通常的点计数误差项无法在中心区间提供一致信息。许多已知构造所用的非平凡中间子域在那里也不可用。

Cheng 的论证走了一条不同的路线，不依赖 n 的素性。它对任意 n 在范围 n≥2k+1 内给出统一的定量估计，同时避开了对那些高次超曲面的点计数。

追踪整个系数分布而非只看零点

对于 d 维子空间 H，设 L_H 为其子空间多项式，τ(H) 为其次高项系数。论文不是只追踪满足 τ(H)=0 的子空间，而是研究在包含 1 的 d 维子空间中 τ(H) 的整个分布。原因是结构性的：仅看 τ(H)=0 的计数在从维数 d 过渡到 d+1 时不满足封闭递推，而完整分布满足。

具体地，对 1≤d≤n 与 b∈F_q，定义 h_d(b) 为满足 1∈H 且 τ(H)=b 的 d 维子空间 H 的个数，令 B_d 为计数超平面中 (d−1) 维子空间的高斯二项式系数，并令 p_d(b)=h_d(b)/B_d。则 p_d 是一个概率分布：若从包含 1 的 d 维子空间中均匀选取 H，则 p_d(b)=P(τ(H)=b)。当 d=1 时，唯一这样的子空间是 F_2={0,1}，其子空间多项式为 X^2+X，因此 p_1=δ_1。

引理 2.3 把这个分布与目标计数联系起来：p_d(0)=N_{n,d}/G_{n,d}，其中 G_{n,d} 是计数 F_q 的 d 维子空间的高斯二项式系数。论文还记录了对偶性 N_{n,d}=N_{n,n−d}，以及在迹配对下把子空间与其子空间多项式像的正交补联系起来的恒等式 S(A)=τ(H)^2。

两步收缩的递推处理增长维数

代数引擎是映射 φ(x)=x^2+x。其核为 F_2，像为 T=ker Tr。若 H 是包含 1 的 (d+1) 维子空间，则 φ(H) 是 T 的 d 维子空间；反之，T 的每个 d 维子空间 V 的原像 φ^{−1}(V) 都是包含 1 的 (d+1) 维子空间。这给出了两个族之间的双射。比较 L_H=L_V∘φ 的两个最高次项可得 τ(H)=1+τ(V)。

定理 3.1 把它变成分布的精确递推：p_{d+1}(1)=p_d(0)，且对 b≠1，p_{d+1}(b)=[1−p_d(0)+(s−1)Σ_{v∈F_q^*} ψ((b+1)/v)p_d(v)]/(q−s)，其中 s=2^d，ψ(x)=(−1)^{Tr(x)}。把它写成 p_{d+1}=T_{2^d} p_d，就定义了 F_q 上实值函数的一个线性算子 T_s。该算子保持坐标和，并固定均匀分布 u=q^{−1}1，因此 p_{d+1}−u=T_s(p_d−u)。

对 T_s 的傅里叶分析正是统一性的来源。引理 4.1 表明，在坐标和为零的函数子空间 H 上，||T_s f||_2^2=α_s^2||f||_2^2+(1−α_s^2)|⟨f,w_0⟩|^2，其中 α_s=√q(s−1)/(q−s)，并且 T_s w_0=w_1。在 w_0^⊥∩H 上，该算子是 α_s 倍的一个等距映射，映入 w_1^⊥∩H。每一步中除一个方向外都被收缩；例外方向被映射到与下一步例外方向几乎正交的方向，因此连续两步给出统一收缩。这正是使维数与 n 成比例增长时仍可处理的原因。

定量界与中心区间渐近

定理 1.2 是该结果的定量形式。设 k≥3，n≥2k+1，并令 r=⌊(k−1)/2⌋。则 |2^n N_{n,k}/G_{n,k} − 1| < 2^{r^2+r} 2^{n(1−r/2)}。特别地，若 k≥10，则 N_{n,k} > G_{n,k}/2^{n+1}。

证明把从 f_1=p_1−u 到 f_k=p_k−u 的 k−1 次转移分成 r 个连续对。对于从 d=2j+1 开始的那一对，假设 n≥2k+1 给出 q=2^n≥2^{2d+5}=32s^2，因此两步估计适用，且 ||f_{2j+3}||_2 < (2·2^{2j+1}/√q)||f_{2j+1}||_2。对 j=0,…,r−1 迭代并使用 Σ_{j=0}^{r−1}(2j+2)=r^2+r，得到 ||f_k||_2 < 2^{r^2+r} q^{−r/2}。由于 p_k(0)=N_{n,k}/G_{n,k} 且 u(0)=1/q，任一坐标都被欧几里得范数控制，乘以 q=2^n 后即得所述不等式。

最强的陈述是中心区间的统一估计：对所有充分大的 n，在 n/3<k≤(n−1)/2 上取上确界，有 |2^n N_{n,k}/G_{n,k} − 1| < 2^{−n^2/18+4n/3}。这说明在整个中心区间内，零和 k 维子空间所占比例渐近于 2^{−n}，且对 k 一致成立，端点 k=(n−1)/2 也包含在内。这也正是超曲面次数相对于域大小最大的范围，恰恰是早期点计数方法失去统一性的地方。

从定量估计到 Carlet 猜想

定理 1.3 由若干部分拼出该猜想。由对称性 N_{n,d}=N_{n,n−d}，可以把 k 换成 min(k,n−k) 并假设 k≤n/2。若 n 为偶数且 k=n/2，则子域 F_{2^k}⊆F_{2^n} 是一个零和 k 维空间，因为求逆置换其非零元素，而 F_{2^k} 所有元素之和为零。这就是初等的中间维子域构造。

在所有剩余情形中都有 n≥2k+1。对 k≥10，定理 1.2 给出 N_{n,k}>0。只需再考虑 3≤k≤9，而 Hou 和 Zhao 在条件 n≥k+3 下对每个 3≤k≤12 证明了所需结论，该条件在这里自动成立。合并这些情形即得在整个 3≤k≤n−3 上 N_{n,k}>0，从而证明了该猜想。

论文还指出，定理 3.1 的递推为固定 n 时计算 N_{n,k} 提供了精确步骤：在非零域元素经求逆置换后，公式 (3.4) 可用加性傅里叶变换求值。作者说明这一计算观察对证明并非必需。

该界成立与不成立的范围

该结果是关于 F_q（q=2^n）的 F_2 子空间的计数陈述，而不是关于仿射子空间。化简到向量子空间由 Carlet 的观察保证：不包含 0 的仿射子空间总是给出非零的逆函数和，因此 N_{n,k} 才是相关的计数。

定理 1.2 的定量界在 k≥3 且 n≥2k+1 时适用。更强的统一估计 (1.3) 是对所有充分大的 n 以及 n/3<k≤(n−1)/2 陈述的；它并未声称对每个 n 或对整个范围 3≤k≤n−3 成立。剩余小维数 3≤k≤9 的存在性依赖 Hou 和 Zhao 早先在 n≥k+3 时对 3≤k≤12 的结果，而偶数 n 的中间维情形 k=n/2 依赖子域构造。

渐近式 N_{n,k}∼2^{−n}G_{n,k} 在 n→∞ 时对 n/3<k≤(n−1)/2 一致成立。它描述的是零和 k 维子空间在所有 k 维 F_2 子空间中所占的比例，而不是绝对计数，并且是渐近陈述而非有限 n 的恒等式。论文的方法避开了对高次超曲面的点计数，也不依赖 n 的素性，这正是当 k 与 n 成比例增长时能够统一处理的原因。

这篇论文确立的判断重点

这篇论文中与判断相关的比较，是点计数能给出什么与分布递推能给出什么之间的比较。点计数在 n≥8 时解决了范围 3≤k≤⌊n/3⌋+2 与 ⌈2n/3⌉−2≤k≤n−3 内的猜想，并在 n≥k+3 时解决了每个固定维数 3≤k≤12，但当 k 与 n 成比例时，其误差项会退化，因为超曲面次数 2^k−2 与 2^k−1 关于 n 变成指数级。Cheng 的递推则在每对维数上把偏离均匀分布的部分收缩一个因子，从而在中心区间 n/3<k≤(n−1)/2 上给出统一界。

对于想从这篇论文中获取要点的读者，最锐利的结论是中心区间陈述：零和 k 维子空间所占比例渐近于 2^{−n}，对 k 一致成立，且包含端点 k=(n−1)/2。这种统一性，而非每个维数仅存在一个零和子空间这一事实本身，才是论文的独特贡献，也正是它补上了早期方法留下的素数扩张次数情形。

本文引用的文献