Polynomial Bounds on Degeneration Order from Commutativity Properties of Tensor Slices

Résumé Technique : Bornes Polynomiales sur l'Ordre de Dégénérescence à partir des Propriétés de Commutativité des Tranches de Tenseurs

Énoncé du Problème
L'article étudie la relation entre le rang de bord (border rank) et le rang de tenseur de tenseurs de dimension 3, en se concentrant spécifiquement sur les mesures quantitatives d'approximation connues sous le nom de degré d'erreur ($e\text{-deg}(T)$) et d'ordre de dégénérescence ($\text{ord}(T)$).

Pour un tenseur $T$ de rang de bord $r$, il existe une application polynomiale $\varepsilon \mapsto T(\varepsilon)$ telle que $\lim_{\varepsilon \to 0} T(\varepsilon) = T$ et $\text{rank}(T(\varepsilon)) \leq r$ pour de petites valeurs de $\varepsilon$. Le degré d'erreur est le degré minimal d'une telle application polynomiale, tandis que l'ordre de dégénérescence est le plus petit entier $q$ tel que $\sum_{i=1}^r u_i(\varepsilon) \otimes v_i(\varepsilon) \otimes w_i(\varepsilon) = \varepsilon^q T + \varepsilon^{q+1}Q(\varepsilon)$.

Ces quantités sont critiques pour le « débordage » (debordering) : via l'interpolation polynomiale, une borne sur le degré d'erreur $k$ implique $\text{rank}(T) \leq (k+1)r$. Alors que l'interpolation standard produit $\text{rank}(T) \leq (2\cdot\text{ord}(T)+1)r$, la meilleure borne générale pour $\text{ord}(T)$ connue dans la littérature (Lehmkuhl et Lickteig [LL89]) est exponentielle par rapport aux dimensions du tenseur. Cet article cherche à améliorer ces bornes pour des classes spécifiques de tenseurs de dimension 3, visant potentiellement des résultats de débordage non triviaux (par exemple, $\text{rank}(T) \leq 2r$).

Méthodologie
L'approche des auteurs diverge des travaux précédents qui reposaient sur des bornes supérieures globales sur le degré de la variété algébrique des tenseurs de rang de bord $r$. Au lieu de cela, ils exploitent les propriétés algébriques spécifiques des tranches de tenseurs, particulièrement la commutativité.

1. Réduction à la Commutativité Matricielle : Pour un tenseur $T \in \mathbb{C}^{m \times n \times p}$ avec une première tranche $T_1$ inversible, le problème se réduit à l'analyse des matrices $A_i = T_i T_1^{-1}$. Le rang de bord de $T$ est étroitement lié au fait que ces matrices soient Approximativement Simultanément Diagonalisables (ASD).
2. Théorème de Motzkin-Taussky : L'article s'appuie sur le théorème de Motzkin-Taussky, qui stipule qu'une paire de matrices complexes est ASD si et seulement si elles commutent. Cela permet aux auteurs de traduire le problème géométrique de la dégénérescence de tenseur en le problème algébrique de la construction de perturbations pour des matrices commutantes.
3. Techniques de Perturbation :
   • Perturbation En,1 : Pour un bloc de Jordan unique, les auteurs utilisent une perturbation spécifique $A + \varepsilon E_{n,1}$ (où $E_{n,1}$ est la matrice élémentaire avec un 1 dans l'entrée $(n,1)$). Cette perturbation préserve les relations de commutativité d'une manière qui maintient le degré d'erreur bas (linéaire en $\varepsilon$).
   • Forme de Weyr et Régularité : Pour traiter les matrices générales avec des structures de Jordan complexes, les auteurs emploient la forme de Weyr, une forme normale mieux adaptée aux matrices commutantes que la forme de Jordan. Ils introduisent le concept de $k$-régularité (où chaque sous-espace propre a une dimension au plus $k$). Spécifiquement, ils utilisent des matrices 1-régulières (où tous les sous-espaces propres sont de dimension 1) pour construire des diagonalisations simultanées.
4. Extensions Commutantes : Pour le cas surcomplet ($r \geq \min(m,n)$), les auteurs utilisent une caractérisation du rang de bord via des extensions commutantes, généralisant les résultats de [Koi25].

Contributions Clés et Résultats

L'article établit des bornes supérieures polynomiales sur le degré d'erreur et l'ordre de dégénérescence pour deux classes principales de tenseurs, améliorant significativement les bornes exponentielles de [LL89].

1. Le Cas 1-Régulier (Théorème 1.7)
Pour des tenseurs $(r, 3)$-génériques $T \in \mathbb{C}^{m \times n \times p}$ où les tranches satisfont des conditions de commutativité spécifiques et où une tranche ($Z_2 Z_1^{-1}$) est 1-régulière :

• Rang : $\text{rank}(T) = r$.
• Degré d'Erreur : $e\text{-deg}(T) \leq 1$.
• Ordre de Dégénérescence : $\text{ord}(T) \leq r - 1$.
• Signification : Puisque $e\text{-deg}(T) \leq 1$, l'interpolation standard implique $\text{rank}(T) \leq 2r$. Cela fournit un résultat de débordage non trivial pour cette classe de tenseurs.

2. Le Cas Commutatif Général (Théorème 1.6)
Pour des tenseurs $(r, 3)$-génériques de format $m \times n \times 3$ où les tranches $Z_2 Z_1^{-1}$ et $Z_3 Z_1^{-1}$ commutent (sans l'hypothèse de 1-régularité) :

• Rang : $\text{rank}(T) = r$.
• Degré d'Erreur : $e\text{-deg}(T) \leq (r-1)^3 + (r-1)^2$.
• Ordre de Dégénérescence : $\text{ord}(T) \leq 2(r-1)^3 + 3(r-1)^2 + 3(r-1)$.
• Signification : Bien que le degré d'erreur soit cubique plutôt que linéaire, il s'agit tout de même d'une amélioration polynomiale par rapport aux bornes exponentielles précédemment connues.

3. Cas Surcomplet (Théorèmes 4.10, 4.11)
Les auteurs étendent ces résultats au cas surcomplet ($r \geq \min(m,n)$) en utilisant des extensions commutantes. Les bornes sur le degré d'erreur et l'ordre de dégénérescence conservent la même forme polynomiale que le cas sous-complet, à condition que l'extension commutante existe.

Signification et Revendications
L'article affirme que ces résultats représentent une amélioration exponentielle par rapport aux bornes établies par Lehmkuhl et Lickteig [LL89] pour les classes spécifiques de tenseurs discutées.

• Débordage : La motivation principale est la question du « débordage ». En montrant que $e\text{-deg}(T)$ peut être borné par une petite constante (spécifiquement 1) sous l'hypothèse de 1-régularité, les auteurs démontrent que pour ces tenseurs, le rang du tenseur est au plus deux fois le rang de bord.
• Changement Méthodologique : Ce travail souligne que des propriétés algébriques spécifiques (commutativité et régularité des tranches) peuvent produire des bornes plus serrées que les arguments de degré géométrique généraux.
• Limites : Les auteurs font preuve de modestie quant à la portée de leurs travaux. Ils notent que leurs résultats pour les tenseurs à 3 tranches reposent sur le théorème de Motzkin-Taussky, qui ne se généralise pas facilement à plus de deux matrices. Par conséquent, étendre ces résultats à des tenseurs avec $p > 3$ tranches reste un problème ouvert, car la commutativité seule est insuffisante pour garantir un rang de bord minimal dans des dimensions supérieures. De plus, l'hypothèse de généricité (inversibilité de $Z_1$) et de 1-régularité est restrictive, et les relaxer pour résoudre la question générale du débordage demeure un problème ouvert.

En résumé, l'article fournit un cadre algébrique rigoureux pour borner la complexité de la dégénérescence de tenseurs, atteignant des bornes polynomiales là où des bornes exponentielles existaient auparavant, et établissant une voie directe vers des bornes de rang non triviales pour une sous-classe significative de 3-tenseurs.