Kronecker Products of Symmetric Persistent Tensors

Resumen Técnico: Productos de Kronecker de Tensores Simétricos Persistentes

Planteamiento del Problema
Los tensores persistentes, introducidos por Landsberg y Gharahi [GL, Gh], forman una clase de tensores definida recursivamente diseñada para proporcionar cotas inferiores no triviales sobre el rango de un tensor mediante el método de sustitución. Dado que se sabe que la persistencia coincide con la concisión para tensores bipartitos, el comportamiento de esta propiedad bajo productos de Kronecker para tensores de orden superior seguía siendo una cuestión abierta. Anteriormente se había conjeturado que el producto de Kronecker de tensores persistentes es siempre persistente; sin embargo, Shitov [Sh] proporcionó un contraejemplo a esta conjetura sin restricciones. Dado que el contraejemplo de Shitov no es simétrico, el estatus de la conjetura dentro del entorno simétrico permanecía sin resolver. Este artículo aborda si la clase de tensores simétricos persistentes es cerrada bajo productos de Kronecker.

Metodología y Herramientas Técnicas Clave
El artículo opera dentro del marco de los tensores simétricos identificados con polinomios homogéneos ($f \in \text{Sym}^n V$). La metodología se basa en una caracterización completa de la Hessiana de la persistencia simétrica establecida en trabajos previos [GO, Teorema 2]. Específicamente, un tensor simétrico es persistente si y solo si el determinante de la Hessiana de sus $(n-2)$ polarizaciones parciales satisface una condición específica de "potencia perfecta".

El enfoque técnico central implica tres pasos principales:

1. Identidad de Diferenciación Global: El autor establece una identidad para las matrices Hessianas de productos de Kronecker de polinomios homogéneos arbitrarios. Para $f \in \text{Sym}^n \mathbb{C}^{d_1}$ y $g \in \text{Sym}^n \mathbb{C}^{d_2}$, la matriz Hessiana del producto de Kronecker $f \boxtimes g$ satisface:
   $$H_{f \boxtimes g} = \frac{1}{n(n-1)} H_f \boxtimes H_g$$
   donde el producto de Kronecker en el lado derecho se entiende elemento a elemento. El artículo señala que, si bien esta identidad matricial se cumple globalmente, la identidad correspondiente para los polinomios Hessianos (determinantes) generalmente falla debido a la presencia del ideal de Segre.

2. Identidad de Potencia Perfecta Polarizada: Para superar la falla de la identidad general del determinante, el artículo demuestra un resultado especializado para factores persistentes. Si $f$ y $g$ son persistentes, existe un polinomio multihomogéneo no nulo $P_{f \boxtimes g}$ de multidegrado $(1, \dots, 1)$ tal que el determinante de la Hessiana del producto de Kronecker $(n-2)$-veces polarizado es la $(d_1 d_2)$-ésima potencia de este 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}$$
   Esto se logra relacionando la Hessiana polarizada del producto con el producto de Kronecker de las Hessianas polarizadas de los factores, utilizando el hecho de que, para tensores persistentes, los determinantes Hessianos individuales son potencias perfectas de formas multilineales.

3. Aplicación del Criterio de la Hessiana: Al combinar la identidad polarizada con la caracterización de la persistencia mediante la Hessiana (Teorema 3), el autor demuestra que el producto de Kronecker $f \boxtimes g$ satisface la condición necesaria para la persistencia.

Resultos Clave

• Teorema 11 (Clausura bajo Productos de Kronecker): La clase de tensores simétricos persistentes es cerrada bajo productos de Kronecker. Si $f \in \text{Sym}^n \mathbb{C}^{d_1}$ y $g \in \text{Sym}^n \mathbb{C}^{d_2}$ son persistentes, entonces $f \boxtimes g \in \text{Sym}^n (\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2})$ es persistente.
• Corolarios: Como consecuencias inmediatas, el artículo establece que la persistencia simétrica se preserva bajo productos de Kronecker iterados (Corolario 14) y potencias de Kronecker (Corolario 15).
• Aplicación de Ejemplo: El artículo aplica estos resultados al tensor W binario ($W_n = x_0^{n-1}x_1$), confirmando que todas sus potencias de Kronecker forman una familia explícita infinita de tensores persistentes en $\text{Sym}^n \mathbb{C}^{2^k}$.

Significancia y Reivindicaciones
El artículo afirma resolver la cuestión abierta sobre la preservación de la persistencia bajo productos de Kronecker específicamente dentro del entorno simétrico, un caso donde la conjetura general había fallado. La significancia radica en:

1. Perspectiva Estructural: Proporciona una prueba rigurosa de que el entorno simétrico evita las patologías encontradas en el caso general de tensores, debido principalmente a la estructura específica de los determinantes Hessianos para las formas persistentes.
2. Contribución Metodológica: La derivación de la identidad de diferenciación global para matrices Hessianas y la subsiguiente identidad de potencia perfecta polarizada ofrecen nuevas herramientas para analizar los rangos y la persistencia de los tensores.
3. Expansión de Clases Conocidas: Los resultados expanden las familias conocidas de tensores con cotas inferiores de rango demostrables, generando familias infinitas de tensores persistentes mediante potencias de Kronecker.

El autor dedica el trabajo a Giorgio Ottaviani, agradeciendo sus comentarios sobre las identidades de diferenciación global y la caracterización de la Hessiana. El artículo concluye señalando una perspectiva complementaria de espacio de matrices para las formas cúbicas persistentes en el Apéndice A, planteando una cuestión estructural respecto a la triangularizabilidad simultánea de sus espacios Hessianos normalizados.