Detecting entanglement from few partial transpose moments and their decay via weight enumerators

Título: Detección de entrelazamiento a partir de pocos momentos de la transpuesta parcial y su decaimiento mediante enumeradores de peso

1. El Problema

La certificación experimental del entrelazamiento cuántico se ha vuelto un desafío crítico debido al rápido desarrollo de dispositivos cuánticos a gran escala. El criterio estándar de oro es el criterio de Transpuesta Parcial Positiva (PPT), el cual establece que un estado es entrelazado si su matriz de densidad parcialmente transpuesta ($\rho^\Gamma$) tiene al menos un autovalor negativo. Sin embargo, calcular el espectro completo de $\rho^\Gamma$ es computacionalmente intratable para sistemas con muchos qubits (crecimiento exponencial) y experimentalmente imposible, ya que requiere la reconstrucción completa de la matriz de densidad.

Las aproximaciones existentes basadas en momentos de la transpuesta parcial ($p_k = \text{Tr}[(\rho^\Gamma)^k]$) han mejorado la situación, pero presentan limitaciones:

• Los criterios más potentes (como los de Stieltjes o Descartes de orden $m$) requieren medir todos los momentos desde $p_1$ hasta $p_m$.
• Medir momentos de alto orden ($k$ grande) es experimentalmente costoso y difícil debido a la necesidad de preparar múltiples copias del estado ($\rho^{\otimes k}$) y realizar mediciones complejas (pruebas de ciclos).
• Existe una brecha entre la potencia teórica de estos criterios y su viabilidad práctica en dispositivos ruidosos actuales.

2. Metodología

Los autores abordan el problema mediante tres enfoques teóricos y analíticos principales:

• Generalización del Criterio PPT de Tres Momentos: En lugar de requerir todos los momentos hasta un orden $m$, los autores demuestran que es suficiente comparar cualquier tripleta de momentos de orden $k < l < m$. Utilizan la desigualdad de Hölder para derivar una condición necesaria para que un estado sea PPT.
• Análisis de Completitud del Criterio de Stieltjes: Investigan bajo qué condiciones el criterio de Stieltjes (basado en la positividad semidefinida de la matriz de Hankel construida con los momentos) es equivalente al criterio PPT completo. Utilizan teoría de polinomios y propiedades de los autovalores de $\rho^\Gamma$.
• Introducción de Enumeradores de Peso Cuánticos (QWE): Desarrollan un nuevo marco teórico para describir cómo decaen los momentos $p_k$ bajo ruido de despolarización local. Generalizan los enumeradores de peso de Shor-Laflamme (usados en corrección de errores cuánticos) para capturar la evolución de los momentos de la transpuesta parcial. Utilizan análisis de Fourier en grupos abelianos finitos para calcular estos enumeradores eficientemente para estados estabilizadores.

3. Contribuciones Clave

1. Criterio (k, l, m)-PPT (Teorema 1):

   • Se demuestra que un estado $\rho$ es entrelazado (NPT) si cumple la desigualdad:
     $$p_l > p_k^x p_m^{1-x}$$
     donde $x = (m - l) / (m - k)$.
   • Esto permite detectar entrelazamiento midiendo solo tres momentos específicos en lugar de todos los momentos hasta el orden $m$, reduciendo significativamente la sobrecarga experimental.

2. Límites Cuantitativos (Teorema 2):

   • Se generalizan las cotas inferiores para la negatividad logarítmica ($E_N$) utilizando solo un subconjunto de momentos, proporcionando una estimación cuantitativa del entrelazamiento sin necesidad de tomografía completa.

3. Equivalencia con el Criterio PPT (Teorema 3):

   • Se prueba que el criterio de Stieltjes de orden $m$ es tan potente como el criterio PPT completo si el número de autovalores distintos de $\rho^\Gamma$ es $N$ y $m \ge 2N - 1$.
   • Corolario 4: Para estados estabilizadores con ruido global, el criterio Stieltjes-5 ($m=5$) es suficiente para recuperar el umbral de ruido del criterio PPT completo.
   • Corolario 5: Para estados GHZ con ruido local, el criterio Stieltjes con $m = 2n + 5$ recupera el umbral exacto de PPT.

4. Enumeradores de Peso Cuánticos (QWE):

   • Se introduce una nueva familia de invariantes polinómicos locales que permiten calcular analíticamente el decaimiento de los momentos bajo ruido. Esto permite predecir el rendimiento de los criterios de detección sin simulaciones numéricas costosas.

4. Resultados Principales

• Comparación de Umbrales de Ruido (Estados GHZ):

  • Se analizó el rendimiento de diversos criterios en estados GHZ localmente despolarizados.
  • Los criterios basados en fidelidad y pureza (mediciones de 1 y 2 copias) muestran un umbral de ruido que escala como $O(n^{-1})$, volviéndose ineficaces para sistemas grandes ($n > 100$).
  • Los criterios Stieltjes-m (para $m=5, 7$) muestran una escalabilidad mucho mejor ($O(n^{-\alpha})$ con $\alpha \approx 0.84$), permitiendo detectar entrelazamiento en sistemas de cientos de qubits con tasas de error del 1%.
  • El criterio (k, l, m)-PPT (ej. 3, 4, 5) logra un rendimiento comparable al criterio Stieltjes-5 completo pero requiere medir menos momentos (no necesita $p_2$), reduciendo el costo experimental en un ~25% en escenarios específicos.
  • El criterio Descartes-m resulta ser significativamente más débil que el de Stieltjes para el mismo orden $m$.

• Estado AME (Máximamente Entrelazado Absolutamente):

  • Se aplicó el marco de QWE a un estado AME de 6 qubits.
  • Se demostró que el criterio Stieltjes-5 o -7 ya recupera los umbrales de ruido del criterio PPT completo para todas las biparticiones, a pesar de que el criterio PPT completo requeriría analizar un espectro mucho más complejo.
  • Se identificó que para ciertas biparticiones (1|5), el criterio (3, 4, 5)-PPT es superior al criterio de pureza y al p3-PPT, ofreciendo un punto óptimo entre potencia y costo experimental.

5. Significado e Impacto

• Viabilidad Experimental: El trabajo proporciona herramientas prácticas para la certificación de entrelazamiento en la era de los dispositivos cuánticos de escala intermedia (NISQ). Al reducir la cantidad de momentos necesarios (de $m$ a solo 3), hace factible la detección de entrelazamiento en sistemas donde la medición de momentos de alto orden es prohibitiva.
• Puente entre Teoría y Práctica: Conecta conceptos profundos de la teoría de corrección de errores cuánticos (enumeradores de peso) con la detección de entrelazamiento, ofreciendo un marco unificado para analizar la robustez de los estados cuánticos frente al ruido.
• Optimización de Recursos: Demuestra que no es necesario medir todos los momentos para obtener criterios fuertes; la selección inteligente de triples de momentos puede ofrecer un rendimiento casi óptimo con un costo experimental reducido.
• Escalabilidad: Los resultados sugieren que el entrelazamiento en sistemas de cientos de qubits (como los procesadores superconductores actuales) puede ser certificado de manera fiable utilizando solo momentos de bajo orden ($k \le 7$), superando las limitaciones de los métodos basados en fidelidad o pureza.

En resumen, el artículo establece que el entrelazamiento puede detectarse de manera eficiente y robusta utilizando un número reducido de momentos de la transpuesta parcial, validando teóricamente que estos métodos relajados son suficientemente potentes para reemplazar al criterio PPT completo en muchas clases de estados físicos relevantes.