Estimating the best separable approximation of non-pure spin-squeezed states

Aquí presento un resumen técnico detallado del artículo "Estimating the best separable approximation of non-pure spin-squeezed states" (Estimación de la mejor aproximación separable de estados de espín comprimido no puros), escrito por Julia Mathé, Ayaka Usui, Otfried Gühne y Giuseppe Vitagliano.

1. Planteamiento del Problema

La cuantificación del entrelazamiento en sistemas de muchos cuerpos es un desafío fundamental en la física cuántica moderna. Mientras que el entrelazamiento en estados puros (especialmente estados base) está bien caracterizado, la situación se complica drásticamente en estados mixtos, que son omnipresentes en escenarios físicos reales como estados térmicos o sistemas fuera del equilibrio.

• El problema central: Determinar la distancia de un estado cuántico mixto dado ($\varrho$) al conjunto de estados totalmente separables ($SEP$). Esta distancia se utiliza para definir monótonos de entrelazamiento, como la Mejor Aproximación Separable (BSA, por sus siglas en inglés).
• Dificultades computacionales: Calcular la BSA exacta es un problema NP-duro que se vuelve intratable incluso para sistemas de pocos qubits (3 o 4) en el caso general.
• Limitaciones de los métodos actuales:
  • Los testigos de entrelazamiento (witnesses) suelen proporcionar solo una detección binaria (entrelazado o no) o cotas inferiores muy débiles.
  • Los métodos numéricos para encontrar la cota superior (la separable más cercana) sufren de la explosión combinatoria del espacio de estados.
  • La mayoría de los estudios se centran en el paradigma de estado base ($T=0$), ignorando el comportamiento del entrelazamiento a temperaturas finitas o en fases ordenadas donde el estado base es separable.

El objetivo del trabajo es desarrollar un marco computacionalmente viable para cuantificar el entrelazamiento en estados de espín colectivo mixtos, aprovechando las simetrías del sistema (invariancia permutacional y rotacional) para superar las limitaciones de escalabilidad.

2. Metodología

Los autores proponen una estrategia dual para estimar la BSA: calcular cotras inferiores mediante testigos óptimos y cotras superiores mediante un algoritmo iterativo mejorado por simetrías.

A. Cotas Inferiores: Parámetro de Comprimido de Espín Óptimo

Se utiliza un conjunto completo de Desigualdades de Comprimido de Espín Generalizadas (SSIs). Estas desigualdades definen un politopo en el espacio de los primeros y segundos momentos colectivos del espín.

• Formulación: Se define un parámetro de comprimido de espín único y compacto, $\xi_{SS}(\varrho)$, que incorpora la optimización sobre toda la familia de SSIs.
• Construcción del Testigo: El parámetro $\xi_{SS}$ se normaliza para convertirse en un testigo de entrelazamiento válido en el conjunto $M_{BSA}$ (testigos $W$ tales que $W \geq -1$).
• Resultado: Se deriva una cota inferior cerrada para la BSA:
  $$E_{BSA}(\varrho) \geq -\frac{1}{N_K} \xi_{SS}(\varrho)$$
  Donde $N_K$ es un factor de normalización dependiente del número de autovalores positivos de una matriz de momentos de segundo orden. Esta cota es computable directamente a partir de observables colectivos (varianzas y covarianzas).

B. Cotas Superiores: Algoritmo Iterativo con Simetría

Para encontrar la cota superior, se busca el estado separable $\sigma$ que minimiza la distancia a $\varrho$.

• Ansatz Iterativo: Se utiliza un algoritmo que construye una mezcla convexa de estados producto puros. En cada iteración $k$, se busca un nuevo estado producto $|v^{(k)}\rangle$ que maximice el solapamiento con la diferencia $(\varrho - \sigma_{k-1})$.
• Aprovechamiento de Simetrías: Dado que los estados objetivo (en modelos de espín conectados totalmente) son invariantes bajo permutaciones de partículas y rotaciones globales, el algoritmo se mejora mediante un mapeo de "twirling" (enredado).
  • En lugar de trabajar con estados producto genéricos, se proyectan sobre el subespacio simétrico ($P_{PI,z}$).
  • Esto reduce drásticamente la dimensión efectiva del problema, permitiendo tratar sistemas con $N \sim 10$ qubits, mucho más allá del límite de 3-4 qubits de métodos genéricos.
• Optimización Convexa: Una vez seleccionados los estados producto simetrizados, se optimizan las probabilidades de mezcla mediante programación cuadrática secuencial para minimizar la norma al cuadrado de la distancia.

C. Modelo de Estudio

Se aplica el marco al modelo XXZ totalmente conectado en equilibrio térmico. Este modelo presenta fases ferromagnéticas (FM) y antiferromagnéticas (AFM), incluyendo transiciones de fase cuánticas (QPT) y regiones supersimétricas.

3. Contribuciones Clave

1. Derivación de una Cota Inferior Óptima: Se obtiene una expresión analítica cerrada para un parámetro de comprimido de espín que actúa como un testigo óptimo dentro del conjunto de SSIs, proporcionando una cota inferior rigurosa y fácilmente calculable para la BSA sin necesidad de optimización numérica sobre testigos lineales.
2. Algoritmo de Búsqueda de Estados Separables Mejorado: Se presenta una mejora significativa en los algoritmos iterativos para encontrar la mejor aproximación separable, incorporando explícitamente la invariancia permutacional y rotacional. Esto permite escalar el análisis a sistemas de mayor tamaño ($N \approx 10$) y estados mixtos complejos.
3. Cuantificación del Entrelazamiento en Estados Térmicos: Se demuestra la viabilidad de estudiar el entrelazamiento cuantitativo en estados térmicos ($T > 0$), superando el enfoque tradicional limitado al estado base.
4. Descubrimiento de Entrelazamiento en Fases Ordenadas: Se revela que el entrelazamiento puede surgir a temperaturas no nulas incluso en fases donde el estado base es totalmente separable (fases ordenadas), especialmente cerca de puntos críticos cuánticos.

4. Resultados Principales

• Precisión de las SSIs: Las desigualdades de comprimido de espín (SSIs) capturan fielmente el entrelazamiento en estados térmicos de modelos cuadráticos. La cota inferior derivada de las SSIs a menudo coincide con la cota superior (es decir, es "ajustada" o tight) tanto a temperatura cero como en la temperatura crítica donde desaparece el entrelazamiento.
• Comportamiento en el Modelo XXZ:
  • En la fase Ferromagnética, se observa que el estado base es separable, pero el entrelazamiento reaparece a temperaturas bajas (fenómeno de "re-entrancia" térmica).
  • En la fase Antiferromagnética, se identifica que el entrelazamiento persiste en regiones supersimétricas donde el estado base es una mezcla de singletes (entrelazados) y estados polarizados (separables).
• Escalabilidad: El método permite calcular cotas para $N=200$ (usando solo la cota inferior analítica) y realizar optimizaciones numéricas completas para $N=8$ con alta precisión.
• Análisis Asintótico: Para el modelo Heisenberg totalmente conectado, se derivan expresiones analíticas para el límite $N \to \infty$, mostrando que la cota inferior de la BSA escala de manera independiente de $N$ en el límite termodinámico, con una temperatura crítica de desaparición del entrelazamiento bien definida ($T_c = 1$ en unidades naturales).

5. Significado e Impacto

Este trabajo es significativo por varias razones:

• Puente entre Teoría y Experimento: Las cotas inferiores se basan en momentos colectivos de segundo orden, que son directamente medibles experimentalmente en gases atómicos y sistemas de espín, sin necesidad de tomografía completa del estado.
• Más allá del Estado Base: Proporciona una herramienta robusta para investigar la física de estados mixtos y fuera del equilibrio, un área donde la teoría del entrelazamiento es aún incipiente.
• Nueva Perspectiva sobre Fases de la Materia: Sugiere que la clasificación de fases de la materia debe considerar el entrelazamiento no solo en el estado base, sino también en estados térmicos y excitados, revelando conexiones entre el entrelazamiento y la criticidad cuántica en regímenes de temperatura finita.
• Viabilidad Computacional: Demuestra que, al explotar simetrías físicas, es posible realizar análisis cuantitativos de entrelazamiento en sistemas de muchos cuerpos que de otro modo serían computacionalmente intratables.

En resumen, el artículo establece un marco metodológico sólido para cuantificar el entrelazamiento en sistemas de espín colectivo mixtos, validando la utilidad de las desigualdades de comprimido de espín como testigos óptimos y demostrando la existencia de regímenes de entrelazamiento térmico no triviales.