In diesem Teil der Lektion besprechen wir die Fidelität zwischen Quantenzuständen, ein Maß für ihre Ähnlichkeit — oder ihr gegenseitiges „Überlappen".
Für zwei Quantenzustandsvektoren ist die Fidelität zwischen den reinen Zuständen, die diesen Quantenzustandsvektoren zugeordnet sind, gleich dem Absolutbetrag des inneren Produkts der Quantenzustandsvektoren.
Das bietet eine grundlegende Möglichkeit, ihre Ähnlichkeit zu messen: Das Ergebnis ist ein Wert zwischen 0 und 1, wobei größere Werte größere Ähnlichkeit anzeigen.
Insbesondere ist der Wert für orthogonale Zustände null (per Definition), während er 1 für Zustände ist, die bis auf eine globale Phase äquivalent sind.
Intuitiv gesprochen kann die Fidelität als Erweiterung dieses grundlegenden Ähnlichkeitsmaßes von Quantenzustandsvektoren auf Dichtematrizen betrachtet werden.
Es empfiehlt sich, mit einer Definition der Fidelität zu beginnen.
Auf den ersten Blick mag die folgende Definition ungewöhnlich oder rätselhaft erscheinen und vielleicht nicht leicht handhabbar.
Die von ihr definierte Funktion erweist sich jedoch als mit vielen interessanten Eigenschaften und mehreren alternativen Formulierungen ausgestattet, was sie viel angenehmer handhabbar macht, als es zunächst erscheinen mag.
Definition
Sei ρ und σ Dichtematrizen, die Quantenzustände desselben Systems darstellen.
Die Fidelität zwischen ρ und σ ist definiert als
F(ρ,σ)=Trρσρ.
Anmerkung
Obwohl dies eine gängige Definition ist, ist es auch üblich, die Fidelität als das Quadrat der hier definierten Größe zu definieren, die dann als Wurzel-Fidelität bezeichnet wird.
Keine Definition ist richtig oder falsch — es ist im Wesentlichen eine Frage der Präferenz.
Man muss jedoch stets darauf achten, zu verstehen oder klarzustellen, welche Definition verwendet wird.
Um die Formel in der Definition zu verstehen, beachte zunächst, dass ρσρ eine positiv-semidefinite Matrix ist:
ρσρ=M†M
für M=σρ.
Wie alle positiv-semidefiniten Matrizen hat diese positiv-semidefinite Matrix eine eindeutige positiv-semidefinite Quadratwurzel, deren Spur die Fidelität ist.
Für jede quadratische Matrix M sind die Eigenwerte der beiden positiv-semidefiniten Matrizen M†M und MM† stets dieselben, und daher gilt dasselbe für die Quadratwurzeln dieser Matrizen.
Indem wir M=σρ wählen und die Tatsache nutzen, dass die Spur einer quadratischen Matrix die Summe ihrer Eigenwerte ist, ergibt sich
F(ρ,σ)=Trρσρ=TrM†M=TrMM†=Trσρσ=F(σ,ρ).
Obwohl es aus der Definition nicht unmittelbar ersichtlich ist, ist die Fidelität also symmetrisch in ihren zwei Argumenten.
Eine äquivalente Weise, die Fidelität auszudrücken, ist durch diese Formel:
F(ρ,σ)=σρ1.
Hier sehen wir die Spurnorm, der wir in der vorherigen Lektion im Kontext der Zustandsdiskriminierung begegnet sind.
Die Spurnorm einer (nicht notwendigerweise quadratischen) Matrix M kann definiert werden als
∥M∥1=TrM†M,
und indem wir diese Definition auf die Matrix σρ anwenden, erhalten wir die Formel aus der Definition.
Eine alternative Weise, die Spurnorm einer (quadratischen) Matrix M auszudrücken, ist durch diese Formel.
∥M∥1=Uunita¨rmaxTr(MU).
Hierbei ist das Maximum über alle unitären Matrizen U mit derselben Anzahl von Zeilen und Spalten wie M zu nehmen.
Die Anwendung dieser Formel auf die vorliegende Situation ergibt einen weiteren Ausdruck der Fidelität.
Ein letzter Punkt zur Definition der Fidelität ist, dass jeder reine Zustand (als Dichtematrix) gleich seiner eigenen Quadratwurzel ist, was erlaubt, die Formel für die Fidelität erheblich zu vereinfachen, wenn einer oder beide Zustände rein sind.
Wenn einer der beiden Zustände rein ist, gilt insbesondere folgende Formel.
F(∣ϕ⟩⟨ϕ∣,σ)=⟨ϕ∣σ∣ϕ⟩
Wenn beide Zustände rein sind, vereinfacht sich die Formel zum Absolutbetrag des inneren Produkts der entsprechenden Quantenzustandsvektoren, wie am Anfang des Abschnitts erwähnt.
Die Fidelität hat viele bemerkenswerte Eigenschaften und mehrere alternative Formulierungen.
Hier sind einige grundlegende Eigenschaften ohne Beweise aufgeführt.
Für beliebige zwei Dichtematrizen ρ und σ gleicher Größe liegt die Fidelität F(ρ,σ) zwischen null und eins: 0≤F(ρ,σ)≤1. Es gilt F(ρ,σ)=0 genau dann, wenn ρ und σ orthogonale Bilder haben (sodass sie fehlerfrei diskriminiert werden können), und F(ρ,σ)=1 genau dann, wenn ρ=σ.
Die Fidelität ist multiplikativ, d.h. die Fidelität zwischen zwei Produktzuständen ist gleich dem Produkt der einzelnen Fidelitäten:
F(ρ1⊗⋯⊗ρm,σ1⊗⋯⊗σm)=F(ρ1,σ1)⋯F(ρm,σm).
Die Fidelität zwischen Zuständen ist unter der Wirkung eines beliebigen Kanals nicht-abnehmend. Das heißt: Wenn ρ und σ Dichtematrizen sind und Φ ein Kanal ist, der diese zwei Zustände als Eingabe annehmen kann, dann gilt notwendigerweise
F(ρ,σ)≤F(Φ(ρ),Φ(σ)).
Die Fuchs-van-de-Graaf-Ungleichungen stellen eine enge (wenn auch nicht genaue) Beziehung zwischen Fidelität und Spurabstand her: Für beliebige zwei Zustände ρ und σ gilt
1−21∥ρ−σ∥1≤F(ρ,σ)≤1−41∥ρ−σ∥12.
Die letzte Eigenschaft lässt sich in Form einer Abbildung darstellen:
Konkret muss für jede Wahl von Zuständen ρ und σ desselben Systems die horizontale Linie, die die y-Achse bei F(ρ,σ) schneidet, und die vertikale Linie, die die x-Achse bei 21∥ρ−σ∥1 schneidet, sich innerhalb des grauen Bereichs schneiden, der unten durch die Linie y=1−x und oben durch den Einheitskreis begrenzt wird.
Der interessanteste Bereich dieser Abbildung aus praktischer Sicht ist die obere linke Ecke des grauen Bereichs:
Wenn die Fidelität zwischen zwei Zuständen nahe bei eins liegt, ist ihr Spurabstand nahe bei null, und umgekehrt.
Als Nächstes betrachten wir eine einfache, aber wichtige Aussage, das Lemma über sanfte Messungen, das Fidelität mit nicht-destruktiven Messungen verbindet.
Es ist ein sehr nützliches Lemma, das von Zeit zu Zeit auftaucht, und es ist auch bemerkenswert, weil die scheinbar unhandliche Definition der Fidelität das Lemma tatsächlich sehr einfach zu beweisen macht.
Die Ausgangslage ist folgende.
Sei X ein System im Zustand ρ und {P0,…,Pm−1} eine Sammlung positiv-semidefiniter Matrizen, die eine allgemeine Messung von X darstellen.
Angenommen, wenn diese Messung an dem System X im Zustand ρ durchgeführt wird, ist eines der Ergebnisse sehr wahrscheinlich.
Konkret nehmen wir an, dass das wahrscheinliche Messergebnis 0 ist, und insbesondere nehmen wir an, dass
Tr(P0ρ)>1−ε
für eine kleine positive reelle Zahl ε>0 gilt.
Das Lemma über sanfte Messungen besagt, dass unter diesen Annahmen die nicht-destruktive Messung, die aus {P0,…,Pm−1} durch das Naimark-Theorem gewonnen wird, nur eine geringe Störung von ρ verursacht, wenn das wahrscheinliche Messergebnis 0 beobachtet wird.
Konkret besagt das Lemma, dass das Fidelitätsquadrat zwischen ρ und dem Zustand, den wir aus der nicht-destruktiven Messung bedingt auf das Ergebnis 0 erhalten, größer als 1−ε ist.
F(ρ,Tr(P0ρ)P0ρP0)2>1−ε.
Um das zu beweisen, benötigen wir eine grundlegende Aussage über Messungen.
Die Messmatrizen P0,…,Pm−1 sind positiv-semidefinit und summieren sich zur Identität, was es uns erlaubt zu schließen, dass alle Eigenwerte von P0 reelle Zahlen zwischen 0 und 1 sind.
Das folgt aus der Tatsache, dass für jeden Einheitsvektor ∣ψ⟩ der Wert ⟨ψ∣Pa∣ψ⟩ für jedes a∈{0,…,m−1} eine nichtnegative reelle Zahl ist (weil jedes Pa positiv-semidefinit ist), zusammen damit, dass sich diese Zahlen zu eins addieren.
a=0∑m−1⟨ψ∣Pa∣ψ⟩=⟨ψ∣(a=0∑m−1Pa)∣ψ⟩=⟨ψ∣I∣ψ⟩=1.
Daher ist ⟨ψ∣P0∣ψ⟩ stets eine reelle Zahl zwischen 0 und 1, und das impliziert, dass jeder Eigenwert von P0 eine reelle Zahl zwischen 0 und 1 ist, weil wir ∣ψ⟩ speziell als Einheitseigenvektor des jeweiligen Eigenwerts wählen können.
Aus dieser Beobachtung können wir folgende Ungleichung für jede Dichtematrix ρ schließen.
aus der Tatsache, dass ⟨ψk∣ρ∣ψk⟩ eine nichtnegative reelle Zahl ist und λk≥λk für jedes k=0,…,n−1 gilt. (Das Quadrieren von Zahlen zwischen 0 und 1 kann sie nie größer machen.)
Nun können wir das Lemma über sanfte Messungen beweisen, indem wir die Fidelität auswerten und dann unsere Ungleichung nutzen.
Zunächst vereinfachen wir den Ausdruck, an dem wir interessiert sind.
Beachte, dass das alles Gleichheiten sind — wir haben unsere Ungleichung (oder eine andere Ungleichung) bis zu diesem Punkt nicht verwendet, sodass wir einen exakten Ausdruck für die Fidelität haben.
Wir können nun unsere Ungleichung nutzen, um zu schließen
Zum Abschluss der Lektion betrachten wir das Uhlmann-Theorem, eine grundlegende Aussage über die Fidelität, die sie mit dem Begriff der Purifikation verbindet.
Was das Theorem in einfachen Worten besagt, ist, dass die Fidelität zwischen beliebigen zwei Quantenzuständen gleich dem maximalen inneren Produkt (im Absolutbetrag) zwischen zwei Purifikationen dieser Zustände ist.
Theorem
Uhlmanns Theorem: Sei ρ und σ Dichtematrizen, die Zustände eines Systems X darstellen, und sei Y ein System mit mindestens so vielen klassischen Zuständen wie X. Die Fidelität zwischen ρ und σ ist gegeben durch
wobei das Maximum über alle Quantenzustandsvektoren ∣ϕ⟩ und ∣ψ⟩ von (X,Y) genommen wird.
Wir können dieses Theorem mithilfe der unitären Äquivalenz von Purifikationen beweisen — aber es ist nicht ganz unkompliziert, und wir werden dabei einen Trick verwenden.
Zunächst betrachten wir Spektralzerlegungen der zwei Dichtematrizen ρ und σ.
ρσ=a=0∑n−1pa∣ua⟩⟨ua∣=b=0∑n−1qb∣vb⟩⟨vb∣
Die zwei Sammlungen {∣u0⟩,…,∣un−1⟩} und {∣v0⟩,…,∣vn−1⟩} sind Orthonormalbasen aus Eigenvektoren von ρ bzw. σ, und p0,…,pn−1 und q0,…,qn−1 sind die entsprechenden Eigenwerte.
Wir definieren außerdem ∣u0⟩,…,∣un−1⟩ und
∣v0⟩,…,∣vn−1⟩ als die Vektoren, die durch Nehmen des komplex Konjugierten jedes Eintrags von ∣u0⟩,…,∣un−1⟩ bzw. ∣v0⟩,…,∣vn−1⟩ erhalten werden.
Das heißt, für einen beliebigen Vektor ∣w⟩ können wir ∣w⟩ gemäß folgender Gleichung für jedes c∈{0,…,n−1} definieren.
⟨c∣w⟩=⟨c∣w⟩
Beachte, dass für beliebige zwei Vektoren ∣u⟩ und ∣v⟩ gilt
⟨u∣v⟩=⟨v∣u⟩.
Allgemeiner gilt für jede quadratische Matrix M folgende Formel.
⟨u∣M∣v⟩=⟨v∣MT∣u⟩
Daraus folgt, dass ∣u⟩ und ∣v⟩ genau dann orthogonal sind, wenn ∣u⟩ und ∣v⟩ orthogonal sind, und daher sind sowohl
{∣u0⟩,…,∣un−1⟩} als auch
{∣v0⟩,…,∣vn−1⟩} Orthonormalbasen.
Betrachten wir nun die folgenden zwei Vektoren ∣ϕ⟩ und ∣ψ⟩, die Purifikationen von ρ bzw. σ sind.
Das ist der zuvor erwähnte Trick.
Nichts deutet an diesem Punkt explizit darauf hin, dass es eine gute Idee ist, diese speziellen Wahlen für Purifikationen von ρ und σ zu treffen. Aber es sind gültige Purifikationen, und die komplexen Konjugationen werden es ermöglichen, dass die Algebra so aufgeht, wie wir es brauchen.
Durch die unitäre Äquivalenz von Purifikationen wissen wir, dass jede Purifikation von ρ für das Systempaar (X,Y) die Form (IX⊗U)∣ϕ⟩ für eine unitäre Matrix U haben muss, und ebenso muss jede Purifikation von σ für das Paar (X,Y) die Form (IX⊗V)∣ψ⟩ für eine unitäre Matrix V haben.
Das innere Produkt zweier solcher Purifikationen lässt sich wie folgt vereinfachen.
Da U und V über alle möglichen unitären Matrizen variieren, variiert auch (U†V)T über alle möglichen unitären Matrizen.
Das Maximieren des Absolutwerts des inneren Produkts zweier Purifikationen von ρ und σ liefert daher folgende Gleichung.
Herzlichen Glückwunsch zum Abschluss dieses Kurses! Bitte nimm dir einen Moment Zeit und hilf uns, unseren Kurs zu verbessern, indem du diese kurze Umfrage ausfüllst. Dein Feedback wird genutzt, um unser Inhaltangebot und die Nutzererfahrung zu verbessern. Vielen Dank!