Sufficient Wigner Negativity Implies Genuine Multipartite Entanglement

Resumen Técnico: La negatividad de Wigner suficiente implica el entrelazamiento multipartito genuino

Planteamiento del problema
Aunque la negatividad de Wigner y el entrelazamiento multipartito genuino (GME, por sus siglas en inglés) son reconocidos como recursos no clásicos distintos y esenciales para la ventaja cuántica, su relación fundamental ha sido ampliamente inexplorada más allá del régimen bipartito. Los criterios existentes para detectar GME en sistemas de variables continuas (CV) a menudo dependen de mediciones de cuadratura o de la tomografía completa del estado, las cuales son experimentalmente exigentes y frecuentemente no están disponibles en plataformas de lectura nativa de espacio de fase, tales como la electrodinámica cuántica de circuitos y cavidades (cQED), la acústica cuántica de circuitos (cQAD) y sistemas de iones/átomos atrapados. Existe una necesidad crítica de criterios de GME que aprovechen las lecturas nativas de espacio de fase (funciones de Wigner y características) sin requerir transformaciones globales o tomografía completa.

Metodología
Los autores establecen un marco teórico que vincula la negatividad de Wigner con el GME en sistemas CV multimodo a través de dos teoremas principales. El enfoque consiste en:

1. Definición de la no clasicidad vía Espacio de Fase: Utilizando la función de Wigner $W_\rho(\vec{\alpha})$ y la función característica $\chi_\rho(\vec{\xi})$ como observables primarios.
2. Proyecciones Geométricas: Analizando rebanadas bidimensionales específicas del espacio de fase de $2M$ dimensiones definidas por coeficientes $\vec{y}, \vec{z}$ que satisfacen $\vec{y} \circ \vec{y}^* - \vec{z} \circ \vec{z}^* = \vec{1}$.
3. Reducción del Centro de Masas: Construyendo un estado reducido para el modo "centro de masas" ($a_+$) mediante la traza de los modos relativos, y analizando su función de Wigner tras la convolución con un núcleo de suavizado derivado de estados auxiliares.
4. Construcción de Testigos (Witnesses): Derivando desigualdades donde las violaciones (volúmenes de negatividad suficientemente grandes o la persistencia de la negatividad tras el suavizado) sirven como testigos de GME.

Contribuciones Clave y Resultados

• Teorema 1 (Volumen de Negatividad Suficiente): Los autores demuestran que un volumen de negatividad de la función de Wigner suficientemente grande a lo largo de una rebanada bidimensional adecuadamente elegida implica GME. Específicamente, si el volumen de negatividad $N_{2D}(\rho)$ excede un límite $N^{GME}_{2D}(\rho)$ (el cual depende del número de modos $M$ y de la integral de la función de Wigner), el estado posee entrelazamiento multipartito genuino.

  • Implicación Práctica: Esto conduce al Corolario 2, un criterio de GME que requiere únicamente la medición de la función de Wigner sobre una región finita del espacio de fase. Para un estado W tripartito, integrar sobre una región con radio $r \gtrsim 0.7$ es suficiente para certificar GME.

• Teorema 2 (Negatividad del Centro de Masas Suavizado): Los autores demuestran que si la función de Wigner del modo centro de masas permanece negativa tras ser suavizada por un núcleo de convolución específico (derivado de $M-2$ estados auxiliares), el sistema posee GME.

  • Límite Cuantitativo: La magnitud de la función de Wigner suavizada negativa proporciona un límite inferior a la distancia de traza respecto al conjunto de estados no-GME.
  • Conexión con la Profundidad de No Clasicidad: Este teorema está vinculado a la profundidad de no clasicidad $\tau_c$ de Lee. El Corolario 1 establece que si la profundidad de no clasicidad del modo centro de masas satisface $\tau_c(\text{tr}_-\rho) > 1 - M^{-1}$, el estado es GME.
  • Condición de Generación: El reverso proporciona una condición suficiente para generar GME: interferir un estado con el vacío mediante un interferómetro máximamente mixto produce GME si la profundidad de no clasicidad del estado de entrada supera el umbral.

• Criterios de la Función Característica: Complementando el enfoque basado en Wigner, el Corol even 3 establece un criterio de GME basado en un número finito de mediciones de la función característica. Mediante la construcción de una matriz a partir de mediciones puntuales de la función característica a lo largo de una rebanada 2D y la verificación de la presencia de autovalores negativos en su producto elemento a elemento con una matriz de núcleo, se puede certificar el GME. Para el estado W tripartito, esto requiere medir solo 10 puntos distintos.

Significancia y Reivindicaciones
El artículo afirma proporcionar conexiones fundamentales entre dos formas distintas de no clasicidad: la negatividad de la cuasiprobabilidad y la correlación de entrelazamiento. La significancia principal reside en la implementabilidad experimental de los criterios propuestos. A diferencia de los criterios de GME en CV existentes, que a menudo requieren mediciones de cuadratura o tomografía completa, estos métodos dependen de:

• Mediciones de la función de Wigner en regiones finitas.
• Mediciones de la función característica en puntos finitos.

Estas son lecturas nativas en plataformas de cQED, cQAD y de iones/átomos atrapados. Los autores enfatizan que sus criterios son "fácilmente implementables" en estos sistemas, ofreciendo una alternativa práctica a la tomografía de estado. Además, el trabajo extiende la relación conocida entre la negatividad de Wigner y el entrelazamiento del caso bipartito al régimen multipartito, proporcionando condiciones necesarias y suficientes para la detección de GME en sistemas multimodo. Los autores señalan que, si bien los criterios son robustos para valores finitos de $M$, su efectividad puede disminuir al aumentar el número de modos en presencia de ruido.