Resumen Técnico: Baricentros de Transporte Óptimo Cuántico

1. Planteamiento del Problema

Este artículo establece un marco matemático riguroso para los baricentros de transporte óptimo cuántico (QOT), que sirven como el análogo cuántico de los baricentros de Wasserstein clásicos para medidas de probabilidad [1]. El problema central se define como la búsqueda de un estado cuántico $\rho$ que minimice una suma ponderada de costos de transporte hacia una familia dada de estados de entrada $\sigma_s$:

$$\text{BC}_{C,\alpha}^{A,E}(\sigma) := \inf_{\rho \in S_{A,E}(H_0)} \sum_{s=1}^N \alpha_s \text{QOT}(\rho, \sigma_s \mid C_s)$$

donde $C_s$ son operadores de costo autoadjuntos no negativos, $\alpha_s$ son pesos positivos cuya suma es 1, y el espacio de búsqueda $S_{A,E}(H_0)$ puede incluir restricciones de energía.

El artículo se dirige específicamente a dos modelos prominentes de transporte estático:

1. Formulación de Estado Cuántico ($\tau = +1$): Basada en la distancia de Wasserstein de 2 cuántica introducida por Caglioti–Golse–Mouhot–Paul [7, 22], donde los costos de transporte se definen entre operadores de densidad.
2. Formulación de Canal Cuántico ($\tau = -1$): Basada en el trabajo de De Palma y Trevisan [14], donde los planes de transporte se interpretan como canales cuánticos, correspondientes a acoplamientos entre un estado y la transpuesta de otro.

Una motivación primaria es comprender la rigidez gaussiana de estos baricentros: ¿obligan los estados gaussianos de entrada a que el baricentro óptimo sea gaussiano y único entre todos los estados cuánticos, o solo dentro de la familia gaussiana? Esto es no trivial porque, a diferencia de las medidas clásicas, distintos estados cuánticos pueden compartir idénticos primeros y segundos momentos (media y covarianza).

2. Metodología

Los autores emplean un enfoque variacional en espacios de Hilbert separables, utilizando herramientas de la teoría de operadores y dualidad convexa.

• Existencia y Compacidad: La existencia de los baricentros se demuestra mediante el método directo del cálculo de variaciones. Para manejar espacios de dimensión infinita donde las restricciones de margen por sí solas no garantizan la compacidad, los autores imponen condiciones sobre los operadores de costo: o bien deben tener un resolvente compacto (cubriendo Hamiltonianos de confinamiento) o ser generados por cuadraturas (costos cuadráticos basados en observables canónicas).
• Dualidad: Se establece un resultado de dualidad fuerte utilizando el teorema de Fenchel–Rockafellar. El problema primal (minimizar el costo de transporte sobre los acoplamientos) se dualiza en un problema de maximización sobre potenciales de operadores autoadjuntos acotados. Este marco unifica las formulaciones de estado y de canal.
• Reducción Gaussiana: Para costos cuadráticos, el costo de transporte depende únicamente de los primeros y segundos momentos canónicos. Los autores utilizan la proyección gaussiana (mapear un estado al único estado gaussiano con la misma media y covarianza) para mostrar que el problema del baricentro de dimensión infinita se reduce a un problema de optimización convexa de dimensión finita sobre matrices de covarianza.
• Reconstrucción de Estado y Rigidez: Para cerrar la brecha entre la unicidad de la covarianza óptima y la unicidad del estado cuántico completo, los autores desarrollan un principio de reconstrucción. Analizan la relación de holgura de la covarianza derivada del problema dual. Al demostrar que un estado fiel (un estado con covarianza de rango completo) impone una estructura específica sobre el acoplamiento óptimo, prueban que el acoplamiento debe ser gaussiano, forzando así que el baricentro sea gaussiano y único.
• Análisis Semiclásico: El artículo analiza el límite cuando la constante de Planck $\hbar \to 0^+$, demostrando la convergencia hacia el baricentro de la 2-Wasserstein gaussiana clásica.

3. Contribuciones Clave y Resultados

A. Existencia General y Dualidad (Teoremas 2.1–2.2)

El artículo demuestra la existencia de baricentros de QOT para una amplia clase de costos en espacios de Hilbert separables, incluyendo costos no acotados. Establece una fórmula de dualidad de tipo Kantorovich con restricciones de energía, válida tanto para la formulación de estado cuántico como para la de canal cuántico.

B. Reducción Gaussiana (Teorema 2.5)

Para entradas que son estados gaussianos, los autores demuestran que:

1. Siempre existe un baricentro gaussiano.
2. El problema se reduce a una optimización convexa de dimensión finita sobre matrices de covarianza (Ecuación 2.11).
3. La media del baricentro es el promedio ponderado de las medias de entrada.

C. Unicidad Global y Rigidez Gaussiana (Teorema 2.6)

Este es el resultado central del artículo. Establece que si los estados de entrada son gaussianos y al menos uno de ellos es fiel (es decir, su matriz de covarianza satisface $\Sigma + i\frac{\hbar}{2}\Omega \succ 0$), entonces:

• El baricentro es único entre todos los estados cuánticos (no solo los gaussianos).
• El baricentro único es necesariamente gaussiano.
• La prueba se basa en un principio de reconstrucción: la relación de holgura de la covarianza, combinada con la fidelidad de una entrada, fuerza al acoplamiento óptimo a ser gaussiano, lo que a su vez fuerza a la marginal baricéntrica a ser gaussiana.

D. Convergencia Semiclásica (Teorema 2.7)

Los autores demuestran que, a medida que $\hbar \to 0^+$, las covarianzas del baricentro cuántico convergen a la covarianza del baricentro de la 2-Wasserstein gaussiana clásica. Las distribuciones de Wigner asociadas convergen débilmente a la medida gaussiana clásica.

E. Caracterizaciones Explícitas (Corolario 2.8)

Para los estados térmicos isotrópicos desplazados (una clase específica de estados gaussianos), el artículo proporciona fórmulas explícitas para el baricentro único tanto en la formulación de estado cuántico como en la de canal cuántico.

F. No Unicidad en la Frontera (Ejemplo 5.31)

El artículo demuestra que la condición de fidelidad es suficiente pero no necesaria. Si todas las entradas son parcialmente puras (algunos modos son puros, otros mixtos), la unicidad puede fallar. Los autores construyen un ejemplo donde existen baricentros gaussianos y no gaussianos distintos con idénticos primeros y segundos momentos, resaltando que sin una entrada fiel, la covarianza óptima no determina de forma única el estado cuántico.

4. Significado y Reivindicaciones

El artículo afirma proporcionar un tratamiento unificado de los baricentros de la 2-Wasserstein cuántica, resolviendo la tensión entre las formulaciones de estado cuántico y de canal cuántico bajo un único paraguas teórico.

Su principal significancia reside en el teorema de rigidez gaussiana. Mientras que el transporte óptimo clásico garantiza que las entradas gaussianas produzcan un baricentro gaussiano único, el entorno cuántico introduce ambigüedad porque los momentos no determinan un estado de forma única. Este trabajo demuestra que la fidelidad es la condición precisa requerida para restaurar esta rigidez de tipo clásico en el dominio cuántico.

Los autores señalan modestamente que, aunque la fidelidad es suficiente para la unicidad, no es necesaria (como se ve en el caso de las entradas puras), pero su ausencia en la "frontera de pureza parcial" puede conducir a la no unicidad. El marco se presenta como una teoría variacional para el transporte estático, distinta de los enfoques dinámicos (como Carlen–Maas), y está destinado a servir como una herramienta fundamental para analizar problemas de transporte cuántico que involucren costos cuadráticos.