Operational detection of Wigner negativity in arbitrary quantum states from few copies

Resumen Técnico: Detección Operacional de la Negatividad de Wigner en Estados Cuánticos Arbitrarios a partir de Pocas Copias

Planteamiento del Problema
Los sistemas cuánticos de variables continuas (CV), particularmente las plataformas ópticas, dependen de distribuciones de cuasiprobabilidad en el espacio de fases para la descripción de estados. La función de Wigner es central en este marco, sirviendo como una representación completa de los estados cuánticos. Sin embargo, a diferencia de las distribuciones de probabilidad clásica, la función de Wigner puede alcanzar valores negativos. Esta "negatividad de Wigner" es un recurso no clásico fundamental, vinculado a la ruptura de la simulación clásica eficiente (mediante el teorema de Gottesman-Knill) y esencial para la ventaja computacional cuántica, la corrección de errores y la destilación de estados.

Los métodos existentes para detectar y cuantificar la negatividad de Wigner dependen principalmente de la tomografía completa del estado cuántico para reconstruir la función de Wigner. Estos procedimientos son experimentalmente exigentes, ya que el número de copias de estado requeridas escala rápidamente con el tamaño del sistema, lo que los hace impracticables para estados de gran escala o arbitrarios. Existe una necesidad crítica de métodos que puedan detectar y cuantificar la negatividad de Wigner utilizando solo un número modesto de copias de estado sin requerir la reconstrucción completa del espacio de fases.

Metodología
Los autores desarrollan un marco unificado basado en los momentos de la función de Wigner. El $m$-ésimo momento de Wigner se define como la integral de la $m$-ésima potencia de la función de Wigner sobre el espacio de fases:
$$w_m := \int_{\mathbb{R}^{2N}} W^m d^N x d^N p$$
La idea central es que si una función de Wigner es no negativa en todas partes (una medida positiva), sus momentos deben satisfacer restricciones matemáticas específicas. Las violaciones de estas restricciones sirven como testigos de la negatividad de Wigner.

El artículo deriva tres jerarquías complementarias de criterios de detección basados en estas restricciones:

1. Jerarquía de la norma $L_p$ (LP): Derivada de las desigualdades fundamentales de la norma $L_p$ para medidas positivas, produciendo condiciones de la forma $(w_n)^{n-2} - (w_{n-1})^{n-1} \geq 0$.
2. Jerarquía de la log-convexidad (LC): Basada en la log-convexidad de la secuencia de momentos para medidas positivas, produciendo condiciones de la forma $w_{n-1}w_{n+1} - w_n^2 \geq 0$.
3. Jerarquía de Positividad de Matrices de Hankel: Un enfoque más fuerte que utiliza la positividad de las matrices de Hankel construidas a partir de la secuencia de momentos. Para una función de Wigner positiva, la matriz $H_n(w)$ con elementos $[H_n(w)]_{ij} = w_{i+j+1}$ debe ser semidefinida positiva para todo $n$. Se demuestra que esta jerarquía es monotónica, donde las matrices de orden superior proporcionan criterios de detección estrictamente más fuertes que las de orden inferior.

Para abordar la viabilidad operacional de medir estos momentos, los autores establecen una representación multi-copia exacta. Demuestran que cualquier momento de Wigner de orden $n$ puede expresarse como el valor de expectativa de un observable universal que actúa sobre $n$ copias idénticas del estado:
$$w_n = \text{Tr}\left[\rho^{\otimes n} A_n\right]$$
donde $A_n$ es un operador hermítico que involucra una transformación interferométrica colectiva seguida de una medición de paridad conjunta sobre los grados de libertad relativos. Esto permite estimar los momentos directamente a partir de mediciones aleatorizadas (sombras clásicas) sin requerir la reconstrucción completa del estado.

Contribuciones Clave y Resultados

• Jerarquías de Detección: El artículo presenta tres familias de criterios para detectar la negatividad de Wigner. Las simulaciones numéricas en estados de Fock mixtos y estados gato ruidosos demuestran que la jerarquía de matrices de Hankel proporciona una mejora sistemática y monotónica en el poder de detección, capturando la región no clásica completa de manera más efectiva que los criterios de la norma $L_p$ o de la log-convexidad, los cuales no necesariamente mejoran con órdenes superiores.
• Cuantificación: Más allá de la detección binaria, el marco proporciona límites inferiores certificables para la medida de negatividad de Wigner logarítmica, $L(W) = \log \int |W| d\mu$. Los autores definen una familia de cantidades basadas en momentos $L_r(W)$ que sirven como límites inferiores. Identifican $L_4(W)$, que depende solo de los segundos y cuartos momentos, como el cuantificador accesible experimentalmente óptimo que proporciona el límite inferior más ajustado.
• Estimación Operacional: La derivación de la representación multi-copia exacta (Teorema 5) vincula los momentos abstractos del espacio de fases con observables físicos. Específicamente, $w_n$ es el valor de expectativa de un observable basado en paridad que actúa sobre $n$ copias tras una transformación ortogonal que separa las coordenadas colectivas y relativas.
• Eficiencia mediante Sombras Clásicas: Los autores demuestran a través de simulaciones numéricas que tanto el testigo de detección ($\Gamma_3$) como el cuantificador ($L_4$) pueden recuperarse eficientemente utilizando protocolos de sombras clásicas (con un número modesto de copias de estado, por ejemplo, 500 sombras), reduciendo significativamente la sobrecarga de recursos en comparación con la tomografía completa.
• Extensión al Entrelazamiento: El marco se extiende para detectar el entrelazamiento cuántico. Al aplicar las jerarquías de momentos a las funciones de Wigner reducidas o colectivas (por ejemplo, trazando fuera los modos relativos), los criterios sirven como testigos para el entrelazamiento NPT bipartito y el entrelazamiento multipartito genuino (GME).

Significancia y Reclamaciones
El artículo afirma establecer los momentos de Wigner como una herramienta versátil para la detección y cuantificación escalable de recursos no clásicos en sistemas CV. La significancia radica en:

1. Escalabilidad: La capacidad de detectar y cuantificar la negatividad de Wigner a partir de un pequeño número de copias de estado sin conocimiento previo del estado o de la tomografía completa del espacio de fases.
2. Interpretación Operacional: Proporcionar una interpretación física directa de los momentos de Wigner como valores de expectativa de paridad multi-copia medibles, cerrando la brecha entre las propiedades abstractas del espacio de fases y los observables experimentales.
3. Marco Unificado: Ofrecer una jerarquía sistemática de criterios donde los experimentales pueden intercambiar el costo de medición (número de copias/momentos) por el poder de detección, siendo la jerarquía de Hankel la que ofrece la detección más robusta.
4. Identificación de Recursos: Demostrar que el mismo marco basado en momentos puede elevarse para detectar el entrelazamiento, unificando así la detección de la no clasicidad y las correlaciones cuánticas.

Los autores concluyen que, mientras que las jerarquías de $L_p$ y de log-convexidad ofrecen testigos simples, la jerarquía de Hankel proporciona una prueba progresivamente más fuerte, particularmente para estados mixtos. El marco permite una ruta práctica para certificar recursos no clásicos en sistemas cuánticos de variables continuas utilizando mediciones aleatorizadas.