Positivity preservers over finite fields II

技术摘要：有限域上的正定保持器 II

问题陈述
本文研究了对有限域 $\mathbb{F}_q$ 上 $n \times n$ 矩阵空间 $M_n(\mathbb{F}_q)$ 的逐元素正定保持器（entrywise positivity preservers）的分类问题。一个矩阵 $A \in M_n(\mathbb{F}_q)$ 被定义为正定，如果它是对称的，且其所有主前向子式均为 $\mathbb{F}_q$ 中的非零平方元（即 $\mathbb{F}_q^+$ 中的元素）。函数 $f: \mathbb{F}_q \to \mathbb{F}_q$ 是一个逐元素正定保持器，是指每当 $A$ 是正定时，矩阵 $f[A] = (f(a_{ij}))$ 也是正定的。

作者之前的研究（发表于 J. Algebra, 2025）已成功分类了所有维度 $n \ge 3$ 的情况，以及 $n=2$ 且 $q$ 为偶数、$q \equiv 3 \pmod 4$ 或 $q$ 为奇数平方的情况，但仍有一个特定情形悬而未决：

• 开放情形： $n = 2$，$q \equiv 1 \pmod 4$，且 $q$ 不是完全平方数。

在先前的研究中，作者确定了一个策略（[5] 中的命题 5.8），该策略表明，如果 $f$ 在 $M_2(\mathbb{F}_q)$ 上保持正定性，且 $f$ 经过归一化使得 $f(1)=1$，那么只要 $f$ 在非零平方集 $\mathbb{F}_q^+$ 上的限制是单射的，则 $f$ 必为幂映射（$f(x) = x^{p^j}$）。缺失的一环在于证明对于所有此类 $q$，这种单射性是自动成立的。

方法论
作者通过证明任何在 $M_2(\mathbb{F}_q)$（其中 $q \equiv 1 \pmod 4$）上的正定保持器在 $\mathbb{F}_q^+$ 上必然是单射的，从而解决了这一开放情形。该证明采用了一种新颖的方法，避开了此前在处理非平方阶 $q$ 时阻碍研究的 Paley 图结构复杂性。

1. 幂等归约（Idempotent Reduction）： 作者考虑函数 $f$ 的迭代序列（即 $f, f^{(2)}, f^{(3)}, \dots$）。由于 $\mathbb{F}_q$ 是有限的，该序列最终会进入周期性。他们选择一个迭代项 $h = f^{(m)}$，使得 $h$ 是一个幂等正定保持器（即 $h \circ h = h$）。
2. 通过二次特征进行矛盾证明： 假设 $h$ 在 $\mathbb{F}_q^+$ 上不是单射的，则存在不同的 $a, b \in \mathbb{F}_q^+$ 使得 $h(a) = h(b) = s$。
   • 他们利用了一个关于二次特征的已知性质（引理 2.1）：对于不同的 $a, b \in \mathbb{F}_q^+$，存在一个非平方元 $z \in \mathbb{F}_q^-$，使得 $a-z \in \mathbb{F}_q^+$ 且 $b-z \in \mathbb{F}_q^-$。
   • 他们构造了两个涉及 $a, b, z$ 的特定正定矩阵 $A_1$ 和 $A_2$。
   • 通过对这些矩阵应用幂等映射 $h$，他们导出了关于 $v = h(z)$ 的约束条件。具体而言，正定性的保持要求 $v$ 必须是一个平方元（$v \in \mathbb{F}_q^+$）。
   • 随后，他们使用 $v$ 和 $z$ 构造了第三个矩阵 $C$。取决于 $v-z$ 是平方元还是非平方元，$C$ 被证明是正定的。
   • 然而，将 $h$ 应用于 $C$ 会产生一个奇异矩阵（行列式为零的矩阵），这与正定保持器的定义相矛盾。
3. 统一性： 该证明对所有 $q \equiv 1 \pmod 4$ 均有效，绕过了依赖于非平方阶下不存在的子域结构的“团结构”（clique structure）论证。

主要贡献与结果
主要贡献在于证明了定理 1.1，该定理确立了对于 $q \equiv 1 \pmod 4$，任何保持 $M_2(\mathbb{F}_q)$ 正定性的函数 $f$ 在 $\mathbb{F}_q^+$ 上都是单射的。

结合 [5] 中的先前分类，这一结果导出了每个有限域和固定维度 $n$ 下逐元素正定保持器的完整分类（定理 1.2）：

• 情况 $n=1$： $f(\mathbb{F}_q^+) \subseteq \mathbb{F}_q^+$。
• 情况 $n=2, q$ 为偶数： $f$ 是双射单项式 $f(x) = cx^m$，其中 $\gcd(m, q-1)=1$。
• 情况 $n \ge 3, q$ 为偶数： $f(x) = cx^{2^j}$。
• 情况 $n \ge 2, q$ 为奇数： $f(x) = cx^{p^j}$，其中 $c \in \mathbb{F}_q^+$ 且 $0 \le j \le k-1$（此处 $q=p^k$）。

值得注意的是，作者观察到在奇特征下，维度 $n=2$ 的分类与所有维度 $n \ge 3$ 的分类是相同的。

意义与主张
本文声称解决了有限域上逐元素正定保持器分类中最后剩下的情形。通过证明这些映射在平方集上的单射性是自动成立的，作者统一了所有维度和域特征下的理论。

该工作的意义在于：

1. 完成分类： 它为一个曾被部分解决、仅剩特定非平方阶 $n=2$ 情形开放的问题提供了最终答案。
2. 方法论创新： 证明引入了“幂等归约”技术。这种方法成功地规避了分析非平方阶 Paley 图的团数（clique number）这一极其困难的组合学问题。
3. 统一性： 它证明了在维度 $n=2$（对于奇数 $q$）下的正定保持器的结构约束并不比高维情况下更复杂，这与人们根据 $n=2$ 特殊性可能产生的预期相反。

作者明确指出，其证明并不依赖于平方阶 $q$ 所具备的特殊子域结构，这使得该结果对于所有 $q \equiv 1 \pmod 4$ 都是稳健的。