verallgemeinerte Pauli-Matrizen
Mit Hilfe des Kronecker-Produkt lassen sich Pauli-Matrizen verallgemeinern.
Sind
σ
0
,
σ
1
,
σ
2
,
σ
3
{\displaystyle \sigma _{0},\sigma _{1},\sigma _{2},\sigma _{3}}
die vier Pauli-Matrizen, so nennt man
p
:=
σ
μ
1
⊗
σ
μ
2
⊗
.
.
.
⊗
σ
μ
n
;
μ
1
,
μ
2
,
.
.
.
,
μ
n
ϵ
{
0
,
1
,
2
,
3
}
;
n
ϵ
N
{\displaystyle p:=\sigma _{\mu _{1}}\otimes \sigma _{\mu _{2}}\otimes ...\otimes \sigma _{\mu _{n}};\mu _{1},\mu _{2},...,\mu _{n}\epsilon \{0,1,2,3\};n\epsilon \mathbb {N} }
eine verallgemeinerte Pauli-Matrix der Ordnung n oder kurz Pauli.
Eigenschaften der Pauli-Matrizen vererben sich auf die Pauli.
Sind
p
1
{\displaystyle p_{1}}
und
p
2
{\displaystyle p_{2}}
zwei Pauli, so gilt:
(1)
p
1
,
p
2
{\displaystyle p_{1},p_{2}}
sind
2
n
x
2
n
{\displaystyle 2^{n}x2^{n}}
Matrizen
(2)
p
1
2
=
p
2
2
=
1
{\displaystyle p_{1}^{2}=p_{2}^{2}=1}
(Die
2
n
x
2
n
{\displaystyle 2^{n}x2^{n}}
Einheitsmatrix)
(3)
p
1
p
2
=
p
2
p
1
{\displaystyle p_{1}p_{2}=p_{2}p_{1}}
oder
p
1
p
2
=
−
p
2
p
1
{\displaystyle p_{1}p_{2}=-p_{2}p_{1}}
(Das zentrale Lemma)
(4) Spur
σ
μ
1
⊗
σ
μ
2
⊗
.
.
.
⊗
σ
μ
n
=
2
n
δ
μ
1
,
0
δ
μ
2
,
0
.
.
.
δ
μ
n
,
0
{\displaystyle \sigma _{\mu _{1}}\otimes \sigma _{\mu _{2}}\otimes ...\otimes \sigma _{\mu _{n}}=2^{n}\delta _{\mu _{1},0}\delta _{\mu _{2},0}...\delta _{\mu _{n},0}}
(5) Alle Pauli sind linear unabhängg und bilden eine Basis im Vektorraum der
2
n
x
2
n
{\displaystyle 2^{n}x2^{n}}
Matrizen
Pauli spielen in der Physik eine Rolle. Hamilton Operatoren
H
{\displaystyle H}
vieler physikalischer Modelle lassen sich als Summe von Pauli ausdrücken.
H
=
∑
k
=
0
N
h
k
p
k
m
i
t
k
,
N
ϵ
N
,
h
k
ϵ
R
,
p
k
i
s
t
P
a
u
l
i
{\displaystyle H=\sum _{k=0}^{N}h_{k}p_{k}\quad mit\quad k,N\epsilon \mathbb {N} ,h_{k}\epsilon \mathbb {R} ,p_{k}istPauli}
Häufig interessiert man sich für die Exponential Funktion des Hamilton Operator.
e
x
p
{
−
β
H
}
=
∑
l
=
0
∞
(
−
β
)
l
l
!
)
(
∑
k
=
0
N
h
k
p
k
)
l
m
i
t
β
ϵ
R
{\displaystyle exp\{-\beta H\}=\sum _{l=0}^{\infty }{\frac {(-\beta )^{l}}{l!}})(\sum _{k=0}^{N}h_{k}p_{k})^{l}\quad mit\quad \beta \epsilon \mathbb {R} }
Aufgrund des zentralen Lemma kann man in einem Produkt von Pauli die Pauli beliebig anordnen.
Ist
π
{\displaystyle \pi }
eine Permutation, so ist:
p
π
1
p
π
2
.
.
.
p
π
n
=
a
p
1
p
2
.
.
.
p
n
m
i
t
n
ϵ
N
,
a
ϵ
{
1
,
−
1
}
{\displaystyle p_{\pi _{1}}p_{\pi _{2}}...p_{\pi _{n}}=ap_{1}p_{2}...p_{n}\quad mit\quad n\epsilon \mathbb {N} ,a\epsilon \{1,-1\}}
Deshalb existieren natürliche Zahlen
E
k
1
k
2
.
.
.
k
N
{\displaystyle E_{k_{1}k_{2}...k_{N}}}
mit:
e
x
p
{
−
β
H
}
=
∑
k
1
=
0
∞
∑
k
2
=
0
∞
.
.
.
∑
k
N
=
0
∞
E
k
1
k
2
.
.
.
k
N
(
−
β
h
1
)
k
1
(
−
β
h
2
)
k
2
.
.
.
(
−
β
h
N
)
k
N
p
1
k
1
p
2
k
2
.
.
.
p
N
k
N
{\displaystyle exp\{-\beta H\}=\sum _{k_{1}=0}^{\infty }\sum _{k_{2}=0}^{\infty }...\sum _{k_{N}=0}^{\infty }E_{k_{1}k_{2}...k_{N}}(-\beta h_{1})^{k_{1}}(-\beta h_{2})^{k_{2}}...(-\beta h_{N})^{k_{N}}p_{1}^{k_{1}}p_{2}^{k_{2}}...p_{N}^{k_{N}}}
Die
E
k
1
k
2
.
.
.
k
N
{\displaystyle E_{k_{1}k_{2}...k_{N}}}
sind, von Ausnahmen abgesehen, schwer zu berechnen.
Eine erste Näherung ergibt sich wenn man nur Summanden berücksichtigt, die aus kommutierenden Pauli bestehen.
E
k
1
k
2
.
.
.
k
N
=
0
{\displaystyle E_{k_{1}k_{2}...k_{N}}=0}
falls ein Paar
1
≤
a
,
b
≤
N
{\displaystyle 1\leq a,b\leq N}
mit
p
a
p
b
=
−
p
b
p
a
{\displaystyle p_{a}p_{b}=-p_{b}p_{a}}
existiert
E
k
1
k
2
.
.
.
k
N
=
{\displaystyle E_{k_{1}k_{2}...k_{N}}=}
Seien
σ
0
=
(
1
0
0
1
)
σ
1
=
(
0
1
1
0
)
σ
2
=
(
0
−
i
i
0
)
σ
3
=
(
1
0
0
−
1
)
{\displaystyle \sigma _{0}={\begin{pmatrix}1&0\\0&1\end{pmatrix}}\sigma _{1}={\begin{pmatrix}0&1\\1&0\end{pmatrix}}\sigma _{2}={\begin{pmatrix}0&-i\\i&0\end{pmatrix}}\sigma _{3}={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}}
die Paulimatrizen . Dann kann jede
2
N
+
1
x
2
N
+
1
{\displaystyle 2^{N+1}x2^{N+1}}
Matrix H in der Form
H
=
H
0
⊗
σ
0
+
H
1
⊗
σ
1
+
H
2
⊗
σ
2
+
H
3
⊗
σ
3
=
G
0
+
G
1
x
{\displaystyle H=H_{0}\otimes \sigma _{0}+H_{1}\otimes \sigma _{1}+H_{2}\otimes \sigma _{2}+H_{3}\otimes \sigma _{3}=G_{0}+G_{1}x}
dargestellt werden. Wobei
H
0
,
H
1
,
H
2
,
H
3
2
N
x
2
N
{\displaystyle H_{0},H_{1},H_{2},H_{3}2^{N}x2^{N}}
Matrizen sind und
G
0
=
H
0
⊗
σ
0
+
H
3
⊗
σ
3
,
G
1
=
H
1
⊗
σ
0
−
i
H
2
⊗
σ
3
,
x
=
1
⊗
σ
1
{\displaystyle G_{0}=H_{0}\otimes \sigma _{0}+H_{3}\otimes \sigma _{3},G_{1}=H_{1}\otimes \sigma _{0}-iH_{2}\otimes \sigma _{3},x=1\otimes \sigma _{1}}
Die Resolvente
R
=
1
z
−
H
=
R
0
+
R
1
x
{\displaystyle R={\frac {1}{z-H}}=R_{0}+R_{1}x}
kann wie folgt berechnet werden:
1
=
(
z
−
H
)
R
,
1
=
(
z
−
G
0
)
R
0
−
G
1
x
R
1
x
+
(
(
z
−
G
0
)
R
1
−
G
1
x
R
0
x
)
x
,
{\displaystyle 1=(z-H)R,1=(z-G_{0})R_{0}-G_{1}xR_{1}x+((z-G_{0})R_{1}-G_{1}xR_{0}x)x,}
R
1
=
1
z
−
G
0
G
1
x
R
0
x
,
R
0
=
1
z
−
G
0
−
G
1
1
z
−
x
G
0
x
x
G
1
x
{\displaystyle R_{1}={\frac {1}{z-G_{0}}}G_{1}xR_{0}x,R_{0}={\frac {1}{z-G_{0}-G_{1}{\frac {1}{z-xG_{0}x}}xG_{1}x}}}
Beachte:
x
G
0
x
=
H
0
⊗
σ
0
−
H
3
⊗
σ
3
,
x
G
1
x
=
H
1
⊗
σ
0
+
i
H
2
⊗
σ
3
{\displaystyle xG_{0}x=H_{0}\otimes \sigma _{0}-H_{3}\otimes \sigma _{3},xG_{1}x=H_{1}\otimes \sigma _{0}+iH_{2}\otimes \sigma _{3}}