Kronecker Products of Symmetric Persistent Tensors

Sintesi Tecnica: Prodotti di Kronecker di Tensori Persistenti Simmetrici

Enunciato del Problema
I tensori persistenti, introdotti da Landsberg e Gharahi [GL, Gh], formano una classe di tensori definita ricorsivamente progettata per fornire limiti inferiori non banali sul rango tensoriale tramite il metodo della sostituzione. Poiché la persistenza è noto che coincide con la concisione per i tensori bipartiti, il comportamento di questa proprietà sotto i prodotti di Kronecker per tensori di ordine superiore rimaneva una questione aperta. Era stato precedentemente congetturato che il prodotto di Kronecker di tensori persistenti fosse sempre persistente; tuttavia, Shitov [Sh] ha fornito un controesempio a questa congettura non ristretta. Poiché il controesempio di Shitov è non simmetrico, lo stato della congettura all'interno dell'ambito simmetrico rimaneva irrisolto. Questo articolo affronta se la classe dei tensori simmetrici persistenti sia chiusa sotto i prodotti di Kronecker.

Metodologia e Strumenti Tecnici Chiave
Il lavoro opera all'interno del quadro dei tensori simmetrici identificati con polinomi omogenei ($f \in \text{Sym}^n V$). La metodologia si basa su una caratterizzazione completa dell'Hessiano della persistenza simmetrica stabilita in lavori precedenti [GO, Teorema 2]. Nello specifico, un tensore simmetrico è persistente se e solo se l'Hessiano del determinante delle sue polarizzazioni parziali $(n-2)$-esime soddisfa una specifica condizione di "potenza perfetta".

L'approccio tecnico centrale prevede tre fasi principali:

1. Identità di Differenziazione Globale: L'autore stabilisce un'identità per le matrici Hessiane dei prodotti di Kronecker di arbitrari polinomi omogenei. Per $f \in \text{Sym}^n \mathbb{C}^{d_1}$ e $g \in \text{Sym}^n \mathbb{C}^{d_2}$, la matrice Hessiana del prodotto di Kronecker $f \boxtimes g$ soddisfa:
   $$H_{f \boxtimes g} = \frac{1}{n(n-1)} H_f \boxtimes H_g$$
   dove il prodotto di Kronecker sul lato destro è inteso elemento per elemento. Il documento nota che, sebbene questa identità matriciale valga globalmente, l'identità corrispondente per i polinomi Hessiani (determinanti) generalmente fallisce a causa della presenza dell'ideale di Segre.

2. Identità di Potenza Perfetta Polarizzata: Per superare il fallimento della generale identità del determinante, il saggio dimostra un risultato specializzato per i fattori persistenti. Se $f$ e $g$ sono persistenti, esiste un polinomio multioogeneo non nullo $P_{f \boxtimes g}$ di multigrado $(1, \dots, 1)$ tale che il determinante dell'Hessiano del prodotto di Kronecker $(n-2)$-esimo polarizzato sia la $(d_1 d_2)$-esima potenza di questo polinomio:
   $$\text{Hess}\big((f \boxtimes g)_{U^{(1)}, \dots, U^{(n-2)}}(z)\big) = \big[P_{f \boxtimes g}(U^{(1)}, \dots, U^{(n-2)})\big]^{d_1 d_2}$$
   Ciò è ottenuto relazionando l'Hessiano polarizzato del prodotto al prodotto di Kronecker degli Hessiani polarizzati dei fattori, utilizzando il fatto che, per i tensori persistenti, i singoli determinanti Hessiani sono potenze perfette di forme multilineari.

3. Applicazione del Criterio dell'Hessiano: Combinando l'identità polarizzata con la caratterizzazione dell'Hessiano della persistenza (Teorema 3), l'autore dimostra che il prodotto di Kronecker $f \boxtimes g$ soddisfa la condizione necessaria per la persistenza.

Risultati Chiave

• Teorema 11 (Chiusura sotto i Prodotti di Kronecker): La classe dei tensori simmetrici persistenti è chiusa sotto i prodotti di Kronecker. Se $f \in \text{Sym}^n \mathbb{C}^{d_1}$ e $g \in \text{Sym}^n \mathbb{C}^{d_2}$ sono persistenti, allora $f \boxtimes g \in \text{Sym}^n (\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2})$ è persistente.
• Corollari: Come conseguenze immediate, il saggio stabilisce che la persistenza simmetrica è preservata sotto i prodotti di Kronecker iterati (Corollario 14) e le potenze di Kronecker (Corollario 15).
• Applicazione di Esempio: Il saggio applica questi risultati al tensore W binario ($W_n = x_0^{n-1}x_1$), confermando che tutte le sue potenze di Kronecker formano una famiglia esplicita di tensori persistenti in $\text{Sym}^n \mathbb{C}^{2^k}$.

Significato e Rivendicazioni
Il saggio sostiene di risolvere la questione aperta riguardante la preservazione della persistenza sotto i prodotti di Kronecker specificamente nell'ambito simmetrico, un caso in cui la congettura generale era fallita. La significatività risiede in:

1. Intuizione Strutturale: Fornisce una prova rigorosa che l'ambito simmetrico evita le patologie riscontrate nel caso generale dei tensori, grazie alla specifica struttura dei determinanti Hessiani per le forme persistenti.
2. Contributo Metodologico: La derivazione dell'identità di differenziazione globale per le matrici Hessiane e la successiva identità di potenza perfetta polarizzata offrono nuovi strumenti per analizzare i ranghi tensoriali e la persistenza.
3. Espansione delle Classi Note: I risultati espandono le famiglie note di tensori con limiti inferiori sul rango provabili, generando famiglie infinite di tensori persistenti tramite potenze di Kronecker.

L'autore dedica il lavoro a Giorgio Ottaviani, riconoscendo il suo contributo riguardo alle identità di differenziazione globale e alla caratterizzazione dell'Hessiano. Il saggio conclude notando una prospettiva complementare nello spazio delle matrici per le forme cubiche persistenti nell'Appendice A, sollevando una questione strutturale riguardante la simultanea triangolarizzabilità dei loro spazi Hessiani normalizzati.