Stabilizer entropy is trustworthy for mixed states

Resumen Técnico: La Entropía del Estabilizador es Confiable para Estados Mixtos

Planteamiento del Problema
Cuantificar la no-estabilicidad (a menudo denominada "magia") es esencial para comprender la ventaja cuántica, el caos y las limitaciones de la simulación clásica. Aunque existen monotonos de no-estabilicidad para estados puros, su extensión a estados mixtos presenta una barrera computacional severa. Trabajos recientes han establecido que cualquier monotono de no-estabilicidad estricto para estados mixtos pertenece a la clase de complejidad $QP_2$, lo que requiere un tiempo de computación superexponencial. Esto hace que los monotonos estrictos sean impracticables para aplicaciones físicas realistas que involucran ruido, mediciones parciales o dinámica de estados mixtos. Además, la extensión ingenua de la Entropía del Estabilizador (SE) a estados mixtos falla al no satisfacer la monotonicidad bajo operaciones libres (específicamente la traza parcial y el desfasamiento), violando un requisito fundamental de las teorías de recursos.

Metodología
Los autores proponen una relajación de la condición de monotonicidad estricta mediante la introducción del concepto de un proxy de recurso $\eta$. Se define que una función $f$ es un proxy de recurso $\eta$ para un ensamble de estados $\mathcal{S}$ si es fiel (cero en estados libres) y la probabilidad de que viole la monotonicidad bajo operaciones libres decae exponencialmente con el tamaño del sistema $N$ (específicamente como $\exp(-\eta N)$).

El artículo se centra en la Entropía del Estabilizador Lineal ($\tilde{M}_{lin}$) para estados mixtos, definida como:
$$\tilde{M}_{lin}(\rho) = \text{Pur}(\rho) - SP(\rho)$$
donde $\text{Pur}(\rho) = \text{Tr}(\rho^2)$ es la pureza y $SP(\rho) = d \text{Tr}(Q \rho^{\otimes 4})$ es la pureza del estabilizador, siendo $Q$ el proyector sobre el subespacio del estabilizador.

Los autores analizan la brecha de monotonicidad $\bar{M}_E(\rho) = \tilde{M}_{lin}(\rho) - \tilde{M}_{lin}(E(\rho))$ bajo dos operaciones libres:

1. Traza Parcial (reducción del sistema).
2. Desfasamiento en la base computacional (modelado de mediciones sin post-selección).

Emplean técnicas analíticas que involucran promedios de Haar, promedios del grupo de Clifford y propiedades de los Estados de Producto de Matrices (MPS) para calcular la media y la varianza de esta brecha. Utilizan el lema de Lévy y la desigualdad de Chebyshev para acotar la probabilidad de las violaciones de la monotonicidad. Adicionalmente, realizan simulaciones numéricas en MPS aleatorios y en los estados fundamentales del modelo cuántico XY unidimensional para verificar estos límites en entornos no aleatorios y físicamente relevantes.

Contribuciones Clave y Resultados

1. Definición de Proxies de Recursos: El artículo formaliza la noción de un proxy de recurso, argumentando que, para estados mixtos donde los monotonos estrictos son computacionalmente intratables, una medida que se comporte como un monotono con una probabilidad abrumadora es una alternativa necesaria y práctica.

2. Garantías Analíticas en Ensambles Aleatorios:

   • Estados Aleatorios de Haar: Los autores demuestran que para estados genéricos de Haar, la probabilidad de violación de $\tilde{M}_{lin}$ bajo traza parcial y desfasamiento decae como $\exp(-\eta N)$ con $\eta = O(d/\log d)$, donde $d=2^N$. Esto indica violaciones superexponencialmente raras.
   • Órbitas de Clifford: Para estados generados por unitarias de Clifford aleatorias actuando sobre una semilla fija, la probabilidad de violación decae como $\exp(-\eta N)$ con $\eta = O(1)$. Aunque el ensamble es más pequeño que el caso de Haar, las violaciones siguen siendo exponencialmente raras.
   • Estados de Producto de Matrices (MPS) Aleatorios: Para MPS aleatorios con dimensión de enlace $\chi$, la probabilidad de violación está acotada por $\exp(-\eta N)$ donde $\eta = O(\chi^2)$. Incluso para una $\chi$ constante, las violaciones son exponencialmente improbables, y la tipicidad mejora a medida que $\chi$ aumenta.

3. Verificación Numérica en Sistemas Físicos:

   • Modelo XY: Los autores probaron la SE de estado mixto logarítmica ($\tilde{M}_2$) en los estados fundamentales de la cadena XY de espín-1/2. Computaron la brecha de no-estabilicidad de la medición post-seleccionada promediada por resultados para mediciones parciales en la base computacional. A través de todo el diagrama de fases (incluyendo fases ordenadas y desordenadas, y ambos sectores de paridad), la brecha se mantuvo estrictamente positiva. Esto demuestra que $\tilde{M}_2$ (y por extensión $\tilde{M}_{lin}$) no aumenta en promedio bajo mediciones parciales en este sistema de muchos cuerpos específico.
   • Condiciones de Contorno Abiertas (OBC): El análisis numérico de MPS aleatorios con OBC confirmó que tanto $\tilde{M}_{lin}$ como $\tilde{M}_2$ mantienen brechas positivas bajo desfasamiento y traza parcial a través de varios tamaños de sistema y escalamientos de la dimensión de enlace.

Significancia y Reivindicaciones
El artículo sostiene que la Entropía del Estabilizador Lineal ($\tilde{M}_{lin}$) sirve como un proxy confiable y eficientemente computable para la no-estabilicidad en estados mixtos. Los autores argumentan que, dada la probada dificultad computacional de los monotonos estrictos para estados mixtos, el marco de "proxy de recurso" no es meramente una conveniencia, sino una necesidad para aplicaciones prácticas.

La significancia radica en permitir la cuantificación fiable de los recursos de magia en:

• Procesos de información cuántica con ruido que involucran mediciones y decoherencia.
• Sistemas de muchos cuerpos donde el acceso a las propiedades de los subsistemas (vía matrices de densidad reducidas) es requerido.
• Entornos experimentales donde la tomografía completa del estado es inviable, pero las entropías lineales son experimentalmente accesibles.

El trabajo sugiere que, si bien la monotonicidad estricta no puede garantizarse para todos los estados mixtos, la probabilidad de violación es tan baja en los ensambles físicamente relevantes (Haar, Clifford, MPS, y estados fundamentales de Hamiltonianos específicos) que la Entropía del Estabilizador puede utilizarse con "probabilidad abrumadora" como una medida de recurso válida. Los autores mantienen la modestia, señalando que aunque sus resultados son robustos en los ensambles probados, se requiere mayor verificación para otras clases de estados (por ejemplo, estados de estabilizador con $t$-dopaje) y ansatz variacionales 2D (PEPS).