Symmetric Bessmertny\u{i} Realizations and Field Extension Problems in Characteristic 2 - A Differential Algebra Approach

技术摘要：特征 2 下的对称 Bessmertny˘ı 实现与域扩张问题

问题陈述
本文探讨了确定多元有理矩阵函数 $F(z)$ admit 对称 Bessmertny˘ı 实现 (SBR) 或 齐次对称 Bessmertny˘ı 实现 (hSBR) 的充要条件的问题。具体而言，本文聚焦于底层域 $F$ 具有 特征 2 ($\text{char}(F) = 2$) 的情形。

Bessmertny˘ı 实现 (BR) 将 $F(z)$ 表示为仿射线性矩阵束 (LP) 的 Schur 补。SBR 要求该矩阵束是对称的。虽然此类实现的存在性在 [EOW26] 中最近已得到确立，但针对特征 2 情形（特别是 $n \ge 2$）的原始证明是算法性的、冗长的（约 26 页），并且严重依赖于逐例分析。本文旨在提供一种更为简洁、纯粹的代数理解，以阐明为何特征 2 下的特定标量可实现性准则成立。

方法论
作者采用 微分代数 作为主要工具，以取代 [EOW26] 中的算法方法。方法论步骤如下：

1. 形式偏导数： 作者在正特征域上的有理函数域 $F(z)$ 上定义了形式偏导数 $\frac{\partial}{\partial z_i}$。
2. 常数域： 他们利用了在特征 $p$ 下，这些导数的常数域是 $p$ 次幂子域这一性质，记为 $F(z^p)$。在特征 2 下，即为 $F(z^2)$。
3. 约化至对角元： 通过分析 Schur 补公式的导数，作者证明了在特征 2 下，矩阵函数 $F(z)$ 的可实现性完全由其对角元的性质决定。
4. 向量空间分析： 本文将有理函数空间视为常数子域 $F(z^2)$ 上的向量空间。这使得对“可实现”与“不可实现”函数的“密度”进行量化成为可能。
5. 若尔当代数结构： 本文利用若尔当代数理论（特别是丰富的厄米子空间），将对称可实现函数集表征为特定生成元的丰富包 (ample hull)。

主要贡献与结果

• Bessmertny˘ı 实现定理的替代证明： 本文提供了一个简短的、纯粹的代数证明，证明了定理 1（来自 [EOW26]），该定理刻画了 SBR 和 hSBR。

  • 定理 2（标量情形）： 对于特征 2 下的标量有理函数 $F(z)$，$F(z)$ 具有 SBR 当且仅当 $F(z)$ 位于由 $\{q_0^2 + z_1 q_1^2 + \dots + z_n q_n^2 : q_i \in F(z)\}$ 张成的子空间中。类似地，$F(z)$ 具有 hSBR 当且仅当它位于由 $\{z_1 q_1^2 + \dots + z_n q_n^2 : q_i \in F(z)_0\}$ 张成的子空间中。
  • 该证明依赖于表明：如果 $F(z)$ 具有 SBR，则其偏导数 $\frac{\partial F}{\partial z_i}$ 必须属于常数域 $F(z^2)$。该条件被证明等价于上述张成条件。

• 不可实现函数的量化：

  • 本文确立了 $F(z)$ 是 $F(z^2)$ 上的 $2^n$ 维向量空间，而 SBR 的子空间仅为 $(n+1)$ 维。
  • 因此，非 SBR 元素的“密度”随着 $n \to \infty$ 而趋近于 1（具体而言，可实现元素与总元素之比为 $\frac{n+1}{2^n}$）。这在数学上量化了这样一个观察：在特征 2 下，不可实现的对称函数远比可实现的函数丰富。

• 域扩张定理（定理 3）：

  • 本文证明了一个关于域扩张的新结果：如果系数在 $F(z)$ 中的有理矩阵函数 $F(z)$ 在更大的域扩张 $K(w)$（其中 $K$ 是 $F$ 的扩张）上 admit SBR（或 hSBR），则它必然在原始域 $F(z)$ 上 admit 此类实现。
  • 该结果仅在特征 2 下是非平凡的；对于其他特征，它直接由定理 1 得出。该证明利用了域扩张下常数域的性质（推论 1）。

• 若尔当代数刻画：

  • 对称 Bessmertny˘ı 可实现函数集被识别为矩阵代数中对称元素的 丰富子空间（一种特定类型的若尔当子代数）。已证明它是集合 $\{I_k, z_1 I_k, \dots, z_n I_k\}$ 的丰富包。

意义与主张
本文主张其首要意义在于 简化与洞察。通过将算法构造转变为微分代数框架，作者：

1. 大幅缩短了特征 2 可实现性条件的证明（将针对最困难情形所投入的篇幅从 26 页缩减为简洁的代数论证）。
2. 提供了一个清晰的结构性理由，解释为何在特征 2 下对角元决定了整个矩阵的可实现性（通过形式导数的行为）。
3. 提供了特征 2 下反例“丰富性”的精确代数刻画，将问题表述为常数域上向量空间的维数问题。
4. 建立了关于这些实现的域扩张新定理，阐明了可实现性是函数在基域上的固有属性，与用于实现的系数域无关。

作者并未声称发现了新的物理应用或提出了实验实施方案。相反，该工作被呈现为对线性系统理论和矩阵函数实现的理论 refinement，专门解决由特征 2 域引入的代数细微差别。