Quantum entanglement in phase space

Dit artikel introduceert nieuwe criteria voor het detecteren van verstrengeling in continue-variabele systemen op basis van metingen van de Wigner-functie, wat een waardevol alternatief biedt voor traditionele quadratuurmetingen in experimentele platforms zoals val-ionen en circuit QED.

De kern

Stel je voor dat je twee magische dobbelstenen hebt die ergens in het universum met elkaar verbonden zijn. Als je op de ene dobbelsteen gooit, weet je direct wat de andere doet, zelfs als ze lichtjaren van elkaar verwijderd zijn. Dit fenomeen noemen we quantumverstrengeling. Het is een van de raarste en krachtigste eigenschappen van de quantumwereld.

Maar hoe bewijs je dat deze dobbelstenen echt verbonden zijn? Meestal kijken wetenschappers naar de "positie" en "snelheid" van de deeltjes (in de quantumwereld: kwadraturen). Het probleem is dat in veel moderne quantumlabo's (zoals met gevangen ionen of supergeleidende circuits) het heel moeilijk is om die specifieke posities en snelheden direct te meten. Het is alsof je probeert de snelheid van een auto te meten, maar je hebt alleen maar een camera die foto's maakt van de auto's schaduw.

De Oplossing: De "Wigner-kaart"

In dit artikel stellen de auteurs (Liu, Guo, He en Fadel) een nieuwe manier voor om verstrengeling te vinden. In plaats van naar de posities te kijken, kijken ze naar de Wigner-functie.

Laten we dit vergelijken met een 3D-landschap:

• Stel je voor dat je een berg hebt. De Wigner-functie is een kaart die je vertelt hoe hoog de berg is op elke plek.
• Normaal gesproken moet je de hele berg in kaart brengen (elk punt meten) om te zien of er iets raars aan de hand is. Dat is veel werk en kost veel tijd.
• De auteurs zeggen: "Wacht even! We hoeven niet de hele berg te meten."

De Drie Nieuwe Regels (De "Scheurtesten")

De auteurs hebben drie slimme regels bedacht. Ze kijken niet naar de hele berg, maar snijden er een dunne reep (een "slice") uit. Als je die reep op de juiste manier bekijkt, zie je direct of de twee dobbelstenen verstrengeld zijn.

Hier zijn de drie regels, vertaald naar alledaagse taal:

1. De "Niet-te-hoge-Berg" Regel (Criterium I):
   Als de dobbelstenen niet verstrengeld zijn (ze zijn gewoon twee losse dobbelstenen), dan mag de "berg" op je kaart nooit te hoog worden. Als je een reep van de kaart neemt en de berg is hoger dan een bepaalde limiet, dan weet je: "Aha! Ze zijn verstrengeld!"

   • Analogie: Stel je voor dat je twee losse mensen hebt die niet met elkaar praten. Als je hun gezamenlijke gedrag meet, mag het nooit "te gek" worden. Als het gedrag extreem wordt, weten we dat ze een geheime afspraak hebben.

2. De "Te Sterke Vriendschap" Regel (Criterium II):
   Soms is de berg niet te hoog, maar zijn de correlaties (de vriendschap) tussen de twee deeltjes gewoon te sterk voor twee losse deeltjes. Deze regel meet hoe sterk de "vriendschap" is. Als die vriendschap sterker is dan wat wiskundig mogelijk is voor twee losse deeltjes, dan zijn ze verstrengeld.

   • Analogie: Twee mensen die elkaar nooit hebben ontmoet, kunnen niet perfect synchroon dansen. Als ze dat wel doen, moeten ze een verborgen verbinding hebben.

3. De "Negatieve Diepte" Regel (Criterium III):
   Dit is de meest magische regel. In de quantumwereld kan de "hoogte" van je berg ook negatief zijn (een gat in plaats van een heuvel). Voor gewone, losse deeltjes is dit onmogelijk. Als je op je kaart een gat ziet (een negatieve waarde), dan is het bewijs: ze zijn verstrengeld!

   • Analogie: Stel je voor dat je een kaart tekent van de temperatuur. Normaal gesproken is temperatuur altijd positief (of nul). Als je plotseling een plek ziet waar de temperatuur "negatief" is (wat fysisch onmogelijk is voor gewone objecten), dan weet je dat er iets heel speciaals en onnatuurlijks aan de hand is.

Waarom is dit zo belangrijk?

• Minder werk: In plaats van de hele quantumwereld te scannen (wat duizenden metingen kost), hoeven wetenschappers nu slechts een klein stukje te meten. Het is alsof je in plaats van de hele oceaan te drogen, alleen maar een emmer water pakt om te zien of er haaien in zitten.
• Werkt overal: Deze methode werkt zelfs in systemen waar de oude methoden (het meten van posities) niet werken, zoals bij gevangen ionen of in circuits.
• Zelfs voor rare deeltjes: De oude regels werkten goed voor "normale" quantumdeeltjes (Gaussische toestanden), maar faalden soms bij "rare" deeltjes (zoals "katten-toestanden", een quantumversie van de beroemde Schrödingers kat). De nieuwe regels vinden verstrengeling zelfs bij die rare deeltjes.

Conclusie

De auteurs hebben een nieuwe, slimme manier bedacht om te kijken of quantumdeeltjes met elkaar verbonden zijn. Ze gebruiken in plaats van zware, volledige metingen, een paar slimme "sneden" door de quantumwereld. Het is alsof ze een nieuwe soort röntgenfoto hebben uitgevonden die sneller, makkelijker en scherper is dan de oude methoden. Dit helpt wetenschappers om sneller en betrouwbaarder quantumcomputers en quantumnetwerken te bouwen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Quantum entanglement in phase space" in het Nederlands.

Probleemstelling

De detectie van verstrengeling in continue variabele (CV) systemen (zoals optische velden, gevangen ionen en circuit QED) is doorgaans afhankelijk van metingen van kwadraturen (positie $\hat{x}$ en impuls $\hat{p}$). Bekende criteria, zoals die van Simon en Duan et al., vereisen deze kwadratuurmetingen om ongelijkheden te testen die voor separabele toestanden gelden.

Echter, in veel moderne experimentele platforms (zoals gevangen ionen, microgolfholtes en circuit QED) is het uitvoeren van directe homodyne-metingen (kwadratuurmetingen) technisch moeilijk of onpraktisch. In deze systemen is het daarentegen veel natuurlijker om de Wigner-functie te meten via verplaatste pariteitsmetingen (displaced parity measurements). De bestaande methoden om verstrengeling direct af te leiden uit de Wigner-functie (zoals Bell-ongelijkheden of stuuringscriteria) zijn vaak zeer eisenend qua ruisniveaus of vereisen volledige toestandsreconstructie (tomografie), wat resource-intensief is. Er is dus behoefte aan nieuwe, experimenteel haalbare criteria die verstrengeling kunnen detecteren op basis van de Wigner-functie, zonder volledige tomografie te vereisen.

Methodologie

De auteurs introduceren een reeks criteria voor het detecteren van verstrengeling in bipartiete CV-systemen, gebaseerd op metingen van de gezamenlijke Wigner-functie $W_{AB}(x_A, p_A, x_B, p_B)$. In plaats van de volledige vierdimensionale ruimte te karakteriseren, focussen ze op tweedimensionale sneden (slices) van deze functie, waarbij de coördinaten van systeem B lineair gekoppeld zijn aan die van systeem A.

De kern van de methode is het toepassen van een lokale lineaire transformatie op de coördinaten van één subsystem (bijv. $B \to B'$) en het integreren van de Wigner-functie over een specifieke snede. De auteurs definiëren drie criteria:

1. Criterium (I):
   $$\int_{-\infty}^{\infty} W_{AB}(x \cos \theta, p \cos \theta, x' \sin \theta, p' \sin \theta) \, dx dp \leq \frac{1}{2\pi}$$
   Dit criterium is gebaseerd op het feit dat voor separabele toestanden de deeltijds getransponeerde staat (via een spiegelreflectie in de fase-ruimte) nog steeds een fysiek geldige toestand moet zijn. De Wigner-functie van een fysieke toestand heeft een bovengrens van $1/(2\pi)$. Een schending van deze ongelijkheid impliceert verstrengeling. Dit criterium is nauw verbonden met het PPT-criterium (Positive Partial Transpose) en de negativiteit van verstrengeling.

2. Criterium (II):
   $$\int_{R} |W_{AB}(x \cos \theta, p \cos \theta, x' \sin \theta, p' \sin \theta)| \, dx dp \leq \frac{1}{2\pi |\sin 2\theta|}$$
   Dit criterium maakt gebruik van de Cauchy-Schwarz ongelijkheid en de zuiverheid (purity) van de gereduceerde toestanden. Het detecteert verstrengeling door te laten zien dat de correlaties in de Wigner-functie sterker zijn dan wat klassieke correlaties toelaten. Dit is gerelateerd aan het CCNR-criterium (Computable Cross Norm or Realignment).

3. Criterium (III):
   $$\int_{-\infty}^{\infty} W_{AB}(x, p, x', p') \, dx dp \geq 0$$
   Dit criterium test de positiviteit van de overlap tussen toestanden. Voor verstrengelde toestanden kan deze integraal negatief worden, wat wijst op niet-separabiliteit. Dit is specifiek nuttig voor toestanden met negatieve Wigner-waarden.

De auteurs tonen aan dat door de transformatieparameters ($a, b, c, d$) en de hoek $\theta$ te optimaliseren, deze criteria zeer krachtig kunnen zijn. Ze bewijzen dat voor Gaussische toestanden Criterium (I) noodzakelijk en voldoende is (equivalent met Duan-Simon).

Belangrijkste Bijdragen

• Nieuwe Criteria: Introductie van drie nieuwe, experimenteel toepasbare criteria voor verstrengeling die direct gebaseerd zijn op metingen van de Wigner-functie in de fase-ruimte.
• Vermindering van Meetcomplexiteit: De methoden vereisen geen volledige 4D-tomografie, maar slechts metingen op een 2D-snede van de fase-ruimte. Dit reduceert de benodigde meetdata aanzienlijk.
• Theoretische Connecties: Het leggen van een brug tussen bekende criteria (Simon, PPT, CCNR) en de Wigner-functie. Ze tonen aan dat Criterium (I) een ondergrens biedt voor de verstrengelingsnegativiteit.
• Optimalisatiestrategie: Een methode om de optimale lineaire transformatie en integratiegebied te vinden voor een maximale schending van de criteria.
• Foutanalyse en Meetprotocollen: Een uitgebreide analyse van de impact van discretisatie (grid spacing) en een voorgestelde "gerandomiseerde meetstrategie" (scanning measurements) die de benodigde meetaantallen drastisch verlaagt vergeleken met traditionele Bell-testen of volledige tomografie.

Resultaten

De auteurs testen hun criteria op verschillende experimenteel relevante toestanden:

• Twee-golfvormige geperste thermische toestanden (TMST): Voor Gaussische toestanden blijkt Criterium (I) noodzakelijk en voldoende te zijn, wat overeenkomt met de bekende Duan-Simon grenzen. Criterium (II) is minder streng voor Gaussische toestanden.
• Werner-toestanden: De criteria detecteren verstrengeling voor mengsels van pure Bell-toestanden en witte ruis. Ze bereiken de bekende strakke grenzen ($\epsilon > 1/3$) voor zowel $|\Phi^+\rangle$ als $|\Psi^+\rangle$ toestanden.
• Gedephasede twee-golfvormige kat-toestanden (Non-Gaussian): Voor deze niet-Gaussische toestanden, waar traditionele kwadratuur-criteria soms tekortschieten, presteren de Wigner-gebaseerde criteria uitstekend. Ze detecteren verstrengeling voor een breder scala aan parameters dan eerdere methoden gebaseerd op Wigner-negativiteit alleen.
• Efficiëntie: Voor een twee-golfvormige geperste vacuümtoestand (TMSV) vereist hun methode twee ordes van grootte minder metingen dan een vier-punts Bell-ongelijkheidstest om een vergelijkbaar betrouwbaarheidsniveau te bereiken.

Betekenis en Impact

Dit werk biedt een cruciaal alternatief voor de detectie van verstrengeling in platformen waar homodyne-metingen moeilijk zijn, zoals circuit QED en gevangen ionen. Door direct in te spelen op de Wigner-functie, die in deze systemen natuurlijk gemeten wordt via pariteitsmetingen, maken de auteurs verstrengelingsdetectie toegankelijker en efficiënter.

De belangrijkste implicaties zijn:

1. Experimentele Haalbaarheid: Het elimineert de noodzaak voor complexe kwadratuurmetingen in bepaalde systemen.
2. Resource-efficiëntie: Het reduceert de meettijd en data-vereisten aanzienlijk door te focussen op specifieke sneden in plaats van volledige tomografie.
3. Universele Toepasbaarheid: De criteria werken zowel voor Gaussische als niet-Gaussische toestanden, wat ze zeer waardevol maakt voor de groeiende veld van niet-Gaussische kwantumoptica.
4. Fundamenteel Inzicht: Het versterkt het theoretisch verband tussen de Wigner-functie, partiële transpositie en verstrengelingsmonotonen, wat nieuwe inzichten biedt in de aard van kwantumcorrelaties in de fase-ruimte.

Samenvattend biedt dit artikel een robuust, experimenteel georiënteerd kader voor het bewijzen van kwantumverstrengeling in continue variabele systemen, specifiek ontworpen voor de beperkingen en mogelijkheden van moderne kwantumhardware.