Polynomial Bounds on Degeneration Order from Commutativity Properties of Tensor Slices

Technische Samenvatting: Polynomiale Grenzen aan de Degeneratieorde vanuit Commutativiteitseigenschappen van Tensorslices

Probleemstelling
Het artikel onderzoekt de relatie tussen de border rank en de tensor rank van 3-tensoren, met een specifieke focus op de kwantitatieve maten van benadering die bekend staan als de foutgraad ($e\text{-deg}(T)$) en de degeneratieorde ($\text{ord}(T)$).

Voor een tensor $T$ met border rank $r$, bestaat er een polynomiale afbeelding $\varepsilon \mapsto T(\varepsilon)$ zodanig dat $\lim_{\varepsilon \to 0} T(\varepsilon) = T$ en $\text{rank}(T(\varepsilon)) \leq r$ voor kleine $\varepsilon$. De foutgraad is de minimale graad van een dergelijke polynomiale afbeelding, terwijl de degeneratieorde de kleinste integer $q$ is waarvoor $\sum_{i=1}^r u_i(\varepsilon) \otimes v_i(\varepsilon) \otimes w_i(\varepsilon) = \varepsilon^q T + \varepsilon^{q+1}Q(\varepsilon)$.

Deze grootheden zijn cruciaal voor het "debordering"-proces: via polynomiale interpolatie impliceert een grens aan de foutgraad $k$ dat $\text{rank}(T) \leq (k+1)r$. Hoewel standaard interpolatie leidt tot $\text{rank}(T) \leq (2\cdot\text{ord}(T)+1)r$, is de beste algemene grens voor $\text{ord}(T)$ in de literatuur (Lehmkuhl en Lickteig [LL89]) exponentieel in de dimensies van de tensor. Dit artikel streeft ernaar deze grenzen te verbeteren voor specifieke klassen van 3-tensoren, wat potentieel kan leiden tot niet-triviale debordering-resultaten (bijv. $\text{rank}(T) \leq 2r$).

Methodologie
De aanpak van de auteurs wijkt af van eerder werk dat vertrouwde op globale bovengrenzen voor de graad van de algebraïsche variëteit van tensoren met border rank $r$. In plaats daarvan maken zij gebruik van specifieke algebraïsche eigenschappen van de tensor-slices, met name commutativiteit.

1. Reductie naar Matrix-commutativiteit: Voor een tensor $T \in \mathbb{C}^{m \times n \times p}$ met een inverteerbare eerste slice $T_1$, reduceert het probleem zich tot het analyseren van de matrices $A_i = T_i T_1^{-1}$. De border rank van $T$ is nauw verbonden met de vraag of deze matrices Approximately Simultaneously Diagonalizable (ASD) zijn.
2. Motzkin-Taussky Stelling: Het artikel maakt gebruik van de Motzkin-Taussky Stelling, die stelt dat een paar complexe matrices ASD is dan en slechts dan als ze commuten. Dit stelt de auteurs in staat om het geometrische probleem van tensor-degeneratie te vertalen naar het algebraïsche probleem van het construeren van perturbaties voor commuterende matrices.
3. Perturbatietechnieken:
   • En,1 Perturbatie: Voor een enkele Jordan-blok maakt de auteur gebruik van een specifieke perturbatie $A + \varepsilon E_{n,1}$ (waarbij $E_{n,1}$ de elementaire matrix is met een 1 op de positie $(n,1)$). Deze perturbatie behoudt de commutativiteitsrelaties op een manier die de foutgraad laag houdt (lineair in $\varepsilon$).
   • Weyr-vorm en Regulariteit: Om algemene matrices met complexe Jordan-structuren aan te pakken, maken de auteurs gebruik van de Weyr-vorm, een normale vorm die beter geschikt is voor commuterende matrices dan de Jordan-vorm. Zij introduceren het concept van $k$-regulariteit (waarbij elke eigenspace een dimensie van maximaal $k$ heeft). Specifiek maken zij gebruik van 1-reguliere matrices (waarbij alle eigenspaces 1-dimensionaal zijn) om simultane diagonalisaties te construeren.
4. Commuterende Extensies: Voor de overcomplete setting ($r \geq \min(m,n)$) gebruiken de auteurs een karakterisering van border rank via commuterende extensies, waarbij zij de resultaten van [Koi25] generaliseren.

Kernbijdragen en Resultaten

Het artikel stelt polynomiale bovengrenzen vast voor de foutgraad en de degeneratieorde voor twee hoofdklassen van tensoren, wat een significante verbetering is ten opzichte van de exponentiële grenzen van [LL89].

1. De 1-Reguliere Casus (Theorem 1.7)
Voor $(r, 3)$-generieke tensoren $T \in \mathbb{C}^{m \times n \times p}$ waarbij de slices voldoen aan specifieke commutativiteitsvoorwaarden en één slice ($Z_2 Z_1^{-1}$) 1-regulier is:

• Rank: $\text{rank}(T) = r$.
• Foutgraad: $e\text{-deg}(T) \leq 1$.
• Degeneratieorde: $\text{ord}(T) \leq r - 1$.
• Significantie: Omdat $e\text{-deg}(T) \leq 1$, impliceert standaard interpolatie dat $\text{rank}(T) \leq 2r$. Dit levert een niet-triviaal debordering-resultaat op voor deze klasse van tensoren.

2. De Algemene Commuterende Casus (Theorem 1.6)
Voor $(r, 3)$-generieke tensoren met formaat $m \times n \times 3$ waarbij de slices $Z_2 Z_1^{-1}$ en $Z_3 Z_1^{-1}$ commueren (zonder de 1-regulariteitsveronderstelling):

• Rank: $\text{rank}(T) = r$.
• Foutgraad: $e\text{-deg}(T) \leq (r-1)^3 + (r-1)^2$.
• Degeneratieorde: $\text{ord}(T) \leq 2(r-1)^3 + 3(r-1)^2 + 3(r-1)$.
• Significantie: Hoewel de foutgraad cubic is in plaats van lineair, is dit nog steeds een polynomiale verbetering ten opzichte van de voorheen bekende exponentiële grenzen.

3. Overcomplete Setting (Theorems 4.10, 4.11)
De auteurs breiden deze resultaten uit naar de overcomplete casus ($r \geq \min(m,n)$ door middel van commuterende extensies. De grenzen voor de foutgraad en de degeneratieorde behouden dezelfde polynomiale vorm als de undercomplete casus, mits de commuterende extensie bestaat.

Significantie en Claims

Het artikel claimt dat deze resultaten een exponentiële verbetering vormen ten opzichte van de grenzen vastgesteld door Lehmkuhl en Lickteig [LL89] voor de specifieke klassen van tensoren die worden besproken.

• Debordering: De primaire motivatie is de "debordering"-vraag. Door aan te tonen dat $e\text{-deg}(T)$ begrensd kan worden door een kleine constante (specifiek 1) onder de 1-regulariteitsveronderstelling, demonstreren de auteurs dat voor deze tensoren de tensor rank hooguit tweemaal de border rank is.
• Methodologische Verschuiving: Het werk benadrukt dat specifieke algebraïsche eigenschappen (commutativiteit en regulariteit van slices) nauwere grenzen kunnen opleveren dan algemene geometrische graad-argumenten.
• Beperkingen: De auteurs zijn bescheiden over de reikwijdte. Zij merken op dat hun resultaten voor 3-slice tensoren steunen op de Motzkin-Taussky stelling, die niet eenvoudig te generaliseren is naar meer dan twee matrices. Bijgevolg blijft het uitbreiden van deze resultaten naar tensoren met $p > 3$ slices een open probleem, aangezien commutativiteit alleen onvoldoende is om minimale border rank in hogere dimensies te garanderen. Bovendien is de aanname van generiekheid (inverteerbaarheid van $Z_1$) en 1-regulariteit restrictief, en het versoepelen hiervan om de algemene debordering-vraag op te lossen blijft een openstaand vraagstuk.

Samenvattend biedt het artikel een rigoureus algebraïsch kader voor het begrenzen van de complexiteit van tensor-degeneratie, waarbij polynomiale grenzen worden bereikt waar voorheen exponentiële grenzen bestonden, en waarbij een directe weg wordt gebaand naar niet-triviale rank-grenzen voor een significante subklasse van 3-tensoren.