Masteries · Jason GlowneyArithmoí Book 1

Masteries

1.4.10 The Pauli Matrices Subgroup of the Symmetric Conic Group

In physics, the Pauli ma­tri­ces are rou­tine­ly used in quan­tum me­chan­ics to rep­re­sent the spin of fun­da­men­tal par­ti­cles like the elec­tron, and they are used in the Pauli equa­tion which con­sid­ers the in­ter­ac­tion of a par­ti­cle in the elec­tro­mag­net­ic field. The Pauli ma­tri­ces are typ­i­cal­ly de­scribed as being re­lat­ed to the uju_{j} ma­tri­ces of the SU(2)SU(2) group by the fol­low­ing

σ1=−iu1=(0110),  σ2=iu2=(0−ii0),  σ3=−iu3=(100−1),\begin{array}{r} \sigma_{1} = - iu_{1} = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix},\ \ \sigma_{2} = iu_{2} = \begin{pmatrix} 0 & - i \\ i & 0 \end{pmatrix},\ \ \sigma_{3} = - iu_{3} = \begin{pmatrix} 1 & 0 \\ 0 & - 1 \end{pmatrix}, \end{array}
(1.4.163)

where we see the uju_{j} ma­tri­ces are mul­ti­plied by ±i\pm i to arrive at the Pauli ma­tri­ces σj\sigma_{j}. The ma­tri­ces are in­vo­lu­to­ry, mean­ing that each matrix, when squared, equals the iden­ti­ty matrix σj2=I\sigma_{j}^{2} = I. The ma­tri­ces are trace­less and have de­ter­mi­nants equal to −1.- 1.Math­e­mat­i­cal­ly, it would seem quite plau­si­ble that, given the re­la­tion­ship the Pauli ma­tri­ces have with the uju_{j} ma­tri­ces, there exists analog rep­re­sen­ta­tions of them in the sym­met­ric conic group. This is indeed the case. Like the way el­e­ment prod­ucts gen­er­at­ed the SU(2)SU(2) sub­groups, taking the same ap­proach ac­com­plish­es this for the sym­met­ric conic group's Pauli matrix rep­re­sen­ta­tions. Using de­fined ma­tri­ces from the sym­met­ric conic group

σX1,1=(10000−i010),  σX1X2=(10001000i),\sigma X_{1,1} = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & - i \\ 0 & 1 & 0 \end{pmatrix},\ \ \sigma X_{1}X_{2} = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & i \end{pmatrix},
σX2,1=(00−i010100),  σX2X3=(10001000i),\sigma X_{2,1} = \begin{pmatrix} 0 & 0 & - i \\ 0 & 1 & 0 \\ 1 & 0 & 0 \end{pmatrix},\ \ \sigma X_{2}X_{3} = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & i \end{pmatrix},
σX3,1=(0−i0100001),  σX3X1=(1000i0001),\begin{array}{r} \sigma X_{3,1} = \begin{pmatrix} 0 & - i & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix},\ \ \sigma X_{3}X_{1} = \begin{pmatrix} 1 & 0 & 0 \\ 0 & i & 0 \\ 0 & 0 & 1 \end{pmatrix}, \end{array}
(1.4.164)

sim­i­lar prod­ucts from the SU(2)SU(2) group cases result in al­ge­bras con­sis­tent with the Pauli ma­tri­ces. This can be seen using prod­ucts of the σX1,1\sigma X_{1,1},σX1X2\sigma X_{1}X_{2} ma­tri­ces

σX1,1×σX1X2=(100001010)=ℴ1,\sigma X_{1,1} \times \sigma X_{1}X_{2} = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 1 & 0 \end{pmatrix} = \mathcal{o}_{1},
σX1X2×σX1,1=(10000−i0i0)=ℴ2,\sigma X_{1}X_{2} \times \sigma X_{1,1} = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & - i \\ 0 & i & 0 \end{pmatrix} = \mathcal{o}_{2},
(σX1X2)2=(10001000−1)=ℴ3,\begin{array}{r} \left( \sigma X_{1}X_{2} \right)^{2} = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & - 1 \end{pmatrix} = \mathcal{o}_{3}, \end{array}
(1.4.165)

which, once again, differ from the 2×22 \times 2 Pauli ma­tri­ces by the ro­ta­tion­al axis of the al­ge­bra in the a1,1a_{1,1} entry. The above rep­re­sen­ta­tions are the Pauli ma­tri­ces for the bottom-right 2×22 \times 2 sub­ma­tri­ces. All ma­tri­ces above ℴj\mathcal{o}_{j} have de­ter­mi­nants equal to −1- 1, and are in­vo­lu­to­ry. They are not trace­less ma­tri­ces, but they have real eigen­val­ues. By set­ting

σ1=σx,   σ2=σy,   σ3=σz,\begin{array}{r} \sigma_{1} = \sigma_{x},\ \ \ \sigma_{2} = \sigma_{y},\ \ \ \sigma_{3} = \sigma_{z}, \end{array}
(1.4.166)

which is common in physics, we find the nor­mal­ized eigen­vec­tors using the con­ven­tion that 11 is placed in the second entry for the pos­i­tive and neg­a­tive wave­func­tions ψx,ψy\psi_{x},\psi_{y}

ψx+=12(011),   ψx−=12(01−1),   ψx−axis=(100),\psi_{x^{+}} = \frac{1}{\sqrt{2}}\begin{pmatrix} 0 \\ 1 \\ 1 \end{pmatrix},\ \ \ \psi_{x^{-}} = \frac{1}{\sqrt{2}}\begin{pmatrix} 0 \\ 1 \\ - 1 \end{pmatrix},\ \ \ \psi_{x - axis} = \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix},
ψy+=12(01i),   ψy−=12(01−i),   ψy−axis=(100),\psi_{y^{+}} = \frac{1}{\sqrt{2}}\begin{pmatrix} 0 \\ 1 \\ i \end{pmatrix},\ \ \ \psi_{y^{-}} = \frac{1}{\sqrt{2}}\begin{pmatrix} 0 \\ 1 \\ - i \end{pmatrix},\ \ \ \psi_{y - axis} = \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix},
ψz+=12(010),   ψz−=12(001),   ψz−axis=(100),\begin{array}{r} \psi_{z^{+}} = \frac{1}{\sqrt{2}}\begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix},\ \ \ \psi_{z^{-}} = \frac{1}{\sqrt{2}}\begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix},\ \ \ \psi_{z - axis} = \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix}, \end{array}
(1.4.167)

which can be com­pared to the common nor­mal­ized eigen­vec­tors of the 2×22 \times 2 Pauli ma­tri­ces

ψx+=(11),   ψx−=(1−1),\psi_{x^{+}} = \begin{pmatrix} 1 \\ 1 \end{pmatrix},\ \ \ \psi_{x^{-}} = \begin{pmatrix} 1 \\ - 1 \end{pmatrix},
ψy+=(1i),   ψy−=(1−i),\psi_{y^{+}} = \begin{pmatrix} 1 \\ i \end{pmatrix},\ \ \ \psi_{y^{-}} = \begin{pmatrix} 1 \\ - i \end{pmatrix},
ψz+=(10),   ψz−=(01).\begin{array}{r} \psi_{z^{+}} = \begin{pmatrix} 1 \\ 0 \end{pmatrix},\ \ \ \psi_{z^{-}} = \begin{pmatrix} 0 \\ 1 \end{pmatrix}. \end{array}
(1.4.168)

These are the same, except for the uni­tary third eigen­vec­tor in the sym­met­ric conic groups. In terms of the eigen­val­ues, each 2×22 \times 2 Pauli matrix has two values equal to ±1\pm 1, while for the 3×33 \times 3 cases, there are three values also equal to ±1\pm 1 for the co­in­cid­ing Pauli eigen­vec­tors, with the ad­di­tion of the entry 11 in the third axis. Ro­tat­ing the gen­er­a­tors by ii, re­sults in the fol­low­ing ma­tri­ces

σX1,2=(i000010i0),   iσX1X2=(i000i000−1),\sigma X_{1,2} = \begin{pmatrix} i & 0 & 0 \\ 0 & 0 & 1 \\ 0 & i & 0 \end{pmatrix},\ \ \ i\sigma X_{1}X_{2} = \begin{pmatrix} i & 0 & 0 \\ 0 & i & 0 \\ 0 & 0 & - 1 \end{pmatrix},
σX2,2=(0010i0i00),   iσX2X3=(i000i000−1),\sigma X_{2,2} = \begin{pmatrix} 0 & 0 & 1 \\ 0 & i & 0 \\ i & 0 & 0 \end{pmatrix},\ \ \ i\sigma X_{2}X_{3} = \begin{pmatrix} i & 0 & 0 \\ 0 & i & 0 \\ 0 & 0 & - 1 \end{pmatrix},
σX3,2=(0−i0100001),   iσX3X1=(i000−1000i),\begin{array}{r} \sigma X_{3,2} = \begin{pmatrix} 0 & - i & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix},\ \ \ i\sigma X_{3}X_{1} = \begin{pmatrix} i & 0 & 0 \\ 0 & - 1 & 0 \\ 0 & 0 & i \end{pmatrix}, \end{array}
(1.4.169)

whose prod­ucts, like the Pauli ma­tri­ces, have the neg­a­tive forms

σX1,2×iσX1X2=(−10000−10−10)=−ℴ1,\sigma X_{1,2} \times i\sigma X_{1}X_{2} = \begin{pmatrix} - 1 & 0 & 0 \\ 0 & 0 & - 1 \\ 0 & - 1 & 0 \end{pmatrix} = - \mathcal{o}_{1},
σX1X2×σX1,2=(−10000i0−i0)=−ℴ2,\sigma X_{1}X_{2} \times \sigma X_{1,2} = \begin{pmatrix} - 1 & 0 & 0 \\ 0 & 0 & i \\ 0 & - i & 0 \end{pmatrix} = - \mathcal{o}_{2},
(σX1X2)2=(−1000−10001)=−ℴ3.\begin{array}{r} \left( \sigma X_{1}X_{2} \right)^{2} = \begin{pmatrix} - 1 & 0 & 0 \\ 0 & - 1 & 0 \\ 0 & 0 & 1 \end{pmatrix} = - \mathcal{o}_{3}. \end{array}
(1.4.170)

These ma­tri­ces all have de­ter­mi­nants of 11, are Her­mit­ian, and remain in­vo­lu­to­ry. For the prod­uct

−i(−ℴ1)(−ℴ2)(−ℴ3)=(i000−1000−1),\begin{array}{r} - i\left( - \mathcal{o}_{1} \right)\left( - \mathcal{o}_{2} \right)\left( - \mathcal{o}_{3} \right) = \begin{pmatrix} i & 0 & 0 \\ 0 & - 1 & 0 \\ 0 & 0 & - 1 \end{pmatrix}, \end{array}
(1.4.171)

this rep­re­sents the neg­a­tive result, as com­pared to the orig­i­nal prod­uct form

−i(ℴ1)(ℴ2)(ℴ3)=(−i00010001).\begin{array}{r} - i\left( \mathcal{o}_{1} \right)\left( \mathcal{o}_{2} \right)\left( \mathcal{o}_{3} \right) = \begin{pmatrix} - i & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix}. \end{array}
(1.4.172)

It is ap­par­ent that chiral forms of the Pauli ma­tri­ces exist in the sym­met­ric cone group S3ℂΔS_{3\mathbb{C}}^{\Delta}, much the same as the SU(2)SU(2) group. There are sev­er­al other Pauli matrix groups that can be made by vary­ing the values for the aj,ja_{j,j} matrix entry along the main di­ag­o­nal, rep­re­sent­ing the axis of ro­ta­tion for both forms of the gen­er­a­tors and their prod­ucts, as well as by ro­tat­ing these forms to find other chiral part­ners. Taking the ex­am­ple

σX1,2=(i000010i0),   iσX1X2=(i000i000−1),\begin{array}{r} \sigma X_{1,2} = \begin{pmatrix} i & 0 & 0 \\ 0 & 0 & 1 \\ 0 & i & 0 \end{pmatrix},\ \ \ i\sigma X_{1}X_{2} = \begin{pmatrix} i & 0 & 0 \\ 0 & i & 0 \\ 0 & 0 & - 1 \end{pmatrix}, \end{array}
(1.4.173)

we con­sid­er the fol­low­ing matrix prod­ucts

σX1,2× iσX1X2=(i0000−10−10)=−σ′1,\sigma X_{1,2} \times \ i\sigma X_{1}X_{2} = \begin{pmatrix} i & 0 & 0 \\ 0 & 0 & - 1 \\ 0 & - 1 & 0 \end{pmatrix} = - {\sigma'}_{1},
iσX1X2×σX1,2=(i0000i0−i0)=−σ′2,i\sigma X_{1}X_{2} \times \sigma X_{1,2} = \begin{pmatrix} i & 0 & 0 \\ 0 & 0 & i \\ 0 & - i & 0 \end{pmatrix} = - {\sigma'}_{2},
(iσX1X2)2=(−1000−10001)=−σ′3,\begin{array}{r} \left( i\sigma X_{1}X_{2} \right)^{2} = \begin{pmatrix} - 1 & 0 & 0 \\ 0 & - 1 & 0 \\ 0 & 0 & 1 \end{pmatrix} = - {\sigma^{'}}_{3}, \end{array}
(1.4.174)

whose re­sults are con­sis­tent in form to the neg­a­tive Pauli ma­tri­ces, dif­fer­ing only in the a1,1a_{1,1} matrix en­tries. Other matrix forms may act as gen­er­a­tors for the Pauli ma­tri­ces, which can have cone num­bered de­ter­mi­nants

σX1,2=((−1)14000010i0),   iσX1X2=((−1)140001000−i).\begin{array}{r} \sigma X_{1,2} = \begin{pmatrix} ( - 1)^{\frac{1}{4}} & 0 & 0 \\ 0 & 0 & 1 \\ 0 & i & 0 \end{pmatrix},\ \ \ i\sigma X_{1}X_{2} = \begin{pmatrix} ( - 1)^{\frac{1}{4}} & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & - i \end{pmatrix}. \end{array}
(1.4.175)

These yield the orig­i­nal Pauli ma­tri­ces, with the ad­di­tion­al en­tries a1,1=ia_{1,1} = i, by way of the prod­ucts

σX1,2× iσX1X2=(i0000−i0i0)=σ′2,\sigma X_{1,2} \times \ i\sigma X_{1}X_{2} = \begin{pmatrix} i & 0 & 0 \\ 0 & 0 & - i \\ 0 & i & 0 \end{pmatrix} = {\sigma'}_{2},
iσX1X2×σX1,2=(i00001010)=σ′1,i\sigma X_{1}X_{2} \times \sigma X_{1,2} = \begin{pmatrix} i & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 1 & 0 \end{pmatrix} = {\sigma'}_{1},
(iσX1X2)2=(i0001000−1)=σ′3.\begin{array}{r} \left( i\sigma X_{1}X_{2} \right)^{2} = \begin{pmatrix} i & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & - 1 \end{pmatrix} = {\sigma^{'}}_{3}. \end{array}
(1.4.176)

With an imag­i­nary-valued a1,1a_{1,1} entry, we find two real-valued eigen­val­ues of ±1\pm 1 for the 2nd and 3rd columns of σi′\sigma_{i}^{'}, with the third eigen­val­ue ii, for the 1st columns of σi′\sigma_{i}^{'}.