Entanglement battery and entanglement catalyst in local state discrimination problems

Technische Samenvatting: Verstrengelingsbatterij en Verstrengelingskatalysator in Lokale Toestandsdiscriminatieproblemen

Probleemstelling
Het artikel onderzoekt het nut en de beperkingen van verstrengelingsbronnen — specifiek verstrengelingskatalysatoren en verstrengelingsbatterijen — in de context van Lokale Toestandsdiscriminatie (LSD). Bij LSD moeten partijen die een samengesteld kwantumsysteem delen, dat voorbereid is in een toestand die geheim gekozen is uit een verzameling $S$, de specifieke toestand identificeren met behulp van enkel Lokale Operaties en Klassieke Communicatie (LOCC). Hoewel orthogonale toestanden globaal perfect onderscheidbaar zijn, zijn bepaalde verzamelingen onder LOCC "lokaal ononderscheidbaar". De centrale vraag is of het verbruiken van een hulpbron van verstrengelde toestand $\tau$ perfecte discriminatie kan mogelijk maken, en cruciaal, of deze bron na de taak kan worden teruggewonnen (of verbeterd), analoog aan chemische katalysatoren of batterijen.

De auteurs onderscheiden vier scenario's op basis van de terugwinning van de bron-toestand $\tau$ (of een betere toestand $\tau'$) na $t$ instanties van de discriminatietaak:

1. Exacte Verstrengelingskatalysator: Perfecte discriminatie met waarschijnlijkheid $p=1$, waarbij de exacte toestand $\tau$ wordt teruggewonnen ($\tau = \tau'$).
2. Exacte Verstrengelingsbatterij: Perfecte discriminatie met $p=1$, waarbij een toestand $\tau'$ wordt teruggewonnen die strikt beter is dan $\tau$ (lokale conversie $\tau' \to \tau$ is mogelijk, maar $\tau \to \tau'$ niet).
3. Benaderende Verstrengelingskatalysator: Discriminatie met $0 < p \leq 1$, waarbij $\tau$ gemiddeld of met een waarschijnlijkheid nabij 1 wordt teruggewonnen.
4. Benaderende Verstrengelingsbatterij: Discriminatie met $0 < p \leq 1$, waarbij een betere toestand $\tau'$ gemiddeld of met een hoge waarschijnlijkheid wordt teruggewonnen.

Methodologie
De auteurs maken gebruik van een combinatie van theoretische bewijzen en constructieve voorbeelden:

• No-Go Theorems: Zij maken gebruik van verstrengelingsmaten (specifiek additieve maten zoals Squashed Entanglement) en de eigenschap dat LOCC de verstrengeling gemiddeld niet kan verhogen. Zij analyseren de transformatie van een globale producttoestand $|\Psi\rangle$ (geconstrueerd om een product te zijn over een specifieke bipartitie) wanneer deze wordt onderworpen aan een katalysator-ondersteund discriminatieprotocol.
• Constructieve Protocollen: Voor gevallen waarin discriminatie mogelijk is, ontwerpen de auteurs specifieke LOCC-protocollen die gebruikmaken van kwantumteleportatie en state merging. Deze protocollen omvatten vaak het mappen van multipartiete toestanden naar effectieve bipartiete Bell-achtige structuren of het benutten van bekende resultaten met betrekking tot de discriminatie van GHZ-bases.
• Probabilistische Analyse: In benaderende gevallen analyseren de auteurs de statistische uitkomsten van discriminatietaken op ensembles (specifiek "veel-kopie ononderscheidbare verzamelingen") om de gemiddelde verstrengelingsterugwinning te berekenen.

Belangrijkste Bijdragen en Resultaten

1. Fundamentele Beperking (No-Go Theorem):
   Het artikel stelt een strikte beperking vast: het is onmogelijk om een orthonormale basis $B$ van een Hilbertruimte $H = \mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2}$ perfect te onderscheiden met een exacte verstrengelingskatalysator of batterij als de basis volledig uit verstrengelde toestanden bestaat.

   • Redenering: Als een dergelijke discriminatie mogelijk zou zijn, zou dit impliceren dat er verstrengeling wordt gecreëerd over een bipartitie waar de initiële toestand een producttoestand was, wat de monotoniciteit van verstrengeling onder LOCC schendt.
   • Corollary: Voor de perfecte discriminatie van een verzameling $S$ van orthogonale zuivere verstrengelde toestanden met een exacte katalysator/batterij, moet de kardinaliteit van de verzameling strikt kleiner zijn dan de totale dimensie van de Hilbertruimte ($|S| < D$).

2. Exacte Verstrengelingsbatterij (Groot Voordeel):
   De auteurs construeren een niet-triviale multipartiete verzameling van vier orthogonale toestanden ($|\Psi_0\rangle$ tot $|\Psi_3\rangle$) gedeeld tussen $n$ partijen.

   • Resultaat: Deze verzameling is lokaal ononderscheidbaar. Echter, door een $2 \otimes 2$ maximaal verstrengelde toestand (een Bell-paar) als hulpbron te gebruiken, kunnen de partijen de toestanden perfect onderscheiden.
   • Batterij-effect: Bij voltooiing blijven de partijen achter met een $2 \otimes n$ maximaal verstrengelde GHZ-toestand. Omdat een bipartiete toestand niet via LOCC in een genuanceerde multipartiete verstrengelde toestand kan worden omgezet, maar het omgekeerde wel mogelijk is, is de hulpbron "opgewaardeerd". Dit vormt een exacte verstrengelingsbatterij die een aanzienlijk voordeel biedt in de terugwinning van verstrengeling.

3. Exacte Verstrengelingskatalysator:
   De auteurs breiden de vorige constructie uit naar een grotere verzameling van $2^n$ toestanden. Zij tonen aan dat een $2 \otimes n$ GHZ-toestand fungeert als een exacte verstrengelingskatalysator, waardoor de discriminatie van de verzameling mogelijk wordt terwijl deze onveranderd wordt teruggewonnen.

4. Benaderende Verstrengelingsbatterijen en Katalysatoren:
   Het artikel verkent scenario's waarin perfecte terugwinning niet gegarandeerd is, maar wel met een hoge waarschijnlijkheid of gemiddeld voorkomt.

   • Grote Dimensionale Systemen: Voor een Hilbertruimte van dimensie $d = d'^2$, kan een verzameling van $d+1$ maximaal verstrengelde toestanden worden gediscrimineerd met een $d' \otimes d'$ maximaal verstrengelde toestand als een benaderende katalysator. Naarmate $d$ groot wordt, nadert de waarschijnlijkheid van het terugwinnen van de katalysator de eenheid.
   • Veel-Kopie Ononderscheidbare Verzamelingen: De auteurs analyseren verzamelingen afgeleid van eindige kopieën van ononderscheidbare ensembles (bijv. $\rho_1^{\otimes m}$ versus $\rho_2^{\otimes m}$). Zij demonstreren dat voor bepaalde verzamelingen (waaronder die met Unextendible Product Bases en GHZ-toestanden), een verstrengelde hulpbron gebruikt kan worden om de toestanden te discrimineren, en dat de hulpbron (of een betere multipartiete toestand) gemiddeld kan worden teruggewonnen.
   • Specifiek Voorbeeld: Het gebruik van een bipartiet Bell-paar om een verzameling te onderscheiden die een 3-qubit GHZ-toestand en een UPB-afgeleide toestand bevat, maakt het mogelijk om gemiddeld meerdere kopieën van de GHZ-toestand terug te winnen, wat een benaderende multipartiete verstrengelingsbatterij demonstreert.

Betekenis en Claims
Het artikel claimt de eerste te zijn die het concept van verstrengelingsbatterijen (zowel exacte als benaderende) systematisch verkent binnen de context van lokale toestandsdiscriminatie. Hoewel verstrengelingskatalyse is bestudeerd bij toestandstransformaties, is de toepassing ervan op discriminatie beperkt geweest.

De auteurs benadrukken verschillende belangrijke onderscheidende punten tussen hun bevindingen en lokale toestandstransformatieproblemen:

• In tegenstelling tot bij toestandstransformatie, kan een maximaal verstrengelde toestand dienen als een katalysator in discriminatieproblemen.
• In de gepresenteerde discriminatieprotocollen behoudt de katalysator-toestand niet noodzakelijkerwijs correlaties met de rest van het systeem op dezelfde manier als in transformatietaken.
• Het werk demonstreert dat hoewel exacte discriminatie van volledige verstrengelde bases onmogelijk is zelfs met katalysatoren, specifieke deelverzamelingen van toestanden onderscheiden kunnen worden met het extra voordeel van het genereren of terugwinnen van grotere hoeveelheden verstrengeling (batterij-effect) of het terugwinnen van de katalysator met een hoge waarschijnlijkheid (benaderend geval).

De auteurs concluderen dat benaderende instrumenten bijzonder nuttig zijn voor het discrimineren van verzamelingen afgeleid van veel-kopie ononderscheidbare ensembles, wat een pad biedt voor het terugwinnen van verstrengelingsbronnen die anders in het discriminatieproces zouden worden verbruikt.