Quantifying mixed-state entanglement via partial transpose and realignment moments

Resumen Técnico: Cuantificación del Entrelazamiento de Estados Mixtos mediante la Transposición Parcial y Momentos de Realineación

Planteamiento del Problema
Cuantificar el entrelazamiento en sistemas cuánticos de muchos cuerpos mixtos sigue siendo un problema notoriamente difícil, particularmente en el contexto de los dispositivos de Escala Intermedia con Ruido Cuántico (NISQ), donde el ruido experimental convierte los estados en mixtos. Mientras que el entrelazamiento en estados puros está bien caracterizado por medidas como la entropía de entrelazamiento (Rényi), extender esto a estados mixtos enfrenta obstáculos significativos. La métrica estándar de la negatividad de la Transposición Parcial (PT) (o negatividad logarítmica) requiere la diagonalización completa de la transposición parcial, lo cual es exponencialmente costoso. Además, la medición experimental de la negatividad PT suele requerir la tomografía de estado completo. Los esfuerzos previos se centraron en la detección binaria de entrelazamiento utilizando momentos de bajo orden o mapas positivos, pero estos carecen del poder cuantitativo para caracterizar el grado de entrelazamiento o la dimensionalidad del entrelazamiento en sistemas grandes y ruidosos.

Metodología
Los autores introducen familias de testigos de entrelazamiento cuantitativos construidos a partir de los momentos de la transposición parcial y de la matriz de realineación. Estos se definen como:

1. Negatividad $p_\alpha$ ($E_\alpha$): Derivada de los momentos PT $p_\alpha = \text{tr}((\rho^\Gamma)^\alpha)$. Específicamente, $E_\alpha(\rho) = \frac{1}{2-\alpha}[\ln(\tilde{p}_\alpha) + (\alpha-1)S_2(\rho)]$, donde $\tilde{p}_\alpha = \text{tr}(|\rho^\Gamma|^\alpha)$ y $S_2$ es la entropía de 2-Rényi.
2. Negatividad $r_\alpha$ ($C_\alpha$): Derivada de los momentos de realineación $r_\alpha = \text{tr}((R_\rho^\dagger R_\rho)^{\alpha/2})$, donde $R_\rho$ es la matriz de realineación.

Los autores se centran en el caso $\alpha=4$ ($E_4$ y $C_4$), demostrando que estas cantidades pueden medirse eficientemente en hardware cuántico utilizando pruebas SWAP o mediciones de Bell con un número constante de copias (2 o 4) sin necesidad de tomografía de estado completo. El marco se extiende a testigos con resolución de simetría (SR) mediante la descomposición de la matriz de densidad en sectores de carga (por ejemplo, bajo simetrías globales $U(1)$ o $\mathbb{Z}_2$), lo que ajusta los límites y mejora las capacidades de detección.

Asimismo, el artículo desarrolla algoritmos clásicos eficientes para computar estos momentos para Estados de Producto de Matrices (MPS) y Operadores de Producto de Matrices (MPO), con costos computacionales que escalan polinómicamente con el tamaño del sistema y la dimensión de enlace.

Contribuciones Clave y Resultados

1. Testigos Cuantitativos y Límites:

   • La negatividad $p_\alpha$ y la negatividad $r_\alpha$ actúan como testigos cuantitativos. Para $\alpha \ge 1$, proporcionan límites inferiores rigurosos en la negatividad PT ($E$) y la negatividad CCNR ($C$), respectivamente.
   • Crucialmente, proporcionan límites inferiores en la robustez del entrelazamiento y el número de Schmidt (dimensionalidad del entrelazamiento).
   • Para estados puros, estos testigos colapsan en las entropías de entrelazamiento Rényi estándar, efectivizando así su generalización a estados mixtos.

2. Pruebas de Entrelazamiento Eficientes:

   • Los autores presentan un algoritmo eficiente para distinguir si un estado mixto tiene un entrelazamiento bajo ($O(\log n)$) o un entrelazamiento alto ($\omega(\log n)$), siempre que el estado tenga una entropía 2-Rényi acotada ($S_2 = O(\log n)$). Esto generaliza resultados previos conocidos solo para estados puros.
   • Se proporcionan algoritmos eficientes para probar el rango de Schmidt (usando mediciones de 2 copias) y el rango de Schmidt de operador (usando mediciones de 4 copias).

3. Certificación de Profundidad de Circuito:

   • Los testigos permiten la certificación robusta de la profundidad mínima de circuito requerida para preparar un estado, incluso en presencia de ruido, asumiendo que el estado final es débilmente mixto ($S_2 = O(\log n)$). Esto extiende los protocolos de certificación previos sin ruido.

4. Pseudoentrelazamiento y Criptografía:

   • El artículo establece límites rigurosos sobre el pseudoentrelazamiento (la capacidad de los estados de bajo entrelazamiento para imitar estados de alto entrelazamiento).
   • Se demuestra que para estados mixtos con baja entropía ($S_2 = O(\log n)$), la brecha de pseudoentrelazamiento está fundamentalmente limitada a $f(n) = \Theta(n)$ frente a $g(n) = \omega(\log n)$.
   • Los resultados implican que la entropía es un recurso necesario para ocultar la información de entrelazamiento de forma segura; para lograr la brecha máxima ($g(n)=0$), el estado debe ser altamente mixto ($S_2 = \omega(\log n)$).

5. Diagramas de Fases de Entrelazamiento:

   • Los autores demuestran que el diagrama de fases de entrelazamiento de los estados aleatorios de Haar (que comprende las fases PPT, de Entrelazamiento Máximo y de Saturación de Entrelazamiento) puede establecerse completamente computando únicamente la negatividad $p_4$, evitando la necesidad de la continuación analítica de todos los momentos PT.
   • Este resultado se extiende a cualquier 4-diseño. Sorprendentemente, los estados estabilizadores (que no forman un 4-diseño) muestran compartir exactamente el mismo diagrama de fases de entrelazamiento que los estados aleatorios de Haar.
   • La negatividad $p_4$ captura efectivamente el entrelazamiento de ley de volumen en estados de Haar incluso bajo un ruido de depolarización global exponencialmente fuerte.

6. Aplicaciones de Muchos Cuerpos:

   • Los resultados numéricos en el Modelo de Ising de Campo Transverso (TFIM) y el modelo XXZ muestran que los testigos, particularmente sus versiones con resolución de simetría, detectan eficazmente el entrelazamiento en estados fundamentales sujetos a ruido y temperatura finita.
   • Se demuestra que los testigos SR son más robustos que los no-SR, detectando entrelazamiento en regímenes donde los testigos estándar fallan (por ejemplo, particiones desconectadas o cerca de puntos críticos).

Significado
El artículo afirma abrir nuevas vías para cuantificar el entrelazamiento en sistemas grandes y ruidosos. Al introducir las negatividades $p_\alpha$ y $r_\alpha$, los autores proporcionan una alternativa práctica y experimentalmente accesible a la negatividad PT que conserva el poder cuantitativo. El trabajo cierra la brecha entre la teoría del entrelazamiento de estados puros (vía entropías Rényi) y la física de estados mixtos, ofreciendo herramientas para caracterizar la dimensionalidad del entrelazamiento, certificar la profundidad de los circuitos y comprender la complejidad del pseudoentrelazamiento. La capacidad de computar estos testigos eficientemente mediante algoritmos MPS/MPO y medirlos mediante pruebas SWAP los hace directamente implementables en el hardware cuántico actual y cercano, abordando la necesidad crítica de evaluar los dispositivos NISQ.