Polynomial Bounds on Degeneration Order from Commutativity Properties of Tensor Slices

技术摘要：基于张量切片交换性质的多项式退化阶数界限

问题陈述
本文研究了 3-张量的 边际秩（border rank） 与 张量秩（tensor rank） 之间的关系，特别关注被称为 误差度（error degree, $e\text{-deg}(T)$） 和 退化阶数（order of degeneration, $\text{ord}(T)$） 的定量度量。

对于一个边际秩为 $r$ 的张量 $T$，存在一个多项式映射 $\varepsilon \mapsto T(\varepsilon)$，使得当 $\varepsilon \to 0$ 时 $\lim_{\varepsilon \to 0} T(\varepsilon) = T$，且对于较小的 $\varepsilon$，$\text{rank}(T(\varepsilon)) \leq r$。误差度 是此类多项式映射的最小次数，而 退化阶数 是最小整数 $q$，满足 $\sum_{i=1}^r u_i(\varepsilon) \otimes v_i(\varepsilon) \otimes w_i(\varepsilon) = \varepsilon^q T + \varepsilon^{q+1}Q(\varepsilon)$。

这些量对于“去边际化（debordering）”至关重要：通过多项式插值，误差度 $k$ 的界限意味着 $\text{rank}(T) \leq (k+1)r$。虽然标准的插值法得出 $\text{rank}(T) \leq (2\cdot\text{ord}(T)+1)r$，但文献中已知的关于 $\text{ord}(T)$ 的最佳一般界限（Lehmkuhl 和 Lickteig [LL89]）是关于张量维度的指数级。本文旨在改进这些特定类 3-张量的界限，从而可能产生非平凡的去边际化结果（例如 $\text{rank}(T) \leq 2r$）。

方法论
作者的方法不同于以往依赖于边际秩为 $r$ 的张量代数簇全局上界的研究。相反，他们利用了张量切片的特定代数性质，特别是 交换性（commutativity）。

1. 归约为矩阵交换性： 对于具有可逆第一切片 $T_1$ 的张量 $T \in \mathbb{C}^{m \times n \times p}$，问题归约为分析矩阵 $A_i = T_i T_1^{-1}$。张量的边际秩与这些矩阵是否为 近似同时对角化（Approximately Simultaneously Diagonalizable, ASD） 密切相关。
2. Motzkin-Taussky 定理： 本文利用了 Motzkin-Taussky 定理，该定理指出，一对复矩阵是 ASD 的充且当且仅当它们交换。这使得作者能够将张量退化的几何问题转化为构造交换矩阵扰动的代数问题。
3. 扰动技术：
   • En,1 扰动： 对于单个 Jordan 块，作者利用了特定的扰动 $A + \varepsilon E_{n,1}$（其中 $E_{n,1}$ 是在 $(n,1)$ 位置为 1 的初等矩阵）。这种扰动以保持交换关系的方式，使误差度保持较低（关于 $\varepsilon$ 为线性）。
   • Weyr 型与正则性： 为了处理具有复杂 Jordan 结构的通用矩阵，作者采用了 Weyr 型（Weyr form），这是一种比 Jordan 型更适合交换矩阵的正规型。他们引入了 $k$-正则性（$k$-regularity） 的概念（即每个特征空间的维度至多为 $k$）。具体而言，他们利用 1-正则矩阵（所有特征空间均为 1 维）来构造同时对角化。
4. 交换扩展： 对于过完备设置（$r \geq \min(m,n)$），作者使用通过交换扩展来表征边际秩，推广了 [Koi25] 的结果。

核心贡献与结果

本文为两类主要的张量建立了误差度和退化阶数的多项式上界，显著改进了 [LL89] 中的指数级界限。

1. 1-正则情况（定理 1.7）
对于满足特定交换条件且其中一个切片（$Z_2 Z_1^{-1}$）为 1-正则 的 $(r, 3)$-泛型张量 $T \in \mathbb{C}^{m \times n \times p}$：

• 秩： $\text{rank}(T) = r$。
• 误差度： $e\text{-deg}(T) \leq 1$。
• 退化阶数： $\text{ord}(T) \leq r - 1$。
• 意义： 由于 $e\text{-deg}(T) \leq 1$，标准插值意味着 $\text{rank}(T) \leq 2r$。这为这类张量提供了 非平凡的去边际化结果。

2. 通用交换情况（定理 1.6）
对于切片 $Z_2 Z_1^{-1}$ 和 $Z_3 Z_1^{-1}$ 交换的 $(r, 3)$-泛型张量，其格式为 $m \times n \times 3$（不带 1-正则性假设）：

• 秩： $\text{rank}(T) = r$。
• 误差度： $e\text{-deg}(T) \leq (r-1)^3 + (r-1)^2$。
• 退化阶数： $\text{ord}(T) \leq 2(r-1)^3 + 3(r-1)^2 + 3(r-1)$。
• 意义： 虽然误差度是三次而非线性的，但它仍然是对先前已知指数级界限的 多项式级改进。

3. 过完备设置（定理 4.10, 4.11）
作者使用交换扩展将这些结果扩展到过完备情况（$r \geq \min(m,n)$）。只要存在交换扩展，误差度和退化阶数的界限在形式上与欠完备情况保持一致的多项式形状。

意义与主张
本文声称，对于所讨论的特定类张量，这些结果相对于 Lehmkuhl 和 Lickteig [LL89] 建立的界限实现了 指数级改进。

• 去边际化： 去边际化问题是主要动机。通过证明在 1-正则性假设下 $e\text{-deg}(T)$ 可以被限制在一个很小的常数（具体为 1），作者证明了对于这些张量，其张量秩至多是边际秩的两倍。
• 方法论转变： 这项工作强调了特定的代数性质（切片的交换性和正则性）可以比一般的几何次数论证产生更紧凑的界限。
• 局限性： 作者对研究范围持谨慎态度。他们指出，针对 3-切片张量的结果依赖于 Motzkin-Taussky 定理，该定理难以推广到两个以上的矩阵。因此，将这些结果扩展到 $p > 3$ 个切片的张量仍是一个开放问题，因为仅靠交换性不足以在高维情况下保证最小边际秩。此外，泛型假设（$Z_1$ 的可逆性）和 1-正则性是具有限制性的，放宽这些假设以解决一般的去边际化问题仍是一个开放课题。

总之，本文提供了一个严谨的代数框架来限制张量退化的复杂度，在以往是指数级界限的地方实现了多项式界限，并为显著的 3-张量子类建立了通往非平凡秩界限的直接路径。