K.S.

Ranade Tensorprodukte in der Physik

Technische Universitat Darmstadt - Fachbereich Mathematik
Seminar zur Mathematik, SS 2004

Operatoralgebren und vollstandig positive Operatoren

Tensorprodukte in der Physik
Kedar S. Ranade

Betreuer: Prof. B. K ummerer

Seminarvortrag: 06. Juni 2004
1 Klassische Systeme und Quantenmechanik
In diesem Abschnitt werden zunachst die Konzepte der klassischen Mechanik
und der Quantenmechanik gegen ubergestellt. Die Formulierung erfolgt so,
da sowohl klassische als auch Quantenmechanik als Spezialfalle einer ein-
heitlichen mathematischen Struktur beschrieben werden konnen.
1.1 Klassische Mechanik und Phasenraum
Die klassische Mechanik ist durch folgende Strukturen gekennzeichnet:
1. Einem physikalischen System wird ein Phasenraum zugeordnet.
2. Physikalisch mebaren Groe entsprechen Funktionen aus B(().
3. Der Zustand eines Systems wird durch ein Wahrscheinlichkeitsma
auf bestimmt.

Homepage: http://prp0.prp.physik.tu-darmstadt.de/~ranade/
06.06.2004 TU Darmstadt Seite 1/12
K.S.Ranade Tensorprodukte in der Physik
Der Raum B(() bildet eine kommutative C

-Algebra. Wahlt man einen

Hilbertraum H so, da jedem Punkt bijektiv ein Basisvektor e

H
zugeordnet werden kann, so ist B(() mittels der Abbildung
i : B(() B(H), i(f) :=

f() , e

) e

(1)
isometrisch isomorph zur einer kommutativen C

-Unteralgebra von B(H); ist

[[ = n N, so entspricht diese Unteralgebra den n n-Diagonalmatrizen.
1.2 Quantenmechanik und Hilbertraum
Die Quantenmechanik beruht auf folgenden Grundlagen:
1. Einem physikalisches System wird ein C-Hilbertraum H zugeordnet.
2. Physikalisch mebaren Groen, in der Quantenmechanik als Observable
bezeichnet, entsprechen hermiteschen Operatoren aus B(H).
3. Der Zustand eines Systems wird durch ein Funktional
o
_
B(H)

:= B(H)

[ 0, (1I) = 1 (2)
bestimmt.
1
Die den Observablen zugeordneten hermiteschen Operatoren erzeugen die
nicht-kommutative C

-Algebra B(H).
1.3 Vergleich der Modelle, vereinfachende Annahmen
Die in den Abschnitten (1.1) und (1.2) aufgestellte Forderung, da Obser-
vable nur beschrankten Funktionen bzw. Operatoren entsprechen, ist stark
vereinfachend. Physikalische Groen wie Ort, Impuls und Energie sind im
allgemeinen unbeschrankt.
Unter diesen Einschrankungen kann man also sowohl klassische als auch
quantenmechanische Systeme durch C

-Unteralgebren von B(H) beschrei-

ben; im ersteren Fall ist diese die Unteralgebra der

diagonalen Operatoren,
im letzteren ganz B(H).
Im weiteren Text werden vereinfachend nur Hilbertraume mit endlicher
Dimension n N betrachtet. Der einfachste nichttriviale Fall ist hierbei
n = 2. Ein solches System bezeichnet man in der Quanteninformationstheorie
als Qubit; der Prototyp ist ein Teilchen mit Spin 1/2.
1
o
_
B(H)

=
_
B(H)

[ 0, || = 1
_
wegen 0 || = (1I) in C

-Algebren
06.06.2004 TU Darmstadt Seite 2/12
K.S.Ranade Tensorprodukte in der Physik
1.4 Zustande und Dichtematrizen
Ist dimH = n, so entspricht jedes Funktional B(H)

einer nn-Matrix:
B(H)

! M
n
(C) : (A) = Spur(A) A B(H) (3)
F ur das Funktional und die Matrix gelten die Zusammenhange
=

, 0 0, || = Spur [[, (4)

so da folgende isometrische Isomorphien bestehen:
B(H)

= M
n
(C) und o
_
B(H)

= M
n
(C)[ 0, Spur = 1 . (5)
Die einem Zustand zugeordnete Matrix heit Dichtematrix
2
und man
spricht oft auch vom Zustand .
Allgemein deniert jeder Spurklasseoperator T (H) einen Zustand,
die Umkehrung gilt jedoch nicht.
1.5 Reine und gemischte Zustande
Die Menge der Zustande o
_
B(H)

ist schwach--kompakt und konvex. Ist

ein Zustand extremal, d.h.
=
1
+ (1 )
2
,
1
,
2
o
_
B(H)

, (0; 1)
1
=
2
= , (6)
so wird er als reiner Zustand, andernfalls als gemischter Zustand bezeichnet.
Letztere ergeben sich dem Satz von Krein-Milman als abgeschlossene konvexe
H ulle der reinen Zustande.
3
Ein Zustand ist genau dann rein, wenn die ihm zugeordnete Dichte-
matrix eine (notwendig eindimensionale) Projektion ist, d.h.
ist reiner Zustand H, || = 1 : = , ) . (7)
Der Zustandsvektor ist bis auf eine Phase eindeutig; umgekehrt ist jeder
Einheitsvektor aus H Zustandsvektor eines reinen Zustands.
2 Zusammengesetzte Systeme
In diesem Abschnitt sollen physikalische Systeme betrachtet werden, die
aus mehreren Untersystemen aufgebaut sind. Der Einfachheit halber werden
nur bipartite Systeme, d.h. Systeme, die aus zwei Untersystemen A und B
zusammengesetzt sind, betrachtet.
2
synonym

Dichteoperator,

statistische Matrix oder

statistischer Operator
3
Die

Uberlegung gilt auch im klassischen Fall. Die reinen Zustande sind hier die Punkt-
mae, die einem genau festgelegten Phasenraumpunkt entsprechen.
06.06.2004 TU Darmstadt Seite 3/12
K.S.Ranade Tensorprodukte in der Physik
2.1 Motivation des Tensorproduktes
Seien zwei (klassische oder quantenmechanische) Systeme mit den Hilbert-
raumen H
A
und H
B
gegeben und deren Zustande durch Dichtematrizen
A
und
B
festgelegt. Es erfolge eine durch Projektionen P
A
bzw. P
B
festgelegte
Messung der Wahrscheinlichkeiten f ur das Eintreten dieser Ereignisse.
Nimmt man an, da zwischen den Systemen keine Wechselwirkung be-
steht, so erwartet man, da die den Projektionen entsprechenden Ereignisse
A und B statistisch unabhangig sind, also f ur die Wahrscheinlichkeiten gilt:
P(A B) = P(A) P(B) = Spur
_

A
P
A
_
Spur
_

B
P
B
_
(8)
Betrachtet man das Tensorprodukt H
A
H
B
der Hilbertraume der beiden
Systeme, so stellt man fest, da
P(A B) = Spur
_
(
A

B
) (P
A
P
B
)
_
(9)
gilt und das Tensorprodukt also zur Beschreibung des zusammengesetzen
Systems geeignet erscheint.
2.2 Zustande im zusammengesetzten System
Seien / B(H
A
) und B B(H
B
) die Algebren der Operatoren der bei-
den Untersysteme. F ur beliebige reine Zustande
A
und
B
in den Unter-
systemen ist auch das Tensorprodukt
A

B
/

B

= (/B)

ein
reiner Zustand. Konvexkombinationen von Zustanden der Form
=

iJ
p
i
(
A,i

B,i
) , p
i
0 i J,

iJ
p
i
= 1, (10)
sind dann ebenfalls Zustande im Produktraum. Die so denierten Zustande
nennt man separabel
4
. Die Gleichung (10) gilt in dieser Form auch f ur Dichte-
matrizen.
Ist eine der Operatoralgebren (o.B.d.A /) kommutativ, so gibt es eine
Orthonormalbasis e
i
[ i I in /, so da jeder positive Operator A / in
der Form A =

iI
a
i
, e
i
) e
i
mit a
i
0 i I dargestellt werden kann;
f ur einen Zustand o(/B) deniert man dann:

A,i
o(H
A
)
A,i
(A) := Spur(A , e
i
) e
i
) (11)

B,i
o(H
B
)
B,i
(B) := p
1
i
( , e
i
) e
i
B) (12)
p
i
:= ( , e
i
) e
i
1I) (13)
Unter Verwendung dieser Denitionen folgt nach (10), da alle Zustande in
der Tensorproduktalgebra separabel sind.
4
auch faktorisierbar oder klassisch korreliert
06.06.2004 TU Darmstadt Seite 4/12
K.S.Ranade Tensorprodukte in der Physik
3 Verschrankte Zustande
In diesem Abschnitt werden sogenannte verschrankte Zustande
5
betrachtet,
d.h. Zustande, die nicht separabel sind. Diese Zustande ermoglichen z.B. die
sichere Verschl usselung oder die Teleportation.
3.1 Existenz verschrankter Zustande
In einem quantenmechanischen System kann man neben den separablen Zu-
standen noch weitere konstruieren, die sich nicht wie in (10) zerlegen lassen.
Solche Zustande nennt man verschrankt.
Betrachtet man Zustandsvektoren
1
,
2
H
A
,
1
,
2
H
B
und bildet
den Zustandsvektor (1/

2)
_

1
+
2

H
A
H
B
, so stellt man fest,
da der hierdurch denierte Produktzustand im allgemeinen nicht separabel
ist. Das Standardbeispiel f ur Zustandsvektoren verschrankter Zustande ist
die Bell-Basis (14).
Physikalisch interpretiert man die Verschrankung, indem man sagt, da
eine Eigenschaft uber mehrere Untersysteme verteilt ist; dies bedeutet, eine
solche Eigenschaft bestimmt sich durch (nicht-klassische) Korrelationen der
Untersysteme.
3.2 Maximal verschrankte Systeme
Betrachtet man ein zusammengesetztes System aus zwei klassischen Unter-
systemen, so ist die Einschrankung eines beliebigen reinen Zustands auf eine
des Untersysteme stets wieder ein reiner Zustand im Untersystem. Das fol-
gende Beispiel zweier Qubits zeigt, da dies im quantenmechanischen Fall
nicht mehr gilt.
Seien H
A
und H
B
Qubit-Hilbertraume mit den jeweiligen Orthonormal-
basen e
1
, e
2
. Dann denieren die Vektoren

+
=
_
e
0
e
0
+ e
1
e
1

=
_
e
0
e
0
e
1
e
1

+
=
_
e
0
e
1
+ e
1
e
0

=
_
e
0
e
1
e
1
e
0

2 (14)
die sogenannte Bell-Basis des Zwei-Qubit-Hilbertraumes. F ur die durch diese
Basisvektoren denierten Dichtematrizen = , ) ,
+
,

,
+
,

bestimmen sich die reduzierten Dichtematrizen zu

A
:= Spur
HB
=
1
2
1I
HA
und
B
:= Spur
HA
=
1
2
1I
HB
. (15)
5
Verschrankung engl. entanglement, verschrankt engl. entangled
06.06.2004 TU Darmstadt Seite 5/12
K.S.Ranade Tensorprodukte in der Physik
Die einzelnen Qubits enthalten also keine Information uber die Korrelationen
des Gesamtsystem. Einen solchen Zustand nennt man maximal verschrankt.
3.3 Mae f ur Verschrankung
Es ist moglich, Verschrankung zu quantizieren. Ein sogenanntes Verschran-
kungsma f ur reine, durch ihre Dichtematrix festgelegte Zustande ist die
reduzierte von-Neumann-Entropie:
E() := k Spur(
red
log
red
),
red

A
,
B
, k > 0 fest (16)
Dieses Ma ist die von-Neumann-Entropie einer reduzierten Dichtematrix
und erf ullt f ur Zwei-Qubit-Systeme u.a. folgende Eigenschaften:
E() [0; k log 2]
E() = 0 ist separabel
E() = k log 2 ist maximal verschrankt
E ist eine konvexe Funktion bzgl. .
E((U V )(U

V

)) = E() f ur lokal-unitare Operationen U, V .
Dieses Verschrankungsma hat noch weitere Eigenschaften, die hier aber
nicht weiter ausgef uhrt werden konnen. Weiterhin ist anzumerken, da die
Konstruktion eines Verschrankungsmaes f ur gemischte Zustande wesentlich
komplizierter ist.
Man kann durch lokale Operationen das Verschrankungsma nicht erho-
hen, jedoch kann man aus vielen schwach verschrankten Zustanden wenige
stark verschrankte Zustande erzeugen.
4 Anwendungen I: Bellsche Ungleichung
Nach der im wesentlichen bis heute anerkannten Formulierung der Quanten-
mechanik, die um 1925 erfolgte, stellte sich die Frage, ob die Quantenmecha-
nik eine lokal-realistische Theorie sei, d.h. das das Ergebnis einer beliebigen
Messung durch verborgene lokale Parameter festgelegt ist, selbst wenn eine
solche Messung niemals erfolgt.
Unter Verwendung verschrankter Zustande (und nur durch diese!) konnte
diese Frage verneint werden.
06.06.2004 TU Darmstadt Seite 6/12
K.S.Ranade Tensorprodukte in der Physik
4.1 Bloch-Kugel und Bloch-Vektor
Der Zustand eines einzelnen Qubits kann durch einen Bloch-Vektor s R
3
beschrieben werden. F ur die Dichtematrix gilt dann:
=
1
2
(1I + s) mit |s| 1 (17)
Man spricht hierbei von der Bloch-Kugel ; es gilt ferner ( rein |s| = 1).
Die Bloch-Kugel ist damit auch isometrisch isomorph zu o
_
B(C
2
)

.
4.2 Bellsche Ungleichung
John S. Bell stellte 1964 eine Ungleichung auf, die jede lokal-realistische
Theorie erf ullen mu. Die experimentell gemessene Verletzung der Bellschen
Ungleichung lat nun den Schlu zu, da die Quantenmechanik keine solche
Theorie ist. Diese Verletzung der Bellschen Ungleichung ist jedoch nur f ur
verschrankte Zustande gegeben.
Betrachtet wird ein System aus zwei Qubits, die raumlich voneinander
getrennt sind und sich im durch den Vektor

beschriebenen Zustand be-

nden. An beiden Qubits werden nun lokale Messungen durchgef uhrt, die
jeweils durch einen Bloch-Vektor beschrieben werden. Betrachtet man nun
verschiedene Messungen, so erf ullt jede lokal-realistische Theorie die Bellsche
Ungleichung
6
:
[P(a,

b) P(a, c)[ 1 + P(

b, c) a,

b, c R
3
, |a| = |

b| = |c| = 1 (18)
Hierbei bezeichnet P(a,

b) den Erwartungswert f ur das Produkt der Me-

ergebnisse, falls am ersten Qubit der Zustand mit Bloch-Vektor a und am
zweiten Qubit derjenige mit Bloch-Vektor

b gemessen wird.
Betrachtet man die Zustande, die durch die Bell-Basisvektoren beschrie-
ben werden, so sagt die Quantenmechanik voraus, da
P(a,

b) = a

b = cos (a,

b) (19)
gilt. Man sieht, da z.B. der durch

beschriebene Zustand die Unglei-

chung f ur die Wahl (a,

b) = (

b, c) = /3 und (a, c) = 2/3 verletzt, die

Quantenmechanik also keine lokal-realistische Theorie ist.
6
John S. Bell:

On the Einstein-Podolsky-Rosen-Paradox, Physics Vol. 1 (1964),

S. 195 200
06.06.2004 TU Darmstadt Seite 7/12
K.S.Ranade Tensorprodukte in der Physik
5 Anwendungen II: Quantenkryptographie
Verschrankte Zustande erlauben es, zwischen zwei Parteien, Alice und Bob
7
,
Nachrichten sicher zu ubertragen. Dies beruht darauf, da diese Parteien
durch Messung ihrer Zustande einen sicheren Schl ussel erzeugen konnen.
5.1 Das One-time-pad
Das One-time-pad ist ein theoretisch sicheres Verfahren zur

Ubertragung
einer Nachricht (n
i
)
i1,...,n
F
n
2
. Voraussetzung hierbei ist, da Alice und
Bob sich einen geheimen zufalligen Schl ussel (s
i
)
i1,...,n
F
n
2
teilen.
Alice erzeugt mittels der Vorschrift t
i
:= n
i
s
i
den zu ubermitteln-
den Text. Da der Schl ussel zufallig ist, ist der verschl usselte Text auf F
n
2
gleichverteilt, so da dieser keine R uckschl usse auf die Nachricht zulat. Bob
kennt den geheimen Schl ussel und kann den empfangenen Schl usseltext mit-
tels n
i
= t
i
s
i
entschl usseln.
Durch das One-time-pad reduziert sich die sichere

Ubertragung einer
Nachricht auf die sichere Erzeugung eines geheimen Schl ussels. Nur diese
Schl usselerzeugung wird durch ein quantenmechanisches Protokoll behandelt,
und man spricht daher genauer von engl. quantum key distribution (QKD).
5.2 Schl usselerzeugung: EPR-Protokoll
Im folgenden wird kurz die Idee des E91-Protokolls
8
zur Erzeugung eines
geheimem Schl ussels beschrieben: Alice und Bob teilen sich 3n durch den
Vektor

beschriebene Zustande; der Gesamt-Zustandsvektor lautet

ges
=
_
_
e
0
e
0
e
1
e
1
_
/

2
_
3n
. (20)
Alice und Bob wahlen nun zufallig f ur jeden der 3n einzelnen Zustande eine
von drei vorgegebenen Basen
9
und messen den Zustand. Nach der Messung
tauschen sie sich uber die verwendeten Basen aus und verwerfen alle Mes-
sungen, bei denen sie unterschiedliche Basen verwendet haben. Bei den ver-
bleibenden etwa n Mewerten sind die Meergebnisse antikorreliert, so da
Bob durch bitweises Invertieren die gleichen Ergebnisse wie Alice erhalt, d.h.
Alice und Bob haben einen zufalligen und geheimen Schl ussel.
7

Ublicherweise wird bei einer

Ubertragung der Sender

Alice/A und der Empfanger

Bob/B genannt; ein eventueller Lauscher heit

Eve/E (engl. eavesdropping Abhoren).

8
Artur K. Ekert:

Quantum Cryptography based on Bells Theorem, Phys. Rev. Lett 67

(1991), S. 661 663; das E91-Protokoll gehort zu den verschrankungsbasierten Protokollen.
9
Diese Basen werden durch drei paarweise orthogonale Bloch-Vektoren bestimmt.
06.06.2004 TU Darmstadt Seite 8/12
K.S.Ranade Tensorprodukte in der Physik
Die praktische Umsetzung erfordert noch Tests, ob die vorliegenden Zustande
tatsachlich die angegebene Form haben oder ob sie durch Umwelt oder einen
Lauscher gestort wurden, was jedoch kompliziertere Verfahren erfordert.
6 Anwendungen III: Teleportation
In diesem Abschnitt soll gezeigt werden, da mit Hilfe verschrankter Zustande
ein klassisch unmoglicher Proze moglich gemacht wird. Der betrachtete
Proze ist die Teleportation, d.h. die

Ubertragung eines Quantenzustandes
zwischen zwei weit entfernten Orten.
6.1 Klassische Teleportation
Der Begri Klassische Teleportation bezeichnet einen Proze, bei dem ein
quantenmechanischer (reiner) Zustand reversibel in klassische Information
umgewandelt wird, die auf klassischem Wege ubertragen werden und es dem
Empfanger ermoglicht, den urspr unglichen Quantenzustand zu praparieren.
Es kann gezeigt werden, da klassische Teleportation unmoglich ist.
6.2 Quantenteleportation
Es soll gezeigt werden, da unter Verwendung verschrankter Zustande ein
Protokoll zur

Ubertragung eines reinen Zustandes moglich ist. Hier wird der
einfachste Fall eines Qubit-Systems behandelt, die

Uberlegung kann jedoch
zumindest auf endlichdimensionale Hilbertraume erweitert werden.
Das Protokoll lautet wie folgt: Alice (A) und Bob (B) teilen sich den
durch den Zustandsvektor
+
AB
denierten Zustand. Alice ist im Besitz eines
beliebigen, durch
C
beschriebenen Zustands, den sie an Bob ubertragen
mochte.
Der Drei-System-Zustandsvektor wird entsprechend [Pres98], Gl. (4.81),
wie folgt entwickelt:

C

+
AB
=
C

1

2
_
(e
0
)
A
(e
0
)
B
+ (e
1
)
A
(e
1
)
B
_
(21)
=
1
2
_

+
CA
(1I)
B
+

CA
(
z
)
B
+
+
CA
(
x
)
B
+

CA
(i
y
)
B
_
Alice f uhrt nun eine lokale Messung am Teilsystem CA aus und ubermit-
telt das Meergebnis klassisch an Bob. In Abhangigkeit vom Meergebnis
invertiert Bob die durch die Entwicklung (21) gegebene Transformation am
Untersystem B und erhalt so den Zustandsvektor
B
, womit die Teleporta-
tion abgeschlossen ist.
06.06.2004 TU Darmstadt Seite 9/12
K.S.Ranade Tensorprodukte in der Physik
Anhang: Begrie und Bezeichnungen
Stetige Funktionen
F ur einen normierten Vektorraum ist die Menge
B(() := f : R[ f beschrankt und stetig (22)
mit der Supremumsnorm |f| := sup
x
[f(x)[ eine kommutative C

-Algebra.
Hilbertraume und Operatoren, Dualraum
Im Text bezeichnet H stets einen Hilbertraum uber den komplexen Zahlen C
mit linkslinearem Skalarprodukt , ).
Die Menge der beschrankten linearen Operatoren auf H
B(H) := T : H H[ T linear und beschrankt
= T : H H[ T linear und stetig (23)
ist bzgl. der Operatornorm |T| := sup
xH,x=1
|Tx| eine C

-Algebra.
Die zu T B(H) Adjungierte wird mit T

bezeichnet (in der Physik T

). Ist
T hermitesch, d.h. T = T

, so nennt man ihn positiv (T 0, genauer ware

nicht-negativ), falls er nur nicht-negative Spektralwerte besitzt.
Eine beliebige Indexmenge f ur eine Orthonormalbasis wird mit I bezeich-
net, in allen anderen Fallen mit J.
F ur einen Einheitsvektor H bezeichnet , ) die Projektion auf den
eindimensionalen Unterraum C H; ist e
i
[ i I eine Orthonormalbasis
von H so gilt

iI
, e
i
) e
i
= 1I.
F ur einen normierten Vektorraum E ist der Dualraum gegeben durch
E

:= : E C[ linear und stetig . (24)

Spur eines Operators
Ist (e
i
)
iI
eine Orthonormalbasis von H, so ist f ur einen Operator T B(H)
die Spur deniert durch
Spur T :=

iI
Te
i
, e
i
) , (25)
falls der Ausdruck summierbar ist. Andernfalls ist der Ausdruck f ur einen
positiven Operator zumindest bestimmt divergent. In beiden Fallen ist er
unabhangig von der Wahl der Orthonormalbasis.
06.06.2004 TU Darmstadt Seite 10/12
K.S.Ranade Tensorprodukte in der Physik
Spurklasseoperatoren
Die Menge der Spurklasseoperatoren
T (H) := T : H H[ Spur [T[ < B(H) (26)
ist ein abgeschlossenes zweiseitiges

-Ideal von B(H) und bzgl. der Spurnorm
|T|
1
:= Spur [T[ mit [T[ :=

T 0 ein Banachraum, derart, da

T (H)

! T B(H) : (S) = Spur(T

S) S T (H). (27)
gilt, d.h. (T (H), | |
1
)

= B(H).
Endlichdimensionale Raume
Jeder komplexe Hilbertraum H der Dimension n N ist isomorph zu C
n
und es gilt unter Verwendung der komplexen n n-Matrizen:
B(H) = T (H)

= M
n
(C) := (a
ij
)
i,j=1,...,n
[ a
ij
Ci, j = 1, . . . , n (28)
Pauli-Matrizen
Die Pauli-Matrizen sind gegeben durch

x
=
_
0 1
1 0
_
,
y
=
_
0 i
i 0
_
,
z
=
_
1 0
0 1
_
, (29)
und man fat sie zusammen zu = (
x
,
y
,
z
)
t
.
Bitfolgen
Die Menge der n-Bit-Folgen
F
n
2
:= 0, 1
n
mit [F
n
2
[ = 2
n
(30)
ist bzgl. der Operation

(Addition modulo 2) eine kommutative Gruppe.

Partielle Spur
F ur die Dichtematrix eines Zwei-Qubit-Systems ist die partielle Spur uber
den Faktor H
A
, Spur
HA
: T (H
A
H
B
) T (H
B
), deniert durch
=
1

i,j,k,l=0

ij,kl
, e
k
) e
i
, e
l
) e
j

1

j,l=0
(
0j,0l
+
1j,1l
) , e
l
) e
j
. (31)
Die Spur uber den Faktor H
B
wird entsprechend deniert.
06.06.2004 TU Darmstadt Seite 11/12
K.S.Ranade Tensorprodukte in der Physik
Messungen in der Quantenmechanik
Eine von-Neumann-Messung ist durch Menge von Projektionen P
i
[ i J
im Hilbertraum H gegeben, die folgende Eigenschaften erf ullen:
P
i
P
j
=
ij
P
i
i, j J und

iJ
P
i
= 1I (32)
Mit einem Zustand und der zugeordneten Dichtematrix ergibt sich die
Wahrscheinlichkeit f ur das Eintreten eines durch P
i
bezeichneten Ereignisses
zu (P
i
) = Spur(P
i
).
Wahlt man statt P
i
einen beliebigen hermiteschen Operator A B(H),
so ergibt dieser Ausdruck den Erwartungswert bei einer Messung von A.
Literatur
[K umm04] Burkhard K ummerer:

Operatoralgebren/

-Algebren
Vorlesung (WS 2003/04), Mitschrift des Verfassers
[NiCh00] Michael A. Nielsen, Issac L. Chuang:

Quantum Computation and Quantum Information

Cambridge University Press, 2000
[Pres98] John Preskill:

Quantum Information and Computation

Vorlesungsskript (ca. 1998), verf ugbar unter
http://www.theory.caltech.edu/people/preskill/
[Keyl02] Michael Keyl:

Fundamentals of Quantum Information Theory

Quelle: arXiv:quant-ph/0202122 v1 21 Feb 2002
[K umm88] Burkhard K ummerer:

Mathematische Grundlagen der quantenstatistischen Mechanik

Vorlesungsskript (SS 1988), nicht oentlich verf ugbar
[Maas03] Hans Maassen:

Quantum Probability, Quantum Information Theory,

Quantum Computing
Vorlesungsskript (SS 2003), Quelle:
http://www.math.kun.nl/~maassen/lectures/qpqiqc.ps.gz
06.06.2004 TU Darmstadt Seite 12/12