Diamant-Norm

Mithilfe der Diamant-Norm werden in der Quantenmechanik häufig Abstände zweier Quantenkanäle angegeben. Durch den Jamiolkowski-Isomorphismus lässt sich dieser Abstand auch auf Zustände erweitern. Bei quantenmechanischen Messungen wird das System gestört, der Zustand des Quants ändert sich. In theoretischen Überlegungen wird eine quantenmechanische Messung durchgeführt, indem ein linearer Operator auf den vorigen Zustand angewandt wird. Die Eigenwerte, die das Produkt aus Operator und Eigenvektoren hat, sind alle möglichen Messwerte, die bei einer Messung auftreten können. Es stellt sich nach der Messung die Frage, wie weit die Zustände, in denen sich die Quanten nun befinden, auseinanderliegen. Eine Möglichkeit, diesen Abstand zu bestimmen, wird durch die Diamant-Norm gegeben.

Sei $\mathrm{\Phi }$ ein Quantenkanal und $J(\mathrm{\Phi })$ der zugehörige Zustand:

$J(\mathrm{\Phi })=\frac{1}{n}\sum _{1\le i,j\le n}\mathrm{\Phi }\left(|i⟩⟨j|\right)\otimes |i⟩⟨j|$

Hierbei wird, wenn die Karten des Kanals zwei beliebigen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): M_m(\mathbb{C}) und $M_n(\mathbb{C})$ mit $m,n\in {\mathbb{R}}^{+}$ entsprechen, die Matrix Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): J(\Phi) auch als Choi-Jamiolkowski-Darstellung bezeichnet. Nun seien Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \Phi_1, \Phi_2 zwei Quantenkanäle, dann entspricht der Abstand in der Diamant-Norm:

${\Vert {\mathrm{\Phi }}_1-{\mathrm{\Phi }}_2\Vert }_{\diamond }=\underset{\rho }{sup}{\Vert ({\mathrm{\Phi }}_1\otimes {\mathrm{Id}}_k)(\rho )-({\mathrm{\Phi }}_2\otimes {\mathrm{Id}}_k)(\rho )\Vert }_1$

mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \operatorname{Id}_k Identitätskanal, abgebildet von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): M_k(\mathbb{C}) auf sich selbst, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \|\cdot\|_1 Spur-Norm, dem Supremum über alle $k\ge 1$ und allen Dichteoperatoren $\rho$ aus $M_{nk}=M_n\otimes M_k$. Dieses Supremum ist stets errechenbar für ein fest gewähltes $k$. Der entsprechend berechnete Abstand drückt ebenso die Irrtumswahrscheinlichkeit für eine Missdeutung des Ergebnisses zweier Quantenkanäle aus^[1] und wird bei entsprechenden Vergleichsberechnungen gerne herangezogen.^[2]:In vielen Fällen hilft auch die reine Verwendung der Spur-Norm, manchmal liefert sie aber keine zufriedenstellenden Ergebnisse, insbesondere bei der Betrachtung von Quantenkanälen.

Literatur

Einzelnachweise