Kronecker Products of Symmetric Persistent Tensors

Resumo Técnico: Produtos de Kronecker de Tensores Simétricos Persistentes

Enunciado do Problema
Tensores persistentes, introduzidos por Landsberg e Gharahi [GL, Gh], formam uma classe de tensores definida recursivamente projetada para fornecer limites inferiores não triviais sobre o rank de tensores via o método de substituição. Embora se saiba que a persistência coincide com a concisão para tensores bipartidos, o comportamento desta propriedade sob produtos de Kronecker para tensores de ordem superior permaneceu uma questão em aberto. Anteriormente, conjecturou-se que o produto de Kronecker de tensores persistentes é sempre persistente; no entanto, Shitov [Sh] forneceu um contraexemplo a essa conjectura irrestrita. Como o contraexemplo de Shitov é não simétrico, o status da conjectura no cenário simétrico permanecia sem resolução. Este artigo aborda se a classe de tensores simétricos persistentes é fechada sob produtos de Kronecker.

Metodologia e Ferramentas Técnicas Principais
O artigo opera dentro do arcabouço de tensores simétricos identificados com polinômios homogêneos ($f \in \text{Sym}^n V$). A metodologia baseia-se em uma caracterização completa do Hessiano de persistência simétrica estabelecida em trabalhos anteriores [GO, Teorema 2]. Especificamente, um tensor simétrico é persistente se, e somente se, o determinante do Hessiano de suas $(n-2)$ polarizações parciais satisfaz uma condição específica de "potência perfeita".

A abordagem técnica central envolve três etapas principais:

1. Identidade de Diferenciação Global: O autor estabelece uma identidade para as matrizes Hessianas de produtos de Kronecker de polinômios homogêneos arbitrários. Para $f \in \text{Sym}^n \mathbb{C}^{d_1}$ e $g \in \text{Sym}^n \mathbb{C}^{d_2}$, a matriz Hessiana do produto de Kronecker $f \boxtimes g$ satisfaz:
   $$H_{f \boxtimes g} = \frac{1}{n(n-1)} H_f \boxtimes H_g$$
   onde o produto de Kronecker no lado direito é entendido elemento a elemento. O artigo observa que, embora esta identidade de matriz seja válida globalmente, a identidade correspondente para os polinômios Hessianos (determinantes) geralmente falha devido à presença do ideal de Segre.

2. Identidade de Potência Perfeita Polarizada: Para superar a falha da identidade geral do determinante, o artigo prova um resultado especializado para fatores persistentes. Se $f$ e $g$ são persistentes, existe um polinômio multihomogêneo não nulo $P_{f \boxtimes g}$ de multigrau $(1, \dots, 1)$ tal que o determinante do Hessiano do produto de Kronecker $(n-2)$-vez polarizado é a $(d_1 d_2)$-ésima potência deste polinômio:
   $$\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}$$
   Isso é alcançado relacionando o Hessiano polarizado do produto aos produtos de Kronecker dos Hessianos polarizados dos fatores, utilizando o fato de que, para tensores persistentes, os determinantes Hessianos individuais são potências perfeitas de formas multilineares.

3. Aplicação do Critério de Hessiano: Ao combinar a identidade polarizada com a caracterização de persistência por Hessiano (Teorema 3), o autor demonstra que o produto de Kronecker $f \boxtimes g$ satisfaz a condição necessária para a persistência.

Principais Resultados

• Teorema 11 (Fechamento sob Produtos de Kronecker): A classe de tensores simétricos persistentes é fechada sob produtos de Kronecker. Se $f \in \text{Sym}^n \mathbb{C}^{d_1}$ e $g \in \text{Sym}^n \mathbb{C}^{d_2}$ são persistentes, então $f \boxtimes g \in \text{Sym}^n (\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2})$ é persistente.
• Corolários: Como consequências imediatas, o artigo estabelece que a persistência simétrica é preservada sob produtos de Kronecker iterados (Corolário 14) e potências de Kronecker (Corolário 15).
• Aplicação de Exemplo: O artigo aplica estes resultados ao tensor W binário ($W_n = x_0^{n-1}x_1$), confirmando que todas as suas potências de Kronecker formam uma família explícita de tensores persistentes em $\text{Sym}^n \mathbb{C}^{2^k}$.

Significância e Alegações
O artigo afirma resolver a questão em aberto sobre a preservação da persistência sob produtos de Kronecker especificamente dentro do cenário simétrico, um caso onde a conjectura geral havia falhado. A significância reside em:

1. Visão Estrutural: Fornece uma prova rigorosa de que o cenário simétrico evita as patologias encontradas no caso geral de tensores, em grande parte devido à estrutura específica dos determinantes Hessianos para formas persistentes.
2. Contribuição Metodológica: A derivação da identidade de diferenciação global para matrizes Hessianas e a subsequente identidade de potência perfeita polarizada oferecem novas ferramentas para analisar ranks de tensores e persistência.
3. Expansão de Classes Conhecidas: Os resultados expandem as famílias conhecidas de tensores com limites inferiores de rank prováveis, gerando famílias infinitas de tensores persistentes via potências de Kronecker.

O autor dedica o trabalho a Giorgio Ottaviani, agradecendo seu feedback sobre as identidades de diferenciação global e a caracterização de Hessiano. O artigo conclui observando uma perspectiva complementar de espaço de matrizes para formas cúbicas persistentes no Apêndice A, levantando uma questão estrutural sobre a triangularizabilidade simultânea de seus espaços Hessianos normalizados.