Real tensor factorizations and generalized inverses under the $t$-product

Resumen Técnico: Factorizaciones de Tensores Reales e Inversas Generalizadas bajo el Producto-t

Planteamiento del Problema
La teoría algebraica de tensores de tercer orden bajo el producto-t se formula tradicionalmente sobre el cuerpo complejo $\mathbb{C}$ mediante la diagonalización por bloques de Fourier. Si bien este enfoque permite reducir las operaciones tensoriales a operaciones matriciales sobre rebanadas frontales en el dominio de la transformada, muchas aplicaciones prácticas (por ejemplo, procesamiento de imágenes, análisis de video, imágenes hiperespectrales) involucran inherentemente datos de valor real. Existe una brecha crítica para garantizar que las factorizaciones de tensores y las inversas generalizadas construidas en el dominio de Fourier complejo produzcan tensores de valor real después de la transformada inversa. El artículo aborda las condiciones estructurales necesarias para garantizar que estas construcciones en el dominio de la transformada resulten en tensores reales, señalando que simplemente realizar operaciones por bloques sobre bloques de Fourier complejos no preserva automáticamente la realidad de los valores.

Metodología
El artículo adopta un marco basado en la transformada discreta de Fourier (DFT) a lo largo de la tercera dimensión de un tensor. Los componentes metodológicos clave incluyen:

1. Diagonalización por bloques de Fourier: Utilizando el isomorfismo entre el anillo del producto-t y las matrices bloque-circulares, que son unitariamente similares a matrices bloque-diagonales que contienen las transformadas de Fourier de las rebanadas frontales.
2. Principio de apareamiento conjugado: El mecanismo teórico central introducido es el "principio de apareamiento conjugado". Los autores establecen que, para que un tensor sea de valor real, sus bloques de Fourier deben satisfacer relaciones específicas de simetría conjugada ($A_{p-k+2} = \overline{A_k}$), en lugar de requerir que cada bloque individual sea real.
3. Construcción compatible: La metodología implica realizar descomposiciones a nivel de matriz (SVD, Schur, Jordan, etc.) sobre los bloques de Fourier. Crucialmente, estas descomposiciones no se eligen independientemente para cada bloque. En cambio, los autores imponen compatibilidad entre pares conjugados de bloques para garantizar que la transformada inversa resultante produzca un tensor real. Esto se formaliza en el Lema 3.1, que demuestra que si una operación matricial $\Phi$ satisface $\Phi(\overline{M}) = \overline{\Phi(M)}$, aplicarla a bloques de Fourier con simetría conjugada preserva la realidad de los valores.

Contribuciones y Resultados Clave

• Caracterización estructural: El artículo proporciona condiciones necesarias y suficientes (Lemas 2.4 y 2.5) para que un tensor sea de valor real basándose en la simetría conjugada de sus bloques de Fourier.
• Factorizaciones de tensores reales: Los autores derivan versiones reales de varias descomposiciones fundamentales de tensores aplicando el principio de apareamiento conjugado:
  • SVD-t real: Una descomposición $A = U * S * V^T$ donde $U$ y $V$ son tensores ortogonales y $S$ es f-diagonal. El artículo demuestra que las SVD independientes de los bloques de Fourier no producen factores reales, haciendo necesario el acoplamiento de los vectores singulares entre pares conjugados.
  • Descomposición t-Schur real: Una descomposición $A = U * T * U^T$ donde $T$ es un tensor f-cuasi-triangular (las rebanadas frontales son cuasi-triangulares con bloques diagonales de $1\times1$ y $2\times2$), análogo a la forma de Schur real para matrices.
  • Forma canónica t-Jordan real: Una descomposición $A = P * J * P^{-1}$ donde $J$ es un tensor f-super-bloque-bidiagonal. El artículo corrige una afirmación previa en la literatura de que la forma t-Jordan de un tensor real es automáticamente real, mostrando en cambio que se requiere un apareamiento conjugado específico de los datos de Jordan.
  • Factorización idempotente real: Una factorización $A = U * E * V$ donde $E$ es un tensor idempotente real.
• Inversas generalizadas: El marco se aplica a inversas generalizadas, demostrando la existencia y proporcionando descripciones en el dominio de la transformada para:
  • Inversa de Moore–Penrose: $A^\dagger = V * S^\dagger * U^T$, demostrada como de valor real.
  • Inversa de Drazin: $A^D$ existe como un tensor real si los bloques de Fourier admiten inversas de Drazin que satisfacen la condición de apareamiento.
  • Inversa de grupo: $A^\#$ existe como un tensor real si y solo si todos los bloques de Fourier son invertibles por grupo.
• Resultado de teoría de anillos: El artículo demuestra que el anillo $(\mathbb{R}^{n \times n \times p}, +, *)$ es unitariamente regular, lo que significa que cada elemento tiene una inversa de von Neumann invertible.

Significado
El artículo afirma proporcionar un marco riguroso para transferir construcciones basadas en matrices a tensores reales, preservando al mismo tiempo las restricciones algebraicas del producto-t. Su principal significado radica en aclarar que la realidad de los valores en el contexto del producto-t es una propiedad global que emerge de elecciones coordinadas entre bloques de Fourier conjugados, en lugar de ser una propiedad local de bloques individuales. Esta distinción es esencial para garantizar que las construcciones teóricas y los algoritmos computacionales para tensores reales produzcan resultados reales válidos. El trabajo cierra la brecha entre la teoría algebraica compleja del producto-t y los requisitos prácticos de las aplicaciones con datos de valor real.