Matrius de rotació 2D - Nombres complexes | Matrius de Pauli - Quaternions

Matrius de rotació 2D - Nombres complexes | Matrius de Pauli - Quaternions

Recursos útils

Introducció: Rotació de 90º

Tenim que la matriu real de rotació 2D per angle θ\theta és
Rθ=(cosθsinθsinθcosθ)R_\theta=\begin{pmatrix} \cos\theta&-\sin\theta\\ \sin\theta&\cos\theta \end{pmatrix}
Que en el cas de θ=π/2\theta=\pi/2 tenim
Rπ2=(0110)(0110)(ab)=(ba)R_{\frac{\pi}{2}}=\begin{pmatrix} 0&-1\\ 1&0 \end{pmatrix} \longrightarrow \begin{pmatrix} 0&-1\\ 1&0 \end{pmatrix}\begin{pmatrix} a\\ b \end{pmatrix}= \begin{pmatrix} b\\ -a \end{pmatrix}
Això en el pla real 2D (cartesià). Però com representem una rotació de 90º en el pla complex?
La resposta, si ho recordem, és que multipliquem pel nombre imaginari ii
(a+bi)i=aib(a+bi)\cdot i=ai-b
Gràfic
notion image

Nombres complexes com a vectors en el pla o com a matrius de rotació

D’acord, i si tracem una relació entre vectors reals 2D i nombres complexes?
a+bi(ab)aib(ba)a+bi\to\begin{pmatrix} a\\ b \end{pmatrix} \qquad ai-b\to\begin{pmatrix} b\\ -a \end{pmatrix}
Aleshores veiem que en aquesta relació que hem traçat, un nombre complex pot representar un vector, però també pot servir per aplicar una rotació, és a dir pot representar una matriu
i(01)i(0110)i\to\begin{pmatrix} 0\\ 1 \end{pmatrix} \qquad i\sim\begin{pmatrix} 0&-1\\ 1&0 \end{pmatrix}
Podem traçar més relacions com per exemple
1(1001)1+i(1111)1\sim\begin{pmatrix} 1&0\\ 0&1 \end{pmatrix} \qquad 1+i\sim\begin{pmatrix} 1&-1\\ 1&1 \end{pmatrix}
Veiem fàcilment que la relació genèrica és
(abba)a+bi(ab)\begin{pmatrix} a&-b\\ b&a \end{pmatrix}\sim a+bi\to\begin{pmatrix}a\\ b\end{pmatrix}
I si el que volem és que la transformació sigui una rotació pura (que no escali els eixos) aquesta serà del tipus
a+bi=cosθ+isinθ=eiθ(cosθsinθsinθcosθ)(cosθsinθ)a+bi=\cos\theta+i\sin\theta=e^{i\theta}\sim \begin{pmatrix} \cos\theta&-\sin\theta\\ \sin\theta&\cos\theta \end{pmatrix}\to\begin{pmatrix}\cos\theta\\ \sin\theta\end{pmatrix}
En aquest sentit, diem que hi ha un isomorfisme entre nombres complexes d’aquest tipus, matrius de rotació reals i vectors unitaris 2D.

Quaternions i matrius de Pauli

No entrarem gens en detall. Per més informació
Quaternions
Quaternions
.
Simplificant moltíssim, de la mateixa manera que els nombres complexes es poden representar amb un tipus de matrius reals 2D, els quaternions es poden representar amb un tipus de matrius complexes 2D.
a+bi(abba)(ab)a+bi\sim\begin{pmatrix} a&-b\\ b&a \end{pmatrix}\to\begin{pmatrix} a\\b \end{pmatrix}a+bi+cj+dk(a+bic+dic+diabi)(a+bic+di)a+b\mathbf{i}+c\mathbf{j}+d\mathbf{k}\sim \begin{pmatrix} a+bi&c+di\\ -c+di&a-bi \end{pmatrix}\to\begin{pmatrix} a+bi\\ c+di \end{pmatrix}
I també té relació amb el vector de Pauli
v=(xyz)vσ=(zx+yx+iyz)\vec{v}= \begin{pmatrix} x\\ y\\ z \end{pmatrix}\to \vec{v}\cdot\vec{\sigma}=\begin{pmatrix} z&x+-y\\ x+iy&z \end{pmatrix}
Anem a veure què passa amb els quaternions unitaris
1=1+0i+0j+0k(1001)1=1+0\mathbf{i}+0\mathbf{j}+0\mathbf{k}\sim\begin{pmatrix} 1&0\\0&1 \end{pmatrix}i=0+1i+0j+0k(i00i)\mathbf{i}=0+1\mathbf{i}+0\mathbf{j}+0\mathbf{k} \sim\begin{pmatrix} i & 0 \\ 0 & -i \end{pmatrix} j=0+0i+1j+0k(0110)\mathbf{j}=0+0\mathbf{i}+1\mathbf{j}+0\mathbf{k} \sim\begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} k=0+0i+0j+1k(0ii0)\mathbf{k}=0+0\mathbf{i}+0\mathbf{j}+1\mathbf{k} \sim\begin{pmatrix} 0 & i \\ i & 0 \end{pmatrix}
Aquestes matrius, són la base d’una àlgebra, l’àlgebra de Clifford conjugada, té per base les matrius de Pauli
σxσ1=(0110)σyσ2=(0ii0)σzσ1=(1001)\sigma_x\equiv\sigma_1=\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \qquad \sigma_y\equiv\sigma_2=\begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix} \qquad \sigma_z\equiv\sigma_1=\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}
Mirar això