Quantum Wasserstein distance and its relation to several types of fidelities

Dieser Artikel stellt Verbindungen zwischen verschiedenen Definitionen der quantenmechanischen Wasserstein-Distanz und quantenmechanischen Fidelitäten her, indem er nachweist, dass die Optimierung über separable bipartite Zustände Größen liefert, die der Uhlmann-Jozsa-Fidelität (speziell für Qubits) und der Superfidelität entsprechen, und gleichzeitig die Dreiecksungleichung für bestimmte Fälle mit reinen Zuständen demonstriert.

Das Wesentliche

Stellen Sie sich vor, Sie versuchen, die „Distanz" zwischen zwei verschiedenen Quantenzuständen zu messen. In der klassischen Welt ist die „Wasserstein-Distanz", wenn Sie zwei Sandhaufen haben (die zwei verschiedene Materieverteilungen repräsentieren), wie die minimale Arbeitsmenge, die benötigt wird, um den Sand von einem Haufen zum anderen zu bewegen. Es ist eine sehr nützliche Methode, um auszudrücken, wie unterschiedlich zwei Dinge sind.

In der Quantenwelt wird die Sache knifflig. Quantenzustände sind eher wie Wahrscheinlichkeitswolken als wie feste Sandhaufen. Wissenschaftler haben mehrere verschiedene Methoden entwickelt, um die „Distanz" zwischen diesen Quantenwolken zu messen, verwenden jedoch oft komplizierte Mathematik, die die Wolken so behandelt, als wären sie ein einziges, unteilbares Ganzes.

Dieses Papier, verfasst von G´eza T´oth und J´ozsef Pitrik, stellt eine einfache, aber tiefgründige Frage: Was passiert, wenn wir aufhören, diese Quantenwolken als unteilbare Ganze zu betrachten und stattdessen als Ansammlungen einfacher, getrennter Teile ansehen?

Hier ist eine Aufschlüsselung ihrer Erkenntnisse unter Verwendung alltäglicher Analogien:

1. Die zwei Hauptansätze: Der „ganze Kuchen" versus die „getrennten Scheiben"

Die Autoren untersuchten bestehende Definitionen der Quantendistanz.

• Der Ansatz des „ganzen Kuchens": Einige Definitionen gehen davon aus, dass die beiden Quantenzustände auf komplexe, „verschränkte" Weise miteinander verbunden sind (wie ein Kuchen, der nicht geschnitten werden kann). Dies ist die Standardmethode, die komplex ist.
• Der Ansatz der „getrennten Scheiben": Die Autoren fragten: „Was wäre, wenn wir die Distanzberechnung zwingen würden, nur ‚separable' Zustände zu verwenden?" Denken Sie an separable Zustände wie zwei Kuchen, die nebeneinander stehen, aber nicht zusammengeklebt sind. Es handelt sich einfach um Mischungen unabhängiger Scheiben.

2. Die große Entdeckung: Die Punkte verbinden

Die Autoren fanden heraus, dass, wenn man die Mathematik zwingt, diese „getrennten Scheiben" zu verwenden, viele der komplizierten, unterschiedlich aussehenden Distanzformeln sich tatsächlich als dasselbe Ding herausstellen.

• Die Analogie: Stellen Sie sich vor, Sie haben drei verschiedene Rezepte zum Backen eines Kuchens: Das eine verlangt „Mehl", das andere „Weizenmehl" und das dritte „gemahlenes Getreide". Sie klingen unterschiedlich. Aber wenn Sie erkennen, dass Mehl, Weizenmehl und gemahlenes Getreide nur verschiedene Namen für denselben Bestandteil sind, erkennen Sie, dass alle drei Rezepte tatsächlich exakt denselben Kuchen backen.
• Das Ergebnis: Das Papier beweist, dass mehrere verschiedene Quantendistanzformeln, wenn sie auf „separable" Zustände vereinfacht werden, mathematisch identisch sind. Dies verbindet verschiedene Zweige der Quantenphysik, die zuvor als unverwandt erschienen.

3. Das Rätsel der „Selbstdistanz"

In der klassischen Physik ist die Distanz zwischen einem Objekt und sich selbst immer null. Wenn Sie die Distanz von Ihrem Haus zu Ihrem Haus messen, sind es 0 Meilen.

In einigen Quantendefinitionen ist die Distanz von einem Zustand zu sich selbst jedoch nicht null. Es ist, als würde man sagen, Ihr Haus sei 5 Meilen von sich selbst entfernt.

• Das Papier zeigt, dass Sie bei Verwendung der Methode der „getrennten Scheiben" zwei Arten von Ergebnissen erhalten können:
  1. Nicht-null Selbstdistanz: Der Zustand ist „weit" von sich selbst entfernt (dies bezieht sich auf etwas, das „Quanten-Fisher-Information" genannt wird und misst, wie empfindlich ein System auf Veränderungen reagiert).
  2. Null Selbstdistanz: Der Zustand ist perfekt nah an sich selbst (dies bezieht sich auf die „Spur-Distanz" und die „SWAP-Fidelity").

Die Autoren zeigten, dass diese beiden unterschiedlichen Ergebnisse aus zwei leicht unterschiedlichen Arten stammen, die Mathematik der „getrennten Scheiben" aufzubauen.

4. Der „magische Spiegel" (Fidelity)

Eines der berühmtesten Werkzeuge in der Quantenphysik heißt Fidelity. Es ist wie ein „Ähnlichkeitswert" zwischen zwei Quantenzuständen. Ein Wert von 1 bedeutet, dass sie identisch sind; 0 bedeutet, dass sie völlig unterschiedlich sind.

Die Autoren entdeckten eine überraschend neue Möglichkeit, diesen Wert zu berechnen. Sie bewiesen, dass der „Ähnlichkeitswert" (speziell die Quadratwurzel der Uhlmann-Jozsa-Fidelity) berechnet werden kann, indem man alle möglichen Wege betrachtet, die Zustände in „getrennte Scheiben" aufzubrechen, und das beste Match findet.

• Die Analogie: Stellen Sie sich vor, Sie möchten wissen, wie ähnlich zwei komplexe Gemälde sind. Anstatt die gesamte Leinwand zu betrachten, zerlegen Sie beide Gemälde in Tausende von winzigen, getrennten Pinselstrichen. Dann versuchen Sie, die Pinselstriche aus Gemälde A mit den am besten passenden Pinselstrichen aus Gemälde B zu paaren. Die Autoren bewiesen, dass Sie, wenn Sie dies perfekt tun, exakt denselben Ähnlichkeitswert erhalten wie mit der komplexesten, hochrangigsten Methode.

5. Die Dreiecksregel

In der Geometrie besagt die „Dreiecksungleichung", dass, wenn Sie von Punkt A zu Punkt B und dann von B zu C gehen, die Gesamtdistanz nicht kürzer sein kann als der direkte Weg von A nach C. (Man kann keinen Abkürzungsweg nehmen, indem man bei einem dritten Punkt hält).

Die Autoren bewiesen, dass für einige dieser neuen „separablen" Distanzmaße diese Regel gilt, wenn einer der Zustände „rein" ist (ein einfacher, nicht gemischter Zustand, wie eine einzelne, klare Note auf einem Klavier). Wenn die Zustände chaotische Mischungen sind, ist der Beweis schwieriger, aber sie fanden starke Hinweise darauf, dass die Regel dort wahrscheinlich ebenfalls gilt.

6. Der Sonderfall der Qubits (Zweiniveausysteme)

Für die einfachsten Quantensysteme (genannt Qubits, die wie Münzen sind, die Kopf, Zahl oder eine Mischung aus beidem sein können) fanden die Autoren eine perfekte Übereinstimmung.

• Sie zeigten, dass für Qubits das „separable" Distanzmaß exakt gleich dem Standard-„Ähnlichkeitswert" (Fidelity) ist.
• Die Analogie: Es ist, als würde man entdecken, dass für kleine, einfache Objekte die komplizierte Formel der „zur Bewegung von Sand benötigten Arbeit" exakt derselben einfachen Formel entspricht wie „wie sehr sie einander ähneln".

Zusammenfassung

Das Papier ist im Wesentlichen ein Vereinigungsprojekt. Es nimmt mehrere komplizierte, hochrangige Definitionen der „Quantendistanz" und zeigt, dass sie, wenn man sie durch die Linse der „separablen Zustände" (einfache, nicht-verschränkte Teile) betrachtet, zu einigen wenigen grundlegenden, identischen Konzepten kollabieren.

• Sie verbanden die Quanten-Wasserstein-Distanz (ein Transportkostenmaß) mit der Quanten-Fidelity (ein Ähnlichkeitswert).
• Sie zeigten, dass für einfache Systeme (Qubits) diese Konzepte mathematisch identisch sind.
• Sie lieferten eine neue, einfachere Möglichkeit, diese Distanzen zu berechnen, indem sie komplexe Quantenzustände in einfachere, separable Teile zerlegten.

Die Autoren diskutierten in diesem Papier keine medizinischen Anwendungen oder zukünftige Technologien; ihr Ziel war es rein, die mathematischen Beziehungen zwischen diesen verschiedenen Methoden zur Messung quantenmechanischer Unterschiede zu klären.

Technische Zusammenfassung

Technisches Fazit: Quanten-Wasserstein-Distanz und ihre Beziehung zu verschiedenen Arten von Fidelitäten

Problemstellung
Der Artikel befasst sich mit der Vielzahl von Definitionen für die Quanten-Wasserstein-Distanz, einem zentralen Konzept im quantenoptimalen Transport. In der Literatur existieren verschiedene Ansätze, darunter solche, die auf Quantenkanälen basieren (De Palma und Trevisan), statische Interpretationen (Golse, Mouhot, Paul, Caglioti) sowie Kostenfunktionen, die den SWAP-Operator oder antisymmetrische Kosten beinhalten. Eine zentrale Herausforderung besteht darin, zu bestimmen, ob diese unterschiedlichen Definitionen fundamental miteinander verbunden sind oder ob sie vereinheitlicht werden können. Insbesondere untersuchen die Autoren die Größen, die entstehen, wenn die Optimierung in diesen Distanzdefinitionen von der Menge aller physikalischen bipartiten Quantenzustände auf die Teilmenge der separablen Zustände eingeschränkt wird. Der Artikel zielt darauf ab, diese Ansätze zu verknüpfen, zu prüfen, ob sie auf grundlegende Typen reduziert werden können, und ihre Beziehungen zu etablierten quanteninformationstheoretischen Maßen wie Fidelitäten und der Quanten-Fisher-Information zu erforschen.

Methodik
Die Autoren analysieren systematisch verschiedene Definitionen der Quanten-Wasserstein-Distanz, indem sie die Optimierung über separable Zustände statt über allgemeine Zustände durchführen. Die Methodik umfasst:

1. Umformulierung von Definitionen: Die Übernahme bestehender Definitionen (z. B. De Palma-Trevisan-Typ, SWAP-Fidelität-basiert) und die Anpassung der Nebenbedingungsmenge, sodass nur separable bipartite Zustände ($\varrho_{12} \in \text{Sep}$) enthalten sind.
2. Analyse konvexer Hüllen: Darstellung der resultierenden Größen als Optimierungen über Zerlegungen gemischter Zustände in Ensembles reiner Produktzustände. Dies nutzt die mathematische Struktur konvexer und konkaver Hüllen.
3. Analytische Beweise: Beweis von Gleichheiten und Ungleichheiten zwischen den neuen Größen für separable Zustände und Standardmaßen wie der Uhlmann-Jozsa-Fidelität, der Bures-Distanz und der Superfidelität.
4. Spezialfälle: Analyse spezifischer Szenarien, wie etwa wenn einer der Zustände rein ist, wenn ein vollständiger Satz von Observablen (Generatoren von $SU(d)$) verwendet wird, und für Qubitsysteme ($d=2$).
5. Numerische Verifikation: Verwendung der semidefiniten Programmierung (SDP) zur Berechnung dieser Distanzen für zufällige Zustände unter Ausnutzung der Tatsache, dass für zwei Qubits die Menge der Zustände mit positiver partieller Transposition (PPT) mit der Menge der separablen Zustände übereinstimmt, was exakte numerische Lösungen ermöglicht.

Hauptbeiträge und Ergebnisse

• Vereinheitlichung der Ansätze: Der Artikel zeigt, dass die Optimierung über separable Zustände zu zwei Hauptkategorien von Größen führt:

  1. Solche, die auf der Standard-Kostenfunktion von De Palma-Trevisan basieren und eine von Null verschiedene Selbstdistanz aufweisen können.
  2. Solche, die auf einer modifizierten Kostenfunktion (Subtraktion der Selbstdistanzen) basieren und eine Selbstdistanz von Null ergeben.
     Die Autoren beweisen, dass für einen vollständigen Satz von Observablen die modifizierte De Palma-Trevisan-Distanz, optimiert über separable Zustände, der Distanz entspricht, die auf der Spur-Distanz und der über separable Zustände optimierten SWAP-Fidelität basiert.

• Beziehung zu Fidelitäten:

  • Uhlmann-Jozsa-Fidelität: Es wird bewiesen, dass die Quadratwurzel der Uhlmann-Jozsa-Fidelität, $\sqrt{F(\varrho, \sigma)}$, als Optimierung über separable Zustände ausgedrückt werden kann (Satz 1). Konkret handelt es sich um die konvexe Hülle des Überlapps reiner Zustände in der Zerlegung.
  • SWAP-Fidelität: Die über separable Zustände optimierte SWAP-Fidelität, $F_{S,sep}$, erweist sich als die konvexe Hülle des quadrierten Überlapps reiner Zustände.
  • Gleichheit für Qubits: Für Qubits ($d=2$) beweisen die Autoren, dass die über separable Zustände optimierte SWAP-Fidelität exakt der Uhlmann-Jozsa-Fidelität entspricht ($F_{S,sep} = F$). Dies ist eine Konsequenz der Gleichheit zwischen der Uhlmann-Jozsa-Fidelität und der Superfidelität für Qubits.

• Dreiecksungleichung: Der Artikel beweist, dass die Dreiecksungleichung für die modifizierte Quanten-Wasserstein-Distanz (basierend auf der Optimierung über separable Zustände) im spezifischen Fall gilt, in dem einer der drei beteiligten Zustände rein ist. Dies wird dadurch erreicht, dass die Tatsache genutzt wird, dass die Distanz für reine Zustände die Dreiecksungleichung erfüllt, und dies über die Struktur der konvexen Hülle erweitert wird.

• Verbindung zur Quanten-Fisher-Information: Die Selbstdistanz der über separable Zustände optimierten De Palma-Trevisan-Distanz wird als mit der Quanten-Fisher-Information (QFI) verknüpft nachgewiesen. Für einen einzelnen Operator entspricht die Selbstdistanz $F_Q/4$. Der Artikel stellt Schranken her, die die Wigner-Yanase-Schiefe Information, die QFI und die Selbstdistanzen miteinander in Beziehung setzen.

• Beziehungen zu anderen Divergenzen: Die Autoren leiten Schranken her, die die neuen Distanzen für separable Zustände mit der Bures-Distanz, der Superfidelität und verschiedenen quantenmechanischen Divergenzen (Jensen, Bregman, Tsallis) verknüpfen, und zeigen auf, dass diese Distanzen häufig als obere oder untere Schranken für diese anderen Größen dienen.

Bedeutung und Behauptungen
Der Artikel behauptet, einen vereinheitlichten Rahmen zum Verständnis verschiedener Definitionen der Quanten-Wasserstein-Distanz zu liefern, indem er zeigt, dass diese oft auf dieselben Größen reduziert werden, wenn sie auf separable Zustände eingeschränkt werden.

• Es wird eine direkte Verbindung zwischen der Quanten-Wasserstein-Distanz und der Quanten-Fisher-Information hergestellt, wodurch die Theorie des optimalen Transports mit der Quantenmetrologie verknüpft wird.
• Es wird demonstriert, dass die Uhlmann-Jozsa-Fidelität als Optimierung über separable Zustände formuliert werden kann, was eine neue Perspektive auf dieses fundamentale Maß bietet.
• Das Ergebnis, dass für Qubits die über separable Zustände optimierte SWAP-Fidelität der Uhlmann-Jozsa-Fidelität entspricht, vereinfacht die Berechnung dieser Distanzen für Zwei-Niveau-Systeme.
• Der Beweis der Dreiecksungleichung für Fälle, die reine Zustände beinhalten, stützt die metrischen Eigenschaften dieser Größen, obwohl der Artikel anmerkt, dass die allgemeine Dreiecksungleichung für beliebige gemischte Zustände eine offene Frage bleibt (gestützt durch numerische Evidenz, aber nicht für alle Fälle rigoros bewiesen).

Die Autoren schließen daraus, dass diese Erkenntnisse scheinbar unzusammenhängende Gebiete der Quantenphysik, wie optimalen Transport, Verschränkungstheorie und Quantenmetrologie, verbinden, indem sie offenbaren, dass viele Distanzmaße fundamental durch die Geometrie separabler Zustände miteinander verknüpft sind.