Isospectral majorization and isoperimetric inequalities for coherent states on the Bloch sphere

Resumen Técnico: Mayoración Isospectral e Desigualdades Isoperimétricas para Estados Coherentes en la Esfera de Bloch

Planteamiento del Problema
El artículo aborda la optimización de la función de Husimi (o símbolo inferior) para operadores de densidad en el espacio de Hilbert $P_N$ de polinomios analíticos de grado como máximo $N$, el cual sirve como el entorno natural para los estados coherentes de $SU(2)$ (Bloch). Si bien el trabajo seminal de Lieb y Solovej estableció que, entre todos los operadores de densidad, los estados puros coherentes de rango 1 maximizan la integral de funciones convexas de la función de Husimi, esta comparación no preserva el espectro del operador. Específicamente, un operador de densidad $\rho$ de rango arbitrario se compara contra un estado puro, alterando efectivamente la distribución de autovalores de un espectro mixto a un espectro puro $(1, 0, \dots, 0)$.

El problema central abordado es identificar el estado "más clásico" dentro de una clase espectral fija. Es decir, para un operador de densidad $\rho$ con un conjunto prescrito de autovalores, ¿qué estado minimiza la integral de una función convexa de su función de Husimi? Esto está motivado por la necesidad de cuantificar los "déficits de gaussianidad" en estados cuánticos y comprender las características cuánticas de los estados mixtos con propiedades espectrales específicas, de forma análoga a cómo los estados coherentes de rango 1 minimizan la incertidumbre.

Metodología
El autor desarrolla un marco basado en la mayoración isospectral y en las propiedades del canal de amplificación de Lieb-Solovej. La metodología procede a través de los siguientes pasos:

1. Reordenamiento Pasivo: El artículo introduce el concepto de un reordenamiento pasivo de $SU(2)$, denotado como $\rho^\downarrow$. Para un operador de densidad $\rho$ con autovalores $p_0 \ge p_1 \ge \dots \ge p_{r-1}$, $\rho^\downarrow$ se construye colocando estos autovalores sobre los vectores de la base monomial $e_n(z) = \sqrt{\binom{N}{n}} z^n$ en orden decreciente.
2. Canal de Amplificación Esférica: El autor utiliza un canal cuántico $C_{N \to M}$ (una versión iterada del canal de Lieb-Solovej) que mapea operadores de $P_N$ a $P_M$ ($M \ge N$). Este canal se define mediante operadores de Kraus y se demuestra que es $SU(2)$-equivariante.
3. Mayoración de Espectro Fijo: Un resultado técnico clave es la demostración de que la salida del canal preserva el orden de mayoración. Específicamente, si $\rho$ es un operador de densidad, la salida del canal aplicada a $\rho$ está mayorada por la salida aplicada a su reordenamiento pasivo $\rho^\downarrow$. Esto se establece mediante el análisis de la acción del canal sobre operadores diagonales y la utilización del principio máximo de Ky Fan.
4. Límite Clásico y Convergencia: Al reescalar la salida del canal y tomar el límite cuando la dimensión $M \to \infty$, el autor demuestra que la traza de funciones convexas de los operadores reescalados converge a la integral de la función convexa de la función de Husimi. Esto cierra la brecha entre la mayoración de matrices en dimensión finita y las desigualdades integrales continuas en la esfera.
5. Aplicación Isoperimétrica: Los resultados se aplican a operadores de Toeplitz $T_\Omega$ con símbolo $1_\Omega$ (la función indicadora de un subconjunto medible $\Omega$ de la esfera). Utilizando el principio máximo de Ky Fan, los autovalores de $T_\Omega$ se relacionan con la maximización de la integral de la función de Husimi sobre conjuntos de medida fija.

Contribuciones Clave y Resultados

• Teorema 1.2 (Desigualdad de Lieb-Solovej Isospectral): El artículo demuestra que para cualquier operador de densidad $\rho$ en $P_N$ y cualquier función convexa $\Phi: [0, 1] \to \mathbb{R}$:
  $$\int_{\mathbb{C}} \Phi(Q_\rho(z)) \, dm(z) \le \int_{\mathbb{C}} \Phi(Q_{\rho^\downarrow}(z)) \, dm(z)$$
  donde $\rho^\downarrow$ es el reordenamiento pasivo de $\rho$. Esto establece que, dentro de una clase espectral fija, el estado pasivo minimiza la integral convexa de la función de Husimi.
• Corolario 1.3 (Entropía de Wehrl de Espectro Fijo): Al aplicar el resultado a la función cóncava $\Phi(t) = -t \log t$, el artículo muestra que el estado pasivo $\rho^\downarrow$ minimiza la entropía de Wehrl de Bloch entre todos los operadores de densidad con el mismo espectro que $\rho$.
• Teorema 1.4 (Mayoración de Canal): Se demuestra que para el canal de Lieb-Solovej $C_{N \to M}$, el estado de salida satisface la relación de mayoración $C_{N \to M}(\rho) \prec C_{N \to M}(\rho^\downarrow)$. Este es un teorema de mayoración de traza fija para la salida del canal.
• Teorema 1.5 (Desigualdad Isoperimétrica de Ky Fan): El artículo deriva una desigualdad isoperimétrica aguda para las normas de Ky Fan de los operadores de Toeplitz. Para cualquier subconjunto medible $\Omega$ de la esfera con medida $\alpha$, y un casquete esférico $D_\alpha$ de la misma medida:
  $$\sum_{j=1}^r \lambda_j(\Omega) \le \sum_{j=1}^r \lambda_j(D_\alpha)$$
  donde $\lambda_j$ son los autovalores en orden decreciente. El lado derecho se calcula explícitamente en términos de $\alpha$ y $N$.
• Corolario 1.6 (Normas de Schatten): La desigualdad de Ky Fan implica desigualdades isoperimétricas agudas para todas las normas matriciales invariantes bajo unidad, incluyendo todas las normas Schatten $p$-norm ($0 < p \le \infty$) de $T_\Omega$.

Significado y Reivindicaciones
El artículo afirma llenar un vacío significativo en la teoría matemática de los estados coherentes de $SU(2)$ al extender los resultados de optimización desde operadores de rango 1 hacia operadores de densidad de mayor rango con espectros fijos.

• Refinamiento de Lieb-Solovej: A diferencia de la desigualdad original de Lieb-Solovej, que compara estados arbitrarios con estados puros, este trabajo proporciona un "déficit más fino" adaptado a problemas de espectro prescrito. Identifica al estado pasivo como el minimizador dentro de su clase espectral, ofreciendo una comprensión más matizada de la "clasicidad" de los estados mixtos.
• Geometría Isoperimétrica: Los resultados demuestran que los casquetes esféricos son los conjuntos extremales para todas las sumas de Ky Fan de los operadores de Toeplitz con símbolos indicadores. Esto se logra sin invocar la desigualdad isoperimétrica esférica clásica; en su lugar, el control geométrico surge directamente de la mayoración de espectro fijo de las salidas del canal.
• Conexión con la Información Cuántica: El trabajo conecta la maximización de las integrales de la función de Husimi con el concepto de déficits de gaussianidad, sugiriendo que los estados pasivos representan la configuración "más clásica" para una restricción espectral dada, de forma análoga a los estados gaussianos en el espacio de Fock.

El autor señala que, si bien los resultados caracterizan a los maximizadores para las normas de Ky Fan, no caracterizan completamente todos los casos de igualdad para la desigualdad integral convexa general con el mismo detalle que los resultados recientes de estabilidad de rango 1 (por ejemplo, de Frank o Kulikov et al.), pero proporcionan los límites agudos y la estructura identificadora (casquetes esféricos) para las sumas de autovalores.