Skip to main content
Mathematics LibreTexts

2.4: The Pauli Algebra

  • Page ID
    41000
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    2.4.1 Introduction

    Let us consider the set of all \(2 \times 2\) matrices with complex elements. The usual definitions of ma­trix addition and scalar multiplication by complex numbers establish this set as a four-dimensional vector space over the field of complex numbers \(\mathcal{V}(4,C)\). With ordinary matrix multiplication, the vector space becomes, what is called an algebra, in the technical sense explained at the end of Section 1.3. The nature of matrix multiplication ensures that this algebra, to be denoted \(\mathcal{A}_{2}\), is as­sociative and noncommutative, properties which are in line with the group-theoretical applications we have in mind.

    The name “Pauli algebra” stems, of course, from the fact that \(\mathcal{A}_{2}\) was first introduced into physics by Pauli, to fit the electron spin into the formalism of quantum mechanics. Since that time the application of this technique has spread into most branches of physics.

    From the point of view of mathematics, \(\mathcal{A}_{2}\) is merely a special case of the algebra \(\mathcal{A}_{n}\) of \(n \times n\) matrices, whereby the latter are interpreted as transformations over a vector space \(\mathcal{V}(n^{2}, C)\). Their reduction to canonical forms is a beautiful part of modern linear algebra.

    Whereas the mathematicians do not give special attention to the case \(n = 2\), the physicists, dealing with four-dimensional space-time, have every reason to do so, and it turns out to be most rewarding to develop procedures and proofs for the special case rather than refer to the general mathematical theorems. The technique for such a program has been developed some years ago .

    The resulting formalism is closely related to the algebra of complex quaternions, and has been called accordingly a system of hypercomplex numbers. The study of the latter goes back to Hamil­ton, but the idea has been considerably developed in recent years. The suggestion that matrices (1) are to be considered symbolically as generalizations of complex numbers which still retain “number-like” properties, is appealing, and we shall make occasional use of it. Yet it seems con­ fining to make this into the central guiding principle. The use of matrices harmonizes better with the usual practice of physics and mathematics.

    In the forthcoming systematic development of this program we shall evidently cover much ground that is well known, although some of the proofs and concepts of Whitney and Tisza do not seem to be used elsewhere. However, the main distinctive feature of the present approach is that we do not apply the formalism to physical theories assumed to be given, but develop the geometrical, kinematic and dynamic applications in close parallel with the building up of the formalism.

    Since our discussion is meant to be self-contained and economical, we use references only spar­ingly. However, at a later stage we shall state whatever is necessary to ease the reading of the literature.

    2.4.2 Basic Definitions and Procedures

    We consider the set \(\mathcal{A}_{2}\) of all \(2 \times 2\) complex matrices

    \[\begin{array}{c} {A = \begin{pmatrix} {a_{11}}&{a_{12}}\\ {a_{21}}&{a_{22}} \end{pmatrix}} \end{array} \label{EQ3.4.1}\]

    Although one can generate \(\mathcal{A}_{2}\) from the basis

    \[\begin{array}{c} {e_{1} = \begin{pmatrix} {1}&{0}\\ {0}&{0} \end{pmatrix}} \end{array}\]

    \[\begin{array}{c} {e_{2} = \begin{pmatrix} {0}&{1}\\ {0}&{0} \end{pmatrix}} \end{array}\]

    \[\begin{array}{c} {e_{3} = \begin{pmatrix} {0}&{0}\\ {1}&{0} \end{pmatrix}} \end{array}\]

    \[\begin{array}{c} {e_{4} = \begin{pmatrix} {0}&{0}\\ {0}&{1} \end{pmatrix}} \end{array}\]

    in which case the matrix elements are the expansion coefficients, it is often more convenient to generate it from a basis formed by the Pauli matrices augmented by the unit matrix.

    Accordingly \(\mathcal{A}_{2}\) is called the Pauli algebra. The basis matrices are

    \[\begin{array}{c} {\sigma_{0} = I = \begin{pmatrix} {1}&{0}\\ {0}&{1} \end{pmatrix}} \end{array}\]

    \[\begin{array}{c} {\sigma_{1} = \begin{pmatrix} {0}&{1}\\ {1}&{0} \end{pmatrix}} \end{array}\]

    \[\begin{array}{c} {\sigma_{2} = \begin{pmatrix} {0}&{-i}\\ {i}&{0} \end{pmatrix}} \end{array}\]

    \[\begin{array}{c} {\sigma_{3} = \begin{pmatrix} {1}&{0}\\ {0}&{-1} \end{pmatrix}} \end{array}\]

    The three Pauli matrices satisfy the well known multiplication rules

    \[\begin{array}{cc} {\sigma_{j}^2 = 1}&{j = 1,2,3} \end{array}\]

    \[\begin{array}{cc} {\sigma_{j} \sigma_{k} = - \sigma_{k} \sigma_{j} = i \sigma_{l}}&{j k l = 1 2 3 \text{or an even permutation thereof}} \end{array} \label{EQ2.4.11}\]

    All of the basis matrices are Hermitian, or self-adjoint:

    \[\begin{array}{cc} {\sigma_{\mu}^{\dagger} = \sigma_{\mu}}&{\mu = 0,1,2,3} \end{array}\]

    (By convention, Roman and Greek indices will run from one to three and from zero to three, respectively.)

    We shall represent the matrix A of Equation \ref{EQ2.4.1} as a linear combination of the basis matrices with the coefficient of \(\sigma_{\mu}\) denoted by \(a_{\mu}\). We shall refer to the numbers \(a_{\mu}\) as the components of the matrix A. As can be inferred from the multiplication rules, are obtained from matrix elements by means of the relation Equation \ref{EQ2.4.11}, matrix components

    \[\begin{array}{c} {a_{\mu} = \frac{1}{2}Tr(A \sigma_{\mu})} \end{array}\]

    where Tr stands for trace. In detail,

    \[\begin{array}{c} {a_{0} = \frac{1}{2}(a_{11}+a_{22})} \end{array}\]

    \[\begin{array}{c} {a_{1} = \frac{1}{2}(a_{12}+a_{21})} \end{array}\]

    \[\begin{array}{c} {a_{2} = \frac{1}{2}(a_{12}-a_{21})} \end{array}\]

    \[\begin{array}{c} {a_{3} = \frac{1}{2}(a_{11}-a_{22})} \end{array}\]

    In practical applications we shall often see that a matrix is best represented in one context by its components, but in another by its elements. It is convenient to have full flexibility to choose at will between the two. A set of four components \(a_{\mu}\), denoted by \(\{a_{\mu}\}\), will often be broken into a complex scalar a0 and a complex “vector” \(\{a_{1}, a_{2}, a_{3}\} = \vec{a}\). Similarly, the basis matrices of \(\mathcal{A}_{2}\) will be denoted by \(\sigma_{0} = 1\) and \(\{\sigma_{1}, \sigma_{2}, \sigma_{3}\} = \vec{\sigma}\). With this notation,

    \[\begin{array}{c} {A = \sum a_{\mu} \sigma_{\mu} = a_{0}1+\vec{a} \cdot \vec{\sigma}} \end{array}\]

    \[\begin{array}{c} {= \begin{pmatrix} {a_{0}+a_{3}}&{a_{1}-ia_{2}}\\ {a_{1}+ia_{2}}&{a_{0}-a_{3}} \end{pmatrix}} \end{array}\]

    We associate with .each matrix the half trace and the determinant

    \[\begin{array}{c} {\frac{1}{2} Tr A = a_{0}} \end{array}\]

    \[\begin{array}{c} {|A| = a_{0}^{2}-\vec{a}^{2}} \end{array}\]

    The extent to which these numbers specify the properties of the matrix A, will be apparent from the discussion of their invariance properties in the next two subsections. The positive square root of the determinant is in a way the norm of the matrix. Its nonvanishing: \(|A| \ne 0\), is the criterion for A to be invertible.

    Such matrices can be normalized to become unimodular:

    \[\begin{array}{c} {A \rightarrow |A|^{-1/2}A} \end{array}\]

    The case of singular matrices

    \[\begin{array}{c} {|A| = a_{0}^{2}-\vec{a}^{2} = 0} \end{array}\]

    calls for comment. We call matrices for which \(|A| = 0\), but \(A \ne 0\), null-matrices. Because of their occurrence, \(\mathcal{A}_{2}\) is not a division algebra. This is in contrast, say, with the set of real quaternions which is a division algebra, since the norm vanishes only for the vanishing quaternion.

    The fact that null-matrices are important,stems partly from the indefinite Minkowski metric. How­ ever, entirely different applications will be considered later.

    We list now some practical rules for operations in \(\mathcal{A}_{2}\), presenting them in terms of matrix compo­nents rather than the more familiar matrix elements.

    To perform matrix multiplications we shall make use of a formula implied by the multiplication rules, Equantion \ref{EQ3.4.11}:

    \[\begin{array}{c} {(\vec{a} \cdot \vec{\sigma})(\vec{b} \cdot \vec{\sigma}) = \vec{a} \cdot \vec{b}I + i(\vec{a} \times \vec{b}) \cdot \sigma} \end{array}\]

    where \(\vec{a}\) and \(\vec{b}\) are complex vectors.

    Evidently, for any two matrices A and B

    \[\begin{array}{c} {[A,B] = AB-BA = 2i(\vec{a} \times \vec{b}) \cdot \sigma} \end{array}\]

    The matrices A and B commute, if and only if

    \[\begin{array}{c} {\vec{a} \times \vec{b} = 0} \end{array} \label{EQ2.4.26}\]

    that is, if the vector parts \(\vec{a}\) and \(\vec{b}\) are “parallel” or at least one of them vanishes

    In addition to the internal operations of addition and multiplication, there are external operations on \(\mathcal{A}_{2}\) as a whole, which are analogous to complex conjugation. The latter operation is an involution, which means that \((z^{*})^{*} = z\). Of the three involutions any two can be considered independent.

    In \(\mathcal{A}_{2}\) we have two independent involutions which can be applied jointly to yield a third:

    \[\begin{array}{c} {A \rightarrow A = a_{0}I+\vec{a} \cdot \vec{\sigma}} \end{array}\]

    \[\begin{array}{c} {A \rightarrow A^{\dagger} = a_{0}^{*}I+\vec{a}^{*} \cdot \vec{\sigma}} \end{array}\]

    \[\begin{array}{c} {A \rightarrow \tilde{A} = a_{0}I-\vec{a} \cdot \vec{\sigma}} \end{array}\]

    \[\begin{array}{c} {A \rightarrow \tilde{A}^{\dagger} = \bar{A} = a_{0}^{*}I+\vec{a}^{*} \cdot \vec{\sigma}} \end{array}\]

    The matrix \(A^{\dagger}\) is the Hermitian adjoint of A. Unfortunately, there is neither an agreed symbol, nor a term for \(\tilde{A}\). Whitney called it Pauli conjugate, other terms are quaternionic conjugate or hyper-conjugate \(A^{\ddagger}\) (see Edwards, l.c.). Finally \(\bar{A}\) is called complex reflection. It is easy to verify the rules

    \[\begin{array}{c} {(AB)^{\dagger} = B^{\dagger}A^{\dagger}} \end{array}\]

    \[\begin{array}{c} {(\tilde{AB}) = \tilde{B}\tilde{A}} \end{array}\]

    \[\begin{array}{c} {(\bar{AB}) = \bar{B}\bar{A}} \end{array} \label{EQ2.4.33}\]

    According to Equantion \ref{EQ2.4.33} the operation of complex reflection maintains the product relation in \(\mathcal{A}_{2}\), it is an automorphism. In contrast, the Hermitian and Pauli conjugations are anti-automorphic.

    It is noteworthy that the three operations \(\tilde{}, \dagger, \bar{}\), together with the identity operator, form a group (the four-group, “Vierergruppe”). This is a mark of closure: we presumably left out no important operator on the algebra.

    In various contexts any of the three conjugations appears as a generalization of ordinary complex conjugations

    Here are a few applications of the conjugation rules.

    \[\begin{array}{c} {A\tilde{A} = (a_{0}^{2}-\vec{a}^{2})1 = |A|1} \end{array}\]

    For invertible matrices

    \[\begin{array}{c} {A^{-1} = \frac{\tilde{A}}{|A|}} \end{array}\]

    For unimodular matrices we have the useful rule:

    \[\begin{array}{c} {A^{-1} = \tilde{A}} \end{array} \label{EQ2.4.36}\]

    A Hermitian marrix \(A = A^{\dagger}\) has real components \(h_{0}, \hat{h}\). We define a matrix to be positive if it is Hermitian and has a positive trace and determinant:

    \[\begin{array}{cc} {h_{0} > 0}&{|H| = (h_{0}^{2}-\vec{h}^2) > 0} \end{array}\]

    If H is positive and unimodular, it can be parametrized as

    \[\begin{array}{c} {H = \cosh(\mu/2)1 + \sinh(\mu/2) \hat{h} \cdot \vec{\sigma} = \exp \{(\mu/2)h \cdot \vec{\sigma}\}} \end{array} \label{EQ2.4.38}\]

    The matrix exponential is defined by a power series that reduces to the trigonometric expression. The factor 1/2 appears only for convenience in the next subsection.

    In the Pauli algebra, the usual definition \(U^{\dagger} = U^{-1}\) for a unitary matrix takes the form

    \[\begin{array}{c} {u_{0}^{*}1+\vec{u}^{*} \cdot \vec{\sigma} = |\vec{U}|^{-1}(u_{0}1-\vec{u} \cdot \vec{\sigma})} \end{array}\]

    If U is also unimodular, then

    \[\begin{array}{c} {u_{0} = u_{0}^{*} = \text{real}} \end{array}\]

    \[\begin{array}{c} {\vec{u} = \vec{u} = \text{imaginary}} \end{array}\]

    and

    \[\begin{array}{c} {u_{0}^{2}-\vec{u} \cdot \vec{u} = u_{0}^{2}+\vec{u} \cdot \vec{u}^{*} = 1}\\ {U = \cos(\phi/2)1 − i \sin(\phi/2)\hat{u} \cdot \vec{\sigma} = \exp (-i(\phi/2)\hat{u} \cdot \vec{\sigma})} \end{array} \label{EQ2.4.42}\]

    A unitary unimodular matrix can be represented also in terms of elements

    \[\begin{array}{c} {\begin{pmatrix} {\xi_{0}}&{-\xi_{1}^{*}}\\ {\xi_{1}}&{\xi_{0}^{*}} \end{pmatrix}} \end{array}\]

    with

    \[\begin{array}{c} {|\xi_{0}|^2+|\xi_{1}|^2 = 1} \end{array}\]

    where \(\xi_{0}, \xi_{1}\), are the so-called Cayley-Klein parameters. We shall see that both this form, and the axis-angle representation, Equation \ref{EQ2.4.42}, are useful in the proper context.
    We turn now to the category of normal matrices N defined by the condition that they commute with their Hermitian adjoint: \(N^{\dagger}N = NN^{\dagger}\). Invoking the condition, Equation \ref{EQ2.4.26}, we have

    \[\begin{array}{c} {\vec{n} \times \vec{n}^{*} = 0} \end{array}\]

    implying that \(n^{∗}\) is proportional to n, that is all the components of \(\vec{n}\) must have the same phase. Normal matrices are thus of the form

    \[\begin{array}{c} {N = n_{0}1+n \hat{n} \cdot \vec{\sigma}} \end{array}\]

    where \(n_{0}\) and n are complex constants and hatn is a real unit vector, which we call the axis of N. In particular, any unimodular normal matrix can be expressed as

    \[\begin{array}{c} {N = \cos(\kappa/2)1 + \sinh(\kappa/2)\hat{n} \cdot \vec{\sigma} = \exp ((\kappa/2)\hat{n} \cdot \vec{\sigma})} \end{array}\]

    where \(k = \mu-i \phi, -\infty < \mu < \infty, 0 ≤ \phi < 4\pi\), and \(\hat{n}\) is a real unit vector. If \(\hat{n}\) points in the “3” direction, we have

    \[\begin{array}{c} {N_{0} = \exp ((\kappa/2) \sigma_{3}) = \begin{pmatrix} {\exp(\kappa/2)}&{0}\\ {0}&{\exp(-\kappa/2)} \end{pmatrix}} \end{array} \label{EQ3.4.48}\]

    Thus the matrix exponentials, Equations \ref{EQ2.4.38}, \ref{EQ2.4.42} and \ref{EQ2.4.48}, are generalizations of a diagonal matrix and the latter is distinguished by the requirement that the axis points in the z direction.

    Clearly the normal matrix, Equation \ref{EQ2.4.48}, is a commuting product of a positive matrix like Equa­tion \ref{EQ2.4.38} with \(\hat{h} = \hat{n}\) and a unitary matrix like Equation \ref{EQ2.4.42}, with \(\hat{u} = \hat{n}\):

    \[\begin{array}{c} {N = HU = UH} \end{array} \label{EQ2.4.49}\]

    The expressions in Equation \ref{EQ2.4.49} are called the polar forms of N, the name being chosen to suggest that the representation of N by H and U is analogous to the representation of a complex number z by a positive number r and a phase factor:

    \[\begin{array}{c} {z = r \exp(−i\phi/2)} \end{array}\]

    We shall show that, more generally, any invertible matrix has two unique polar forms

    \[\begin{array}{c} {A = HU = UH'} \end{array} \label{EQ2.4.51}\]

    but only the polar forms of normal matrices display the following equivalent special features:

    1. H and U commute
    2. \(\hat{h} = \hat{u} = \hat{n}\)
    3. \(H' = H\)

    We see from the polar decomposition theorem that our emphasis on positive and unitary matrices is justified, since all matrices of \(\mathcal{A}_{2}\) can be produced from such factors. We proceed now to prove the theorem expressed in Equation \ref{EQ2.4.51} by means of an explicit construction.

    First we form the matrix \(AA^{\dagger}\), which is positive by the criteria \ref{EQ2.4.36}:

    \[\begin{array}{c} {a_{0}a_{0}^{*} +\vec{a} \cdot \vec{a}^{*} > 0} \end{array}\]

    \[\begin{array}{c} {|A||A^{\dagger}| > 0} \end{array}\]

    Let \(AA^{\dagger}\) be expressed in terms of an axis \(\hat{h}\) and the hyperbolic angle \(\mu\):

    \[\begin{array}{c} {AA^{\dagger} = b(\cosh \mu 1+\sinh \mu \hat{h} \cdot \hat{\sigma})}\\ {b \exp(\mu \hat{h} \cdot \hat{\sigma})} \end{array} \label{EQ2.4.54}\]

    where b is a positive constant. We claim that the Hermitian component of A is the positive square root of \ref{EQ2.4.54}

    \[\begin{array}{c} {H = (AA^{\dagger})^{1/2} = b^{1/2} \exp(\frac{\mu}{2} \hat{h} \cdot \hat{\sigma})} \end{array} \label{EQ2.4.55}\]

    with

    \[\begin{array}{cc} {U = H^{-1}A}&{A = HU} \end{array} \label{EQ2.4.56}\]

    That U is indeed unitary is easily verified:

    \[\begin{array}{cc} {U^{\dagger} = A^{\dagger}H^{-1}}&{U^{-1} = A^{-1}H} \end{array}\]

    and these expressions are equal by Equation \ref{EQ3.4.55}. From Equation \ref{EQ2.4.56} we get

    \(A = U(U^{-1}HU)\)

    and

    \[\begin{array}{ccc} {A =UH'}&{\text{with}}&{H' = U^{-1}HU} \end{array} \label{EQ2.4.58}\]

    It remains to be shown that the polar forms \ref{EQ2.4.56} are unique. Suppose indeed, that for a particular A we have two factorizations

    \[\begin{array}{c} {A = HU = H_{1}U_{1}} \end{array}\]

    then

    \[\begin{array}{c} {AA^{\dagger} = H^2 = H_{1}^{2}} \end{array}\]

    But, since \(AA^{\dagger}\) has a unique positive square root, \(H_{1} = H\), and

    \[\begin{array}{cc} {U = H_{1}^{-1}A = H^{-1}A = U}&{q.e.d} \end{array}\]

    Polar forms are well known to exist for any \(n \times n\) matrix, although proofs of uniqueness are generally formulated for abstract transformations rather than for matrices, and require that the transformations be invertable.

    2.4.3 The restricted Lorentz group

    Having completed the classification of the matrices of \(\mathcal{A}_{2}\), we are ready to interpret them as opera­ tors and establish a connection with the Lorentz group. The straightforward procedure would be to introduce a 2-dimensional complex vector space \(\mathcal{V}(\in, C)\). By using the familiar braket formalism we write

    \[\begin{array}{c} {A|\xi \rangle = |\xi' \rangle} \end{array} \label{EQ3.4.62}\]

    \[\begin{array}{c} {A^{\dagger} \langle \xi| = \langle \xi' |} \end{array}\]

    The two-component complex vectors are commonly called spinors. We shall study their properties in detail in Section 5. The reason for this delay is that the physical interpretation of spinors is a subtle problem with many ramifications. One is well advised to consider at first situations in which the object to be operated upon can be represented by a \(2 \times 2\) matrix.

    The obvious choice is to consider Hermitian matrices, the components of which are interpreted as relativistic four-vectors. The connection between four-vectors and matrices is so close that it is often convenient to use the same symbol for both:

    \[\begin{array}{c} {A = a_{0}1+\vec{a} \cdot \vec{\sigma}} \end{array}\]

    \[\begin{array}{c} {A = \{a_{0}, \vec{a}\}} \end{array}\]

    We have

    \[\begin{array}{c} {a_{0}^{2}-\vec{a}^{2} = |A| = Tr(A\bar{A})} \end{array}\]

    or more generally

    \[\begin{array}{c} {a_{0}b_{0}-\vec{a}\vec{b} = Tr(A\bar{B})} \end{array} \label{EQ2.4.66}\]

    A Lorentz transformation is defined as a linear transformation

    \[\begin{array}{c} {\{a_{0}, \vec{a}\} = \mathcal{L} \{a'_{0}, \vec{a}'\}} \end{array} \label{EQ2.4.67}\]

    that leaves the expression \ref{EQ2.4.67} and hence also \ref{EQ2.4.66} invariant. We require moreover that the sign of the “time component” a0 be invariant (orthochronic Lorentz transformation \(L^{\uparrow}\)), and that the determinant of the \(4 \times 4\) matrix L be positive (proper Lorentz transformation \(L_{+}\)). If both \(\uparrow\) conditions are satisfied, we speak of the restricted Lorentz group \(L_{+}^{\uparrow}\). This is the only one to be of current interest for us, and until further notice “Lorentz group” is to be interpreted in this restricted sense.

    Note that A can be interpreted as any of the four-vectors discussed in Section 3.2: \(R = \{r, \vec{r}\}\),

    \[\begin{array}{cc} {K = \{k_{0}, \vec{k}\}}&{P = \{p_{0}, \vec{p}\}} \end{array}\]

    Although these vectors and their matrix equivalents have identical transformation properties, they differ in the possible range of their determinants. A negative \(|P|\) can arise only for an unphysical imaginary rest mass. By contrast, a positive R corresponds to a time-like displacement pointing toward the future, an R with a negative \(|R|\) to a space-like displacement and \(|R| = 0\) is associated with the light cone. For the wave vector we have by definition \(|K| = 0\).

    To describe a Lorentz transformation in the Pauli algebra we try the “ansatz”

    \[\begin{array}{c} {A' = VAW} \end{array}\]

    with \(|V| = |W| = 1\) in order to preserve \(|A|\). Reality of the vector, i.e., hermiticity of the matrix A is preserved if the additional condition \(W = V^{\dagger}\) is satisfied. Thus the transformation

    \[\begin{array}{c} {A' = VAV^{\dagger}} \end{array} \label{EQ2.4.72}\]

    leaves expression \ref{EQ2.4.66} invariant. It is easy to show that \ref{EQ2.4.67} is invariant as well.

    The complex reflection A transforms as

    \[\begin{array}{c} {\bar{A}' = \bar{V}\bar{A}\tilde{V}} \end{array} \label{EQ2.4.73}\]

    and the product of two four-vectors:

    \[\begin{array}{cc} {(A\bar{B})' = VAV^{\dagger}\bar{V}\bar{B}\tilde{V}}\\ {= V(A\bar{B})V^{-1}} \end{array}\]

    This is a so-called similarity transformation. By taking the trace of Equation \ref{EQ2.4.73} we confirm that the inner product \ref{EQ2.4.67} is invariant under \ref{EQ2.4.72}. We have to remember that a cyclic permutation does not affect the trace of a product of matrices. Thus Equation \ref{EQ2.4.72} indeed induces a Lorentz transformation in the four-vector space of A.

    It is well known that the converse statement is also true: to every transformation of the restricted Lorentz group \(L_{+}^{\uparrow}\) there are associated two matrices differing-only by sign (their parameters \(\phi\) differ by \(2 \pi\)) in such a fashion as to constitute a two-to-one homomorphism between the group of unimodular matrices \(\mathcal{SL}(2, C)\) and the group \(L_{+}^{\uparrow}\). It is said also that \(\mathcal{SL}(2, C)\) provides a two-valued representation of \(L_{+}^{\uparrow}\). We shall prove this statement by demonstrating explicitly the connection between the matrices V and the induced, or associated group operations.

    We note first that A and \(\bar{A}\) correspond in the tensor language to the contravariant and the covariant representation of a vector. We illustrate the use of the formalism by giving an explicit form for the inverse of \ref{EQ2.4.72}

    \[\begin{array}{c} {A = V^{-1}A'V^{\dagger -1} \equiv \tilde{V}A'\bar{V}} \end{array}\]

    We invoke the polar decomposition theorem Equation \ref{EQ2.4.49} of Section 2.4.2 and note that it is sufficient to establish this connection for unitary and positive matrices respectively.

    Consider at first

    \[\begin{array}{c} {A' = UAU^{\dagger} \equiv UAU^{-1}} \end{array} \label{EQ2.4.75}\]

    with

    \(U (\hat{u}, \frac{\phi}{2}) \equiv \exp(-\frac{i \phi}{2} \hat{u} \cdot \vec{\sigma})\)

    \[\begin{array}{cc} {u_{1}^{2}+u_{2}^{2}+u_{3}^{2} = 1}&{0 < \phi < 4\pi} \end{array} \label{EQ2.4.76}\]

    The set of all unitary unimodular matrices described by Equation \ref{EQ2.4.76} form a group that is commonly called \(\mathcal{SU}(2)\).

    Let us decompose \(\vec{a}\):

    \[\begin{array}{c} {\vec{a} = \vec{a}_{\parallel} +\vec{a}_{\perp}} \end{array}\]

    \[\begin{array}{cc} {\vec{a}_{\parallel} =(\vec{a} \cdot \hat{u}) \hat{u}}&{\vec{a}_{\perp} = \vec{a}-\vec{a}_{\parallel} = \hat{u} \times (\vec{a} \times \hat{u})} \end{array}\]

    It is easy to see that Equation \ref{EQ2.4.75} leaves \(a_{0}\) and \(a_{\parallel}\) invariant and induces a rotation around \(\hat{u}\) by an angle \(\phi: R \{\hat{u}, \phi\}\).

    Conversely, to every rotation \(R \{\hat{u}, \phi\}\) there correspond two matrices:

    \[\begin{array}{ccc} {U(\hat{u}, \phi)}&{\text{and}}&{U(\hat{u}, \phi+2\pi) = -U(\hat{u}, \phi)} \end{array}\]

    We have \(1 \rightarrow 2\) homomorphism between \(\mathcal{SO}(3)\) and \(\mathcal{SU}(2)\), the latter is said to be a two-valued representation of the former. By establishing this correspondence we have solved the problem of parametrization formulated on page 13. The nine parameters of the orthogonal \(3 \times 3\) matrices are reduced to the three independent ones of \(U(\hat{u}, \frac{\phi}{2})\). Moreover we have the simple result

    \[\begin{array}{c} {U^{n} = \exp(\frac{in \phi}{2} \hat{u} \cdot \vec{\sigma})} \end{array}\]

    which reduces to the de Moivre theorem if \(\hat{n} \cdot \vec{\sigma} = \sigma_{3}\).

    Some comment is in order concerning the two-valuedness of the \(\mathcal{SU}(2)\) representation. This comes about because of the use of half angles in the algebraic formalism which is deeply rooted in the geometrical structure of the rotation group. (See the Rodrigues-Hamilton theorem in Section 2.2.)

    Whereas the two-valuedness of the \(\mathcal{SU}(2)\) representation does not affect the transformation of the

    A vector based on the bilateral expression \ref{EQ2.4.75}, the situation will be seen to be different in the spinorial theory based on Equation \ref{EQ2.4.62}, since under certain conditions the sign of the spinor \(|\xi \rangle\) is physically meaningful.

    The above discussion of the rotation group is incomplete even within the classical theory. The rotation \(R \{\hat{u}, \frac{\phi}{2}\}\) leaves vectors along \(\hat{u}\) unaffected. A more appropriate object to be rotated is the Cartesian triad, to be discussed in Section 5.

    We consider now the case of a positive matrix \(V = H\)

    \[\begin{array}{c} {A' = HAH} \end{array}\]

    with

    \[\begin{array}{c} {H = \exp(\frac{\mu}{2} \hat{h} \cdot \sigma)} \end{array}\]

    \[\begin{array}{cc} {h_{1}^{2}+h_{2}^{2}+h_{3}^{2} = 1}&{-\infty < \mu < \infty} \end{array}\]

    We decompose \(\vec{a}\) as

    \[\begin{array}{c} {\vec{a} = a \hat{h}+\vec{a}_{\perp}} \end{array}\]

    and using the fact that \((\vec{a} \cdot \vec{\sigma})\) and \((\vec{b} \cdot \vec{\sigma})\) commute for \(\vec{a} \parallel \vec{b}\) and anticommute for \(\vec{a} \perp \vec{b}\), we obtain

    \[\begin{array}{c} {A' = \exp(\frac{\mu}{2} \hat{h} \cdot \sigma)(a_{0}1+a \hat{h} \cdot \sigma+\vec{a}_{\perp} \cdot \sigma) \exp(\frac{\mu}{2} \hat{h} \cdot \sigma)} \end{array}\]

    \[\begin{array}{c} {= \exp(\mu \hat{h} \cdot \sigma)(a_{0}1+a \hat{h} \cdot \sigma)+\vec{a}_{\perp} \cdot \sigma} \end{array}\]

    Hence

    \[\begin{array}{c} {a'_{0} = \cosh \mu a_{0}+ \sinh \mu a} \end{array}\]

    \[\begin{array}{c} {a' = \sinh \mu a_{0}+ \cosh \mu a_{0}} \end{array}\]

    \[\begin{array}{c} {\vec{a}'_{\perp} = \vec{a}_{\perp}} \end{array}\]

    This is to be compared with Table 2.1, but remember that we have shifted from the passive to the active interpretation, from alias to alibi.

    Positive matrices with a common axis form a group (Wigner’s “little group”), but in general the product of Hermitian matrices with different axes are not Hermitian. There arises a unitary factor, which is the mathematical basis for the famous Thomas precession.

    Let us consider now a normal matrix

    \[\begin{array}{c} {V = N = H(\hat{k}, \frac{\mu}{2})U(\hat{k}, \frac{\phi}{2}) = \exp(\frac{\mu-i \phi}{2} \hat{n} \cdot \sigma)} \end{array}\]

    where we have the commuting product of a rotation and a Lorentz transformation with the same axis \(\hat{n}\). Such a constellation is called a Lorentz 4-screw

    An arbitrary sequence of pure Lorentz transformations and pure rotations is associated with a pair of matrices V and \(-V\), which in the general case is of the form

    \[\begin{array}{c} {H(\hat{h}, \frac{\mu}{2})U(\hat{\mu}, \frac{\phi}{2}) = U(\hat{\mu}, \frac{\mu}{2})H'(\hat{h}', \frac{\phi}{2})} \end{array}\]

    According to Equation \ref{EQ2.4.58} of Section 2.4.2, H and H' are connected by a similarity transfor­ mation, which does not affect the angle \(\mu\), but only the axis of the transformation. (See the next section.)

    This matrix depends on the 6 parameters, \(\hat{h}, \mu, \hat{u}, \phi\), and thus we have solved the general problem of parametrization mentioned above.

    For a normal matrix \(\hat{h} = \hat{u} = \hat{n}\) and the number of parameters is reduced to 4.

    Our formalism enables us to give a closed form for two arbitrary normal matrices and the corre­sponding 4-screws.

    \[\begin{array}{c} {[N, N'] = 2i \sinh \frac{\kappa}{2} \sinh \frac{\kappa}{2} (\hat{n} \times \hat{n}') \cdot \vec{\sigma}} \end{array}\]

    where \(\kappa = \mu-i \phi, \kappa' = \mu'-i \phi\).

    In the literature the commutation relations are usually given in terms of infinitesimal operators which are defined as follows:

    \[\begin{array}{c} {U(\hat{u}_{k}, \frac{d \phi}{2}) = 1-d \phi \sigma_{k} = 1+d \phi I_{k}} \end{array}\]

    \[\begin{array}{c} {I_{k} = -\frac{i}{2} \sigma_{k}} \end{array}\]

    \[\begin{array}{c} {H(\hat{h}_{k}, \frac{d \mu}{2}) = 1+\frac{d \mu}{2} \sigma_{k} = 1+d \mu L_{k}} \end{array}\]

    \[\begin{array}{c} {L_{k} = \frac{1}{2} \sigma_{k}} \end{array}\]

    The commutation relations are

    \[\begin{array}{c} {[I_{1},I_{2}] = I_{3}} \end{array}\]

    \[\begin{array}{c} {[L_{1},L_{2}] = -I_{3}} \end{array}\]

    \[\begin{array}{c} {[L_{1},I_{2}] = L_{3}} \end{array}\]

    and cyclic permutations.

    It is a well known result of the Lie-Cartan theory of continuous group that these infinitesimal-generators determine the entire group. Since we have represented these generators in \(\mathcal{SL}(2,C)\), we have completed the demonstration that the entire group \(L_{+}^{\uparrow}\) is accounted for in our formalism.

    3.4.4 Similarity classes and canonical forms of active transformations

    It is evident that a Lorentz transformation induced by a matrix \(H(\hat{h}, \frac{\mu}{2})\) assumes a particularly simple form if the z-axis of the coordinate system is placed in the direction of \(\hat{h}\). The diagonal matrix \(H(\hat{z}, \frac{\mu}{2})\) is said to be the canonical form of the transformation. This statement is a special case of the problem of canonical forms of linear transformations, an important chapter in linear algebra.

    Let us consider a linear mapping in a vector space. A particular choice of basis leads to a matrix representation of the mapping, and representations associated with different frames are connected by similarity transformations. Let \(A_{1}\), be an arbitrary and S an invertible matrix. A similarity transformation is effected on A, by

    \[\begin{array}{c} {A_{2} = SA_{1}S^{-1}} \end{array} \label{EQ2.4.100}\]

    Matrices related by similarity transformation are called similar, and matrices similar to each other constitute a similarity class.

    In usual practice the mapping-refers to a vector space as in Equation \ref{EQ2.4.62} of Section 2.4.3:

    \[\begin{array}{c} {A_{1} |\xi \rangle_{1} = | \xi' \rangle_{1}} \end{array} \label{EQ2.4.101}\]

    The subscript refers to the basis “1.” A change of basis \(\sum_{1} \rightarrow \sum_{2}\) is expressed as

    \[\begin{array}{cc} {|\xi \rangle_{2} = S|\xi \rangle_{1}}&{|\xi' \rangle_{2} = S|\xi' \rangle_{1}} \end{array}\]

    Inserting into Equation \ref{EQ2.4.101} we obtain

    \[\begin{array}{c} {A_{1} S^{-1} |\xi \rangle_{2} = S^{-1} | \xi \rangle_{2}} \end{array}\]

    and hence

    \[\begin{array}{c} {A_{2} |\xi \rangle_{2} = | \xi \rangle_{2}} \end{array}\]

    where \(A_{2}\) is indeed given by Equation \ref{EQ2.4.100}

    The procedure we have followed thus far to represent Lorentz transformations in \(A_{2}\) does not quite follow this standard pattern.

    We have been considering mappings of the space of fourvectors which in turn were represented as \(2 \times 2\) complex matrices. Thus both operators and operands are matrices of \(A_{2}\). In spite of this difference in interpretation, the matrix representations in different frames are still related according to Equation \ref{EQ2.4.100}.

    This can be shown as follows. Consider a unimodular matrix A, that induces a Lorentz transfor­mation in P-space, whereby the matrices refer to the basis \(\sum_{1}\):

    \[\begin{array}{c} {P_{1}' = A_{1}P_{1}A_{1}^{\dagger}} \end{array} \label{EQ2.4.105}\]

    We interpret Equation \ref{EQ2.4.105} in the active sense as a linear mapping of P-space on itself that corresponds physically to some dynamic process that alters P in a linear way.

    We shall see in Section 4 that the Lorentz force acting on a charged particle during the time dt can be indeed considered as an active Lorentz transformation. (See also page 26.)

    The process has a physical meaning independent of the frame of the observer, but the matrix representations of \(P, P'\) and of A depend on the frame. The four-momenta in the two frames are connected by a Lorentz transformation interpreted in the passive sense:

    \[\begin{array}{c} {P_{2} = SP_{1}S^{\dagger}} \end{array}\]

    \[\begin{array}{c} {P_{2} = SP_{1}' S^{\dagger}} \end{array}\]

    with \(|S| = 1\). Solving for \(P, P'\) and inserting into Equation \ref{EQ2.4.105}, we obtain

    \[\begin{array}{c} {S^{-1}P_{2}' \tilde{S}^{\dagger} = A_{1}S^{-1} P_{2} \tilde{S}^{\dagger} A_{1}^{\dagger}S} \end{array}\]

    or

    \[\begin{array}{c} {P_{2}' = A_{2}P_{2}A_{1}^{\dagger}} \end{array}\]

    where \(A_{2}\) and \(A_{1}\) are again connected by the similarity transformation \ref{EQ2.4.100}.

    We may apply the polar decomposition theorem to the matrix S. In the special case that S is unitary, we speak of a unitary similarity transformation corresponding to the rotation of the coordinate system discussed at the onset of this section. However, the general case will lead us to less obvious physical applications.

    The above considerations provide sufficient motivation to examine the similarity classes of \(\mathcal{A}_{2}\). We shall see that all of them have physical applications, although the interpretation of singular mappings will be discussed only later.

    The similarity classes can be characterized in several convenient ways. For example, one may use two independent similarity invariants shared by all the matrices \(A = a_{0}l+\vec{a} \cdot \vec{\sigma}\) in the class. We shall find it convenient to choose

    1. the determinant \(|A|\), and
    2. the quantity \(\vec{a}^2\)

    The trace is also a similarity invariant, but it is not independent: \(a_{0}^{2} = |A|+\vec{a}\).

    Alternatively, one can characterize the whole class by one representative member of it, some matrix \(A_{0}\) called the canonical form for the class (See Table 2.2).

    We proceed at first to characterize the similarity classes in terms of the invariants 1 and 2. We recall that a matrix A is invertible if \(|A| \ne 0\) and singular if \(|A| = 0\). Without significant loss of generality, we can normalize the invertible matrices of \(\mathcal{A}_{2}\) to be unimodular, so that we need discuss only classes of singular and of unimodular matrices. As a second invariant to characterize a class, we choose \(\vec{a} \cdot \vec{a}\), and we say that a matrix A is axial if \(\vec{a} \cdot \vec{a} = 0\). In this case, there exists a unit vector \(\hat{a}\) (possibly complex) such that \(\vec{a} = a \cdot \hat{a}\) where a is a complex constant. The unit vector \(\hat{a}\) is called the axis of A. Conversely, the matrix A is non-axial if \(\vec{a} \cdot \vec{a} = 0\), the vector \(\vec{a}\) is called isotropic or a null-vector, it cannot be expressed in terms of an axis.

    The concept of axis as here defined is the generalization of the real axis introduced in connection with normal matrices on page 33. The usefulness of this concept is apparent from the following theorem:

    Theorem 1

    For any two unit vectors \(\hat{v}_{1}\), and \(\hat{v}_{2}\), real or complex, there exists a matrix S such that

    \[\begin{array}{c} {\hat{v}_{2} \cdot \vec{\sigma} = S \hat{v}_{1} \cdot \vec{\sigma} S^1} \end{array}\]

    Proof

    We construct one such matrix S from the following considerations. If \(\hat{v}_{1}\), and \(\hat{v}_{2}\) are real, then let S be the unitary matrix that rotates every vector by an angle π about an axis which bisects the angle between \(\hat{v}_{1}\), and \(\hat{v}_{2}\):

    \[\begin{array}{c} {S = -i \hat{s} \cdot \vec{\sigma}} \end{array} \label{EQ3.4.111}\]

    where

    \[\begin{array}{c} {s = \frac{\hat{v}_{1}+\hat{v}_{2}}{\sqrt{2\hat{v}_{1} \cdot \hat{v}_{2}+2}}} \end{array} \label{EQ3.4.112}\]

    Even if \(\hat{v}_{1}\), and \(\hat{v}_{2}\) are not real, it is easily verified that S as given formally by Equations \ref{EQ3.4.111} and \ref{EQ3.4.112}, does indeed send \(\hat{v}_{1}\) to \(\hat{v}_{2}\). Naturally S is not unique; for instance, any matrix of the

    \[\begin{array}{c} {S = \exp \{(\frac{\mu_{2}}{2}-i \frac{\phi_{2}}{2}) \vec{v}_{2} \cdot \vec{\sigma}\}( -i \hat{s} \cdot \vec{\sigma}) \exp \{(\frac{\mu_{1}}{2}-i \frac{\phi_{1}}{2}) \vec{v}_{1} \cdot \vec{\sigma}\}.} \end{array}\]

    will send \(\hat{v}_{1}\) to \(\hat{v}_{2}\).

    This construction fails only if

    \[\begin{array}{c} {\hat{v}_{1} \cdot \hat{v}_{2}+1 = 0} \end{array}\]

    that is for the transformation \(\hat{v}_{1} \rightarrow -\hat{v}_{2}\) In this trivial case we choose

    \[\begin{array}{cc} {S = -i \hat{s} \cdot \vec{\sigma}}&{\hat{s} \perp \vec{v}_{1}} \end{array}\]

    Since in the Pauli algebra diagonal matrices are characterized by the fact that their axis is \(\hat{x}_{3}\), we have proved the following theorem:

    Theorem 2

    All axial matrices are diagonizable, but normal matrices and only normal matrices are diagonizable by a unitary similarity transformation.

    The diagonal forms are easily ascertained both for singular and the unimodular cases. (See Ta­ble 2.2.) Because of their simplicity they are called also canonical forms. Note that they can be multiplied by any complex number in order to get all of the axial matrices of \(\mathcal{A}_{2}\).

    The situation is now entirely clear: the canonical forms show the nature of the mapping; a unitary similarity transformation merely changes the geometrical orientation of the axis. The angle of circular and hyperbolic rotation specified by \(a_{0}\) is invariant. A general transformation complexifies the axis. This situation comes about if in the polar form of the matrix \(A = HU\), the factors have distinct real axes, and hence do not commute.

    There remains to deal with the case of nonaxial matrices. Consider \(A = \vec{a} \cdot \vec{\sigma}\) with \(\vec{a}^{2} = 0\). Let us decompose the isotropic vector \(\vec{a}\) into real and imaginary parts:

    \[\begin{array}{c} {\vec{a} = \vec{\alpha}+i\beta} \end{array}\]

    Hence \(\vec{\alpha}^{2}-\vec{\beta}^2 = 0\) and \(\alpha \cdot \beta = 0\). Since the real and the imaginary parts of a are perpendicular, we can rotate these directions by a unitary similarity transformation into the x- and y-directions respectively. The transformed matrix is

    \[\begin{array}{c} {\frac{\alpha}{2} (\sigma_{1}+i\sigma_{2}) = \begin{pmatrix} {0}&{\alpha}\\{0}&{0} \end{pmatrix}} \end{array} \label{EQ3.4.117}\]

    with a positive. A further similarity transformation with

    \[\begin{array}{c} {S = \begin{pmatrix} {\alpha^{-1/2}}&{0}\\{0}&{\alpha^{1/2}} \end{pmatrix}} \end{array}\]

    transforms Equation \ref{EQ3.4.117} into the canonical form given in Table 2.2.

    As we have seen in Section 2.4.3 all unimodular matrices induce Lorentz transformations in Minkowski, or four-momentum space. According to the results summarized in Table 2.2, the mappings induced by axial matrices can be brought by similarity transformations into so-called Lorentz four-screws consisting of a circular and hyperbolic rotation around the same axis, or in other words: a rotation around an axis, and a boost along the same axis.

    What about the Lorentz transformation induced by a nonaxial matrix? The nature of these trans­formations is very different from the common case, and constitutes an unusual limiting situation. It is justified to call it an exceptional Lorentz transformation. The special status of these transfor­mations was recognized by Wigner in his fundamental paper on the representations of the Lorentz group .

    The present approach is much more elementary than Wigner’s, both from the point of view of mathematical technique, and also the purpose in mind. Wigner uses the standard algebraic tech­ nique of elementary divisors to establish the canonical Jordan form of matrices. We use, instead a specialized technique adapted to the very simple situation in the Pauli algebra. More important, Wigner was concerned with the problem of representations of the inhomogeneous Lorentz group, whereas we consider the much simpler problem of the group structure itself, mainly in view of application to the electromagnetic theory.

    The intuitive meaning of the exceptional transformations is best recognized from the polar form of the generating matrix. This can be carried out by direct application of the method discussed at the end of the last section. It is more instructive, however, to express the solution in terms of (circular and hyperbolic) trigonometry.

    We ask for the conditions the polar factors have to satisfy in order that the relation

    \[\begin{array}{c} {1+\hat{a} \cdot \vec{\sigma} = H(\hat{h}, \frac{\mu}{2})U(\hat{u}, \frac{\phi}{2})} \end{array}\]

    should hold with \(\mu \ne 0, \phi \ne 0\). Since all matrices are unimodular, it is sufficient to consider the equality of the traces:

    \[\begin{array}{c} {\frac{1}{2} TrA = \cosh (\frac{\mu}{2}) \cos (\frac{\phi}{2})-i \sinh( \frac{\mu}{2}) \sin (\frac{\phi}{2}) \hat{h} \cdot \hat{u} = 1} \end{array}\]

    This condition is satisfied if and only if

    \[\begin{array}{c} {\hat{h} \cdot \hat{u} = 0} \end{array}\]

    and

    \[\begin{array}{c} {\cosh (\frac{\mu}{2}) \cos (\frac{\phi}{2}) = 1} \end{array}\]

    The axes of circular and hyperbolic rotation are thus perpendicular, to each other and the angles of these rotations are related in a unique fashion: half of the circular angle is the so-called Guder­ mannian function of half of the hyperbolic angle

    \[\begin{array}{c} {\frac{\phi}{2} = gd(\frac{\mu}{2})} \end{array}\]

    However, if \(\mu\) and \(\phi\) are infinitesimal, we get

    \[\begin{array}{c} {(1+\frac{\mu^2}{2}+\cdots)(1+\frac{\phi^2}{2}+\cdots) = 1, i.e.} \end{array}\]

    \[\begin{array}{c} {\mu^2-\phi^2 = 0} \end{array}\]

    We note finally that products of exceptional matrices need not be exceptional, hence exceptional Lorentz transformations do not form a group.

    In spite of their special character, the exceptional matrices have interesting physical applications, both in connection with the electromagnetic field as discussed in Section 4, and also for the con­ struction of representations of the inhomogeous Lorentz group [Pae69, Wig39].

    We conclude by noting that the canonical forms of Table 3.2 lend themselves to express the powers \(A_{0}^{k}\) in simple form.

    For the axial singular matrix we have

    \[\begin{array}{c} {A_{0}^{2} = A} \end{array}\]

    These projection matrices are called idempotent. The nonaxial singular matrices are nilpotent:

    \[\begin{array}{c} {A_{0}^{2} = 0} \end{array}\]

    The exceptional matrices (unimodular nonaxial) are raised to any power k (even non-real) by the formula

    \[\begin{array}{c} {A^{k} = 1^{k}(1+k \vec{a} \cdot \vec{\sigma})} \end{array}\]

    \[\begin{array}{c} {= 1^{k} \exp (k \vec{a} \cdot \vec{\sigma})} \end{array}\]

    For integer k, the factor \(1^k\) becomes unity. The axial unimodular case is handled by formulas that are generalizations of the well known de Moivre formulas:

    \[\begin{array}{c} {A^{k} = 1^k \exp (k \frac{\kappa}{2} + kl2 \pi i)} \end{array} \label{EQ3.4.130}\]

    where l is an integer. For integer k, Equation \ref{EQ3.4.130} reduces to

    \[\begin{array}{c} {A^k = \exp(k(\frac{\kappa}{2}) \vec{a} \cdot \vec{\sigma})} \end{array}\]

    In connection with these formulae, we note that for positive A (\(\phi = 0\) and a real) , there is a unique positive mth root of A:

    \[\begin{array}{c} {A = \exp \{(\frac{\mu}{2}) \hat{a} \cdot \vec{\sigma}\}} \end{array}\]

    \[\begin{array}{c} {A^{1/m} = \exp \{(\frac{\mu}{2m}) \hat{a} \cdot \vec{\sigma}\}} \end{array}\]

    The foregoing results are summarized in Table 2.2.

    Screen Shot 2020-07-17 at 3.10.58 PM.png

    Table 2.2: Canonical Forms for the Simlarity classes of \(\mathcal{A}_{2}\).


    This page titled 2.4: The Pauli Algebra is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by László Tisza (MIT OpenCourseWare) via source content that was edited to the style and standards of the LibreTexts platform.