Characterizing high-dimensional multipartite entanglement beyond Greenberger-Horne-Zeilinger fidelities

Probleemstelling

Het kwantificeren en certificeren van verstrengeling in systemen bestaande uit meerdere deeltjes (multipartite) met hoge dimensies is een uiterst complex probleem. Hoewel verstrengeling een cruciale resource is voor toepassingen zoals kwantumcommunicatie, foutcorrectie en kwantumberekening, ontbreekt het vaak aan efficiënte methoden om de volledige aard van deze verstrengeling te karakteriseren.

De huidige stand van zaken heeft de volgende beperkingen:

1. Complexiteit: Het exact berekenen van verstrengelingsmonotonen (zoals entropieën) voor gemengde toestanden is NP-hard, vooral omdat men rekening moet houden met alle mogelijke zuivere toestandsontbindingen.
2. Beperking van huidige methoden: De meest gebruikte methode is het meten van de fideliteit met betrekking tot een doeltoestand, zoals een Greenberger-Horne-Zeilinger (GHZ)-toestand. Deze methode heeft twee grote nadelen:
   • Ze werkt voornamelijk alleen voor zeer specifieke, goed uitgelijnde doeltoestanden.
   • Ze kan slechts de kleinste component van de "entanglement-dimensionality vector" (het vector van Schmidt-rangen over alle bipartities) begrenzen. Ze geeft geen informatie over de volledige structuur van de verstrengeling.
3. Structuur van de ruimte: In multipartite systemen vormen toestanden met specifieke Schmidt-rangvectoren geen convexe verzamelingen, wat het moeilijk maakt om algemene grenzen te stellen zonder complexe numerieke optimalisaties.

Methodologie

De auteurs introduceren een nieuwe methode om de Schmidt-rang vector (of entanglement-dimensionality vector) te karakteriseren zonder complexe optimalisaties, gebruikmakend van metingen die vergelijkbaar zijn in complexiteit met de huidige fideliteitsmetingen.

De kern van de methode rust op het gebruik van de covariantiematrix van lokale orthonormale operatorbasissen.

1. Definitie van de Schmidt-rang vector:
   Voor een $N$-partij systeem wordt de verstrengeling gekarakteriseerd door een vector van Schmidt-rangen over alle mogelijke bipartities. Voor een gemengde toestand $\rho$ wordt deze vector gedefinieerd via een "worst-case" over alle zuivere toestandsontbindingen, waarbij de elementen van de vector voorafgaand aan de ontbinding niet-stijgend worden gesorteerd ($SN^\downarrow$).

2. Het Covariantie-Matrix Criterium (CMC):
   De auteurs bouwen voort op eerdere werken die de Schmidt-rang in bipartite systemen beperken via de covariantiematrix. Voor een gegeven bipartitie $(\alpha|\bar{\alpha})$ definiëren ze de cross-covarianties tussen lokale observabelen.
   Zij leiden een ongelijkheid af die geldt voor toestanden met een Schmidt-rang $r_\alpha$ over die bipartitie:
   $$f_\alpha(\rho) := \text{tr}|X^{(\alpha)}_\rho| - \sqrt{[1-\text{tr}(\rho^2_\alpha)][1-\text{tr}(\rho^2_{\bar{\alpha}})]} + 1 \leq r_\alpha$$
   Hierbij is $X^{(\alpha)}_\rho$ de kruis-covariantiematrix en $\text{tr}|X|$ de spoor-norm.

3. Uitbreiding naar Multipartite Systemen:
   Om de volledige vector te karakteriseren, moeten alle bipartities tegelijkertijd worden beschouwd. De auteurs stellen een systeem van ongelijkheden op. Een vector $v = (v_1, \dots, v_N)$ is "haalbaar" (feasible) voor een toestand $\rho$ als er een reële vector $R$ bestaat zodanig dat:

   • $f_\alpha(\rho) \leq R_\alpha$ voor alle bipartities $\alpha$.
   • $R$ is "majorized" door $v$ ($R \prec v$), wat betekent dat de som van de $k$ grootste elementen van $R$ kleiner of gelijk is aan de som van de $k$ grootste elementen van $v$.

   Dit systeem kan worden opgelost als een lineair programma. Als er geen oplossing bestaat voor een bepaalde vector $v$, dan is de werkelijke Schmidt-rang vector van de toestand strikt "groter" dan $v$.

4. Verband met Fideliteit:
   De auteurs tonen aan dat hun methode een veralgemeende versie is van de GHZ-fideliteit. Door specifieke keuzes te maken voor de operatorbasissen, kan men de bekende fideliteitsgrenzen voor 1-uniforme toestanden (zoals GHZ-toestanden) terugwinnen. Echter, hun methode (vooral vergelijking 19) biedt extra onafhankelijke voorwaarden die de detectie versterken.

Belangrijkste Bijdragen

• Nieuwe Kwalificatiemethode: Een nieuw criterium dat de volledige entanglement-dimensionality vector kan karakteriseren, in plaats van alleen de minimale component.
• Strikt Sterker dan Fideliteit: De methode is strikt sterker dan bestaande fideliteitswitnesses (zoals die gericht op GHZ-toestanden), zelfs zonder extra complexe metingen.
• Efficiëntie: De methode vereist geen zware numerieke optimalisaties over alle mogelijke decomposities (zoals bij convex-roof extensies), maar kan worden uitgevoerd via lineaire programmering op basis van meetbare correlaties.
• Universele Toepasbaarheid: De methode werkt voor willekeurige toestanden, niet alleen voor die welke dicht bij een specifieke doeltoestand liggen.

Resultaten

De auteurs hebben hun methode getest op diverse sets van kwantumtoestanden en vergeleken met bestaande methoden (correlatie-tensor norm, lineaire entropie vector, en GHZ-fideliteit):

1. Willekeurige Toestanden ($3 \times 3 \times 3$):
   Op 10.000 willekeurig gegenereerde toestanden bleek de nieuwe methode (combinatie van vergelijking 19 en 25) aanzienlijk beter te presteren dan bestaande criteria. Ze detecteerde een veel breder scala aan Schmidt-rang vectoren, inclusief complexe vectoren zoals $(3,2,2)$ en $(3,3,2)$, die door andere methoden vaak werden gemist.

2. GHZ-toestanden met Ruis:
   Bij het testen van GHZ-toestanden die gemengd zijn met willekeurige ruis, overtrof de nieuwe methode de standaard GHZ-fideliteit. De methode kon de verstrengeling detecteren bij hogere ruisniveaus dan de traditionele fideliteitswitness.

3. Specifieke Pure Toestanden met Ruis:
   Voor toestanden die lijken op een willekeurige pure toestand met een GHZ-achtige structuur (in een $4 \times 3 \times 2$ systeem), bleek de nieuwe methode in ongeveer 92% van de gevallen superieur aan de fideliteitswitness. De methode slaagde erin om toestanden te detecteren die door de fideliteitsmethode als "niet verstrengeld" (of met lagere dimensie) werden bestempeld, maar die wel degelijk een complexe verstrengelingsstructuur bezaten.

Significantie

Deze studie is van groot belang voor de ontwikkeling van kwantumsystemen:

• Betrouwbare Certificering: Het biedt een robuustere manier om te bewijzen dat een experimenteel gegenereerde toestand werkelijk hoge-dimensionale multipartite verstrengeling bezit, wat essentieel is voor de validatie van kwantumhardware.
• Efficiëntie: Het vermijdt de noodzaak van complexe, rekenintensieve optimalisaties die vaak nodig zijn bij het karakteriseren van gemengde toestanden.
• Toepassingsgericht: Omdat veel kwantumprotocollen (zoals QKD en foutcorrectie) afhankelijk zijn van specifieke verstrengelingsvectoren, helpt deze methode om te bepalen of een systeem geschikt is voor deze taken, zelfs als de toestand niet perfect is (bijv. door ruis).
• Fundamenteel Begrip: Het verheldert de complexe structuur van de ruimte van verstrengelde toestanden en biedt een nieuw instrument om de hiërarchie van verstrengeling in hoge dimensies te verkennen.

Kortom, de auteurs leveren een krachtig, praktisch toepasbaar en theoretisch onderbouwd instrument dat de huidige beperkingen van GHZ-fideliteitsmetingen overwint en een dieper inzicht biedt in de aard van hoge-dimensionale multipartite verstrengeling.