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

1. 问题陈述与背景

本文探讨了有限域上**逐元素正定保持器（entrywise positivity preservers）**的分类问题，这是对 Schoenberg (1942) 关于实矩阵和复矩阵著名结果的一个代数类比。在经典设定中，Schoenberg 定理刻画了保持任意维数矩阵半正定性的函数 $f: \mathbb{R} \to \mathbb{R}$ 是绝对单调函数（具有非负系数的幂级数）。

虽然针对实数域和复数域下固定维度的保持器问题已取得了显著进展，但该问题在很大程度上仍是一个开放问题。本文将研究背景转向有限域 $\mathbb{F}_q$。作者定义一个对称矩阵 $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}))$ 也是正定的。

作者指出，标准的正定性定义（例如通过二次型或特征值）在有限域上无法产生有用的概念；因此采用了由 Cooper、Hanna 和 Whitlatch 建立的基于主领先子式的定义。

2. 研究方法

不同于以往依赖大量分析技术的实数或复数保持器研究，本文采用了代数、组合和数论方法。研究方法根据有限域 $\mathbb{F}_q$ 的特征和性质分为三种不同的情形：

1. 偶特征情况 ($q = 2^k$)： 在此情形下，每个非零元素都是平方元。问题简化为刻画保持非奇异性的变换。作者利用了置换多项式和单项式映射的性质。
2. 奇特征且 $q \equiv 3 \pmod 4$： 在此情形下，$-1$不是平方元。作者利用了**二次特征**$\eta$ 以及关于保持差值的二次特征的 Carlitz 定理。他们采用了间接代数论证和特征和估计（Weil 界）来建立双射性及特定的结构性质。
3. 奇特征且 $q \equiv 1 \pmod 4$： 在此情形下，$-1$ 是一个平方元。这种情况更具挑战性。作者利用了 Paley 图 $P(q)$ 的结构，其中顶点为 $\mathbb{F}_q$ 中的元素，边连接差值为平方元的元素。
   • 他们将正定保持器与 Paley 图及其子图的自同构联系起来。
   • 他们利用 Erdős-Ko-Rado (EKR) 定理针对平方阶 Paley 图分析最大团（maximum cliques）。
   • 他们应用 Lucas 定理（关于模素数的二项式系数）来分析 $q \equiv 3 \pmod 4$ 情况下的幂函数。

3. 主要贡献与结果

本文对维度 $n \ge 3$ 的正定保持器给出了完整的刻画，并对 $n=2$ 的情况给出了近乎完整的刻画。

主要定理

设 $f: \mathbb{F}_q \to \mathbb{F}_q$。

• 定理 A（偶特征，$q=2^k$）：

  • 对于 $n \ge 3$，$f$ 保持 $M_n(\mathbb{F}_q)$ 上的正定性当且仅当 $f$ 是一个域自同构的非零倍数（即 $f(x) = c x^{2^\ell}$）。
  • 对于 $n=2$，$f$ 保持正定性当且仅当 $f$ 是一个双射单项式（$f(x) = cx^n$ 且 $\gcd(n, q-1)=1$）。

• 定理 B（奇特征，$q \equiv 3 \pmod 4$）：

  • 对于 $n \ge 2$，$f$ 保持正定性当且仅当 $f(0)=0$ 且对于所有 $a,b$，满足 $\eta(f(a)-f(b)) = \eta(a-b)$。
  • 这等价于 $f$ 是一个域自同构的正倍数（$f(x) = c x^{p^\ell}$ 其中 $c \in \mathbb{F}_q^+$）。

• 定理 C（奇特征，$q \equiv 1 \pmod 4$）：

  • 对于 $n \ge 3$，其刻画与定理 B 相同：$f$ 必须是域自同构的正倍数。
  • 对于 $n=2$，该刻画适用于所有 $q$，除非 $q \equiv 1 \pmod 4$ 且 $q$ 不是完全平方数。
  • 如果 $q = r^2$（完全平方数），则 $n=2$ 的情况也被完整刻画为域自同构的正倍数。这依赖于平方阶 Paley 图中团的特定结构。

• 定理 D（符号保持器）：

  • 本文还刻画了符号保持器（将正定矩阵映射为正定矩阵，并将非正定矩阵映射为非正定矩阵的函数）。
  • 对于 $n \ge 3$，这些函数正是域自同构的正倍数。
  • 对于 $n=2$，它们是双射单项式（偶 $q$）或域自同构的正倍数（奇 $q$）。

推论 1.4

主要结果的一个令人惊讶的推论是，对于任何固定的 $n \ge 3$，$M_n(\mathbb{F}_q)$ 上的正定保持器恰好是 $\mathbb{F}_q$ 域自同构的正倍数。这意味着此类函数保持任何矩阵的所有子式的“符号”（二次特征）。

4. 意义与主张

作者声称其工作解决了有限域环境下 Schoenberg 定理的代数版本。其意义在于：

1. 固定维度的完备性： 不同于实/复数领域中仍处于开放状态的固定维度问题，作者在有限域上提供了 $n \ge 3$ 的完整分类。
2. 新颖的联系： 证明过程挖掘了以下领域之间的新联系：
   • 正定保持器与域自同构。
   • 正定保持器与 Paley 图的自同构。
   • Paley 图中的团结构（特别是使用平方阶的 EKR 定理）。
3. 维度的敏感性： 结果强调了 $n=2$ 与 $n \ge 3$ 之间的显著差异。虽然 $n \ge 3$ 强制要求保持器为（在标量意义下的）域自同构，但 $n=2$ 的情况在偶特征下允许更广泛的双射单项式类。
4. 开放问题： 作者明确指出，当 $q \equiv 1 \pmod 4$ 且 $q$ 不是平方数时，$n=2$ 的情况仍未解决。他们指出，估计此类情况下 Paley 图的团数（clique number）是极其困难的，这阻碍了他们目前的分析技术。他们提出了这样一个问题：在这种未解决的情况下，在 $\mathbb{F}_q^+$ 上的单射性是否为必要条件。

文章最后指出，虽然其重点是正定性，但有限域上半正定性的类似问题仍是一个有待未来研究的开放领域，因为标准的半正定性概念无法直接转化为有限域的概念。