Strassen's support functionals coincide with the quantum functionals

Resumen Técnico: Los Funcionales de Soporte de Strassen Coinciden con los Funcionales Cuánticos

Planteamiento del Problema
El artículo aborda un problema abierto fundamental en la teoría del espectro asintótico de tensores, planteado originalmente por Strassen en 1991. El marco de Strassen caracteriza la restricción asintótica entre tensores (una relación que captura la complejidad de los problemas multilineales como la multiplicación de matrices) mediante "puntos espectrales": funcionales que son monótonos, multiplicativos, aditivos y normalizados. Si bien Strassen introdujo una clase de puntos espectrales candidatos conocidos como funcionales de soporte ($\zeta_\theta$), definidos mediante la optimización de la entropía sobre el polítopo de soporte de un tensor, se desconocía si estos funcionales eran puntos espectrales universales (es decir, válidos para la familia de todos los $d$-tensores).

Concurrentemente, Christandl, Vrana y Zuiddam (2017) construyeron una familia de puntos espectrales universales llamados funcionales cuánticos ($F_\theta$), definidos mediante la optimización de la entropía sobre el polítopo de entrelazamiento (o polítopo de momentos). Aunque se sabía que $F_\theta(t) \leq \zeta_\theta(t)$, la relación precisa entre estas dos cantidades no se había resuelto. La cuestión central es si los funcionales de soporte de Strassen coinciden con los funcionales cuánticos, estableciendo así que son puntos espectrales universales.

Metodología
Los autores resuelven esta cuestión demostrando una fórmula general de minimax para la optimización convexa en polítopos de momentos. La estrategia de prueba se basa en los siguientes componentes:

1. Dualidad de Variedades de Hadamard: La herramienta técnica central es un teorema de dualidad de tipo Fenchel reciente para la optimización convexa en variedades de Hadamard (variedades riemannianas completas, simplemente conexas y de curvatura no positiva) debido a Hirai [Hir25]. Los autores lo aplican a la variedad $PD = PD(n_1) \times \dots \times PD(n_d)$, el producto de espacios de matrices hermíticas definidas positivas equipadas con una métrica riemanniana afín-invariante.
2. Función de Kempf–Ness: Utilizan la función de Kempf–Ness, $f_v(x) = \log \langle v, x \cdot v \rangle$, asociada a un tensor $v$. La diferencial de esta función en la identidad corresponde al mapa de momento, y su imagen determina el polítopo de momento $\Delta(v)$.
3. Optimización de Gradiente Minimax: Los autores establecen un teorema minimax general (Teorema 1.3/4.4) que establece que para cualquier función $F$ convexa, simétrica y semicontinua inferior, el mínimo de $F$ sobre el polítopo de momento $\Delta(t)$ es igual al máximo sobre todos los cambios de base $g \in GL$ del mínimo de $F$ sobre el polítopo de soporte $\Omega(g \cdot t)$:
   $$\min_{p \in \Delta(t)} F(p) = \max_{g \in GL} \min_{p \in \Omega(g \cdot t)} F(p)$$
4. Especialización: Al elegir $F(p) = -\sum \theta_i H(p_i)$ (donde $H$ es la entropía de Shannon), el lado izquierdo se convierte en el funcional cuántico $F_\theta(t)$, y el lado derecho se convierte en el funcional de soporte $\zeta_\theta(t)$.

Contribuciones Clave y Resultados

• Igualdad de Funcionales (Teorema 1.1): El resultado principal es la demostración de que para cada tensor $t$ y cada distribución de probabilidad $\theta$, el funcional cuántico y el funcional de soporte de Strassen son iguales:
  $$F_\theta(t) = \zeta_\theta(t)$$
  Esto confirma que los funcionales de soporte de Strassen son, de hecho, puntos espectrales universales.
• Prueba Simplificada de la Universalidad: El resultado proporciona una nueva prueba directa de que los funcionales cuánticos son puntos espectrales universales. Esta evita la compleja maquinaria de la teoría de invariantes utilizada en la prueba original de Christandl et al., reemplazándola con métodos de análisis convexo elementales derivados de la fórmula minimax.
• Conexión con el Rango de Rebanada Asintótico (Corolario 1.2): El artículo establece un vínculo directo entre el rango de rebanada asintótico de los tensores y el número de cobertura de vértices asintótico de hipergrafos. Específicamente, el rango de rebanada asintótica $\widetilde{SR}(t)$ puede calcularse como el mínimo número de cobertura de vértices asintótico sobre todos los cambios de base:
  $$\widetilde{SR}(t) = \min_{g \in GL} \widetilde{\tau}(H_{g \cdot t})$$
  Esto generaliza resultados previos conocidos solo para tensores libres.
• Marco Minimax General (Teoremas 1.3 y 1.4): Los autores proporcionan una fórmula minimax general aplicable a cualquier función convexa, simétrica y semicontinua inferior en polítopos de momento asociados con representaciones racionales de $GL$. Este marco unifica varios parámetros de tensores, incluyendo el rango no conmutativo, el rango G-estable y los funcionales cuánticos simétricos.
• Funcionales Cuánticos Simétricos (Sección 5.1): El artículo extiende la descripción minimax a los funcionales cuánticos simétricos (definidos para la acción diagonal de $GL(n)$), proporcionando una nueva prueba directa de su submultiplicatividad.

Significancia
Los autores afirman que el trabajo es significativo en varias áreas:

1. Resolución de un Problema Abierto de Larga Data: Resuelve la cuestión de 35 años sobre la universalidad de los funcionales de soporte de Strassen.
2. Unificación de Conceptos: Revela una profunda conexión estructural entre el polítopo de soporte (un objeto combinatorio relacionado con las entradas no nulas del tensor) y el polítopo de entrelazamiento/momento (un objeto geométrico relacionado con los marginales cuánticos), mostrando que producen valores idénticos para la optimización basada en la entropía.
3. Avance Metodológico: Al aprovechar la dualidad de Hirai en variedades de Hadamard, el artículo ofrece una poderosa nueva herramienta para analizar invariantes de tensores, potencialmente simplificando futuras pruebas en complejidad algebraica y teoría de la información cuántica.
4. Implicaciones Computacionales: La conexión con el número de cobertura de vértices asintótico ofrece una nueva perspectiva para calcular el rango de rebanada asintática, vinculando la complejidad algebraica con la combinatoria de hipergrafos.

Los autores señalan que, aunque los resultados se presentan para acciones de $GL$, las pruebas son generales y pueden extenderse a otros grupos si la conjetura de Hirai sobre la dualidad fuerte para todas las variedades de Hadamard se mantiene cierta. También destacan que la fórmula minimax podría servir como base para construir nuevos puntos espectrales o desarrollar algoritmos eficientes para calcular invariantes de tensores.