Polynomial Bounds on Degeneration Order from Commutativity Properties of Tensor Slices

Resumen Técnico: Límites Polinómicos del Orden de Degeneración a partir de Propiedades de Conmutatividad de Rebanadas de Tensores

Planteamiento del Problema
El artículo investiga la relación entre el rango de frontera (border rank) y el rango de tensor de tensores de orden 3, centrándose específicamente en las medidas cuantitativas de aproximación conocidas como el grado de error ($e\text{-deg}(T)$) y el orden de degeneración ($\text{ord}(T)$).

Para un tensor $T$ con rango de frontera $r$, existe un mapa polinómico $\varepsilon \mapsto T(\varepsilon)$ tal que $\lim_{\varepsilon \to 0} T(\varepsilon) = T$ y $\text{rank}(T(\varepsilon)) \leq r$ para $\varepsilon$ pequeños. El grado de error es el grado mínimo de dicho mapa polinómico, mientras que el orden de degeneración es el menor entero $q$ tal que $\sum_{i=1}^r u_i(\varepsilon) \otimes v_i(\varepsilon) \otimes w_i(\varepsilon) = \varepsilon^q T + \varepsilon^{q+1}Q(\varepsilon)$.

Estas cantidades son críticas para el proceso de "des-bordado" (debordering): mediante interpolación polinómica, un límite en el grado de error $k$ implica que $\text{rank}(T) \leq (k+1)r$. Mientras que la interpolación estándar produce $\text{rank}(T) \leq (2\cdot\text{ord}(T)+1)r$, el mejor límite general para $\text{ord}(T)$ conocido en la literatura (Lehmkuhl y Lickteig [LL89]) es exponencial en las dimensiones del tensor. Este artículo busca mejorar estos límites para clases específicas de tensores de orden 3, lo que potencialmente arroja resultados de des-bordado no triviales (por ejemplo, $\text{rank}(T) \leq 2r$).

Metodología
El enfoque de los autores difiere de trabajos previos que dependían de límites globales superiores sobre el grado de la variedad algebraica de tensores con rango de frontera $r$. En su lugar, explotan propiedades algebraicas específicas de las rebanadas del tensor, particularmente la conmutatividad.

1. Reducción a la Conmutatividad de Matrices: Para un tensor $T \in \mathbb{C}^{m \times n \times p}$ con una primera rebanada $T_1$ invertible, el problema se reduce a analizar las matrices $A_i = T_i T_1^{-1}$. El rango de frontera de $T$ está estrechamente vinculado a si estas matrices son Aproximadamente Simultáneamente Diagonalizables (ASD).
2. Teorema de Motzkin-Taussky: El artículo aprovecha el Teorema de Motzkin-Taussky, que establece que un par de matrices complejas es ASD si y solo si conmutan. Esto permite a los autores traducir el problema geométrico de la degeneración de tensores al problema algebraico de construir perturbaciones para matrices que conmutan.
3. Técnicas de Perturbación:
   • Perturbación En,1: Para un único bloque de Jordan, los autores utilizan una perturbación específica $A + \varepsilon E_{n,1}$ (donde $E_{n,1}$ es la matriz elemental con un 1 en la entrada $(n,1)$). Esta perturbación preserva las relaciones de conmutatividad de una manera que mantiene el grado de error bajo (lineal en $\varepsilon$).
   • Forma de Weyr y Regularidad: Para manejar matrices generales con estructuras de Jordan complejas, los autores emplean la forma de Weyr, una forma normal más adecuada para matrices que conmutan que la forma de Jordan. Introducen el concepto de $k$-regularidad (donde cada subespacio propio tiene dimensión a lo sumo $k$). Específicamente, utilizan matrices 1-regulares (donde todos los subespacios propios son de dimensión 1) para construir diagonalizaciones simultáneas.
4. Extensiones Conmutativas: Para el caso sobrecompleto ($r \geq \min(m,n)$), los autores utilizan una caracterización del rango de frontera mediante extensiones conmutativas, generalizando los resultados de [Koi25].

Contribuciones Clave y Resultados

El artículo establece límites polinómicos superiores para el grado de error y el orden de degeneración para dos clases principales de tensores, mejorando significativamente los límites exponenciales de [LL89].

1. El Caso 1-Regular (Teorema 1.7)
Para tensores $(r, 3)$-genéricos $T \in \mathbb{C}^{m \times n \times p}$ donde las rebanadas satisfacen condiciones de conmutatividad específicas y una rebanada ($Z_2 Z_1^{-1}$) es 1-regular:

• Rango: $\text{rank}(T) = r$.
• Grado de Error: $e\text{-deg}(T) \leq 1$.
• Orden de Degeneración: $\text{ord}(T) \leq r - 1$.
• Significancia: Dado que $e\text{-deg}(T) \leq 1$, la interpolación estándar implica $\text{rank}(T) \leq 2r$. Esto proporciona un resultado de des-bordado no trivial para esta clase de tensores.

2. El Caso de Conmutatividad General (Teorema 1.6)
Para tensores $(r, 3)$-genéricos con formato $m \times n \times 3$ donde las rebanadas $Z_2 Z_1^{-1}$ y $Z_3 Z_1^{-1}$ conmutan (sin la suposición de 1-regularidad):

• Rango: $\text{rank}(T) = r$.
• Grado de Error: $e\text{-deg}(T) \leq (r-1)^3 + (r-1)^2$.
• Orden de Degeneración: $\text{ord}(T) \leq 2(r-1)^3 + 3(r-1)^2 + 3(r-1)$.
• Significancia: Aunque el grado de error es cúbico en lugar de lineal, sigue siendo una mejora polinómica respecto a los límites exponenciales conocidos anteriormente.

3. Entorno Sobrecompleto (Teoremas 4.10, 4.11)
Los autores extienden estos resultados al caso sobrecompleto ($r \geq \min(m,n)$) utilizando extensiones conmutativas. Los límites sobre el grado de error y el orden de degeneración mantienen la misma forma polinómica que el caso subcompleto, siempre que exista la extensión conmutativa.

Significancia y Reivindicaciones
El artículo afirma que estos resultados representan una mejora exponencial sobre los límites establecidos por Lehmkuhl y Lickteig [LL89] para las clases específicas de tensores discutidas.

• Des-bordado (Debordering): La motivación principal es la cuestión del "des-bordado". Al demostrar que $e\text{-deg}(T)$ puede acotarse por una constante pequeña (específicamente 1) bajo la suposición de 1-regularidad, los autores demuestran que para estos tensores, el rango del tensor es a lo sumo el doble del rango de frontera.
• Cambio Metodológico: El trabajo destaca cómo propiedades algebraicas específicas (conmutatividad y regularidad de las rebanadas) pueden producir límites más ajustados que los argumentos de grado geométrico general.
• Limitaciones: Los autores son modestos respecto al alcance. Señalan que sus resultados para tensores de 3 rebanadas dependen del teorema de Motzkin-Taussky, el cual no se generaliza fácilmente a más de dos matrices. En consecuencia, extender estos resultados a tensores con $p > 3$ rebanadas sigue siendo un problema abierto, ya que la conmutatividad por sí sola es insuficiente para garantizar un rango de frontera mínimo en dimensiones superiores. Además, la suposición de genericidad (invertibilidad de $Z_1$) y de 1-regularidad son restrictivas, y relajar estas condiciones para resolver la cuestión general del des-bordado permanece abierto.

En resumen, el artículo proporciona un marco algebraico riguroso para acotar la complejidad de la degeneración de tensores, logrando límites polinómicos donde antes existían exponenciales, y estableciendo un camino directo hacia límites de rango no triviales para una subclase significativa de tensores de orden 3.