Sufficient Wigner Negativity Implies Genuine Multipartite Entanglement

Technische Samenvatting: Voldoende Wigner-negativiteit impliceert echte meerpartijtenverstrengeling

Probleemstelling
Hoewel Wigner-negativiteit en echte meerpartijtenverstrengeling (genuine multipartite entanglement, GME) worden erkend als afzonderlijke niet-klassieke bronnen die essentieel zijn voor kwantumvoordeel, is hun fundamentele relatie voorbij het bipartiete regime grotendeels onverkend gebleven. Bestaande criteria voor het detecteren van GME in continue-variabele (CV) systemen vertrouwen vaak op kwadratuurmetingen of volledige staatstomografie, wat experimenteel veeleisend is en vaak niet beschikbaar is in platformen met natuurlijke fase-ruimte-uitlezing zoals circuit- en caviteit kwantumelektrodynamica (cQED), circuit kwantumakoestische dynamica (cQAD) en gevangen ionen/atoomsystemen. Er is een kritieke behoefte aan GME-criteria die gebruikmaken van natuurlijke fase-ruimte-uitlezingen (Wigner- en karakteristieke functies) zonder dat globale transformaties of volledige tomografie vereist zijn.

Methodologie
De auteurs vestigen een theoretisch kader dat Wigner-negativiteit koppelt aan GME in multimode CV-systemen via twee primaire stellingen. De aanpak omvat:

1. Definiëren van niet-klassieke aard via de fase-ruimte: Het gebruik van de Wigner-functie $W_\rho(\vec{\alpha})$ en de karakteristieke functie $\chi_\rho(\vec{\xi})$ als primaire observabelen.
2. Geometrische projecties: Het analyseren van specifieke tweedimensionale sneden van de $2M$-dimensionale fase-ruimte gedefinieerd door coëfficiënten $\vec{y}, \vec{z}$ die voldoen aan $\vec{y} \circ \vec{y}^* - \vec{z} \circ \vec{z}^* = \vec{1}$.
3. Zwaartepunt-reductie (Center-of-Mass Reduction): Het construeren van een gereduceerde staat voor de "zwaartepunt"-modus ($a_+$) door relatieve modi uit te traceren, en het analyseren van de Wigner-functie hiervan na convolutie met een smoothing-kernel afgeleid van hulpstaten.
4. Constructie van getuigen (Witness Construction): Het afleiden van ongelijkheden waarbij schendingen (voldoende grote negativiteitsvolumes of het voortbestaan van negativiteit na smoothing) dienen als getuigen voor GME.

Belangrijkste bijdragen en resultaten

• Stelling 1 (Voldoende Negativiteitsvolume): De auteurs bewijzen dat een voldoende groot negativiteitsvolume van de Wigner-functie langs een geschikt gekozen tweedimensionale snede GME impliceert. Specifiek, als het negativiteitsvolume $N_{2D}(\rho)$ de grens $N^{GME}_{2D}(\rho)$ overschrijdt (die afhankelijk is van het aantal modi $M$ en de integraal van de Wigner-functie), dan is de staat echt meerpartijtenverstrengeld.

  • Praktische implicatie: Dit leidt tot Corollary 2, een GME-criterium dat enkel de meting van de Wigner-functie over een eindig gebied van de fase-ruimte vereist. Voor een tripartite W-staat is integratie over een gebied met een straal $r \gtrsim 0.7$ voldoende om GME te certificeren.

• Stelling 2 (Negativiteit van de gesmoothte zwaartepunt): De auteurs demonstreren dat als de Wigner-functie van de zwaartepunt-modus negatief blijft na het smoothing door een specifieke convolutie-kernel (afgeleid van $M-2$ hulpstaten), het systeem GME bezit.

  • Kwantitatieve grens: De grootte van de negatieve gesmoothte Wigner-functie biedt een ondergrens voor de trace-afstand tot de verzameling van niet-GME staten.
  • Verbinding met niet-klassieke diepte: Deze stelling is verbonden met de niet-klassieke diepte $\tau_c$ van Lee. Corollary 1 stelt dat als de niet-klassieke diepte van de zwaartepunt-modus voldoet aan $\tau_c(\text{tr}_-\rho) > 1 - M^{-1}$, de staat GME is.
  • Generatieconditie: Het omgekeerde biedt een voldoende voorwaarde voor het genereren van GME: het interfereren van een staat met vacuüm via een maximaal-mixend interferometer levert GME op als de niet-klassieke diepte van de invoerstaat de drempelwaarde overschrijdt.

• Criteria voor Karakteristieke Functies: Ter aanvulling op de op Wigner gebaseerde aanpak, stelt Corollary 3 een GME-criterium vast op basis van een eindig aantal metingen van de karakteristieke functie. Door een matrix te construeren uit puntmetingen van de karakteristieke functie langs een 2D-snede en te controleren op negatieve eigenwaarden in de elementgewijze product met een kernelmatrix, kan men GME certificeren. Voor de tripartite W-staat vereist dit het meten van slechts 10 verschillende punten.

Betekenis en Claims
Het artikel claimt een fundamentele verbinding te bieden tussen twee verschillende vormen van niet-klassieke aard: quasiprobabilistische negativiteit en correlatie-gebaseerde verstrengeling. De primaire betekenis ligt in de experimentele implementeerbaarheid van de voorgestelde criteria. In tegenstelling tot bestaande CV GME-criteria die vaak kwadratuurmetingen of volledige tomografie vereisen, vertrouwen deze methoden op:

• Metingen van de Wigner-functie over een eindig gebied.
• Eindige puntmetingen van de karakteristieke functie.

Dit zijn natuurlijke uitlezingen in cQED, cQAD en gevangen ionen/atoom-platformen. De auteurs benadrukken dat hun criteria "gemakkelijk implementeerbaar" zijn in deze systemen, en een praktisch alternatief bieden voor staatstomografie. Verder breidt het werk de bekende relatie tussen Wigner-negativiteit en verstrengeling van het bipartiete geval uit naar het meerpartijenregime, waarbij noodzakelijke en voldoende voorwaarden worden geboden voor GME-detectie in multimode systemen. De auteurs merken op dat hoewel de criteria robuust zijn voor een eindig $M$, hun effectiviteit kan afnemen met toenemende modus-aantallen in aanwezigheid van ruis.