Zum Hauptinhalt springen

Fidelität

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 00 und 1,1, wobei größere Werte größere Ähnlichkeit anzeigen. Insbesondere ist der Wert für orthogonale Zustände null (per Definition), während er 11 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.

Definition der Fidelität

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 ρ\rho und σ\sigma Dichtematrizen, die Quantenzustände desselben Systems darstellen. Die Fidelität zwischen ρ\rho und σ\sigma ist definiert als

F(ρ,σ)=Trρσρ.\operatorname{F}(\rho,\sigma) = \operatorname{Tr}\sqrt{\sqrt{\rho} \sigma \sqrt{\rho}}.
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 ρσρ\sqrt{\rho} \sigma \sqrt{\rho} eine positiv-semidefinite Matrix ist:

ρσρ=MM\sqrt{\rho} \sigma \sqrt{\rho} = M^{\dagger} M

für M=σρ.M = \sqrt{\sigma}\sqrt{\rho}. 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 MM sind die Eigenwerte der beiden positiv-semidefiniten Matrizen MMM^{\dagger} M und MMM M^{\dagger} stets dieselben, und daher gilt dasselbe für die Quadratwurzeln dieser Matrizen. Indem wir M=σρM = \sqrt{\sigma}\sqrt{\rho} wählen und die Tatsache nutzen, dass die Spur einer quadratischen Matrix die Summe ihrer Eigenwerte ist, ergibt sich

F(ρ,σ)=Trρσρ=TrMM=TrMM=Trσρσ=F(σ,ρ).\begin{aligned} \operatorname{F}(\rho,\sigma) & = \operatorname{Tr}\sqrt{\sqrt{\rho} \sigma \sqrt{\rho}}\\ & = \operatorname{Tr}\sqrt{M^{\dagger} M} = \operatorname{Tr}\sqrt{M M^{\dagger}}\\ & = \operatorname{Tr}\sqrt{\sqrt{\sigma} \rho \sqrt{\sigma}}\\ & = \operatorname{F}(\sigma,\rho). \end{aligned}

Obwohl es aus der Definition nicht unmittelbar ersichtlich ist, ist die Fidelität also symmetrisch in ihren zwei Argumenten.

Fidelität mittels der Spurnorm

Eine äquivalente Weise, die Fidelität auszudrücken, ist durch diese Formel:

F(ρ,σ)=σρ1.\operatorname{F}(\rho,\sigma) = \bigl\|\sqrt{\sigma}\sqrt{\rho}\bigr\|_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 MM kann definiert werden als

M1=TrMM,\| M \|_1 = \operatorname{Tr}\sqrt{M^{\dagger} M},

und indem wir diese Definition auf die Matrix σρ\sqrt{\sigma}\sqrt{\rho} anwenden, erhalten wir die Formel aus der Definition.

Eine alternative Weise, die Spurnorm einer (quadratischen) Matrix MM auszudrücken, ist durch diese Formel.

M1=maxUunita¨rTr(MU).\| M \|_1 = \max_{U\:\text{unitär}} \bigl\vert \operatorname{Tr}(M U) \bigr\vert.

Hierbei ist das Maximum über alle unitären Matrizen UU mit derselben Anzahl von Zeilen und Spalten wie MM zu nehmen. Die Anwendung dieser Formel auf die vorliegende Situation ergibt einen weiteren Ausdruck der Fidelität.

F(ρ,σ)=maxUunita¨rTr(σρU)\operatorname{F}(\rho,\sigma) = \max_{U\:\text{unitär}} \bigl\vert\operatorname{Tr}\bigl( \sqrt{\sigma}\sqrt{\rho}\, U\bigr) \bigr\vert

Fidelität für reine Zustände

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(ϕϕ,σ)=ϕσϕ\operatorname{F}\bigl( \vert\phi\rangle\langle\phi\vert, \sigma \bigr) = \sqrt{\langle \phi\vert \sigma \vert \phi \rangle}

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.

F(ϕϕ,ψψ)=ϕψ\operatorname{F}\bigl( \vert\phi\rangle\langle\phi\vert, \vert\psi\rangle\langle\psi\vert \bigr) = \bigl\vert \langle \phi\vert \psi \rangle \bigr\vert

Grundlegende Eigenschaften der Fidelität

Die Fidelität hat viele bemerkenswerte Eigenschaften und mehrere alternative Formulierungen. Hier sind einige grundlegende Eigenschaften ohne Beweise aufgeführt.

  1. Für beliebige zwei Dichtematrizen ρ\rho und σ\sigma gleicher Größe liegt die Fidelität F(ρ,σ)\operatorname{F}(\rho,\sigma) zwischen null und eins: 0F(ρ,σ)1.0\leq \operatorname{F}(\rho,\sigma) \leq 1. Es gilt F(ρ,σ)=0\operatorname{F}(\rho,\sigma)=0 genau dann, wenn ρ\rho und σ\sigma orthogonale Bilder haben (sodass sie fehlerfrei diskriminiert werden können), und F(ρ,σ)=1\operatorname{F}(\rho,\sigma)=1 genau dann, wenn ρ=σ.\rho = \sigma.
  2. 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).\operatorname{F}(\rho_1\otimes\cdots\otimes\rho_m,\sigma_1\otimes\cdots\otimes\sigma_m) = \operatorname{F}(\rho_1,\sigma_1)\cdots \operatorname{F}(\rho_m,\sigma_m).
  3. Die Fidelität zwischen Zuständen ist unter der Wirkung eines beliebigen Kanals nicht-abnehmend. Das heißt: Wenn ρ\rho und σ\sigma Dichtematrizen sind und Φ\Phi ein Kanal ist, der diese zwei Zustände als Eingabe annehmen kann, dann gilt notwendigerweise F(ρ,σ)F(Φ(ρ),Φ(σ)).\operatorname{F}(\rho,\sigma) \leq \operatorname{F}(\Phi(\rho),\Phi(\sigma)).
  4. 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 ρ\rho und σ\sigma gilt 112ρσ1F(ρ,σ)114ρσ12.1 - \frac{1}{2}\|\rho - \sigma\|_1 \leq \operatorname{F}(\rho,\sigma) \leq \sqrt{1 - \frac{1}{4}\|\rho - \sigma\|_1^2}.

Die letzte Eigenschaft lässt sich in Form einer Abbildung darstellen:

Ein Diagramm, das Spurabstand und Fidelität in Beziehung setzt

Konkret muss für jede Wahl von Zuständen ρ\rho und σ\sigma desselben Systems die horizontale Linie, die die yy-Achse bei F(ρ,σ)\operatorname{F}(\rho,\sigma) schneidet, und die vertikale Linie, die die xx-Achse bei 12ρσ1\frac{1}{2}\|\rho-\sigma\|_1 schneidet, sich innerhalb des grauen Bereichs schneiden, der unten durch die Linie y=1xy = 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.

Lemma über sanfte Messungen

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\mathsf{X} ein System im Zustand ρ\rho und {P0,,Pm1}\{P_0,\ldots,P_{m-1}\} eine Sammlung positiv-semidefiniter Matrizen, die eine allgemeine Messung von X\mathsf{X} darstellen. Angenommen, wenn diese Messung an dem System X\mathsf{X} im Zustand ρ\rho durchgeführt wird, ist eines der Ergebnisse sehr wahrscheinlich. Konkret nehmen wir an, dass das wahrscheinliche Messergebnis 00 ist, und insbesondere nehmen wir an, dass

Tr(P0ρ)>1ε\operatorname{Tr}(P_0 \rho) > 1 - \varepsilon

für eine kleine positive reelle Zahl ε>0\varepsilon > 0 gilt.

Das Lemma über sanfte Messungen besagt, dass unter diesen Annahmen die nicht-destruktive Messung, die aus {P0,,Pm1}\{P_0,\ldots,P_{m-1}\} durch das Naimark-Theorem gewonnen wird, nur eine geringe Störung von ρ\rho verursacht, wenn das wahrscheinliche Messergebnis 00 beobachtet wird.

Konkret besagt das Lemma, dass das Fidelitätsquadrat zwischen ρ\rho und dem Zustand, den wir aus der nicht-destruktiven Messung bedingt auf das Ergebnis 00 erhalten, größer als 1ε1-\varepsilon ist.

F(ρ,P0ρP0Tr(P0ρ))2>1ε.\operatorname{F}\Biggl(\rho,\frac{\sqrt{P_0}\rho\sqrt{P_0}}{\operatorname{Tr}(P_0\rho)}\Biggr)^2 > 1-\varepsilon.

Um das zu beweisen, benötigen wir eine grundlegende Aussage über Messungen. Die Messmatrizen P0,,Pm1P_0, \ldots, P_{m-1} sind positiv-semidefinit und summieren sich zur Identität, was es uns erlaubt zu schließen, dass alle Eigenwerte von P0P_0 reelle Zahlen zwischen 00 und 11 sind. Das folgt aus der Tatsache, dass für jeden Einheitsvektor ψ\vert\psi\rangle der Wert ψPaψ\langle \psi \vert P_a \vert \psi \rangle für jedes a{0,,m1}a\in\{0,\ldots,m-1\} eine nichtnegative reelle Zahl ist (weil jedes PaP_a positiv-semidefinit ist), zusammen damit, dass sich diese Zahlen zu eins addieren.

a=0m1ψPaψ=ψ(a=0m1Pa)ψ=ψIψ=1.\sum_{a = 0}^{m-1} \langle \psi \vert P_a \vert \psi \rangle = \langle \psi \vert \Biggl(\sum_{a = 0}^{m-1} P_a \Biggr) \vert \psi \rangle = \langle \psi \vert \mathbb{I} \vert \psi \rangle = 1.

Daher ist ψP0ψ\langle \psi \vert P_0 \vert \psi \rangle stets eine reelle Zahl zwischen 00 und 1,1, und das impliziert, dass jeder Eigenwert von P0P_0 eine reelle Zahl zwischen 00 und 11 ist, weil wir ψ\vert\psi\rangle speziell als Einheitseigenvektor des jeweiligen Eigenwerts wählen können.

Aus dieser Beobachtung können wir folgende Ungleichung für jede Dichtematrix ρ\rho schließen.

Tr(P0ρ)Tr(P0ρ)\operatorname{Tr}\bigl( \sqrt{P_0} \rho\bigr) \geq \operatorname{Tr}\bigl( P_0 \rho\bigr)

Im Detail: Ausgehend von einer Spektralzerlegung

P0=k=0n1λkψkψkP_0 = \sum_{k=0}^{n-1} \lambda_k \vert\psi_k\rangle\langle\psi_k\vert

ergibt sich

Tr(P0ρ)=k=0n1λkψkρψkk=0n1λkψkρψk=Tr(P0ρ)\operatorname{Tr}\bigl( \sqrt{P_0} \rho\bigr) = \sum_{k = 0}^{n-1} \sqrt{\lambda_k} \langle \psi_k \vert \rho \vert \psi_k \rangle \geq \sum_{k = 0}^{n-1} \lambda_k \langle \psi_k \vert \rho \vert \psi_k \rangle = \operatorname{Tr}\bigl( P_0 \rho\bigr)

aus der Tatsache, dass ψkρψk\langle \psi_k \vert \rho \vert \psi_k \rangle eine nichtnegative reelle Zahl ist und λkλk\sqrt{\lambda_k} \geq \lambda_k für jedes k=0,,n1k = 0,\ldots,n-1 gilt. (Das Quadrieren von Zahlen zwischen 00 und 11 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.

F(ρ,P0ρP0Tr(P0ρ))=TrρP0ρP0ρTr(P0ρ)=Tr(ρP0ρTr(P0ρ))2=Tr(ρP0ρTr(P0ρ))=Tr(P0ρ)Tr(P0ρ)\begin{aligned} \operatorname{F}\Biggl(\rho,\frac{\sqrt{P_0}\rho\sqrt{P_0}}{\operatorname{Tr}(P_0\rho)}\Biggr) & = \operatorname{Tr}\sqrt{\frac{\sqrt{\rho}\sqrt{P_0}\rho\sqrt{P_0}\sqrt{\rho}}{ \operatorname{Tr}(P_0\rho)}}\\ & = \operatorname{Tr}\sqrt{\Biggl(\frac{\sqrt{\rho}\sqrt{P_0}\sqrt{\rho}}{ \sqrt{\operatorname{Tr}(P_0\rho)}}\Biggr)^2}\\ & = \operatorname{Tr}\Biggl(\frac{\sqrt{\rho}\sqrt{P_0}\sqrt{\rho}}{ \sqrt{\operatorname{Tr}(P_0\rho)}}\Biggr)\\ & = \frac{\operatorname{Tr}\bigl(\sqrt{P_0}\rho\bigr)}{\sqrt{\operatorname{Tr}(P_0\rho)}} \end{aligned}

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

F(ρ,P0ρP0Tr(P0ρ))=Tr(P0ρ)Tr(P0ρ)Tr(P0ρ)Tr(P0ρ)=Tr(P0ρ)\operatorname{F}\Biggl(\rho,\frac{\sqrt{P_0}\rho\sqrt{P_0}}{\operatorname{Tr}(P_0\rho)}\Biggr) = \frac{\operatorname{Tr}\bigl(\sqrt{P_0}\rho\bigr)}{\sqrt{\operatorname{Tr}(P_0\rho)}} \geq \frac{\operatorname{Tr}\bigl(P_0\rho\bigr)}{\sqrt{\operatorname{Tr}(P_0\rho)}} = \sqrt{\operatorname{Tr}\bigl(P_0\rho\bigr)}

und daher, indem wir beide Seiten quadrieren,

F(ρ,P0ρP0Tr(P0ρ))2Tr(P0ρ)>1ε.\operatorname{F}\Biggl(\rho,\frac{\sqrt{P_0}\rho\sqrt{P_0}}{\operatorname{Tr}(P_0\rho)}\Biggr)^2 \geq \operatorname{Tr}\bigl(P_0\rho\bigr) > 1-\varepsilon.

Uhlmanns Theorem

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 ρ\rho und σ\sigma Dichtematrizen, die Zustände eines Systems X\mathsf{X} darstellen, und sei Y\mathsf{Y} ein System mit mindestens so vielen klassischen Zuständen wie X.\mathsf{X}. Die Fidelität zwischen ρ\rho und σ\sigma ist gegeben durch

F(ρ,σ)=max{ϕψ:TrY(ϕϕ)=ρ,  TrY(ψψ)=σ}, \operatorname{F}(\rho,\sigma) = \max\bigl\{ \vert \langle \phi \vert \psi \rangle \vert \,:\, \operatorname{Tr}_{\mathsf{Y}}\bigl(\vert\phi\rangle\langle\phi\vert\bigr) = \rho,\; \operatorname{Tr}_{\mathsf{Y}}\bigl(\vert\psi\rangle\langle\psi\vert\bigr) = \sigma\bigr\},

wobei das Maximum über alle Quantenzustandsvektoren ϕ\vert\phi\rangle und ψ\vert\psi\rangle von (X,Y)(\mathsf{X},\mathsf{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 ρ\rho und σ.\sigma.

ρ=a=0n1pauauaσ=b=0n1qbvbvb\begin{aligned} \rho & = \sum_{a = 0}^{n-1} p_a \vert u_a\rangle\langle u_a\vert \\[2mm] \sigma & = \sum_{b = 0}^{n-1} q_b \vert v_b\rangle\langle v_b\vert \end{aligned}

Die zwei Sammlungen {u0,,un1}\{\vert u_0 \rangle,\ldots,\vert u_{n-1}\rangle\} und {v0,,vn1}\{\vert v_0 \rangle,\ldots,\vert v_{n-1}\rangle\} sind Orthonormalbasen aus Eigenvektoren von ρ\rho bzw. σ,\sigma, und p0,,pn1p_0,\ldots,p_{n-1} und q0,,qn1q_0,\ldots,q_{n-1} sind die entsprechenden Eigenwerte.

Wir definieren außerdem u0,,un1\vert \overline{u_0} \rangle,\ldots,\vert \overline{u_{n-1}}\rangle und v0,,vn1\vert \overline{v_0} \rangle,\ldots,\vert \overline{v_{n-1}}\rangle als die Vektoren, die durch Nehmen des komplex Konjugierten jedes Eintrags von u0,,un1\vert u_0 \rangle,\ldots,\vert u_{n-1}\rangle bzw. v0,,vn1\vert v_0 \rangle,\ldots,\vert v_{n-1}\rangle erhalten werden. Das heißt, für einen beliebigen Vektor w\vert w\rangle können wir w\vert\overline{w}\rangle gemäß folgender Gleichung für jedes c{0,,n1}c\in\{0,\ldots,n-1\} definieren.

cw=cw\langle c \vert \overline{w}\rangle = \overline{\langle c \vert w\rangle}

Beachte, dass für beliebige zwei Vektoren u\vert u\rangle und v\vert v\rangle gilt uv=vu.\langle \overline{u} \vert \overline{v}\rangle = \langle v\vert u\rangle. Allgemeiner gilt für jede quadratische Matrix MM folgende Formel.

uMv=vMTu\langle \overline{u} \vert M \vert \overline{v}\rangle = \langle v\vert M^T \vert u\rangle

Daraus folgt, dass u\vert u\rangle und v\vert v\rangle genau dann orthogonal sind, wenn u\vert \overline{u}\rangle und v\vert \overline{v}\rangle orthogonal sind, und daher sind sowohl {u0,,un1}\{\vert \overline{u_0} \rangle,\ldots,\vert \overline{u_{n-1}}\rangle\} als auch {v0,,vn1}\{\vert \overline{v_0} \rangle,\ldots,\vert \overline{v_{n-1}}\rangle\} Orthonormalbasen.

Betrachten wir nun die folgenden zwei Vektoren ϕ\vert\phi\rangle und ψ,\vert\psi\rangle, die Purifikationen von ρ\rho bzw. σ\sigma sind.

ϕ=a=0n1pauauaψ=b=0n1qbvbvb\begin{aligned} \vert\phi\rangle & = \sum_{a = 0}^{n-1} \sqrt{p_a}\, \vert u_a\rangle \otimes \vert \overline{u_a}\rangle \\[2mm] \vert\psi\rangle & = \sum_{b = 0}^{n-1} \sqrt{q_b}\, \vert v_b\rangle \otimes \vert \overline{v_b}\rangle \end{aligned}

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 ρ\rho und σ\sigma 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 ρ\rho für das Systempaar (X,Y)(\mathsf{X},\mathsf{Y}) die Form (IXU)ϕ(\mathbb{I}_{\mathsf{X}}\otimes U)\vert\phi\rangle für eine unitäre Matrix UU haben muss, und ebenso muss jede Purifikation von σ\sigma für das Paar (X,Y)(\mathsf{X},\mathsf{Y}) die Form (IXV)ψ(\mathbb{I}_{\mathsf{X}}\otimes V)\vert\psi\rangle für eine unitäre Matrix VV haben. Das innere Produkt zweier solcher Purifikationen lässt sich wie folgt vereinfachen.

ϕ(IU)(IV)ψ=a,b=0n1paqbuavbuaUVvb=a,b=0n1paqbuavbvb(UV)Tua=Tr(a,b=0n1paqbuauavbvb(UV)T)=Tr(ρσ(UV)T)\begin{aligned} \langle \phi \vert (\mathbb{I}\otimes U^{\dagger}) (\mathbb{I}\otimes V) \vert \psi \rangle \hspace{-2.5cm}\\ & = \sum_{a,b = 0}^{n-1} \sqrt{p_a} \sqrt{q_b}\, \langle u_a \vert v_b \rangle \langle \overline{u_a} \vert U^{\dagger} V \vert \overline{v_b} \rangle \\ & = \sum_{a,b = 0}^{n-1} \sqrt{p_a} \sqrt{q_b}\, \langle u_a \vert v_b \rangle \langle v_b \vert (U^{\dagger} V)^T \vert u_a \rangle \\ & = \operatorname{Tr}\Biggl( \sum_{a,b = 0}^{n-1} \sqrt{p_a} \sqrt{q_b}\, \vert u_a \rangle\langle u_a \vert v_b \rangle \langle v_b \vert (U^{\dagger} V)^T\Biggr)\\ & = \operatorname{Tr}\Bigl( \sqrt{\rho}\sqrt{\sigma}\, (U^{\dagger} V)^T\Bigr) \end{aligned}

Da UU und VV über alle möglichen unitären Matrizen variieren, variiert auch (UV)T(U^{\dagger} V)^T über alle möglichen unitären Matrizen. Das Maximieren des Absolutwerts des inneren Produkts zweier Purifikationen von ρ\rho und σ\sigma liefert daher folgende Gleichung.

maxU,Vunita¨rTr(ρσ(UV)T)=maxWunita¨rTr(ρσW)=ρσ1=F(ρ,σ)\begin{aligned} \max_{U,V\:\text{unitär}} \biggl\vert \operatorname{Tr}\Bigl( \sqrt{\rho}\sqrt{\sigma}\, (U^{\dagger} V)^T\Bigr)\biggr\vert & = \max_{W\:\text{unitär}} \biggl\vert \operatorname{Tr}\Bigl( \sqrt{\rho}\sqrt{\sigma}\, W\Bigr)\biggr\vert\\[2mm] & = \bigl\| \sqrt{\rho}\sqrt{\sigma} \bigr\|_1\\[2mm] & = \operatorname{F}(\rho,\sigma) \end{aligned}

Umfrage nach dem Kurs

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!