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

Riepilogo Tecnico: Fattorizzazioni di Tensori Reali e Inverse Generalizzate sotto il Prodotto-t

Enunciato del Problema
La teoria algebrica dei tensori di terzo ordine sotto il prodotto-t è tradizionalmente formulata sul campo complesso $\mathbb{C}$ tramite la diagonalizzazione a blocchi di Fourier. Sebbene questo approccio consenta di ridurre le operazioni sui tensori a operazioni matriciali sulle fette frontali nel dominio della trasformata, molte applicazioni pratiche (ad esempio, elaborazione di immagini, analisi video, imaging iperspettrale) coinvolgono intrinsecamente dati a valori reali. Esiste un divario critico nel garantire che le fattorizzazioni di tensori e le inverse generalizzate costruite nel dominio di Fourier complesso producano tensori a valori reali dopo la trasformata inversa. Il documento affronta le condizioni strutturali necessarie per garantire che queste costruzioni nel dominio della trasformata risultino in tensori reali, osservando che il semplice svolgimento di operazioni blocco per blocco sui blocchi di Fourier complessi non preserva automaticamente la realtà dei valori.

Metodologia
Il documento adotta un quadro basato sulla trasformata discreta di Fourier (DFT) lungo la terza dimensione di un tensore. I componenti metodologici chiave includono:

1. Diagonalizzazione a blocchi di Fourier: Sfruttando l'isomorfismo tra l'anello del prodotto-t e le matrici a blocchi circolanti, che sono unitariamente simili a matrici a blocchi diagonali contenenti le trasformate di Fourier delle fette frontali.
2. Principio di accoppiamento coniugato: Il meccanismo teorico fondamentale introdotto è il "principio di accoppiamento coniugato". Gli autori stabiliscono che affinché un tensore sia a valori reali, i suoi blocchi di Fourier devono soddisfare specifiche relazioni di simmetria coniugata ($A_{p-k+2} = \overline{A_k}$), piuttosto che richiedere che ogni singolo blocco sia reale.
3. Costruzione compatibile: La metodologia comporta lo svolgimento di decomposizioni a livello matriciale (SVD, Schur, Jordan, ecc.) sui blocchi di Fourier. Crucialmente, queste decomposizioni non sono scelte indipendentemente per ciascun blocco. Invece, gli autori impongono la compatibilità tra le coppie coniugate di blocchi per garantire che la risultante trasformata inversa produca un tensore reale. Ciò è formalizzato nel Lemma 3.1, che dimostra che se un'operazione matriciale $\Phi$ soddisfa $\Phi(\overline{M}) = \overline{\Phi(M)}$, applicarla a blocchi di Fourier con simmetria coniugata preserva la realtà dei valori.

Contributi e Risultati Chiave

• Caratterizzazione Strutturale: Il documento fornisce condizioni necessarie e sufficienti (Lemmi 2.4 e 2.5) affinché un tensore sia a valori reali, basate sulla simmetria coniugata dei suoi blocchi di Fourier.
• Fattorizzazioni di Tensori Reali: Gli autori derivano versioni reali di diverse decomposizioni fondamentali di tensori applicando il principio di accoppiamento coniugato:
  • SVD t-Reale: Una decomposizione $A = U * S * V^T$ dove $U$ e $V$ sono tensori ortogonali e $S$ è f-diagonale. Il documento dimostra che SVD indipendenti dei blocchi di Fourier non riescono a produrre fattori reali, rendendo necessario l'accoppiamento dei vettori singolari tra le coppie coniugate.
  • Decomposizione t-Schur Reale: Una decomposizione $A = U * T * U^T$ dove $T$ è un tensore f-quasi-triangolare (le fette frontali sono quasi-triangolari con blocchi diagonali $1\times1$ e $2\times2$), analogo alla forma di Schur reale per le matrici.
  • Forma Canonica t-Jordan Reale: Una decomposizione $A = P * J * P^{-1}$ dove $J$ è un tensore f-bidiagonale a blocchi superiori. Il documento corregge un'affermazione precedente nella letteratura secondo cui la forma t-Jordan di un tensore reale è automaticamente reale, mostrando invece che è richiesto un specifico accoppiamento coniugato dei dati di Jordan.
  • Fattorizzazione Idempotente Reale: Una fattorizzazione $A = U * E * V$ dove $E$ è un tensore idempotente reale.
• Inverse Generalizzate: Il quadro è applicato alle inverse generalizzate, dimostrando l'esistenza e fornendo descrizioni nel dominio della trasformata per:
  • Inversa di Moore–Penrose: $A^\dagger = V * S^\dagger * U^T$, dimostrata essere a valori reali.
  • Inversa di Drazin: $A^D$ esiste come tensore reale se i blocchi di Fourier ammettono inverse di Drazin che soddisfano la condizione di accoppiamento.
  • Inversa di Gruppo: $A^\#$ esiste come tensore reale se e solo se tutti i blocchi di Fourier sono invertibili per gruppo.
• Risultato Teorico-Anellare: Il documento dimostra che l'anello $(\mathbb{R}^{n \times n \times p}, +, *)$ è unitariamente regolare, il che significa che ogni elemento possiede un'inversa di von Neumann invertibile.

Significato
Il documento afferma di fornire un quadro rigoroso per trasferire costruzioni basate su matrici a tensori reali, preservando i vincoli algebrici del prodotto-t. Il suo significato primario risiede nel chiarire che la realtà dei valori nell'impostazione del prodotto-t è una proprietà globale che emerge da scelte coordinate tra i blocchi di Fourier coniugati, piuttosto che una proprietà locale dei singoli blocchi. Questa distinzione è essenziale per garantire che le costruzioni teoriche e gli algoritmi computazionali per tensori reali producano risultati reali validi. Il lavoro colma il divario tra la teoria algebrica complessa del prodotto-t e i requisiti pratici delle applicazioni con dati a valori reali.