Localizing multipartite entanglement with local and global measurements

Probleemstelling

Het artikel adresseert de uitdaging om multipartiete verstrengeling (entanglement) in zuivere kwantumtoestanden te "localiseren" op een specifiek subsysteem door metingen uit te voeren op de overige systemen. Hoewel verstrengeling essentieel is voor protocollen zoals kwantumsuperdense coding, teleportatie en meetgebaseerde kwantumberekening, is het experimenteel moeilijk om hoogwaardige multipartiete verstrengelde toestanden te genereren. De vraag is hoeveel verstrengeling er op een doelsubsyteem (B) kan worden geconcentreerd door het meten van het complementaire subsysteem (A), en wat het verschil is tussen het gebruik van lokale metingen (op individuele qubits) en globale metingen (op het geheel van A).

Bestaande methoden focussen vaak op zuiveringsprotocollen (distillatie) of beperkte transformaties (zoals lokale Clifford-operaties en Pauli-metingen). Er ontbreekt echter een algemeen raamwerk om de maximale hoeveelheid localiseerbare verstrengeling te kwantificeren voor willekeurige multipartiete toestanden en om de haalbaarheid van specifieke toestands-transformaties (zoals het extraheren van GHZ-toestanden) te beoordelen.

Methodologie

De auteurs definiëren twee nieuwe grootheden die gebaseerd zijn op een gekozen "zaad"-verstrengelingsmaat (seed measure) $E$:

1. Multipartite Entanglement of Assistance (MEA), $A_E(|\Psi\rangle)$): De maximale gemiddelde verstrengeling op subsysteem B, gemaximaliseerd over alle mogelijke rang-1 projectieve metingen op A (inclusief verstrengelde metingen over A).
2. Localizable Multipartite Entanglement (LME), $L_E(|\Psi\rangle)$: Dezelfde definitie, maar beperkt tot lokale projectieve metingen op de individuele qubits van A.

De auteurs analyseren deze grootheden met drie specifieke verstrengelingsmaten als zaad:

• De n-tangle ($\tau_n$): Een maat voor verstrengeling die specifiek is voor even aantallen qubits en gerelateerd is aan de concurrence.
• De Genuine Multipartite Entanglement (GME) concurrence ($C_{GME}$): Een maat die nul is voor biseparabele toestanden.
• De Concentratable Entanglement (CE) ($C$): Een maat gebaseerd op de gemiddelde lineaire entropie over bipartities.

Technische aanpak:

• Boven- en ondergrenzen: De auteurs leiden analytische boven- en ondergrenzen af die uitsluitend afhankelijk zijn van de gereduceerde dichtheidsmatrices van het systeem, waardoor complexe optimalisaties over de hele toestandsruimte worden vermeden.
• Continuïteit: Er wordt bewezen dat deze grootheden Lipschitz-continu zijn, wat belangrijk is voor de stabiliteit bij ruis en de toepassing van concentratie-ongelijkheden.
• Concentratie: Voor Haar-willekeurige toestanden worden concentratie-ongelijkheden afgeleid om het typische gedrag van verstrengeling in grote systemen te bestuderen.
• Toepassing op Graf-toestanden: Er wordt een algebraïsche methode ontwikkeld (op basis van een matrixvergelijking over $\mathbb{F}_2$) om te bepalen of een graf-toestand kan worden getransformeerd naar een andere.
• Fysieke modellen: De methoden worden toegepast op het transversale veld Ising-model (TFIM) om fase-overgangen te detecteren.

Belangrijkste Bijdragen en Resultaten

1. Analytische Grenzen en Continuïteit

• Bovengrenzen: Voor de n-tangle wordt bewezen dat $A_\tau(|\Psi\rangle)$ gelijk is aan de fideliteit $F(\Psi_B, \tilde{\Psi}_B)$, waarbij $\tilde{\Psi}_B$ de complex geconjugeerde is. Voor GME-concurrence en CE worden bovengrenzen afgeleid die afhankelijk zijn van de gereduceerde dichtheidsmatrices van B.
• Ondergrenzen: Voor de CE wordt een ondergrens afgeleid die gebaseerd is op twee-punts spin-correlatiefuncties. Dit koppelt de mogelijkheid tot het creëren van kwantumcorrelaties direct aan klassieke correlaties.
• Continuïteit: De auteurs bewijzen dat LME en MEA Lipschitz-continu zijn met constante die onafhankelijk zijn van de dimensie van het Hilbertruimte. Dit garandeert dat kleine fouten in de toestandsvoorbereiding slechts kleine veranderingen in de verstrengelingsmeting veroorzaken.

2. Gedrag bij Haar-willekeurige toestanden

• Concentratie: Voor grote systemen waar de gemeten subsysteem (A) veel groter is dan het overblijvende subsysteem (B), concentreert de MEA (bij gebruik van de n-tangle) zich rond de maximale waarde (1) voor bijna alle toestanden.
• Verschil tussen "Average-of-Entanglement" en "Entanglement-of-Average": Er wordt aangetoond dat terwijl de gereduceerde dichtheidsmatrix van B (gemiddelde van toestanden) bijna geen verstrengeling vertoont (maximaal gemengd), de gemiddelde verstrengeling van de individuele toestanden in het post-meting ensemble (via optimale meting) maximaal is. Dit illustreert dat metingen nodig zijn om de verborgen kwantumcorrelaties in grote systemen bloot te leggen.

3. Toepassing op Graf-toestanden (Graph States)

• Matrixvergelijking Criterium: De auteurs leiden een eenvoudig criterium af om te bepalen of een graf-toestand $|G\rangle$ kan worden getransformeerd naar een $\tau=1$ toestand (zoals een GHZ-toestand) op subsysteem B. Dit vereist dat de lineaire vergelijking $\Gamma_{BA}x = D$ een oplossing heeft in $\mathbb{F}_2$, waarbij $\Gamma_{BA}$ de connectiviteit tussen A en B beschrijft en $D$ de graadvector van de subgraf $G-A$ is.
• NP-volledigheid omzeild: Hoewel het bepalen van transformaties onder LC+LPM (Lokale Clifford + Pauli-metingen) NP-volledig is, biedt dit criterium een polynomiale test voor specifieke transformaties.
• Gevallen: Het criterium toont aan dat voor bepaalde configuraties het onmogelijk is om verstrengeling te localiseren, zelfs met globale metingen. Voor andere configuraties (zoals het extraheren van GHZ-toestanden uit lineaire cluster-toestanden) wordt aangetoond dat lokale metingen bijna optimaal zijn.
• Gewogen Graf-toestanden: De analyse wordt uitgebreid naar gewogen graf-toestanden (met fouten in de fase van de CZ-gates). De auteurs tonen aan dat een recent protocol voor het extraheren van GHZ-toestanden uit dergelijke foutieve toestanden bijna optimaal is, zelfs vergeleken met globale metingen.

4. Detectie van Kritieke Verschijnselen

• De auteurs passen hun LME-maatstaven toe op het transversale veld Ising-model (TFIM).
• Ze observeren dat de localiseerbare verstrengeling (LME) een duidelijke verandering vertoont bij de fase-overgang ($J=h$).
• In de ferromagnetische fase ($J > h$) nadert de LME de waarde 1 (GHZ-achtig gedrag), terwijl deze in de paramagnetische fase ($J < h$) laag is.
• De resultaten tonen aan dat de gebruikte bovengrenzen (die geen optimalisatie vereisen) kwalitatief hetzelfde gedrag vertonen als de LME zelf, wat suggereert dat deze eenvoudige grenzen effectief kunnen worden gebruikt om fase-overgangen te detecteren zonder zware berekeningen.

Significantie en Toekomstperspectief

De paper biedt een robuust theoretisch raamwerk voor het kwantificeren van verstrengeling in meetgebaseerde protocollen. De belangrijkste bijdragen zijn:

1. Operationele relevantie: Het biedt benchmarks voor protocollen die verstrengeling extraheren uit bronnen, wat cruciaal is voor kwantumschakelingen en netwerken.
2. Berekenbaarheid: Door gebruik te maken van gereduceerde dichtheidsmatrices en analytische grenzen, vermijden de auteurs de noodzaak voor onberekenbare optimalisaties over de hele toestandsruimte.
3. Algemene toepasbaarheid: Het raamwerk werkt voor willekeurige pure toestanden en is niet beperkt tot specifieke families zoals stabilizer-toestanden, hoewel het daar zeer effectief wordt toegepast.
4. Fase-overgangen: Het demonstreert dat localiseerbare verstrengeling een krachtige indicator is voor kritieke verschijnselen in spin-systemen.

Voor toekomstig werk wijzen de auteurs op de noodzaak om experimentele methoden te ontwikkelen om LME en MEA direct te meten, en om de analytische concentratie-eigenschappen van Lτ verder te onderzoeken. Het raamwerk heeft potentie voor brede toepassing in meetgebaseerde kwantumberekening, toestandsvoorbereiding en kwantumnetwerken.