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

Technische Samenvatting: Real Tensorontbindingen en Generaliseerde Inversen onder het t-Product

Probleemstelling
De algebraïsche theorie van derderangs tensoren onder het t-product wordt traditioneel geformuleerd over het complexe veld $\mathbb{C}$ via Fourier-blokdiagonalisatie. Hoewel deze aanpak tensorbewerkingen reduceert tot matrixbewerkingen op frontale schijven in het transformatiedomein, zijn vele praktische toepassingen (bijvoorbeeld beeldverwerking, video-analyse, hyperspectrale beeldvorming) inherent gebaseerd op reëelwaardige data. Er bestaat een kritieke kloof in het waarborgen dat tensorontbindingen en generaliseerde inversen die in het complexe Fourier-domein worden geconstrueerd, na inverse transformatie reëelwaardige tensoren opleveren. Het artikel adresseert de structurele voorwaarden die nodig zijn om te garanderen dat deze constructies in het transformatiedomein resulteren in reële tensoren, met de opmerking dat het simpelweg uitvoeren van bloksgewijze bewerkingen op complexe Fourier-blokken niet automatisch reëelwaardigheid behoudt.

Methodologie
Het artikel hanteert een raamwerk gebaseerd op de discrete Fourier-transformatie (DFT) langs de derde dimensie van een tensor. Belangrijke methodologische componenten zijn:

1. Fourier-blokdiagonalisatie: Het benutten van de isomorfie tussen de t-productring en blok-circulaire matrices, die unitair gelijkvormig zijn aan blok-diagonale matrices die de Fourier-transformaties van de frontale schijven bevatten.
2. Het principe van geconjugeerde paren: Het centrale theoretische mechanisme dat wordt geïntroduceerd, is het "principe van geconjugeerde paren". De auteurs stellen vast dat voor een tensor om reëelwaardig te zijn, de Fourier-blokken specifieke symmetrische relaties voor geconjugeerden moeten voldoen ($A_{p-k+2} = \overline{A_k}$), in plaats van dat elke afzonderlijke blok reëel hoeft te zijn.
3. Compatibele constructie: De methodologie omvat het uitvoeren van ontbindingen op matrixniveau (SVD, Schur, Jordan, enz.) op de Fourier-blokken. Cruciaal is dat deze ontbindingen niet onafhankelijk voor elke blok worden gekozen. In plaats daarvan dwingen de auteurs compatibiliteit af over geconjugeerde paren van blokken om te waarborgen dat de resulterende inverse transformatie een reële tensor oplevert. Dit wordt geformaliseerd in Lemma 3.1, dat bewijst dat als een matrixoperatie $\Phi$ voldoet aan $\Phi(\overline{M}) = \overline{\Phi(M)}$, het toepassen ervan op geconjugeerd-symmetrische Fourier-blokken de reëelwaardigheid behoudt.

Belangrijkste Bijdragen en Resultaten

• Structurele Karakterisering: Het artikel biedt noodzakelijke en voldoende voorwaarden (Lemma's 2.4 en 2.5) voor een tensor om reëelwaardig te zijn, gebaseerd op de geconjugeerde symmetrie van de Fourier-blokken.
• Reële Tensorontbindingen: De auteurs leiden reële versies af van verschillende fundamentele tensorontbindingen door het principe van geconjugeerde paren toe te passen:
  • Reële t-SVD: Een ontbinding $A = U * S * V^T$ waarbij $U$ en $V$ orthogonale tensoren zijn en $S$ f-diagonaal is. Het artikel demonstreert dat onafhankelijke SVD's van Fourier-blokken falen om reële factoren te produceren, wat de koppeling van singuliere vectoren over geconjugeerde paren noodzakelijk maakt.
  • Reële t-Schur-ontbinding: Een ontbinding $A = U * T * U^T$ waarbij $T$ een f-kwasi-triangular tensor is (frontale schijven zijn kwasi-triangular met $1\times1$ en $2\times2$ diagonaablokken), analoog aan de reële Schur-vorm voor matrices.
  • Reële t-Jordan-kanaalvorm: Een ontbinding $A = P * J * P^{-1}$ waarbij $J$ een f-boven-blok-bidiagonale tensor is. Het artikel corrigeert een eerdere bewering in de literatuur dat de t-Jordaan-vorm van een reële tensor automatisch reëel is, en toont in plaats daarvan aan dat een specifieke geconjugeerde koppel van Jordan-gegevens vereist is.
  • Reële Idempotente Ontbinding: Een ontbinding $A = U * E * V$ waarbij $E$ een reële idempotente tensor is.
• Generaliseerde Inversen: Het raamwerk wordt toegepast op generaliseerde inversen, waarbij het bestaan wordt bewezen en transformatiedomein-beschrijvingen worden gegeven voor:
  • Moore–Penrose-invers: $A^\dagger = V * S^\dagger * U^T$, waarvan wordt aangetoond dat deze reëelwaardig is.
  • Drazin-invers: $A^D$ bestaat als een reële tensor als de Fourier-blokken Drazin-inversen toelaten die aan de koppelvoorwaarde voldoen.
  • Groepsinvers: $A^\#$ bestaat als een reële tensor dan en slechts dan als alle Fourier-blokken groepsinversibel zijn.
• Ring-theoretisch Resultaat: Het artikel bewijst dat de ring $(\mathbb{R}^{n \times n \times p}, +, *)$ unitair regulair is, wat betekent dat elk element een inverteerbare von Neumann-invers heeft.

Betekenis
Het artikel claimt een rigoureus raamwerk te bieden voor het overdragen van op matrices gebaseerde constructies naar reële tensoren, waarbij de algebraïsche beperkingen van het t-product behouden blijven. De primaire betekenis ligt in het verduidelijken dat reëelwaardigheid in de context van het t-product een globaal kenmerk is dat voortkomt uit gecoördineerde keuzes over geconjugeerde Fourier-blokken, in plaats van een lokaal kenmerk van individuele blokken. Dit onderscheid is essentieel om te waarborgen dat theoretische constructies en computationele algoritmen voor reële tensoren geldige reële resultaten opleveren. Het werk overbrugt de kloof tussen de complexe algebraïsche theorie van het t-product en de praktische vereisten van toepassingen met reëelwaardige data.