# Matrices de Pauli

Les matrices de Pauli, développées par Wolfgang Pauli, forment, au facteur i près, une base de l'algèbre de Lie du groupe SU(2).
Elles sont définies comme l'ensemble de matrices complexes de dimensions 2 × 2 suivantes :
    $\sigma _{1}=\sigma _{x}={\begin{pmatrix}0&1\\1&0\end{pmatrix}}$
    $\sigma _{2}=\sigma _{y}={\begin{pmatrix}0&-\mathrm {i} \\\mathrm {i} &0\end{pmatrix}}$
    $\sigma _{3}=\sigma _{z}={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}$
(où i est l’unité imaginaire des nombres complexes).
Ces matrices sont utilisées en mécanique quantique pour représenter le spin des particules, notamment dès 1927 dans l'étude non-relativiste du spin de l'électron : l'équation de Pauli.

## Propriétés
### Identités

* $\sigma _{1}^{2}=\sigma _{2}^{2}=\sigma _{3}^{2}={\begin{pmatrix}1&0\\0&1\end{pmatrix}}=I_{2}$
* $\sigma _{1}\sigma _{2}=\mathrm {i} \sigma _{3}\,\!$
* $\sigma _{3}\sigma _{1}=\mathrm {i} \sigma _{2}\,\!$
* $\sigma _{2}\sigma _{3}=\mathrm {i} \sigma _{1}\,\!$
* $\sigma _{i}\sigma _{j}=-\sigma _{j}\sigma _{i}{\mbox{ pour }}i\neq j\,\!$
Ces identités impliquent la formule $({\vec {a}}\cdot {\vec {\sigma }})({\vec {b}}\cdot {\vec {\sigma }})={\vec {a}}\cdot {\vec {b}}\,I_{2}+\mathrm {i} \,{\vec {a}}\times {\vec {b}}\cdot {\vec {\sigma }}$

### Valeurs propres et vecteurs propres

Le déterminant et la trace des matrices de Pauli sont :
    ${\begin{matrix}\det(\sigma _{i})&=&-1&\\[1ex]\operatorname {Tr} (\sigma _{i})&=&0&\end{matrix}}\quad {\hbox{pour}}\ i\in \{1;2;3\}$
Par conséquent, les valeurs propres de chaque matrice sont ±1.
Chacune des trois matrices possède deux vecteurs propres :
* Pour $\sigma _{1}$ : ${\begin{pmatrix}1\\1\end{pmatrix}}$ et ${\begin{pmatrix}1\\-1\end{pmatrix}}$
* Pour $\sigma _{2}$ : ${\begin{pmatrix}1\\\mathrm {i} \end{pmatrix}}$ et ${\begin{pmatrix}1\\-\mathrm {i} \end{pmatrix}}$
* Pour $\sigma _{3}$ : ${\begin{pmatrix}1\\0\end{pmatrix}}$ et ${\begin{pmatrix}0\\1\end{pmatrix}}$

### Autres propriétés

Les matrices de Pauli obéissent aux relations de commutation et d'anticommutation suivantes :
    ${\begin{matrix}[\sigma _{i},\sigma _{j}]&=&2\mathrm {i} \,\epsilon _{ijk}\,\sigma _{k}\\[1ex]\{\sigma _{i},\sigma _{j}\}&=&2\delta _{ij}\cdot I\end{matrix}}$
où $\epsilon _{ijk}$ est le symbole de Levi-Civita, $\delta _{ij}$ est le symbole de Kronecker et $I$ est la matrice identité. Les relations ci-haut peuvent être vérifiées en utilisant :
    $\sigma _{i}\sigma _{j}=\mathrm {i} \epsilon _{ijk}\sigma _{k}+\delta _{ij}\cdot I$.
Ces relations de commutativité sont semblables à celles sur l'algèbre de Lie ${\mathfrak {su}}(2)$ et, en effet, ${\mathfrak {su}}(2)$ peut être interprétée comme l'algèbre de Lie de toutes les combinaisons linéaires de l'imaginaire $i$ fois les matrices de Pauli $i\sigma _{j}$, autrement dit, comme les matrices anti-hermitiennes 2×2 avec trace de 0. Dans ce sens, les matrices de Pauli génèrent ${\mathfrak {su}}(2)$. Par conséquent, $i\sigma _{j}$ peut être vu comme les générateurs infinitésimaux du groupe de Lie correspondant SU(2) .
L'algèbre de ${\mathfrak {su}}(2)$ est isomorphe à l'algèbre de Lie ${\mathfrak {so}}(3)$, laquelle correspond au groupe de Lie SO(3), le groupe des rotations en trois dimensions. En d'autres termes, les $i\sigma _{j}$ sont des réalisations de rotations « infinitésimales » dans un espace à trois dimensions (en fait, ce sont les réalisations de plus basse dimension).
Pour un vecteur de rotation en trois dimensions ${\vec {\omega }}$ et ${\vec {\sigma }}=(\sigma _{1},\sigma _{2},\sigma _{3})$ le vecteur composé des matrices de Pauli, on a la relation suivante:
    $\mathrm {e} ^{-\mathrm {i} {\vec {\sigma }}\cdot {\vec {\omega }}/2}=I\cdot \cos(\omega /2)-\mathrm {i} {\hat {\omega }}\cdot {\vec {\sigma }}\sin(\omega /2)$
où $\omega$ est l'angle de rotation (la norme de ${\vec {\omega }}$) et ${\hat {\omega }}={\vec {\omega }}/\omega$ .

### Autres formulations
#### Matrices σ$^+$ et σ$^–$

En mécanique quantique, les matrices de Pauli peuvent être remplacées par les matrices $\sigma ^{+}{\text{ et }}\sigma ^{-}$, définies par
    $\sigma ^{+}={\frac {1}{2}}(\sigma ^{x}+\mathrm {i} \sigma ^{y})={\begin{pmatrix}0&1\\0&0\end{pmatrix}}$ et $\sigma ^{-}={\frac {1}{2}}(\sigma ^{x}-\mathrm {i} \sigma ^{y})={\begin{pmatrix}0&0\\1&0\end{pmatrix}}$.
Leur commutateur est $[\sigma ^{+},\sigma ^{-}]=\sigma ^{z}$.
En choisissant comme base de $\mathbb {C} ^{2}$ les vecteurs $|\uparrow \rangle ={\begin{pmatrix}1\\0\end{pmatrix}},|\downarrow \rangle ={\begin{pmatrix}0\\1\end{pmatrix}}$, les matrices $\sigma ^{+}{\text{ et }}\sigma ^{-}$ agissent comme $\sigma ^{+}|\uparrow \rangle =0,\sigma ^{+}|\downarrow \rangle =|\uparrow \rangle$ et $\sigma ^{-}|\downarrow \rangle =0,\sigma ^{-}|\uparrow \rangle =|\downarrow \rangle$.

#### Quaternions

Les quaternions vérifient des propriétés proches de celles des matrices de Pauli. Il est en effet possible d'identifier l'unité réelle des quaternions avec la matrice identité et les trois unités $i$, $j$ et $k$ aux matrices de Pauli (à un facteur multiplicatif $\pm \mathrm {i}$ près).

### Physique

En mécanique quantique les iσ$_j$ représentent les générateurs des rotations sur les particules non relativistes de spin $^1$⁄$_2$. L'état de ces particules est représenté par des spineurs à deux composantes, ce qui est la représentation fondamentale de SU(2). Une propriété intéressante des particules de spin $^1$⁄$_2$ est qu'elles doivent subir une rotation de 4π radians afin de revenir dans leur configuration d'origine. Ceci est dû au fait que SU(2) et SO(3) ne sont pas globalement isomorphes, malgré le fait que leurs générateurs infinitésimaux, su(2) et so(3), soient isomorphes. SU(2) est en fait un « revêtement de degré deux » de SO(3) : à chaque élément de SO(3) correspondent deux éléments de SU(2).
En mécanique quantique à plusieurs particules, le groupe de Pauli (en) G$_n$ est également utile. Il est défini comme tous les produits tensoriels à n dimensions de matrices de Pauli.
Avec la matrice identité I, parfois dénotée σ$_0$, les matrices de Pauli forment une base de l'espace vectoriel réel des matrices hermitiennes complexes 2 × 2. Cet espace vectoriel est équivalent à l'ensemble des quaternions. Lorsque utilisée comme base pour l'opérateur de rotation de spin $^1$⁄$_2$, elle est identique à celle pour la représentation de rotation de quaternion correspondante.