Real subrank of order-three tensors

Resumen Técnico: Subrango Real de Tensores de Orden Tres

Planteamiento del Problema
El artículo investiga el subrango de tensores reales de orden tres, un concepto dual al rango tensorial. Mientras que el rango de un tensor $T$ es el número mínimo de tensores de rango uno que suman $T$, el subrango $Q(T)$ es el entero máximo $r$ tal que el $r$-ésimo tensor unidad $I_r$ (que representa $r$ multiplicaciones escalares independientes) puede obtenerse de $T$ mediante operaciones de corte lineal en todas las direcciones.

Sobre cuerpos algebraicamente cerrados (por ejemplo, $\mathbb{C}$), el subrango se comporta de manera predecible: existe un subrango genérico único y el lugar de los tensores con un subrango específico está bien comprendido. Sin embargo, sobre los números reales ($\mathbb{R}$), la situación es más compleja. A diferencia del caso complejo, el subrango real puede tomar múltiples valores "típicos" (valores alcanzados en conjuntos abiertos no vacíos en la topología euclidiana) para un formato de tensor dado. El artículo aborda las siguientes cuestiones centrales:

1. ¿Cómo se relaciona el subrano real $Q(T)$ con el subrango complejo $Q_C(T)$?
2. ¿Cuáles son los subrangos típicos para formatos de tensores pequeños específicos (por ejemplo, $3 \times 3 \times 5$, $4 \times 4 \times 4$)?
3. ¿Cuáles son los subrangos de los tensores asociados con la multiplicación componente a componente en álgebras de división reales (números complejos, cuaterniones, octoniones)?

Metodología
Los autores emplean una combinación de geometría algebraica, álgebra lineal y argumentos topológicos:

• Dualidad y Límites: El artículo establece una relación entre los subrangos reales y complejos. Utilizan el hecho de que el subrango complejo proporciona un límite superior para el subrango real ($Q(T) \leq Q_C(T)$) y derivan un límite inferior para $Q(T)$ en términos de $Q_C(T)$.
• Condiciones Geométricas: Para acotar el subrango desde arriba, los autores utilizan una condición geométrica que involucra la variedad de Segre. Específicamente, analizan la intersección del espacio lineal proyectivizado generado por las secciones del tensor con la variedad de matrices de rango uno. Si esta intersección es vacía o pequeña, el subrango queda restringido.
• Conjuntos Semialgebraicos y Continuidad: Los autores aprovechan el hecho de que los conjuntos de tensores con un determinado subrango son semialgebraicos. Adaptan argumentos de Bernardi, Blekherman y Ottaviani (BBO18) relativos al rango tensorial para mostrar que si $r$ y $s$ son subrangos típicos con $r < s$, entonces todos los enteros entre ellos también son típicos.
• Inducción en Álgebras de División: Para el análisis de la multiplicación componente a componente en álgebras de división, el artículo utiliza un argumento inductivo sobre la dimensión del álgebra y el número de componentes ($n$), analizando la independencia lineal módulo los productos fuera de la diagonal.

Contribuciones Clave y Resultados

1. Relación entre el Subrango Real y el Complejo
El artículo demuestra que para cualquier tensor de orden tres $T$, el subrango real está acotado inferiormente por la raíz cuadrada del subrango complejo:
$$Q(T) \geq \lfloor \sqrt{Q_C(T)} \rfloor$$
Este límite se muestra como ajustado hasta un constante multiplicativa mediante una construcción comunicada por Jeroen Zuiddam. Además, para tensores $n \times n \times n$ donde el subrango complejo es máximo ($n$), los autores demuestran un límite inferior lineal: $Q(T) \geq n/2$.

2. Subrangos Típicos y Consecutividad
Los autores demuestran que los subrangos típicos son consecutivos. Si $r$ y $s$ son subrangos típicos con $r \leq s$, entonces cada entero $l$ tal que $r \leq l \leq s$ es también un subrango típico. Esto refleja resultados conocidos para el rango tensorial sobre $\mathbb{R}$.

3. Clasificación de Subrangos Típicos para Formatos Pequeños
El artículo proporciona una clasificación detallada de los subrangos típicos para varios formatos de tensores reales $n_1 \times n_2 \times n_3$:

• $2 \times 2 \times 2$: Los subrangos típicos son 1 y 2.
• $2 \times m \times n$ (con $m, n \geq 2$, no ambos 2): El único subrango típico es 2.
• $3 \times 3 \times 3$ y $3 \times 3 \times 4$: El único subrango típico es 2.
• $3 \times 3 \times 5$: Los subrangos típicos son 2 y 3. Los autores construyen un tensor específico donde el subrango es 2, demostrando que el subrango genérico (3) no es el único valor típico.
• $3 \times 4 \times 4$ y $4 \times 4 \times 4$: Los subrangos típicos son 2 y 3.
  • Notablemente, el artículo muestra que el tensor de multiplicación de los cuaterniones ($4 \times 4 \times 4$) tiene un subrango real de 2. Esto se demuestra al mostrar que el espacio lineal generado por sus secciones no contiene matrices de rango uno (excepto la cero), lo que implica que el subrango no puede ser 3.

4. Subrango de los Tensores de Multiplicación de Álgebras de División
El artículo analiza el tensor asociado con la multiplicación componente a componente en $D^n$, donde $D$ es un álgebra de división real de dimensión $d_{\mathbb{R}}$.

• Números Complejos ($D=\mathbb{C}$): El mapa de multiplicación componente a componente $f_n: \mathbb{C}^n \times \mathbb{C}^n \to \mathbb{C}^n$ tiene un subrango real $n$. Esto implica que no se pueden embeber más de $n$ multiplicaciones escalares reales en un dispositivo que realiza $n$ multiplicaciones complejas.
• Cuaterniones ($D=\mathbb{H}$): El subrango es $2n$.
• Límite General: Para cualquier álgebra de división real $D$ de dimensión $\geq 2$, el subrango del mapa de multiplicación componente a componente está acotado por $Q(f_n) \leq n \cdot \frac{1}{2}\dim_{\mathbb{R}}(D)$.
• Aditividad: El subrango es aditivo para sumas directas del álgebra de división consigo misma ($Q(f_n) = n \cdot Q(f_1)$).

Significado y Pretensiones
El artículo afirma resolver la cuestión de los subrangos típicos para varios formatos de tensores pequeños pero no triviales, revelando que existen múltiples subrangos típicos incluso cuando el subrango genérico es único. Esto contrasta con el comportamiento sobre cuerpos algebraicamente cerrados.

Los autores enfatizan que sus resultados sobre álgebras de división no son triviales; el subrango de los tensores puede ser estrictamente superaditivo, lo que significa que el resultado para $n$ componentes no sigue trivialmente del caso $n=1$. El hallazgo específico de que el tensor de multiplicación de los cuaterniones tiene un subrango de 2 (en lugar del genérico 3 para $4 \times 4 \times 4$) destaca las restricciones algebraicas únicas impuestas por la estructura del álgebra de división.

Finalmente, el artículo proporciona un límite concreto superior para el "valor" (subrango) de los tensores que representan la multiplicación compleja y cuaterniónica, ofreciendo un límite sobre cuántas multiplicaciones escalares reales independientes pueden ser simuladas por estas estructuras. Los autores conjeturan que el subrango del tensor de multiplicación de los octoniones ($8 \times 8 \times 8$) es 3, aunque solo demuestran el límite superior de 4.