Detection of nonabsolute separability in quantum states and channels through moments

Resumen Técnico: Detección de la No Separabilidad Absoluta mediante Momentos

1. Planteamiento del Problema

En la teoría de recursos cuánticos, los estados separables se consideran "gratuitos" (sin recursos), mientras que los estados entrelazados son recursos valiosos para tareas como la computación, la criptografía y la discriminación de canales. Sin embargo, existe una subclase de estados separables denominados estados absolutamente separables (AS). Estos estados tienen la propiedad de permanecer separables bajo cualquier acción de una operación unitaria global. Es decir, no es posible generar entrelazamiento a partir de ellos mediante ninguna transformación unitaria global.

El problema central abordado en este trabajo es la detección eficiente de estados que no son absolutamente separables (es decir, estados separables que pueden convertirse en entrelazados mediante una unitaria global adecuada).

• Limitaciones de los métodos actuales: Los criterios existentes para detectar la no separabilidad absoluta suelen basarse en el espectro de eigenvalores del estado (por ejemplo, la condición necesaria y suficiente para qubit-qudit). Para obtener este espectro, es necesario realizar una tomografía de estado completa, lo cual requiere un número exponencial de configuraciones de medición y copias del estado, haciéndolo experimentalmente costoso e inviable para sistemas de gran dimensión.
• El desafío: Se necesita un método que evite la tomografía completa, requiera menos recursos experimentales y no dependa de suposiciones estructurales previas sobre el estado.

2. Metodología Propuesta

Los autores proponen un marco basado en el cálculo de momentos (moments-based approach) para detectar la no separabilidad absoluta. La metodología se fundamenta en los siguientes pilares:

• Uso de Momentos de Parcial Transpuesta (PT): En lugar de reconstruir todo el estado, el método evalúa momentos estadísticos de la matriz de densidad transformada. Se define el $n$-ésimo momento como $p_n = \text{Tr}[(\rho^{T_A})^n]$, donde $\rho^{T_A}$ es la transpuesta parcial del estado.
• Transformación Unitaria Global: El criterio se aplica a un estado $\rho$ tras someterlo a una unitaria global $U$. Si existe alguna $U$ tal que el estado transformado viola ciertas desigualdades de momentos, el estado original no es absolutamente separable.
• Mapas Positivos: Se utiliza un mapa lineal positivo pero no completamente positivo ($\Lambda$), como la transposición estándar ($T$) o el mapa de reducción ($R$). Se definen momentos $s_n$ basados en la acción de $(id \otimes \Lambda)$ sobre el estado unitariamente transformado.
• Matrices de Hankel: Se construyen matrices de Hankel ($H_m$) a partir de la secuencia de momentos. La condición de que un estado sea absolutamente separable implica que estas matrices deben ser semidefinidas positivas (su determinante debe ser no negativo).
• Ventaja Experimental: Los momentos pueden estimarse eficientemente utilizando técnicas de tomografía de sombras (shadow tomography) o mediciones aleatorizadas, lo que reduce la complejidad de copias de estado de exponencial a polinómica.

3. Contribuciones Clave

1. Criterios de Detección Basados en Momentos:

   • Teorema 1: Establece una condición necesaria para la separabilidad absoluta: $s_2^2 \leq s_3$. Cualquier violación de esta desigualdad certifica que el estado no es absolutamente separable.
   • Teorema 2: Introduce un criterio extendido utilizando matrices de Hankel de orden superior: $\det[H_m(s_\Lambda)] \geq 0$. Esto permite detectar estados que el criterio de segundo orden (Teorema 1) no logra identificar.
   • Estos teoremas se aplican tanto a estados como a canales cuánticos.

2. Detección de Estados PPT Absolutos:

   • Extienden la metodología para detectar estados que mantienen la propiedad de Transpuesta Parcial Positiva (PPT) bajo cualquier unitaria global (estados PPT absolutos).
   • Proporcionan criterios análogos (Teoremas 3, 4 y 5) que evitan la necesidad de resolver complejas desigualdades matriciales lineales que dependen de la dimensión del sistema.

3. Detección de Canales No Absolutamente Separadores:

   • Definen y detectan canales absolutamente separadores (aquellos que convierten cualquier estado de entrada en un estado absolutamente separable).
   • Demuestran que un canal covariante es absolutamente separador si y solo si es un canal que aniquila el entrelazamiento. Utilizan los momentos para identificar canales que no son absolutamente separadores, lo cual es crucial para recuperar recursos cuánticos en presencia de ruido.

4. Ventaja Operacional en Discriminación de Canales:

   • Demuestran teóricamente que todo estado no absolutamente separable ofrece una ventaja estricta sobre cualquier estado absolutamente separable en tareas de discriminación de canales cuánticos.
   • Probaron que para cada estado no absolutamente separable, existe un par de canales que puede distinguirse con una probabilidad de éxito mayor que la alcanzable con cualquier estado absolutamente separable.

4. Resultados y Ejemplos

Los autores validaron su marco teórico mediante varios ejemplos numéricos y analíticos:

• Ejemplos de Estados: Se analizaron estados en dimensiones $2 \otimes 2$, $2 \otimes 4$ y $3 \otimes 3$ (estados isotrópicos). Se mostró que el criterio de momentos de orden superior (Teorema 2) detecta estados no absolutamente separables que el criterio de orden inferior (Teorema 1) pasa por alto.
• Canales de Depolarización: Se aplicó el método a canales de depolarización globales para qubits y qutrits. El criterio identificó con precisión los umbrales de parámetros ($p$) donde el canal deja de ser "absolutamente separador" (es decir, donde permite la preservación o recuperación de entrelazamiento).
• Comparación: Se destacó que el método basado en momentos es más escalable y requiere menos información previa que los métodos basados en testigos (witnesses) o tomografía completa.

5. Significado e Impacto

El trabajo tiene implicaciones significativas para la información cuántica práctica:

• Escalabilidad: Al evitar la tomografía completa, el método es viable para sistemas de muchas partículas (NISQ y más allá), donde la reconstrucción completa del estado es imposible.
• Recursos Cuánticos: Proporciona una herramienta para identificar qué estados "inocuos" (separables) pueden ser convertidos en recursos útiles (entrelazados) mediante el control adecuado de la base (unitarias globales).
• Robustez frente al Ruido: La capacidad de detectar canales no absolutamente separadores permite identificar canales de comunicación que, aunque ruidosos, aún pueden preservar la capacidad de generar entrelazamiento, lo cual es vital para protocolos de comunicación cuántica.
• Fundamento Teórico: Establece una conexión operativa directa entre la propiedad de "no separabilidad absoluta" y la ventaja en tareas de discriminación, demostrando que estos estados son recursos genuinos en la teoría de recursos cuánticos.

En conclusión, el artículo presenta un marco experimentalmente accesible y teóricamente robusto para identificar y aprovechar una clase de estados cuánticos que, aunque separables en una base, poseen el potencial oculto de generar entrelazamiento, superando las limitaciones de las técnicas de detección tradicionales.