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)$ が存在し、$\lim_{\varepsilon \to 0} T(\varepsilon) = T$ かつ、微小な $\varepsilon$ に対して $\text{rank}(T(\varepsilon)) \leq r$ を満たす。誤差次数は、このような多項式写像の最小次数であり、退化次数は、$\sum_{i=1}^r u_i(\varepsilon) \otimes v_i(\varepsilon) \otimes w_i(\varepsilon) = \varepsilon^q T + \varepsilon^{q+1}Q(\varepsilon)$ を満たす最小の整数 $q$ である。

これらの量は「デボーダリング（debordering：境界ランクからのランク復元）」において極めて重要である。多項式補間を用いれば、誤差次数 $k$ の境界から $\text{rank}(T) \leq (k+1)r$ が導かれるが、標準的な補間では $\text{rank}(T) \leq (2\cdot\text{ord}(T)+1)r$ となる。既知の文献における $\text{ord}(T)$ の最良の一般境界（Lehmkuhl and 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の定理： 本論文は、複素行列のペアがASDであるための必要十分条件がそれらの可換性であるというMotzkin-Tausskyの定理を活用している。これにより、著者らはテンソルの退化という幾何学的な問題を、可換な行列のための摂動を構成するという代数的な問題へと変換している。
3. 摂動技法：
   • En,1 摂動： 単一のジョルダン細胞に対して、著者らは特定の摂動 $A + \varepsilon E_{n,1}$（ここで $E_{n,1}$ は $(n,1)$ 成分に1を持つ基本行列）を利用する。この摂動は、可換関係を維持したまま、誤差次数を低く（$\varepsilon$ に関して線形に）保つ。
   • Weyr形式と正則性： 一般的なジョルダン構造を持つ行列を扱うため、著者らはジョルダン形式よりも可換行列に適した標準形であるWeyr形式を採用している。また、$k$-正則性（すべての固有空間の次元が最大 $k$ であること）の概念を導入している。具体的には、すべての固有空間が1次元である1-正則行列を利用して、同時対角化を構成している。
4. 可換拡張： 過剰決定の設定（$r \geq \min(m,n)$）において、著者らは[Koi25]の結果を一般化し、可換拡張による境界ランクの特性化を用いている。

主要な貢献と結果

本論文は、2つの主要なクラスのテンソルに対して、誤差次数および退化次数の多項式上界を確立しており、これは[LL89]の指数関数的な境界を大幅に改善するものである。

1. 1-正則ケース (Theorem 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. 一般的な可換ケース (Theorem 1.6)
スライス $Z_2 Z_1^{-1}$ と $Z_3 Z_1^{-1}$ が可換である（1-正則性の仮定なし）、フォーマット $m \times n \times 3$ の $(r, 3)$-生成的テンソルについて：

• ランク： $\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次であるが、依然として既知の指数関数的な境界に対する多項式的な改善となっている。

3. 過剰決定設定 (Theorems 4.10, 4.11)
著者らは、可換拡張が存在する場合、過剰決定の設定（$r \geq \min(m,n)$）へとこれらの結果を拡張している。誤差次数および退化次数の境界は、可換拡張が存在する限り、不足決定の場合と同じ多項式の形状を保持している。

意義と主張
本論文は、議論されている特定のクラスのテンソルに対して、Lehmkuhl and Lickteig [LL89] によって確立された境界に対し、指数関数的な改善を実現したと主張している。

• デボーダリング： 主な動機は「デボーダリング」の問題である。1-正則性の仮定の下で $e\text{-deg}(T)$ が小さな定数（具体的には1）に抑えられることを示すことで、著者らは、これらのテンソルにおいてテンソル・ランクが境界ランクの最大2倍であることを実証している。
• 手法の転換： 本研究は、特定の代数的性質（スライスの可換性と正則性）が、一般的な幾何学的次数の議論よりもタイトな境界をもたらし得ることを強調している。
• 限界： 著者らはその範囲について謙虚である。3スライス・テンソルの結果はMotzkin-Tausskyの定理に依存しており、これは2つの行列に対しては容易に一般化できないことを指摘している。したがって、これらを $p > 3$ 個のスライスを持つテンソルへと拡張することは、可換性だけでは最小境界ランクを保証するには不十分であるため、依然として未解決の問題である。さらに、生成性（$Z_1$ の可逆性）や1-正則性の仮定は制約的であり、これらを緩和して一般的なデボーダリング問題を解決することは今後の課題である。

要約すると、本論文はテンソルの退化の複雑さを制限するための厳密な代数的枠組みを提供し、これまで指数関数的であった箇所に対して多項式的な境界を達成し、重要な3次テンソルの部分集合に対して非自明なランク境界への直接的な経路を確立している。