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

Resumo Técnico: Fatorações de Tensores Reais e Inversos Generalizados sob o Produto-t

Enunciado do Problema
A teoria algébrica de tensores de terceira ordem sob o produto-t é tradicionalmente formulada sobre o corpo complexo $\mathbb{C}$ via diagonalização por blocos de Fourier. Embora essa abordagem permita reduzir operações tensoriais a operações matriciais em fatias frontais no domínio da transformada, muitas aplicações práticas (por exemplo, processamento de imagens, análise de vídeo, imageamento hiperespectral) envolvem inerentemente dados de valor real. Existe uma lacuna crítica em garantir que fatorações de tensores e inversos generalizados construídos no domínio de Fourier complexo resultem em tensores de valor real após a transformada inversa. O artigo aborda as condições estruturais necessárias para garantir que essas construções no domínio da transformada resultem em tensores reais, observando que simplesmente realizar operações bloco a bloco em blocos de Fourier complexos não preserva automaticamente a realidade dos valores.

Metodologia
O artigo adota um quadro baseado na transformada discreta de Fourier (DFT) ao longo da terceira dimensão de um tensor. Os componentes metodológicos-chave incluem:

1. Diagonalização por Blocos de Fourier: Utilização do isomorfismo entre o anel do produto-t e matrizes em blocos-circulantes, que são unitariamente semelhantes a matrizes em blocos-diagonais contendo as transformadas de Fourier das fatias frontais.
2. Princípio do Emparelhamento Conjugado: O mecanismo teórico central introduzido é o "princípio do emparelhamento conjugado". Os autores estabelecem que, para um tensor ser de valor real, seus blocos de Fourier devem satisfazer relações específicas de simetria conjugada ($A_{p-k+2} = \overline{A_k}$), em vez de exigir que cada bloco individual seja real.
3. Construção Compatível: A metodologia envolve realizar decomposições no nível matricial (SVD, Schur, Jordan, etc.) nos blocos de Fourier. Crucialmente, essas decomposições não são escolhidas independentemente para cada bloco. Em vez disso, os autores impõem compatibilidade entre pares conjugados de blocos para garantir que a transformada inversa resultante produza um tensor real. Isso é formalizado no Lema 3.1, que prova que, se uma operação matricial $\Phi$ satisfaz $\Phi(\overline{M}) = \overline{\Phi(M)}$, aplicá-la a blocos de Fourier com simetria conjugada preserva a realidade dos valores.

Principais Contribuições e Resultados

• Caracterização Estrutural: O artigo fornece condições necessárias e suficientes (Leis 2.4 e 2.5) para que um tensor seja de valor real, baseadas na simetria conjugada de seus blocos de Fourier.
• Fatorações de Tensores Reais: Os autores derivam versões reais de várias decomposições fundamentais de tensores aplicando o princípio do emparelhamento conjugado:
  • SVD-t Real: Uma decomposição $A = U * S * V^T$ onde $U$ e $V$ são tensores ortogonais e $S$ é f-diagonal. O artigo demonstra que SVDs independentes de blocos de Fourier falham em produzir fatores reais, tornando necessário o acoplamento de vetores singulares entre pares conjugados.
  • Decomposição t-Schur Real: Uma decomposição $A = U * T * U^T$ onde $T$ é um tensor f-quase-triangular (fatias frontais são quase-triangulares com blocos diagonais $1\times1$ e $2\times2$), análogo à forma de Schur real para matrizes.
  • Forma Canônica de Jordan t-Real: Uma decomposição $A = P * J * P^{-1}$ onde $J$ é um tensor f-super-bloco-bi-diagonal. O artigo corrige uma afirmação anterior na literatura de que a forma t-Jordan de um tensor real é automaticamente real, mostrando, em vez disso, que é necessário um emparelhamento conjugado específico de dados de Jordan.
  • Fatoração Idempotente Real: Uma fatoração $A = U * E * V$ onde $E$ é um tensor idempotente real.
• Inversos Generalizados: O quadro é aplicado a inversos generalizados, provando a existência e fornecendo descrições no domínio da transformada para:
  • Inverso de Moore–Penrose: $A^\dagger = V * S^\dagger * U^T$, mostrado como sendo de valor real.
  • Inverso de Drazin: $A^D$ existe como um tensor real se os blocos de Fourier admitirem inversos de Drazin satisfazendo a condição de emparelhamento.
  • Inverso de Grupo: $A^\#$ existe como um tensor real se e somente se todos os blocos de Fourier forem inversíveis por grupo.
• Resultado Teórico de Anéis: O artigo prova que o anel $(\mathbb{R}^{n \times n \times p}, +, *)$ é unitariamente regular, significando que todo elemento possui um inverso de von Neumann inversível.

Significado
O artigo afirma fornecer um quadro rigoroso para transferir construções baseadas em matrizes para tensores reais, preservando as restrições algébricas do produto-t. Seu significado principal reside em esclarecer que a realidade dos valores no contexto do produto-t é uma propriedade global emergente de escolhas coordenadas entre blocos de Fourier conjugados, e não uma propriedade local de blocos individuais. Essa distinção é essencial para garantir que construções teóricas e algoritmos computacionais para tensores reais produzam resultados reais válidos. O trabalho preenche a lacuna entre a teoria algébrica complexa do produto-t e os requisitos práticos de aplicações com dados de valor real.