Quantum Wasserstein distance and its relation to several types of fidelities

Dit artikel legt verbanden tussen verschillende definities van de kwantum-Wasserstein-afstand en kwantumfideliteiten door aan te tonen dat optimalisatie over separabele bipartiete toestanden grootheden oplevert die gelijk zijn aan de Uhlmann-Jozsa-fideliteit (specifiek voor qubits) en de superfideliteit, terwijl het ook de driehoeksongelijkheid aantoont voor bepaalde gevallen die zuivere toestanden betreffen.

De kern

Stel je voor dat je probeert de "afstand" tussen twee verschillende kwantumtoestanden te meten. In de klassieke wereld is de "Wasserstein-afstand", als je twee stapels zand hebt (die twee verschillende verdelingen van materie vertegenwoordigen), gelijk aan de minimale hoeveelheid arbeid die nodig is om het zand van de ene stapel naar de andere te verplaatsen. Het is een zeer nuttige manier om aan te geven hoe verschillend twee dingen zijn.

In de kwantumwereld wordt het lastig. Kwantumtoestanden lijken meer op wolken van waarschijnlijkheid dan op vaste stapels zand. Wetenschappers hebben verschillende manieren bedacht om de "afstand" tussen deze kwantumwolken te meten, maar ze maken vaak gebruik van ingewikkelde wiskunde die de wolken behandelt alsof ze bestaan uit één enkel, ondeelbaar geheel.

Dit artikel, geschreven door G´eza T´oth en J´ozsef Pitrik, stelt een eenvoudige maar diepzinnige vraag: Wat gebeurt er als we stoppen met het behandelen van deze kwantumwolken als ondeelbare geheleheden en ze in plaats daarvan bekijken als verzamelingen van eenvoudige, afzonderlijke stukjes?

Hieronder volgt een uiteenzetting van hun bevindingen met behulp van alledaagse analogieën:

1. De twee hoofdbenaderingen: het "gehele taart" versus de "afzonderlijke plakken"

De auteurs keken naar bestaande definities van kwantumafstand.

• De "gehele taart"-benadering: Sommige definities gaan ervan uit dat de twee kwantumtoestanden op een complexe, "verstrengelde" manier met elkaar verbonden zijn (zoals een taart die niet kan worden doorgesneden). Dit is de standaard, complexe manier van werken.
• De "afzonderlijke plakken"-benadering: De auteurs vroegen zich af: "Wat als we de berekening van de afstand dwingen om alleen 'separabele' toestanden te gebruiken?" Denk aan separabele toestanden als twee taarten die naast elkaar staan maar niet aan elkaar zijn gelijmd. Het zijn gewoon eenvoudige mengsels van onafhankelijke plakken.

2. De grote ontdekking: de punten verbinden

De auteurs ontdekten dat wanneer je de wiskunde dwingt om deze "afzonderlijke plakken" te gebruiken, veel van de ingewikkelde, verschillend ogende afstandsformules eigenlijk hetzelfde ding blijken te zijn.

• De analogie: Stel je voor dat je drie verschillende recepten hebt om een taart te maken: het ene vraagt om "meel", het andere om "tarwemeel" en het derde om "gemalen graan". Ze klinken anders. Maar als je beseft dat meel, tarwemeel en gemalen graan allemaal gewoon verschillende namen zijn voor hetzelfde ingrediënt, besef je dat alle drie de recepten eigenlijk precies dezelfde taart maken.
• Het resultaat: Het artikel bewijst dat verschillende kwantumafstandsformules, wanneer ze worden vereenvoudigd tot "separabele" toestanden, wiskundig identiek zijn. Dit verbindt verschillende takken van de kwantumfysica die eerder ongerelateerd leken.

3. Het mysterie van de "zelf-afstand"

In de klassieke fysica is de afstand tussen een object en zichzelf altijd nul. Als je de afstand meet van je huis naar je huis, is het 0 kilometer.

Echter, in sommige kwantumdefinities is de afstand van een staat tot zichzelf niet nul. Het is alsof je zegt dat je huis 5 kilometer van zichzelf verwijderd is.

• Het artikel toont aan dat als je de methode van "afzonderlijke plakken" gebruikt, je twee soorten resultaten kunt krijgen:
  1. Niet-nul zelf-afstand: De staat is "ver" van zichzelf verwijderd (dit heeft betrekking op iets dat "Kwantum Fisher-informatie" wordt genoemd, wat meet hoe gevoelig een systeem is voor verandering).
  2. Nul zelf-afstand: De staat is perfect dicht bij zichzelf (dit heeft betrekking op de "Trace Distance" en "SWAP-fidelity").

De auteurs lieten zien dat deze twee verschillende uitkomsten voortkomen uit twee licht verschillende manieren om de wiskunde van de "afzonderlijke plakken" op te zetten.

4. De "magische spiegel" (Fidelity)

Een van de beroemdste hulpmiddelen in de kwantumfysica heet Fidelity. Het is als een "gelijkheidscore" tussen twee kwantumtoestanden. Een score van 1 betekent dat ze identiek zijn; 0 betekent dat ze volledig verschillend zijn.

De auteurs ontdekten een verrassende nieuwe manier om deze score te berekenen. Ze bewezen dat de "gelijkheidscore" (specifiek de vierkantswortel van de Uhlmann-Jozsa-fidelity) kan worden berekend door te kijken naar alle mogelijke manieren om de toestanden op te breken in "afzonderlijke plakken" en de beste match te vinden.

• De analogie: Stel je voor dat je wilt weten hoe vergelijkbaar twee complexe schilderijen zijn. In plaats van naar het hele doek te kijken, breek je beide schilderijen op in duizenden kleine, afzonderlijke penseelstreken. Je probeert vervolgens de penseelstreken van Schilderij A te koppelen aan de best passende penseelstreken van Schilderij B. De auteurs bewezen dat als je dit perfect doet, je exact dezelfde gelijkheidscore krijgt als de meest complexe, hoogwaardige methode.

5. De driehoeksregel

In de meetkunde zegt de "driehoeksongelijkheid" dat als je van punt A naar punt B gaat, en vervolgens van B naar C, de totale afstand niet korter kan zijn dan het rechtstreeks gaan van A naar C. (Je kunt geen afkorting nemen door bij een derde punt te stoppen).

De auteurs bewezen dat voor sommige van deze nieuwe "separabele" afstandsmaatstaven deze regel geldt als een van de toestanden "puur" is (een eenvoudige, niet-gemengde staat, zoals een enkele, heldere noot op een piano). Als de toestanden rommelige mengsels zijn, is de regel moeilijker te bewijzen, maar ze vonden sterke aanwijzingen dat deze daar waarschijnlijk ook geldt.

6. Het speciale geval van qubits (twee-niveausystemen)

Voor de eenvoudigste kwantumsystemen (qubits genoemd, die lijken op munten die kop, staart of een mengsel van beide kunnen zijn), vonden de auteurs een perfecte overeenkomst.

• Ze toonden aan dat voor qubits de "separabele" afstandsmaatstaf exact gelijk is aan de standaard "gelijkheidscore" (Fidelity).
• De analogie: Het is alsof je ontdekt dat voor kleine, eenvoudige objecten de ingewikkelde formule "arbeid nodig om zand te verplaatsen" exact hetzelfde is als de eenvoudige formule "hoeveel ze op elkaar lijken".

Samenvatting

Het artikel is in wezen een unificatieproject. Het neemt verschillende ingewikkelde, hoogwaardige definities van "kwantumafstand" en laat zien dat als je ze bekijkt door de lens van "separabele toestanden" (eenvoudige, niet-verstrengelde stukjes), ze instorten tot een paar basisconcepten die identiek zijn.

• Ze verbonden de Kwantum Wasserstein-afstand (een transportkosten) met Kwantum Fidelity (een gelijkheidscore).
• Ze toonden aan dat voor eenvoudige systemen (qubits) deze concepten wiskundig identiek zijn.
• Ze leverden een nieuwe, eenvoudigere manier om deze afstanden te berekenen door complexe kwantumtoestanden op te breken in eenvoudigere, separabele delen.

De auteurs bespraken in dit artikel geen medische toepassingen of toekomstige technologieën; hun doel was puur om de wiskundige relaties tussen deze verschillende manieren van het meten van kwantumverschillen te verduidelijken.

Technische samenvatting

Technische Samenvatting: Quanten-Wasserstein-afstand en zijn Relatie tot Verschillende Typen Fideliteiten

Probleemstelling
Het artikel behandelt de proliferatie van definities voor de quanten-Wasserstein-afstand, een centraal concept in de quantum-optimal transport. In de literatuur bestaan er diverse benaderingen, waaronder die gebaseerd op quantumkanalen (De Palma en Trevisan), statische interpretaties (Golse, Mouhot, Paul, Caglioti), en kostenfuncties die de SWAP-operator of antisymmetrische kosten betrekken. Een belangrijke uitdaging is het bepalen of deze verschillende definities fundamenteel met elkaar verbonden zijn of of ze kunnen worden geünificeerd. Specifiek onderzoeken de auteurs de grootheden die worden verkregen wanneer de optimalisatie in deze afstanddefinities wordt beperkt van de verzameling van alle fysische bipartiete quantumsystemen tot de deelverzameling van separable toestanden. Het artikel tracht deze benaderingen met elkaar te verbinden, te bepalen of ze reduceren tot basissoorten, en hun relaties te verkennen met gevestigde grootheden uit de quantuminformatietheorie, zoals fideliteiten en de quanten-Fisherinformatie.

Methodologie
De auteurs analyseren systematisch verschillende definities van de quanten-Wasserstein-afstand door de optimalisatie uit te voeren over separabele toestanden in plaats van over algemene toestanden. De methodologie omvat:

1. Hervorming van Definities: Het nemen van bestaande definities (bijvoorbeeld het type De Palma-Trevisan, gebaseerd op SWAP-fideliteit) en het aanpassen van de constraint-set zodat deze uitsluitend separabele bipartiete toestanden omvat ($\varrho_{12} \in \text{Sep}$).
2. Convex Roof-analyse: Het uitdrukken van de resulterende grootheden als optimalisaties over decomposities van gemengde toestanden in ensembles van pure producttoestanden. Dit maakt gebruik van de wiskundige structuur van convexe en concave daken.
3. Analytische Bewijzen: Het bewijzen van gelijkheden en ongelijkheden tussen de nieuwe grootheden voor separabele toestanden en standaardmaten zoals de Uhlmann-Jozsa-fideliteit, de Bures-afstand en de superfideliteit.
4. Speciale Gevallen: Het analyseren van specifieke scenario's, zoals wanneer een van de toestanden puur is, wanneer een volledige set observabelen (generatoren van $SU(d)$) wordt gebruikt, en voor qubitsystemen ($d=2$).
5. Numerieke Verificatie: Het gebruik van semidefiniete programmering (SDP) om deze afstanden te berekenen voor willekeurige toestanden, gebruikmakend van het feit dat voor twee qubits de verzameling van toestanden met positieve partiële transpositie (PPT) samenvalt met de verzameling separabele toestanden, wat exacte numerieke oplossingen mogelijk maakt.

Belangrijkste Bijdragen en Resultaten

• Unificatie van Benaderingen: Het artikel toont aan dat optimalisatie over separabele toestanden leidt tot twee primaire categorieën van grootheden:

  1. Die gebaseerd zijn op de standaard kostenfunctie van De Palma-Trevisan, die een niet-nul zelf-afstand kan hebben.
  2. Die gebaseerd zijn op een gewijzigde kostenfunctie (waarbij zelf-afstanden worden afgetrokken), wat resulteert in een nul zelf-afstand.
     De auteurs bewijzen dat voor een volledige set observabelen de gewijzigde De Palma-Trevisan-afstand, geoptimaliseerd over separabele toestanden, gelijk is aan de afstand gebaseerd op de spoorafstand en de SWAP-fideliteit, geoptimaliseerd over separabele toestanden.

• Relatie tot Fideliteiten:

  • Uhlmann-Jozsa-fideliteit: Het bewezen is dat de vierkantswortel van de Uhlmann-Jozsa-fideliteit, $\sqrt{F(\varrho, \sigma)}$, uitdrukbaar is als een optimalisatie over separabele toestanden (Stelling 1). Specifiek is dit het convexe dak van de overlap van pure toestanden in de decompositie.
  • SWAP-fideliteit: De SWAP-fideliteit, geoptimaliseerd over separabele toestanden ($F_{S,sep}$), blijkt het convexe dak te zijn van de gekwadrateerde overlap van pure toestanden.
  • Gelijkheid voor Qubits: Voor qubits ($d=2$) bewijzen de auteurs dat de SWAP-fideliteit, geoptimaliseerd over separabele toestanden, exact gelijk is aan de Uhlmann-Jozsa-fideliteit ($F_{S,sep} = F$). Dit is een gevolg van de gelijkheid tussen de Uhlmann-Jozsa-fideliteit en de superfideliteit voor qubits.

• Driehoeksongelijkheid: Het artikel bewijst dat de driehoeksongelijkheid geldt voor de gewijzigde quanten-Wasserstein-afstand (gebaseerd op optimalisatie over separabele toestanden) in het specifieke geval waarin een van de drie betrokken toestanden puur is. Dit wordt vastgesteld door gebruik te maken van het feit dat de afstand voor pure toestanden voldoet aan de driehoeksongelijkheid, en dit uit te breiden via de structuur van het convexe dak.

• Connectie met Quanten-Fisherinformatie: De zelf-afstand van de De Palma-Trevisan-afstand, geoptimaliseerd over separabele toestanden, blijkt gerelateerd te zijn aan de quanten-Fisherinformatie (QFI). Voor een enkele operator is de zelf-afstand gelijk aan $F_Q/4$. Het artikel stelt grenzen vast die de Wigner-Yanase-schuine informatie, de QFI en de zelf-afstanden met elkaar verbinden.

• Relaties tot Andere Divergenties: De auteurs leiden grenzen af die de nieuwe afstanden voor separabele toestanden verbinden met de Bures-afstand, de superfideliteit en diverse quantendivergenties (Jensen, Bregman, Tsallis), en tonen aan dat deze afstanden vaak dienen als boven- of ondergrenzen voor deze andere grootheden.

Betekenis en Aanspraken
Het artikel claimt een unificerend kader te bieden voor het begrijpen van verschillende definities van de quanten-Wasserstein-afstand, door aan te tonen dat ze vaak reduceren tot dezelfde grootheden wanneer ze worden beperkt tot separabele toestanden.

• Het vestigt een directe link tussen de quanten-Wasserstein-afstand en de quanten-Fisherinformatie, en verbindt zo de theorie van optimal transport met kwantummetrologie.
• Het toont aan dat de Uhlmann-Jozsa-fideliteit kan worden geformuleerd als een optimalisatie over separabele toestanden, wat een nieuw perspectief biedt op deze fundamentele maatstaf.
• Het resultaat dat voor qubits de SWAP-fideliteit voor separabele toestanden gelijk is aan de Uhlmann-Jozsa-fideliteit, vereenvoudigt de berekening van deze afstanden voor twee-niveausystemen.
• Het bewijs van de driehoeksongelijkheid voor gevallen met pure toestanden ondersteunt de metrische eigenschappen van deze grootheden, hoewel het artikel opmerkt dat de algemene driehoeksongelijkheid voor willekeurige gemengde toestanden een open vraag blijft (ondersteund door numeriek bewijs, maar niet rigoureus bewezen voor alle gevallen).

De auteurs concluderen dat deze bevindingen ogenschijnlijk ongerelateerde gebieden van de kwantumfysica met elkaar verbinden, zoals optimal transport, verstrengelingstheorie en kwantummetrologie, door te onthullen dat veel afstandsmaten fundamenteel met elkaar verbonden zijn via de geometrie van separabele toestanden.