Relations between different definitions of the quantum Wasserstein distance for qubits

Dieser Artikel zeigt, dass für Qubits die von Golse et al. sowie von De Palma und Trevisan definierten quantenmechanischen Wasserstein-Distanzen übereinstimmen, wenn die Kostenfunktion einen einzelnen Operator beinhaltet, was impliziert, dass die Selbst-Distanz in diesem Szenario der Wigner-Yanase-Schiefinformation entspricht.

Das Wesentliche

Stellen Sie sich vor, Sie versuchen, die „Entfernung" zwischen zwei verschiedenen Quantenzuständen zu messen. In der klassischen Welt, wenn Sie einen Sandhaufen haben und ihn in eine neue Form bringen möchten, ist die „Wasserstein-Distanz" (oft auch als Earth Mover's Distance bezeichnet) einfach die minimale Arbeitsmenge, die erforderlich ist, um die Körner von der ersten Form in die zweite zu bewegen. Wenn die beiden Formen identisch sind, beträgt die erforderliche Arbeit null.

In der Quantenwelt wird es jedoch seltsam. Quantenzustände sind unscharf, probabilistisch und können „verschränkt" sein. Aus diesem Grund haben Physiker mehrere verschiedene Methoden entwickelt, um diese Quantenentfernung zu berechnen. Betrachten Sie diese verschiedenen Methoden als verschiedene Teams von Kartografen, die versuchen, dieselbe mysteriöse Insel zu kartieren. Sie verwenden alle unterschiedliche Werkzeuge und Regeln, daher produzieren sie oft leicht unterschiedliche Karten.

Dieser Artikel handelt von zwei spezifischen Teams von Kartografen:

1. Das GMPC-Team: Geführt von Golse, Mouhot, Paul und Caglioti.
2. Das DPT-Team: Geführt von De Palma und Trevisan.

Beide Teams versuchen, die Entfernung zwischen zwei Quantenzuständen zu messen (nennen wir sie „Zustand A" und „Zustand B"). Beide suchen nach einer speziellen „Brücke" (ein mathematisches Objekt, das Kopplung genannt wird), die die beiden Zustände mit den geringsten „Kosten" verbindet. Allerdings definieren sie die „Kosten" leicht unterschiedlich.

Die große Entdeckung: Sie stimmen bei einzelnen Qubits überein

Die Autoren dieses Artikels, Géza Tóth und József Pitrik, konzentrierten sich auf das einfachste mögliche Quantensystem: ein Qubit. Sie können sich ein Qubit als eine einzelne Quantenmünze vorstellen, die Kopf, Zahl oder eine unscharfe Mischung aus beidem sein kann.

Sie stellten eine einfache Frage: Wenn wir es nur mit einem einzigen Qubit zu tun haben und die Entfernung basierend auf nur einer spezifischen „Regel" (einem Operator) messen, erhalten diese beiden verschiedenen Teams dann dieselbe Antwort?

Die Antwort lautet ja.

Der Artikel beweist, dass für ein einzelnes Qubit, wenn Sie eine einzige Regel zur Messung der Entfernung verwenden, die GMPC-Karte und die DPT-Karte identisch sind. Die beiden verschiedenen Definitionen der Quantenentfernung fallen in eine zusammen.

Warum ist das überraschend? (Das „Selbstentfernungs"-Rätsel)

In der klassischen Welt ist die Entfernung von einem Punkt zu sich selbst immer null. Wenn Sie in Paris stehen, beträgt die Entfernung von Paris nach Paris null.

In der Quantenwelt kann ein Zustand jedoch eine von null verschiedene „Selbstentfernung" aufweisen. Das ist so, als würde man sagen, dass es, wenn Sie versuchen, eine Quantenmünze von ihrem aktuellen unscharfen Zustand in den exakt gleichen unscharfen Zustand zu bewegen, immer noch einige „Arbeitskosten" verursacht.

Der Artikel hebt eine faszinierende Verbindung hervor:

• Das DPT-Team hatte bereits entdeckt, dass diese „Selbstentfernung" mathematisch gleich einer Größe ist, die als Wigner-Yanase-Schiefe Information bezeichnet wird. Betrachten Sie dies als ein Maß dafür, wie viel „Quantenunsicherheit" oder „Information" in Bezug auf diese spezifische Regel innerhalb des Zustands verborgen ist.
• Da die Autoren bewiesen haben, dass die beiden Teams bei einzelnen Qubits übereinstimmen, können sie nun sagen: Die „Selbstentfernung" des GMPC-Teams ist ebenfalls gleich dieser Wigner-Yanase-Schiefen Information.

Der Zaubertrick: Alles real machen

Wie haben sie das bewiesen? Sie benutzten einen cleveren mathematischen „Zaubertrick".

Stellen Sie sich vor, der Quantenzustand und die Regel (der Operator) sind in einer komplexen Sprache geschrieben, die imaginäre Zahlen beinhaltet. Die Autoren zeigten, dass Sie für ein einzelnes Qubit das gesamte System immer drehen können (wie das Drehen eines Globus), sodass alle Zahlen „real" werden (keine imaginären Teile).

Sobald alles „real" ist, erweisen sich die beiden verschiedenen Definitionen, die die Teams verwenden, als mathematisch identisch. Es ist, als würde man erkennen, dass zwei Personen, die ein Gebäude beschreiben – eine mit einem Bauplan und eine mit einem 3D-Modell –, tatsächlich exakt dieselbe Struktur beschreiben, sobald man erkennt, dass sie beide dieselbe Seite des Gebäudes betrachten.

Was bedeutet das für den Rest des Artikels?

Die Autoren weisen auch auf eine praktische Konsequenz für Physiker hin, die Spin-Ketten untersuchen (lange Linien von Quantenmagneten). Da die beiden Entfernungsdefinitionen nun für einzelne Qubits als gleich bekannt sind, können Physiker die einfacheren Formeln eines Teams verwenden, um die Energie dieser magnetischen Systeme zu berechnen. Insbesondere können sie die minimale Energie eines Systems mit der Wigner-Yanase-Schiefen Information in Beziehung setzen, ohne sich um komplexe „Transponierungs"-Operationen kümmern zu müssen, die die Mathematik normalerweise verkomplizieren.

Zusammenfassung

• Das Problem: Physiker hatten zwei verschiedene Möglichkeiten, Entfernungen in der Quantenwelt zu messen, und es war unklar, ob sie übereinstimmten.
• Die Lösung: Für das einfachste Quantenobjekt (ein einzelnes Qubit) und eine einzelne Messregel sind die beiden Methoden exakt gleich.
• Das Ergebnis: Dies bestätigt, dass die „Kosten" eines Quantenzustands, sich selbst zu bewegen, ein fundamentales Maß für Quanteninformation (Wigner-Yanase-Schiefe Information) sind, unabhängig davon, welche mathematische Definition Sie verwenden.
• Die Grenze: Diese Übereinstimmung ist spezifisch für einzelne Qubits mit einem einzelnen Operator bewiesen. Der Artikel behauptet nicht, dass dies für komplexe, Multi-Qubit-Systeme oder mehrere Operatoren gilt.

Kurz gesagt vereinheitlicht der Artikel zwei verschiedene Sprachen des Quantentransports für den einfachsten Fall und zeigt, dass sie nur verschiedene Wege sind, dasselbe zu sagen.

Technische Zusammenfassung

Technische Zusammenfassung: Beziehungen zwischen verschiedenen Definitionen der Quanten-Wasserstein-Distanz für Qubits

Problemstellung
Das Feld des quantenoptimalen Transports hat mehrere unterschiedliche Definitionen der Quanten-Wasserstein-Distanz hervorgebracht, die jeweils durch verschiedene physikalische Interpretationen motiviert sind (z. B. semi-klassische Grenzfälle, freie Wahrscheinlichkeitstheorie, dynamische Interpretationen oder Quantenkanalformalismen). Zwei prominente Definitionen sind:

1. Die GMPC-Distanz: Definiert von Golse, Mouhot, Paul und Caglioti (GMPC), basierend auf der Optimierung einer Kostenfunktion über bipartite Zustände mit festen Randverteilungen.
2. Die DPT-Distanz: Definiert von De Palma und Trevisan (DPT), ebenfalls basierend auf einer Optimierung über bipartite Zustände (Kopplungen), jedoch unter Verwendung einer anderen Kostenfunktion, die Matrixtransponierte beinhaltet.

Während bekannt war, dass die Selbstdistanz (die Distanz eines Zustands zu sich selbst) für die DPT-Definition der Summe der Wigner-Yanase-Schieflinformation entspricht, blieb die Beziehung zwischen den GMPC- und DPT-Definitionen unklar. Insbesondere war unbekannt, ob diese beiden Definitionen für allgemeine Quantenzustände übereinstimmen und wenn ja, unter welchen Bedingungen. Bisherige Ergebnisse zeigten, dass eine auf Separabilität basierende Quanten-Wasserstein-Distanz als obere Schranke für beide dient, doch eine direkte Äquivalenz war nicht bewiesen.

Methodik
Die Autoren untersuchen die Beziehung zwischen dem quadrierten GMPC-Abstand, $D_{GMPC}^2(\varrho, \sigma)$, und dem quadrierten DPT-Abstand, $D_{DPT}^2(\varrho, \sigma)$, speziell für Qubitsysteme (Ein-Qubit-Zustände) und einen einzelnen Operator ($N=1$) in der Kostenfunktion.

Der Kern ihrer Methodik beruht auf einem unitären Transformationsargument, das in Lemma 1 zusammengefasst ist. Die Autoren beweisen, dass für jeden hermiteschen Operator $H$ eines einzelnen Qubits und jede Dichtematrix $\varrho$ eines einzelnen Qubits ein unitärer Operator $U$ existiert, sodass sowohl der transformierte Operator $H' = UHU^\dagger$ als auch der transformierte Zustand $\varrho' = U\varrho U^\dagger$ reelle Matrizen sind.

Unter Verwendung dieses Lemmas zeigen die Autoren, dass die Optimierungsprobleme, welche die beiden Distanzen definieren, aufeinander abgebildet werden können. Sie nutzen die Eigenschaft aus, dass für reelle Matrizen die Transponierungsoperation im Kontext der Struktur der Kostenfunktion äquivalent zur Identitätsoperation ist, wodurch die Lücke zwischen den Definitionen überbrückt wird, die sich durch das Vorhandensein von Transponierten in der DPT-Formulierung unterscheiden.

Hauptbeiträge und Ergebnisse

1. Äquivalenz für Qubits: Das Hauptergebnis der Arbeit (Satz 1) stellt fest, dass für Ein-Qubit-Zustände $\varrho$ und $\sigma$ sowie einen einzelnen Operator $H_1$ die durch die beiden Ansätze definierten quadrierten Distanzen identisch sind:
   $$D_{DPT}^2(\varrho, \sigma) = D_{GMPC}^2(\varrho, \sigma)$$
   Diese Gleichheit gilt allgemein für Qubits, nicht nur für bestimmte Teilmengen von Zuständen.

2. Implikation für die Selbstdistanz: Als direkte Konsequenz dieser Äquivalenz wird gezeigt, dass die Selbstdistanz für die GMPC-Definition (wenn $N=1$) der Wigner-Yanase-Schieflinformation $I_\varrho(H_1)$ entspricht. Dies bestätigt, dass die GMPC-Distanz die tiefe Verbindung zur Quantenschätzungstheorie teilt, die in der DPT-Definition zu finden ist.

3. Beziehung zur Spin-Ketten-Energie: Die Autoren leiten eine Konsequenz für Spin-Ketten-Berechnungen ab. Sie zeigen, dass die Grundzustandsenergie eines ferromagnetischen Modells mit einem einzelnen Operator $H_1$ und gegebenen Randverteilungen direkt über die Formel mit der Wigner-Yanase-Schieflinformation in Beziehung gesetzt werden kann:
   $$\min_{\varrho_{12}} \text{Tr}[-(H_1 \otimes H_1)\varrho_{12}] = I_\varrho(H_1) - \langle H_1^2 \rangle_\varrho$$
   Bemerkenswerterweise erfordert diese Formulierung keine Matrixtransponierten, was die Verbindung zwischen Energieminimierung und Schieflinformation für Qubits vereinfacht.

Bedeutung und Behauptungen
Die Arbeit behauptet, die Ambiguität zwischen zwei wichtigen Definitionen der Quanten-Wasserstein-Distanz im spezifischen, aber fundamentalen Fall von Qubits mit einem einzelnen Kostenoperator zu klären. Durch den Beweis ihrer Äquivalenz vereinheitlicht die Arbeit die statische Interpretation (GMPC) und die Quantenkanal-Interpretation (DPT) für dieses Regime.

Die Autoren betonen, dass dieses Ergebnis die Quanten-Wasserstein-Distanz mit fundamentalen Größen in der Quantenphysik und der Schätzungstheorie verbindet, insbesondere mit der Wigner-Yanase-Schieflinformation. Sie stellen fest, dass zwar die Selbstdistanz im klassischen optimalen Transport immer null ist, die von null verschiedene Selbstdistanz im Quantenfall (gleich der Schieflinformation) jedoch ein charakteristisches Merkmal des quantenoptimalen Transports darstellt. Die Arbeit bescheidet ihren Umfang bescheiden auf Qubits und einzelne Operatoren und erkennt an, dass für $N \geq 2$ oder höherdimensionale Systeme die Beziehung unterschiedlich sein kann und bisherige Schranken, die die Quanten-Fisher-Information einbeziehen, weiterhin relevant bleiben. Die Arbeit schlägt keine neuen experimentellen Aufbauten vor, sondern klärt das theoretische Landschaftsbild bestehender Definitionen.