Partielle Spur

Diepartielle Spur,auchPartialspuroderTeilspur,bezeichnet in derlinearen AlgebraundFunktionalanalysiseinelineare Abbildung,die derSpurverwandt ist. Ist ein linearer Operator auf demTensorproduktvon zwei Vektorräumen definiert, so lässt sich seine Spur in zwei Schritten bestimmen, die sich auf die zwei Faktoren beziehen. Im ersten Schritt wird die Partialspur erzeugt, der zweite ist eine Spur nach der üblichen Definition. Verwendung findet die Partialspur in derQuantenmechanik.Mit ihrer Hilfe lässt sich aus demDichteoperatoreines Gesamtsystems der Dichteoperator eines beliebigen Teilsystems bestimmen. Anders gesagt wird aus dem (reinen oder inkohärent gemischten)Zustanddes Gesamtsystems der entsprechende Zustand des Teilsystems ermittelt.

Definition

Endlichdimensionaler Fall

Es seien$U$und$V$endlichdimensionale Vektorräume,$W=U\otimes V$,dazu$L(U),\,$$L(V),\,$$L(W)$die linearen Räume der linearen Operatoren auf diesen,$A^{u}\!:\,U\to U$etc. Dann ist die ‚$\,$partielle Spur über$V\,$' definiert als die lineare Abbildung$\operatorname {tr} _{V}=\operatorname {Id} ^{u}\otimes \operatorname {tr} ^{v}$von$L(W)$nach$L(U)$mit der Identität$\operatorname {Id} ^{u}$auf$L(U)$und der Spur$\operatorname {tr} ^{v}$der Operatoren$A_{v}\in L(V)$.

Für ein Operatorenprodukt$A=A_{u}\otimes A_{v}$mit$A_{u}\in L(U),\,A_{v}\in L(V)$bedeutet das

$\operatorname {tr} _{V}(A)=(\operatorname {Id} ^{u}\otimes \operatorname {tr} ^{v})(A_{u}\otimes A_{v})=A_{u}\cdot \operatorname {tr} ^{v}(A_{v})$.

Ein beliebiger Operator$A\in L(W)$hat stets Darstellungen der Form

$A=\textstyle \sum _{i}(A_{ui}\otimes A_{vi})$mit$A_{ui}\in L(U),\,A_{vi}\in L(V)\,$;

das setzt die lineare Abbildung$\operatorname {tr} _{V}$fort auf ganz$L(W)$:

$\operatorname {tr} _{V}(A)=\textstyle \sum _{i}\operatorname {tr} ^{v}(A_{vi})\cdot A_{ui}\,.$

Die Bezeichnung als partielle Spur bezieht sich darauf, dass die (totale) Spur der$A\in L(W)$dieVerkettung$\operatorname {tr} =\operatorname {tr} ^{u}\circ \operatorname {tr} _{V}$ist, sowie analog$\operatorname {tr} =\operatorname {tr} ^{v}\circ \operatorname {tr} _{U}$.

Für konkrete Rechnungen benutzt man gewöhnlich Koordinaten. Bilden Vektoren$e_{i}$und$f_{j}$Orthonormalbasen in$U$beziehungsweise$V$,so bilden die Produkte$e_{i}\otimes f_{j}$eine solche Basis für$W=U\otimes V$.Ein Operator$A\in L(W)$ wird dann durch eine vierdimensionale Matrix$(a_{ii'jj'})_{i,i',j,j'}$dargestellt, die partiellen Spuren$\operatorname {tr} _{V},\,\operatorname {tr} _{U}$durch die zweidimensionalen Matrizen$(b_{ii'})_{i,i'}$und$(c_{jj'})_{j,j'}$die man durch Summieren über$j=j'$beziehungsweise$i=i'$erhält:$b_{ii'}=\textstyle \sum _{j}a_{ii'\!jj}$für$\operatorname {tr} _{V}$und$c_{jj'}=\textstyle \sum _{i}a_{iijj'}$für$\operatorname {tr} _{U}$.

Unendlichdimensionaler Fall

Wie die Spur lässt sich auch die Partialspur auf Operatoren auf unendlichdimensionalen Räumen verallgemeinern.Sie ist dann fürSpurklasseoperatorenaufTensorprodukthilberträumenin natürlicher Weise definiert und für einen Spurklasseoperator$\rho$auf${\mathcal {H}}\otimes {\mathcal {K}}$ist

$\operatorname {tr} _{\mathcal {K}}(\rho )=\sum _{k}{}_{\mathcal {K}}\langle k|\rho |k\rangle _{\mathcal {K}}$,

wobei$\left\{|k\rangle _{\mathcal {K}}\right\}$eine Orthonormalbasis von${\mathcal {K}}$ist. Auch hier ist das Ergebnis der Konstruktion basisunabhäng für separable Hilberträume ($A$Spurklasse,$B$beschränkt).

Relevanz in der Quantenmechanik

Wird eine Observable, dargestellt durch den Operator$X$,eines quantenmechanischen Systems gemessen, so wird der Erwartungswert des Messwertes bestimmt durch denZustanddes Systems in dem weiten Sinn, der reine und inkohärent gemischte Zustände umfasst. Ein solcher Zustand wird vollständig beschrieben durch denDichteoperator$\rho$,einen linearen Operator auf dem Hilbertraum${\mathcal {H}}$des Systems. Der gesuchte Erwartungswert ist$\operatorname {tr} (\rho X)$.

Ist das System aus Komponenten, Teilsystemen zusammengesetzt,${\mathcal {S}}={\mathcal {S}}'+{\mathcal {S}}''$,so ist sein Hilbertraum das Tensorprodukt der Hilberträume der Teilsysteme,${\mathcal {H}}={\mathcal {H}}'\otimes {\mathcal {H}}''$.Für die Messung einer Observablen$X'$der Komponente${\mathcal {S}}'$ist der Dichteoperator$\rho '$auf${\mathcal {H}}'$ebenso zuständig, wie$\rho$auf${\mathcal {H}}$für$X$.Zwischen beiden besteht dann die Beziehung

$\rho '=\operatorname {tr} _{{\mathcal {H}}''}(\rho )$.

Die partielle Spur über${\mathcal {H}}''$‚reduziert‘ den Dichteoperator des Gesamtsystems auf den Dichteoperator des Teilsystems${\mathcal {S}}'$.Information, die das komplementäre Teilsystem${\mathcal {S}}''$betrifft, wird ‚ausgespurt‘. Anders gesagt: Mit Hilfe des Dichteoperators bestimmt die partielle Spur aus dem Zustand des Systems den Zustand eines beliebigen Teilsystems. Das ist insbesondere dann wichtig, wenn Information über das komplementäre Teilsystem ignoriert werden kann, was im Rahmen der klassischen Quantenmechanik aufgrund derInvarianz der Partialspurimmer insofern möglich ist, dass sich durch die Partialspur konsistente Vorhersagen ergeben. Dies ist nützlich, da Information über das komplementäre Teilsystem oft nicht zugänglich ist. (Bei Quantenfeldtheorien auf gekrümmten Raumzeiten gilt dies nicht, dort kann eine unterschiedliche Wahl des Komplementärsystems zu unterschiedlichen Vorhersagen führen.)

Invarianz der Partialspur

$\rho _{j}$ist invariant unter allen möglichen spurerhaltenden Quantenoperation (vollständig positiven Abbildungen) auf${\mathcal {H}}_{j}$,insbesondere auch unterMessungen.Man kann daher den reduzierten Zustand$\rho _{j}$auch als den Zustand auffassen, den man erhält, wenn im System$j$eine vollständige Messung durchgeführt, das Ergebnis aber ignoriert wird:$\rho _{j}$ist das statistische Mittel über zu den verschiedenen Messergebnissen gehörenden bedingten Zustände. Zum Beispiel im Fall einerVon-Neumann-MessungderObservable$X=\sum _{l}X_{l}|l\rangle \langle l|$gilt$\rho _{j}=\sum _{l}{}_{l}\langle l|\rho |l\rangle$,wobei der auf$\bigotimes _{i\not =j}{\mathcal {H}}_{i}$definierte, nicht-normierte Operator$R_{l}={}_{l}\langle l|\rho |l\rangle$die folgenden Eigenschaften hat:$\operatorname {tr} (R_{l})$ist die Wahrscheinlichkeit, mit der das Messergebnis$X=l$auftritt und$R_{l}/\operatorname {tr} (R_{l})$ist der auf das Messergebnis$X=l$konditionierte Dichteoperator. Ebenso ist$\rho _{j}$invariant unter einer Randomisierung des Systems$j$,z. B. unter der Abbildung

$R:\rho \mapsto \int _{\mathcal {U}}d\mu (U)(I\otimes U)\rho (I\otimes U^{\dagger }),$

wobei$I$die identische Abbildung und$\mu (\cdot )$einWahrscheinlichkeitsmaßauf derGruppe${\mathcal {U}}$der unitären Abbildungen auf${\mathcal {H}}_{2}$darstellt. Wählt man für$\mu$das normierteHaarmaßüber der unitären Gruppe, so kommutiert$R(\rho )$mit allen Operatoren der Form$I\otimes B$und es gilt$R(\rho )=\operatorname {tr} _{2}(\rho )\otimes I/\operatorname {dim} {\mathcal {H}}_{2}$.

Partialspur als Quantenkanal

Die Abbildung$Tr_{j}\colon \rho \mapsto \operatorname {tr} _{j}(\rho )$ist vollständig positiv und stellt damit eine spurerhaltende erlaubte Quantenoperation (einenQuantenkanal) dar, derenKraus-Darstellungdurch

$Tr_{j}(\rho )=\sum _{l}(I\otimes |l\rangle \langle l|)\rho (I\otimes |l\rangle \langle l|)$,

wobei$|l\rangle$eineOrthonormalbasisim System$j$und$I$die Identität auf den anderen Teilsystemen ist.

Partialspur und Verschränkung

Wenn man einenreinen Zustand$\rho =|\psi \rangle \langle \psi |$eines zusammengesetzten Systems betrachtet, kann die Partialspur als ein einfachesVerschränktheitskriteriumverwendet werden:$|\psi \rangle \in {\mathcal {H}}_{1}\otimes {\mathcal {H}}_{2}$ist genau dann verschränkt, wenn$\operatorname {tr} _{{\mathcal {H}}_{1}}(\rho )$nicht rein ist.

Literatur

• Michael Nielsen und Isaac Chuang:Quantum Computation and Quantum information.1. Auflage. Cambridge University Press, Cambridge 2000,ISBN 0-521-63503-9,S.105(englisch).
• Michael Wilde:Quantum Information Theory.1. Auflage. Cambridge University Press, Cambridge 2013,ISBN 978-1-107-03425-9,S.116,arxiv:1106.1445(englisch).