Pauli-Matrizen

Die Pauli-Matrizen \sigma _{1},\sigma _{2},\sigma _{3} (nach Wolfgang Pauli) sind spezielle komplexe hermitesche 2×2-Matrizen. Zusammen mit der 2×2-Einheitsmatrix, die in diesem Zusammenhang mit \sigma _{0} bezeichnet wird, bilden sie sowohl eine Basis des 4-dimensionalen reellen Vektorraums aller komplexen hermiteschen 2×2-Matrizen als auch eine Basis des 4-dimensionalen komplexen Vektorraums aller komplexen 2×2-Matrizen.

Sie wurden von Wolfgang Pauli 1927 zur Beschreibung des Spins eingeführt, waren in der Mathematik aber auch schon vorher bekannt.

Definition

Die Pauli-Matrizen lauten ursprünglich:

\sigma _{1}={\begin{pmarix}0&1\\1&0\end{pmatrix}},\quad \sigma _{2}={\begin{pmatrix}0&-{\mathrm  {i}}\\{\mathrm  {i}}&0\end{pmatrix}},\quad \sigma _{3}={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}.

Hierbei bezeichnet \mathrm {i} die imaginäre Einheit. Die Matrizen wurden ursprünglich in der Quantenmechanik eingeführt, um die grundlegenden Kommutationsregeln der Komponenten des Spin-Operators zu erfüllen (siehe unten). Häufig wird, besonders in der relativistischen Quantenmechanik, noch die Einheitsmatrix als nullte Paulimatrix dazugenommen:

\sigma _{0}={\begin{pmatrix}1&0\\0&1\end{pmatrix}}.

Multiplikation

Für die Multiplikation einer Pauli-Matrix mit einer anderen Pauli-Matrix ergibt sich aus den Rechenregeln der Matrixmultiplikation folgende Tafel:

\cdot \sigma_0 \sigma _{1} \sigma _{2} \sigma_3
\sigma_0 \sigma_0 \sigma _{1} \sigma _{2} \sigma_3
\sigma _{1} \sigma _{1} \sigma_0 {\displaystyle \mathrm {i} \,\sigma _{3}} {\displaystyle -\mathrm {i} \,\sigma _{2}}
\sigma _{2} \sigma _{2} {\displaystyle -\mathrm {i} \,\sigma _{3}} \sigma_0 {\displaystyle \mathrm {i} \,\sigma _{1}}
\sigma_3 \sigma_3 {\displaystyle \mathrm {i} \,\sigma _{2}} {\displaystyle -\mathrm {i} \,\sigma _{1}} \sigma_0

Das Produkt {\displaystyle \sigma _{i}\cdot \sigma _{j}} befindet sich in der mit \sigma _{i} gekennzeichneten Zeile und der mit {\displaystyle \sigma _{j}} gekennzeichneten Spalte, zum Beispiel {\displaystyle \sigma _{2}\cdot \sigma _{1}=-\mathrm {i} \,\sigma _{3}}. Die 4 Pauli-Matrizen bilden also keine Gruppe.

Die von ihnen mit der Matrixmultiplikation als Verknüpfung erzeugte Gruppe hat den Namen {\displaystyle G_{16}^{10}}. Sie enthält das Element {\displaystyle \sigma _{1}\cdot \sigma _{2}\cdot \sigma _{3}=\mathrm {i} \,\sigma _{0}=\left({\begin{smallmatrix}\mathrm {i} &0\\0&\mathrm {i} \end{smallmatrix}}\right)}, welches im Zentrum liegt, also mit allen Elementen kommutiert. Die Gruppe {\displaystyle G_{16}^{10}} besteht somit aus den 16 Elementen {\displaystyle \mathrm {i} ^{j}\,\sigma _{k}\;\;(j,k=0,1,2,3),} so dass sich ihre Multiplikationstafel leicht aus der obigen ableiten lässt. Sie enthält die Quaternionengruppe Q8 als Normalteiler (siehe Die Quaternionen als Unterring von C4, woraus sich {\displaystyle G_{16}^{10}\cong Q_{8}\rtimes \{\sigma _{0},\sigma _{1}\}} ergibt. Der Zykel-Graph ist Zykel-Graph der von den Pauli-Matrizen gebildeten Gruppe.

Dekomposition von Matrizen

Gegeben sei eine komplexe 2×2-Matrix \mathbf {A} mit den Elementen \left\{a_{{ij}}\ |\ i,j\in \left\{0,1\right\},a_{{ij}}\in {\mathbb  {C}}\right\}. Dann lassen sich komplexe Zahlen \left\{z_{i}\ |\ i\in \left\{0,1,2,3\right\},z_{i}\in {\mathbb  {C}}\right\} finden, für die gilt:

     \mathbf {A} {\displaystyle ={\begin{pmatrix}a_{00}&a_{01}\\a_{10}&a_{11}\end{pmatrix}}={\begin{pmatrix}z_{0}+z_{3}&z_{1}-\mathrm {i} \,z_{2}\\z_{1}+\mathrm {i} \,z_{2}&z_{0}-z_{3}\\\end{pmatrix}}}
  =z_{0}\,{\begin{pmatrix}1&0\\0&1\end{pmatrix}} +\,z_{1}\,{\begin{pmatrix}0&1\\1&0\end{pmatrix}} +\,z_{2}\,{\begin{pmatrix}0&-{\mathrm  {i}}\\{\mathrm  {i}}&0\end{pmatrix}} +\,z_{3}\,{\begin{pmatrix}1&0\\0&-1\end{pmatrix}}
  =z_{0}\;\;\sigma _{0} +\,z_{1}\;\;\sigma _{1} +\,z_{2}\;\;\sigma _{2} +\,z_{3}\;\;\sigma _{3}\;.

Es gelten die Umrechnungen:

a_{{00}}=z_{0}+z_{3},\quad a_{{01}}=z_{1}-{\mathrm  {i}}\,z_{2},\quad a_{{10}}=z_{1}+{\mathrm  {i}}\,z_{2},\quad a_{{11}}=z_{0}-z_{3},

bzw.:

{\displaystyle z_{0}={\frac {a_{00}+a_{11}}{2}},\quad z_{1}={\frac {a_{01}+a_{10}}{2}},\quad z_{2}=\mathrm {i} {\frac {a_{01}-a_{10}}{2}},\quad z_{3}={\frac {a_{00}-a_{11}}{2}}.}

Eine komplexe 2×2-Matrix kann demnach als Linearkombination der \sigma _{i} geschrieben werden, und diese Darstellung ist eindeutig. Die Pauli-Matrizen bilden also eine Basis des {\displaystyle \mathbb {C} }-Vektorraums (und Matrizenrings) {\displaystyle \mathbb {C} ^{2\times 2}}, und diese Basis ist eine orthogonale unter dem Frobenius-Skalarprodukt.

Die Umrechnungen definieren einen Ringisomorphismus

{\displaystyle \mathbb {C} ^{2\times 2}\to \mathbb {C} ^{4}}

mit der üblichen Vektoraddition, der üblichen {\displaystyle \mathbb {C} }-Skalarmultiplikation und der Vektor-Multiplikation

     (x_{0},x_{1},x_{2},x_{3})\star (y_{0},y_{1},y_{2},y_{3}):=( x_{0}y_{0}+\,x_{1}y_{1}+\,x_{2}y_{2}+\,x_{3}y_{3},
  x_{0}y_{1}+\,x_{1}y_{0}+{\mathrm  {i}}x_{2}y_{3}-{\mathrm  {i}}x_{3}y_{2},
  x_{0}y_{2}-{\mathrm  {i}}x_{1}y_{3}+\,x_{2}y_{0}+{\mathrm  {i}}x_{3}y_{1},
  x_{0}y_{3}+{\mathrm  {i}}x_{1}y_{2}-{\mathrm  {i}}x_{2}y_{1}+\,x_{3}y_{0}\,)

in {\displaystyle \mathbb {C} ^{4}.} Zwei Vektoren sind genau dann miteinander vertauschbar, wenn

{\displaystyle {\begin{aligned}&x_{2}y_{3}-x_{3}y_{2}={\begin{vmatrix}x_{2}&x_{3}\\y_{2}&y_{3}\end{vmatrix}}=0\\&x_{3}y_{1}-x_{1}y_{3}={\begin{vmatrix}x_{3}&x_{1}\\y_{3}&y_{1}\end{vmatrix}}=0\\&x_{1}y_{2}-x_{2}y_{1}={\begin{vmatrix}x_{1}&x_{2}\\y_{1}&y_{2}\end{vmatrix}}=0,\end{aligned}}}

wenn also die Vektorteile (x_1,x_2,x_3) und (y_{1},y_{2},y_{3}) {\displaystyle \mathbb {C} }-linear voneinander abhängen.

Die inverse Matrix von {\mathbf  {A}}=z_{0}\,\sigma _{0}+z_{1}\,\sigma _{1}+z_{2}\,\sigma _{2}+z_{3}\,\sigma _{3} berechnet sich im Fall von z_{0}^{2}-z_{1}^{2}-z_{2}^{2}-z_{3}^{2}\neq 0 hieraus zu

{\mathbf  {A}}^{{-1}}={\frac  {z_{0}\,\sigma _{0}-z_{1}\,\sigma _{1}-z_{2}\,\sigma _{2}-z_{3}\,\sigma _{3}}{z_{0}^{2}-z_{1}^{2}-z_{2}^{2}-z_{3}^{2}}}.

Hermitesche 2×2-Matrizen

Die Teilmenge der hermiteschen 2×2-Matrizen, also der Matrizen \mathbf {A} mit

{\mathbf  {A}}=\overline {{\mathbf  {A}}}^{{{\mathrm  T}}},

ist ein \mathbb {R} -Untervektorraum, für den die Pauli-Matrizen ebenfalls eine Basis bilden, die Koeffizienten z_{i} sind aber reell. Anders gesagt: es gibt bei hermiteschen 2×2-Matrizen vier (reelle) freie Parameter, da a_{{00}} und a_{11} reell sind und a_{{01}}=\overline {a_{{10}}}.

Das Produkt zweier hermitescher Matrizen ist hermitesch, wenn sie kommutieren. Der Untervektorraum ist also kein (Unter)ring.

Die Quaternionen als Unterring von C4

(Unter)ring ist aber ein anderer Untervektorraum von {\displaystyle \mathbb {C} ^{4}}, der sich durch Koeffizienten z_{0}\in \mathbb{R} , z_{1}\in {\mathrm  i}\mathbb{R} , z_{2}\in {\mathrm  i}\mathbb{R} , z_{3}\in {\mathrm  i}\mathbb{R} von (\sigma _{0},\sigma _{1},\sigma _{2},\sigma _{3}) aufspannen lässt. Er ist ebenfalls mit der \mathbb {R} -Skalarmultiplikation verträglich und zusätzlich hinsichtlich der Multiplikation \star abgeschlossen. Dieser \mathbb {R} -Untervektorraum ist isomorph zu den Quaternionen \mathbb H.

Als Basis für reelle Koeffizienten kann man die mit der imaginären Einheit multiplizierten Pauli-Matrizen zusammen mit der Einheitsmatrix nehmen, also die Menge \{\sigma _{0},{\mathrm  i}\sigma _{1},{\mathrm  i}\sigma _{2},{\mathrm  i}\sigma _{3}\}, mit der isomorphen Zuordnung:

1\mapsto \sigma _{0},\quad i_{{{\mathbb  H}}}\mapsto -{\mathrm  i}\sigma _{1},\quad j_{{{\mathbb  H}}}\mapsto -{\mathrm  i}\sigma _{2},\quad k_{{{\mathbb  H}}}\mapsto -{\mathrm  i}\sigma _{3},

mit i_{{{\mathbb  H}}},j_{{{\mathbb  H}}},k_{{{\mathbb  H}}} als den bekannten Einheitsquaternionen. Vor diese Zuordnung lässt sich jeder der 24 Automorphismen der Quaternionengruppe Q8 schalten. So kann auch ein Isomorphismus „in umgekehrter Ordnung“ gebaut werden:

1\mapsto \sigma _{0},\quad i_{{{\mathbb  H}}}\mapsto +{\mathrm  i}\sigma _{3},\quad j_{{{\mathbb  H}}}\mapsto +{\mathrm  i}\sigma _{2},\quad k_{{{\mathbb  H}}}\mapsto +{\mathrm  i}\sigma _{1}.

Anwendung

In der Quantenphysik, in der den physikalischen Observablen auf mathematischer Seite hermitesche Operatoren bzw. Matrizen entsprechen, wird der Drehimpulsoperator {\hat  S}_{i},\ i\in \{1,2,3\} von Spin-½-Zuständen, beispielsweise bei Elektronen, durch die Paulimatrizen dargestellt:

{\hat  S}_{i}\doteq {\tfrac  {\hbar }{2}}\sigma _{i},

wobei \doteq „wird dargestellt durch“ bedeutet.

In der relativistischen Quantenmechanik, wo man entsprechend dem relativistischen Vierervektor Formalismus vier Raum-Zeit bzw. Energie-Impuls Variablen hat, tritt die Einheitsmatrix gleichberechtigt zu den drei Pauli-Matrizen (als „nullte“ Pauli-Matrix) und es wird mit ihrer Hilfe die Dirac-Gleichung mit den Dirac-Matrizen aufgebaut.

Direkt tauchen die Pauli-Matrizen in der Pauli-Gleichung zur quantenmechanischen Beschreibung von Teilchen mit Spin im Magnetfeld auf, die sich aus der nichtrelativistischen Reduktion der Diracgleichung ergibt, und in der Beschreibung von Majorana-Fermionen (Majorana-Gleichung).

Darstellung

Die Pauli-Matrizen können neben der Darstellung als Matrizen mit Hilfe der Dirac-Notation dargestellt werden: Dabei können für die Linearkombination entweder die Standard-Basisvektoren oder die Eigenvektoren der Pauli-Matrizen verwendet werden.

Pauli-Matrix Matrix Linearkombination (Standard-Basisvektoren) Linearkombination (Eigenvektoren)
\sigma _{1}=\sigma _{x} {\begin{pmatrix}0&1\\1&0\end{pmatrix}} |0\rangle \langle 1|+|1\rangle \langle 0| |+\rangle \langle +|\,-\,|-\rangle \langle -|
\sigma _{2}=\sigma _{y} {\begin{pmatrix}0&-{\mathrm  i}\\{\mathrm  i}&0\end{pmatrix}} {\mathrm  i}\left(|1\rangle \langle 0|-|0\rangle \langle 1|\right) |\phi ^{+}\rangle \langle \phi ^{+}|-|\phi ^{-}\rangle \langle \phi ^{-}|
\sigma _{3}=\sigma _{z} {\begin{pmatrix}1&0\\0&-1\end{pmatrix}} |0\rangle \langle 0|-|1\rangle \langle 1| |0\rangle \langle 0|-|1\rangle \langle 1|

Die verwendeten Vektoren sind wie folgt definiert, wobei die verwendeten Kets durch Vektoren des {\displaystyle \mathbb {C} ^{2}} dargestellt werden, was durch „\doteq “ gekennzeichnet ist:

{\displaystyle |0\rangle =|s_{z}+\rangle } {\displaystyle \doteq {\begin{pmatrix}1\\0\end{pmatrix}}} {\displaystyle |1\rangle =|s_{z}-\rangle } {\displaystyle \doteq {\begin{pmatrix}0\\1\end{pmatrix}}}
{\displaystyle |+\rangle } {\displaystyle \doteq {\frac {1}{\sqrt {2}}}{\begin{pmatrix}1\\1\end{pmatrix}}} {\displaystyle |-\rangle } {\displaystyle \doteq {\frac {1}{\sqrt {2}}}{\begin{pmatrix}1\\-1\end{pmatrix}}}
{\displaystyle |\phi ^{+}\rangle } {\displaystyle \doteq {\frac {1}{\sqrt {2}}}{\begin{pmatrix}1\\\mathrm {i} \end{pmatrix}}} {\displaystyle |\phi ^{-}\rangle } {\displaystyle \doteq {\frac {1}{\sqrt {2}}}{\begin{pmatrix}1\\-\mathrm {i} \end{pmatrix}}}

Eigenschaften

Die Pauli-Matrizen sind hermitesch und unitär. Daraus folgt mit dem durch \sigma _{0}:={\begin{pmatrix}1&0\\0&1\end{pmatrix}} definierten vierten Basiselement

\sigma _{1}^{2}=\sigma _{2}^{2}=\sigma _{3}^{2}=\sigma _{0}^{2}=\sigma _{0}.

Die Determinanten und Spuren der Pauli-Matrizen sind

{\displaystyle {\begin{matrix}\det \sigma _{i}&=&-1&\\[1ex]\operatorname {tr} \sigma _{i}&=&0&\end{matrix}}}   für {\displaystyle i=1,2,3.}

Aus Obigem folgt, dass jede Pauli-Matrix {\mathbf  {\sigma }}_{i} die Eigenwerte +1 und −1 besitzt.

Des Weiteren:

\sigma _{1}\,\sigma _{2}\,\sigma _{3}={\mathrm  i}\,\sigma _{0}

Die Pauli-Matrizen erfüllen die algebraische Relation

{\displaystyle \sigma _{i}\,\sigma _{j}=\delta _{ij}\sigma _{0}+\mathrm {i} \,\sum _{k=1}^{3}\epsilon _{ijk}\;\sigma _{k}}   für {\displaystyle i,j=1,2,3\,}

(\epsilon _{ijk} ist das Levi-Civita-Symbol), also insbesondere bis auf einen Faktor 2 dieselben Relationen wie die Drehimpulsalgebra

{\displaystyle [\sigma _{i}\,,\sigma _{j}]=\sigma _{i}\,\sigma _{j}-\sigma _{j}\,\sigma _{i}=2\,\mathrm {i} \,\sum _{k=1}^{3}\epsilon _{ijk}\;\sigma _{k}}   für {\displaystyle i,j=1,2,3.}

und die Clifford- oder Dirac-Algebra {\mathrm  {Cl}}(0,3,{\mathbb  R})

{\displaystyle \{\sigma _{i}\,,\sigma _{j}\}=\sigma _{i}\,\sigma _{j}+\sigma _{j}\,\sigma _{i}=2\,\delta _{ij}\sigma _{0}}   für {\displaystyle i,j=1,2,3.}

Die Pauli-Matrizen gehören zum Spezialfall l=1/2 von Drehimpulsoperatoren, die auf Basisvektoren \Lambda _{{m}} eines Drehimpuls-l-Multipletts mit Quantenzahlen m in Maßsystemen mit \hbar=1 folgendermaßen wirken:

L_{3}\Lambda _{{m}}=m\Lambda _{{m}}\,,\ m\in \{-l,-l+1,\dots ,l\}\,,
L_{+}\Lambda _{{m}}={\sqrt  {(l-m)(l+m+1)}}\,\Lambda _{{m+1}}\,,
L_{-}\Lambda _{{m}}={\sqrt  {(l+m)(l-m+1)}}\,\Lambda _{{m-1}}\,.

Dabei ist 2l+1 eine natürliche Zahl und für m treten die 2l+1 verschiedenen Quantenzahlen m=-l,-l+1,\dots ,l auf. Für l=1/2 wirken die Drehimpulsoperatoren auf die Komponenten von Linearkombinationen der beiden Basisvektoren \Lambda _{{1/2}} und \Lambda _{{-1/2}} demnach durch Multiplikation mit den folgenden Matrizen

L_{3}={\frac  {1}{2}}{\begin{pmatrix}1&0\\0&-1\end{pmatrix}}\,,L_{+}={\begin{pmatrix}0&1\\0&0\end{pmatrix}}\,,L_{-}={\begin{pmatrix}0&0\\1&0\end{pmatrix}}\,.

Mit L_{1}={\frac  {1}{2}}(L_{+}+L_{-}) und L_{2}={\frac  {1}{2{\mathrm  i}}}(L_{+}-L_{-}) ergibt sich dann, dass die Drehimpulsoperatoren auf die Komponenten von Spin-1/2-Zuständen durch Multiplikation mit den halben Pauli-Matrizen wirken.

Zugeordnete Drehgruppe, Zusammenhang mit Spin-1/2-Systemen

Die lineare Hülle der mit \mathrm {i} multiplizierten[1] Pauli-Matrizen {\mathrm  i}\,\sigma _{1},\,{\mathrm  i}\,\sigma _{2},\,{\mathrm  i}\,\sigma _{3} ist mit der üblichen Matrizenmultiplikation eine Lie-Algebra. Aufgrund der mit {\vec  n}\cdot {\vec  {\sigma }}\,=n_{1}\sigma _{1}+n_{2}\sigma _{2}+n_{3}\sigma _{3} für jeden Einheitsvektor {\vec  n}\in {\mathbb  R}^{3} geltenden Identität

{\displaystyle \exp \left(-\mathrm {i} \,{\tfrac {\alpha }{2}}{\vec {n}}\cdot {\vec {\sigma }}\right)=\sigma _{0}\,\cos {\tfrac {\alpha }{2}}-\mathrm {i} \,({\vec {n}}\cdot {\vec {\sigma }})\,\sin {\tfrac {\alpha }{2}}}

sind diese drei Matrizen die Generatoren der komplexen Drehgruppe SU(2).

Der Faktor 1/2 in der obigen Gleichung ist zwar mathematisch verzichtbar. Die Gleichung wird jedoch in der physikalischen Anwendung häufig in genau dieser Form benötigt. Denn (wie in der Einleitung erwähnt) stellen in der Quantenphysik die Matrizen S_{i}={\tfrac  {\hbar }{2}}\sigma _{i} die Operatoren für die Spinkomponenten eines Spin-1/2-Systems (beispielsweise eines Elektrons) dar. Andererseits beschreibt die durch den Exponentialausdruck gegebene Matrix die Veränderung des Spinzustands bei einer räumlichen Drehung. \alpha ist dabei der Drehwinkel, {\vec {n}} die Drehachse. Für \alpha =2\pi ergibt sich \exp {\bigl (}\!\!-{\mathrm  i}\,\pi \;{\vec  n}\cdot {\vec  {\sigma }}{\bigr )}=-\sigma _{0}; d.h. der Zustandsvektor eines Spin-1/2-Systems wird durch Drehung um den Winkel 2\pi in sein Negatives und erst durch Drehung um den Winkel 4\pi wieder in sich selbst übergeführt („Spinordrehungen“).

Eigenvektoren

Die Matrix \sigma_3 hat die Eigenvektoren

\chi _{{31}}={\begin{pmatrix}1\\0\end{pmatrix}},\quad \chi _{{32}}={\begin{pmatrix}0\\1\end{pmatrix}}

wie man leicht erkennen kann:

\sigma _{3}\chi _{{31}}={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}{\begin{pmatrix}1\\0\end{pmatrix}}={\begin{pmatrix}1\\0\end{pmatrix}},\quad \sigma _{3}\chi _{{32}}={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}{\begin{pmatrix}0\\1\end{pmatrix}}={\begin{pmatrix}0\\-1\end{pmatrix}}=-1{\begin{pmatrix}0\\1\end{pmatrix}}

entsprechend den Eigenwerten \pm 1. Die Eigenvektoren von \sigma _{1} sind

\chi _{{11}}={\begin{pmatrix}1\\1\end{pmatrix}},\quad \chi _{{12}}={\begin{pmatrix}1\\-1\end{pmatrix}}:
\sigma _{1}\chi _{{11}}={\begin{pmatrix}0&1\\1&0\end{pmatrix}}{\begin{pmatrix}1\\1\end{pmatrix}}={\begin{pmatrix}1\\1\end{pmatrix}},\quad \sigma _{1}\chi _{{12}}={\begin{pmatrix}0&1\\1&0\end{pmatrix}}{\begin{pmatrix}1\\-1\end{pmatrix}}={\begin{pmatrix}-1\\1\end{pmatrix}}=-1{\begin{pmatrix}1\\-1\end{pmatrix}}

und die Eigenvektoren von \sigma _{2}

\chi _{{21}}={\begin{pmatrix}1\\{\mathrm  i}\end{pmatrix}},\quad \chi _{{22}}={\begin{pmatrix}{\mathrm  i}\\1\end{pmatrix}}:
\sigma _{2}\chi _{{21}}={\begin{pmatrix}0&-{\mathrm  i}\\{\mathrm  i}&0\end{pmatrix}}{\begin{pmatrix}1\\{\mathrm  i}\end{pmatrix}}={\begin{pmatrix}1\\{\mathrm  i}\end{pmatrix}},\quad \sigma _{2}\chi _{{22}}={\begin{pmatrix}0&-{\mathrm  i}\\{\mathrm  i}&0\end{pmatrix}}{\begin{pmatrix}{\mathrm  i}\\1\end{pmatrix}}={\begin{pmatrix}-{\mathrm  i}\\-1\end{pmatrix}}=-1{\begin{pmatrix}{\mathrm  i}\\1\end{pmatrix}}

Kronecker-Produkt von Pauli-Matrizen

In der Mathematik können mit Hilfe des Tensorprodukts (Kronecker-Produkts) von Pauli-Matrizen (mit Einheitsmatrix) die Darstellungen der höheren Clifford-Algebren über den reellen Zahlen aufgebaut werden.

Pauli-Matrizen können zur Darstellung von Hamilton-Operatoren und zur Näherung der Exponentialfunktion solcher Operatoren verwendet werden. Sind \sigma _{0},\sigma _{1},\sigma _{2},\sigma _{3} die vier Pauli-Matrizen, so kann man mit Hilfe des Kronecker-Produkt höherdimensionale Matrizen erzeugen.

p:=\sigma _{{\mu _{{1}}}}\otimes \sigma _{{\mu _{{2}}}}\otimes ...\otimes \sigma _{{\mu _{{n}}}}\quad ;\quad \mu _{{1}},\mu _{{2}},...,\mu _{{n}}\in \{0,1,2,3\}\quad ;\quad n\in \mathbb{N}

Eigenschaften der Pauli-Matrizen vererben sich auf diese Matrizen. Sind p_{1} und p_{2} zwei Kronecker Produkte von Pauli-Matrizen, so gilt:

H=\sum _{{k=0}}^{{N}}h_{{k}}p_{{k}}\quad mit \quad N\in \mathbb{N} ,h_{{k}}\in \mathbb{R} ,p_{{k}} ist Kronecker-Produkt von Pauli-Matrizen.

Beispiele für derartige Modelle sind Hubbard-Modell, Heisenberg-Modell und Anderson-Modell.

Das Kronecker-Produkt von Pauli-Matrizen tritt bei der Beschreibung von Spin-1/2-Systemen auf, die aus mehreren Teilsystemen aufgebaut sind. Der Zusammenhang ist dadurch gegeben, dass das Tensorprodukt zweier Operatoren in der zugehörigen Matrixdarstellung gerade durch das Kronecker-Produkt der Matrizen gegeben ist (siehe Kronecker-Produkt#Zusammenhang mit Tensorprodukten).

Näherung der Exponentialfunktion des Hamilton-Operators

Häufig interessiert man sich für die Exponentialfunktion des Hamilton-Operators.

{\displaystyle \exp\{-\beta H\}=\sum _{l=0}^{\infty }{\frac {(-\beta )^{l}}{l!}}{\biggl (}\sum _{k=0}^{N}h_{k}p_{k}{\biggr )}^{l}}   mit   {\displaystyle \beta \in \mathbb {R} }

Aufgrund der Kommutativität kann man in einem Produkt die Matrizen beliebig anordnen. Ist  \pi eine Permutation, so ist:

{\displaystyle p_{\pi _{1}}p_{\pi _{2}}...p_{\pi _{n}}=ap_{1}p_{2}...p_{n}}   mit   {\displaystyle n\in \mathbb {N} ,a\in \{1,-1\}}

Deshalb existieren rationale Zahlen E_{{k_{{1}}k_{{2}}...k_{{N}}}} mit:

\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}}}}

Diese rationalen Zahlen sind, von Ausnahmen abgesehen, schwer zu berechnen.

Eine erste Näherung ergibt sich, indem man nur Summanden berücksichtigt, die aus kommutierenden Matrizen bestehen.

E_{{k_{{1}}k_{{2}}...k_{{N}}}}=0 falls ein Paar 1\leq a,b\leq N mit p_{{a}}p_{{b}}=-p_{{b}}p_{{a}} und k_{{a}},k_{{b}}>0 existiert
E_{{k_{{1}}k_{{2}}...k_{{N}}}}={\frac  {1}{k_{{1}}!}}{\frac  {1}{k_{{2}}!}}...{\frac  {1}{k_{{N}}!}} sonst

Die Näherung lässt sich weiter verbessern, indem man Paare, Tripel, … von nicht kommutierenden Matrizen berücksichtigt.

Siehe auch

Literatur

Anmerkungen

  1. Durch die Multiplikation mit \pm {\mathrm  i} entstehen aus hermiteschen Matrizen schiefhermitesche Matrizen. Eine Darstellung mit Hilfe von Hermiteschen Operatoren und Matrizen wird von Physikern bevorzugt, weil in der Quantenmechanik messbare Größen (sog. Observablen) stets durch Hermitesche Operatoren beschrieben werden.
Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
© biancahoegel.de
Datum der letzten Änderung: Jena, den: 01.03. 2021