Partielle Spur

Die partielle Spur, auch Partialspur oder Teilspur, bezeichnet in der linearen Algebra und Funktionalanalysis eine lineare Abbildung, die der Spur verwandt ist. Ist ein linearer Operator auf dem Tensorprodukt von 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 der Quantenmechanik. Mit ihrer Hilfe lässt sich aus dem Dichteoperator eines Gesamtsystems der Dichteoperator eines beliebigen Teilsystems bestimmen. Anders gesagt wird aus dem (reinen oder inkohärent gemischten) Zustand des Gesamtsystems der entsprechende Zustand des Teilsystems ermittelt.

Definition

Endlichdimensionaler Fall

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

Für ein Operatorenprodukt <math>A=A_u\otimes A_v</math> mit <math>A_u\in L(U),\,A_v\in L(V)</math> bedeutet das

<math>\operatorname{tr}_V(A)=(\operatorname{Id}^u\otimes\operatorname{tr}^v)(A_u\otimes A_v)=A_u\cdot\operatorname{tr}^v(A_v)</math>.

Ein beliebiger Operator <math>A\in L(W)</math> hat stets Darstellungen der Form

<math>A=\textstyle\sum_i(A_{ui}\otimes A_{vi})</math>  mit  <math>A_{ui}\in L(U),\,A_{vi}\in L(V)\,</math>;

das setzt die lineare Abbildung <math>\operatorname{tr}_V</math> fort auf ganz <math>L(W)</math>:

<math>\operatorname{tr}_V(A)=\textstyle\sum_i \operatorname{tr}^v(A_{vi})\cdot A_{ui}\,.</math>

Die Bezeichnung als partielle Spur bezieht sich darauf, dass die (totale) Spur der <math>A\in L(W)</math> die Verkettung <math>\operatorname{tr}=\operatorname{tr}^u\circ\operatorname{tr}_V </math> ist, sowie analog <math>\operatorname{tr}=\operatorname{tr}^v\circ\operatorname{tr}_U </math>.

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

Unendlichdimensionaler Fall

Wie die Spur lässt sich auch die Partialspur auf Operatoren auf unendlichdimensionalen Räumen verallgemeinern.<ref name="Attal"></ref> Sie ist dann für Spurklasseoperatoren auf Tensorprodukthilberträumen in natürlicher Weise definiert und für einen Spurklasseoperator <math>\rho</math> auf <math>{\mathcal H}\otimes {\mathcal K}</math> ist

<math>\operatorname{tr}_{\mathcal K}(\rho)=\sum_k {}_{\mathcal K}\langle k|\rho|k\rangle_{\mathcal K}</math>,

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

Relevanz in der Quantenmechanik

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

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

<math>\rho'=\operatorname{tr}_{\mathcal H}(\rho)</math>.

Die partielle Spur über <math>\mathcal H</math> ‚reduziert‘ den Dichteoperator des Gesamtsystems auf den Dichteoperator des Teilsystems <math>\mathcal S'</math>. Information, die das komplementäre Teilsystem <math>\mathcal S</math> 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 der Invarianz der Partialspur immer 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.<ref>N. D. Birrell, P. C. W. Davies: Quantum Fields in Curved Space (= Cambridge Monographs on Mathematical Physics). Cambridge University Press, Cambridge 1982, ISBN 978-0-521-27858-4 (cambridge.org [abgerufen am 11. Juni 2023]). </ref>)

Invarianz der Partialspur

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

<math>R:\rho \mapsto \int_{\mathcal U} d\mu(U) (I\otimes U)\rho(I\otimes U^\dagger),</math>

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

Partialspur als Quantenkanal

Die Abbildung <math>Tr_j \colon \rho\mapsto\operatorname{tr}_j(\rho)</math> ist vollständig positiv und stellt damit eine spurerhaltende erlaubte Quantenoperation (einen Quantenkanal) dar, deren Kraus-Darstellung durch

<math>Tr_j(\rho)=\sum_l (I\otimes |l\rangle\langle l|)\rho(I\otimes |l\rangle\langle l|)</math>,

wobei <math>|l\rangle</math> eine Orthonormalbasis im System <math>j</math> und <math>I</math> die Identität auf den anderen Teilsystemen ist.

Partialspur und Verschränkung

Wenn man einen reinen Zustand <math>\rho=|\psi\rangle\langle\psi|</math> eines zusammengesetzten Systems betrachtet, kann die Partialspur als ein einfaches Verschränktheitskriterium verwendet werden: <math>|\psi\rangle\in{\mathcal H}_1\otimes{\mathcal H}_2</math> ist genau dann verschränkt, wenn <math>\operatorname{tr}_{\mathcal H_1}(\rho)</math> nicht rein ist.<ref></ref>

Einzelnachweise

<references />