Spectral signatures of nonstabilizerness and criticality in infinite matrix product states

Resumen Técnico

1. El Problema

La no estabilizabilidad (a menudo denominada "magia" o magic) es un recurso fundamental para la computación cuántica universal, ya que las operaciones Clifford por sí solas son simulables clásicamente de manera eficiente. Sin embargo, el comportamiento de la magia en sistemas cuánticos de muchos cuerpos, especialmente cerca de puntos críticos (transiciones de fase), sigue siendo poco comprendido.

• Desafío principal: A diferencia de la entrelazamiento, que es una herramienta central para caracterizar fases exóticas y dinámicas, cuantificar la no estabilizabilidad en sistemas grandes es computacionalmente costoso (escala exponencialmente).
• Incertidumbre actual: No está claro si la magia puede servir como un indicador robusto de criticidad. Estudios previos han mostrado resultados contradictorios: mientras el modelo de Ising crítico muestra características no analíticas en la entropía de Rényi de estabilizador (SRE), otros modelos que realizan el mismo punto crítico $Z_2$ (como modelos de átomos de Rydberg) muestran comportamientos suaves. Esto plantea dudas sobre si la no estabilizabilidad por sí sola puede detectar transiciones de fase de manera universal.

2. Metodología

Los autores desarrollan un marco espectral basado en matrices de transferencia para analizar la Entropía de Rényi de Estabilizador (SRE) en Estados de Producto Matricial Infinitos (iMPS).

• Enfoque Espectral: Utilizan la técnica de réplicas para construir una matriz de transferencia específica para la SRE ($E$). A diferencia de la matriz de transferencia estándar de iMPS (que gobierna la entrelazamiento y las correlaciones de dos puntos), la matriz de transferencia de la SRE actúa en un espacio de Hilbert ampliado ($2n$ copias del estado).
• Descomposición Espectral: Analizan el espectro de autovalores de esta matriz de transferencia de la SRE. Descomponen la SRE de un subsistema finito en una cadena infinita en tres contribuciones distintas:
  1. Un término extensivo dominante (no universal).
  2. Un término de frontera constante (mutua SRE).
  3. Correcciones subdominantes que decaen exponencialmente.
• Modelos de Estudio:
  • Analizan analíticamente el "esqueleto" de iMPS (bond dimension $\chi=2$) del modelo Cluster-Ising, que permite soluciones exactas.
  • Realizan simulaciones numéricas en el modelo Cluster-Ising completo utilizando el algoritmo VUMPS (Variational Uniform Matrix Product State) para explorar el diagrama de fases completo.

3. Contribuciones Clave

1. Definición de la Longitud de Correlación de la SRE ($\xi_{SRE}$):
   Identifican una nueva longitud de escala, $\xi_{SRE}^{(n)}$, derivada de la relación entre el segundo autovalor y el autovalor dominante de la matriz de transferencia de la SRE. Esta longitud gobierna el decaimiento de las correlaciones de no estabilizabilidad.

   • Distinción crucial: $\xi_{SRE}$ es generalmente diferente de la longitud de correlación estándar del iMPS ($\xi$). Muestran que pueden divergir con exponentes críticos diferentes en el mismo punto crítico.

2. Descomposición de la SRE en Subsistemas Finitos:
   Demuestran que la SRE de un subsistema de tamaño $N$ en el límite termodinámico se descompone como:
   $$\tilde{M}^{(n)}(N) \approx N \cdot m^{(n)} + L_{\infty}^{(n)} + f(N)$$
   Donde $L_{\infty}^{(n)}$ es la SRE mutua entre dos subsistemas semi-infinitos adyacentes, y $f(N)$ contiene la información sobre la longitud de correlación $\xi_{SRE}$.

3. Respuesta a Perturbaciones Locales:
   Demuestran teóricamente que la longitud de correlación $\xi_{SRE}$ gobierna cómo cambia la SRE cuando se aplican perturbaciones unitarias locales en dos sitios separados espacialmente. Esto confirma que $\xi_{SRE}$ mide correlaciones no locales de operadores de Pauli que no son capturadas por las funciones de correlación estándar.

4. Resultados Principales

• Comportamiento Crítico en el Esqueleto $\chi=2$:
  En el punto multicrítico del modelo Cluster-Ising ($g=0$), donde convergen fases triviales, de Ising y SPT (Topológica Protegida por Simetría):

  • La longitud de correlación estándar diverge como $\xi \sim |g|^{-1}$.
  • La longitud de correlación de la SRE diverge más rápido: $\xi_{SRE}^{(2)} \sim |g|^{-2}$.
  • Esto demuestra que la magia es sensible a estructuras de operadores más complejas que las capturadas por la entrelazamiento estándar.

• Diagrama de Fases del Modelo Cluster-Ising Completo:
  Al mapear la densidad de SRE ($m^{(2)}$) y la SRE mutua ($L_{\infty}^{(2)}$) en el diagrama de fases:

  • La densidad de SRE muestra comportamientos no universales y suaves en algunas líneas críticas, lo que podría llevar a falsos negativos si se usa como único indicador.
  • Sin embargo, la longitud de correlación de la SRE ($\xi_{SRE}$) diverge a lo largo de todas las líneas críticas continuas, actuando como un diagnóstico robusto de criticidad incluso cuando la densidad de SRE no muestra singularidades obvias.

• Escalado Universal:
  Investigan el escalado de la SRE mutua cerca de la criticidad. Encuentran que, aunque el comportamiento asintótico universal (predicho por Teoría de Campos Conformes de Frontera) es difícil de alcanzar debido a efectos de tamaño finito (bond dimension $\chi$), la SRE mutua sigue una ley de potencia logarítmica con la longitud de correlación, con un coeficiente que tiende a los valores universales esperados para la clase de universalidad $Z_2$ a medida que $\chi$ aumenta.

5. Significado e Impacto

• Nueva Herramienta de Diagnóstico: El trabajo establece que la no estabilizabilidad no es solo un recurso para la computación cuántica, sino una propiedad física emergente que contiene información universal sobre las transiciones de fase.
• Resolución de Contradicciones: Explica por qué diferentes modelos con el mismo punto crítico pueden mostrar comportamientos distintos en la densidad de SRE: la densidad es no universal, pero la longitud de correlación de la SRE y su divergencia son universales.
• Conexión entre Recursos y Física: Proporciona un puente teórico entre la teoría de recursos cuánticos (magia) y la física de la materia condensada (fases topológicas, criticidad).
• Limitaciones y Futuro: Reconocen que el cálculo de la SRE es costoso para grandes dimensiones de enlace ($\chi$), pero proponen que este marco es aplicable a otros sistemas críticos (como cadenas XXZ o sistemas frustrados) y podría extenderse a estados PEPS en 2D y dinámicas temporales.

En conclusión, el artículo demuestra que la no estabilizabilidad, cuando se analiza a través de su estructura espectral y su longitud de correlación asociada, es un indicador potente y universal de la criticidad cuántica, capaz de revelar detalles sobre la estructura de operadores del sistema que la entrelazamiento tradicional pasa por alto.