All Topics  
Pauli matrices

 

   Email Print
   Bookmark   Link






 

Pauli matrices



 
 
The Pauli matrices are a set of 2 × 2 complex
Complex number

In mathematics, the complex numbers are an extension of the real numbers obtained by adjoining an imaginary unit, denoted i, which satisfies:...
 Hermitian
Hermitian matrix

A Hermitian matrix is a square matrix with complex number entries which is equal to its own conjugate transpose — that is, the element in the ith row and jth column is equal to the complex conjugate of the element in the jth row and ith column, for all indices i and j:...
 and unitary
Unitary matrix

In mathematics, a unitary matrix is an n by n complex number matrix U satisfying the condition where is the identity matrix and is the conjugate transpose of U....
 matrices
Matrix (mathematics)

In mathematics, a matrix is a rectangular array of numbers, as shown at the right. In addition to a number of elementary, entrywise operations such as matrix addition a key notion is matrix multiplication....
 (See also ref. .) Usually indicated by the Greek letter 'sigma' (s), they are occasionally denoted with a 'tau' (t) when used in connection with isospin
Isospin

In physics, and specifically, particle physics, isospin is a quantum number related to the strong interaction. This term was derived from isotopic spin, but the term is confusing as two isotopes of a nucleus have different numbers of nucleons; in contrast, rotations of isospin maintain the number of nucleons....
 symmetries. They are:


The name refers to Wolfgang Pauli
Wolfgang Pauli

Wolfgang Ernst Pauli was an Austrian theoretical physicist noted for his work on spin , and for the discovery of the Pauli exclusion principle underpinning the structure of matter and the whole of chemistry....
.

Taking the set of all the linear combination
Linear combination

In mathematics, linear combinations are a concept central to linear algebra and related fields of mathematics.Most of this article deals with linear combinations in the context of a vector space over a field , with some generalisations given at the end of the article....
s of all the elements which can be built up as products of Pauli matrices gives a representation of an algebra
Algebra over a field

In mathematics, an algebra over a field is an algebraic structure consisting of a vector space together with an Binary operation, usually called multiplication, that combines any two vectors to form a third vector....
 called the Pauli algebra, also known as the Clifford algebra
Clifford algebra

In mathematics, Clifford algebras are a type of associative algebra. They can be thought of as one of the possible generalizations of the complex numbers and quaternions....
 Cl3,0(R).

Pauli Vector
The Pauli vector is defined by

and provides a mapping mechanism from a vector basis to a Pauli matrix basis as follows

(summation over indexes implied).






Discussion
Ask a question about 'Pauli matrices'
Start a new discussion about 'Pauli matrices'
Answer questions from other users
Full Discussion Forum



Encyclopedia


The Pauli matrices are a set of 2 × 2 complex
Complex number

In mathematics, the complex numbers are an extension of the real numbers obtained by adjoining an imaginary unit, denoted i, which satisfies:...
 Hermitian
Hermitian matrix

A Hermitian matrix is a square matrix with complex number entries which is equal to its own conjugate transpose — that is, the element in the ith row and jth column is equal to the complex conjugate of the element in the jth row and ith column, for all indices i and j:...
 and unitary
Unitary matrix

In mathematics, a unitary matrix is an n by n complex number matrix U satisfying the condition where is the identity matrix and is the conjugate transpose of U....
 matrices
Matrix (mathematics)

In mathematics, a matrix is a rectangular array of numbers, as shown at the right. In addition to a number of elementary, entrywise operations such as matrix addition a key notion is matrix multiplication....
 (See also ref. .) Usually indicated by the Greek letter 'sigma' (s), they are occasionally denoted with a 'tau' (t) when used in connection with isospin
Isospin

In physics, and specifically, particle physics, isospin is a quantum number related to the strong interaction. This term was derived from isotopic spin, but the term is confusing as two isotopes of a nucleus have different numbers of nucleons; in contrast, rotations of isospin maintain the number of nucleons....
 symmetries. They are:


The name refers to Wolfgang Pauli
Wolfgang Pauli

Wolfgang Ernst Pauli was an Austrian theoretical physicist noted for his work on spin , and for the discovery of the Pauli exclusion principle underpinning the structure of matter and the whole of chemistry....
.

Taking the set of all the linear combination
Linear combination

In mathematics, linear combinations are a concept central to linear algebra and related fields of mathematics.Most of this article deals with linear combinations in the context of a vector space over a field , with some generalisations given at the end of the article....
s of all the elements which can be built up as products of Pauli matrices gives a representation of an algebra
Algebra over a field

In mathematics, an algebra over a field is an algebraic structure consisting of a vector space together with an Binary operation, usually called multiplication, that combines any two vectors to form a third vector....
 called the Pauli algebra, also known as the Clifford algebra
Clifford algebra

In mathematics, Clifford algebras are a type of associative algebra. They can be thought of as one of the possible generalizations of the complex numbers and quaternions....
 Cl3,0(R).

Algebraic properties


where I is the identity matrix
Identity matrix

In linear algebra, the identity matrix or unit matrix of size n is the n-by-n square matrix with ones on the main diagonal and zeros elsewhere....
.

  • The determinant
    Determinant

    In algebra, a determinant is a function depending on n that associates a scalar , det, to an n?n square matrix A. The fundamental geometric meaning of a determinant is a scale factor for measure when A is regarded as a linear transformation....
    s and traces of the Pauli matrices are:


From above we can deduce that the eigenvalues of each si are ±1.

  • Together with the identity matrix I (which is sometimes written as σ0), the Pauli matrices form an orthogonal basis, in the sense of Hilbert-Schmidt
    Hilbert-Schmidt operator

    In mathematics, a Hilbert?Schmidt operator is a bounded operator A on a Hilbert space H with finite Hilbert?Schmidt norm, meaning that there exists an orthonormal basis of...
    , for the real Hilbert space
    Hilbert space

    The mathematics concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It extends the methods of vector algebra from the two-dimensional plane and three-dimensional space to infinite-dimensional spaces....
     of 2 × 2 complex Hermitian matrices, or the complex Hilbert space of all 2 × 2 matrices.


Pauli Vector


The Pauli vector is defined by

and provides a mapping mechanism from a vector basis to a Pauli matrix basis as follows

(summation over indexes implied). Note that in this vector dotted with Pauli vector operation the Pauli matrixes are treated in a scalar like fashion, commuting with the vector basis elements.

Commutation relations

The Pauli matrices obey the following commutation
Commutator

In mathematics, the commutator gives an indication of the extent to which a certain binary operation fails to be commutative. There are different definitions used in group theory and ring theory....
 and anticommutation relations:

where is the Levi-Civita symbol
Levi-Civita symbol

The Levi-Civita symbol, also called the permutation symbol, antisymmetric symbol, or alternating symbol, is a mathematics symbol used in particular in tensor calculus....
, is the Kronecker delta
Kronecker delta

In mathematics, the Kronecker delta or Kronecker's delta, named after Leopold Kronecker , is a Function of two variables, usually integers, which is 1 if they are equal, and 0 otherwise....
, and I is the identity matrix.

The above two relations can be summarized as:

.

For example,

and the summary equation for the commutation relations can be used to prove as well as for .

Completeness relation


An alternative notation that is commonly used for the Pauli matrices is to write the vector index in the superscript, and the matrix indices as subscripts, so that the element in row and column of the th Pauli matrix is .

In this notation, the completeness relation for the Pauli matrices can be written .

SU(2)


The matrix group SU(2) is a Lie group
Lie group

In mathematics, a Lie group is a group which is also a differentiable manifold, with the property that the group operations are compatible with the Differential structure....
, and its Lie algebra
Lie algebra

In mathematics, a Lie algebra is an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds....
 is the set of the anti-Hermitian 2×2 matrices with trace 0. Direct calculation shows that the Lie algebra
Lie algebra

In mathematics, a Lie algebra is an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds....
 su(2) is the 3 dimensional real algebra spanned
Linear span

In the mathematics subfield of linear algebra, the linear span, also called the linear hull, of a Set of vector space in a vector space is the intersection of all Linear subspace containing that set....
 by the set . In symbols,

As a result, i σjs can be seen as infinitesimal generator
Lie group

In mathematics, a Lie group is a group which is also a differentiable manifold, with the property that the group operations are compatible with the Differential structure....
s of SU(2).

A Cartan decomposition of SU(2)

This relationship between the Pauli matrices and SU(2) can be explored further, as can be seen from the following simple example. We can write

We put

and

Using the algebraic identities listed in the previous section, it can be verified that and form a Cartan pair
Cartan decomposition

The Cartan decomposition is a decomposition of a semisimple Lie group or Lie algebra, which plays an important role in their structure theory and representation theory....
 of the Lie algebra SU(2). Furthermore,

is a maximal abelian subalgebra of . Now, a version of Cartan decomposition
Cartan decomposition

The Cartan decomposition is a decomposition of a semisimple Lie group or Lie algebra, which plays an important role in their structure theory and representation theory....
 states that any element U in the Lie group SU(2) can be expressed in the form

where and

In other words, any unitary U of determinant 1 is of the form

for some real numbers α, β, and γ.

Extending to unitary matrices gives that any unitary 2 × 2 U is of the form

where the additional parameter δ is also real.

SO(3)


The Lie algebra su(2) is isomorphic
Isomorphism

In abstract algebra, an isomorphism is a bijection map f such that both f and its inverse function f −1 are homomorphisms, i.e., structure-preserving mappings....
 to the Lie algebra so(3), which corresponds to the Lie group SO(3), the group
Group (mathematics)

In mathematics, a group is an algebraic structure consisting of a set together with an Binary operation that combines any two of its element to form a third element....
 of rotation
Rotation

A rotation is a movement of an object in a circular motion. A two-dimensional object rotates around a center of rotation. A Three-dimensional space object rotates around a line called an axis....
s in three-dimensional space. In other words, one can say that 's are a realization (and, in fact, the lowest-dimensional realization) of infinitesimal rotations in three-dimensional space. However, even though su(2) and so(3) are isomorphic as Lie algebras, SU(2) and SO(3) are not isomorphic as Lie groups. SU(2) is actually a double cover of SO(3), meaning that there is a two-to-one homomorphism from SU(2) to SO(3).

Quaternions


Consider the real linear span S of . S is isomorphic to the real algebra of quaternions H. The isomorphism from H to S is given by

As the quaternions of unit norm is group-isomorphic to SU(2), this gives yet another way of describing SU(2) via the Pauli matrices. The two-to-one homomorphism from SU(2) to SO(3) can also be explicitly given in terms of the Pauli matrices in this formulation.

Quaternions form a division algebra - there always is an inverse - whereas Pauli matrices do not.

Physics


Quantum mechanics


  • In quantum mechanics
    Quantum mechanics

    Quantum mechanics is a set of principles underlying the most fundamental known description of all physical systems at the microscopic scale . Notable amongst these principles are both a dual wave-like and particle-like behavior of matter and radiation, and prediction of probabilities in situations where classical physics predicts certaintie...
    , each Pauli matrix represents an observable
    Observable

    In physics, particularly in quantum physics, a system observable is a property of the State that can be determined by some sequence of physical operational definition....
     describing the spin
    Spin (physics)

    In quantum mechanics, spin is a fundamental property of atomic nucleus, hadrons, and elementary particles. For particles with non-zero spin, spin direction is an important intrinsic degrees of freedom ....
     of a spin ½
    Spin-˝

    In quantum mechanics, spin is an intrinsic property of all elementary particles. Fermions, the particles that constitute ordinary matter, have half-integer spin....
     particle in the three spatial directions. Also, as an immediate consequence of the Cartan decomposition mentioned above, are the generators of rotation acting on non-relativistic
    Theory of relativity

    File:spacetime curvature.pngThe theory of relativity, or simply relativity, generally refers specifically to two theories of Albert Einstein: special relativity and general relativity....
     particles with spin ˝. The state
    Mathematical formulation of quantum mechanics

    The mathematical formulation of quantum mechanics is the body of mathematical formalisms which permits a rigorous description of quantum mechanics....
     of the particles are represented as two-component spinor
    Spinor

    In mathematics and physics, in particular in the theory of the orthogonal groups , spinors are elements of a complex vector space introduced to expand the notion of spatial vector and tensor....
    s. An interesting property of spin ˝ particles is that they must be rotated by an angle of 4 in order to return to their original configuration. This is due to the two-to-one correspondence between SU(2) and SO(3) mentioned above, and the fact that, although one visualizes spin up/down as the north/south pole on the 2-sphere S2, they are actually represented by orthogonal vectors in the two dimensional complex Hilbert space
    Hilbert space

    The mathematics concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It extends the methods of vector algebra from the two-dimensional plane and three-dimensional space to infinite-dimensional spaces....
    .


  • For a spin particle, the spin operator is given by . The Pauli matrices can be generalized to describe higher spin systems in three spatial dimensions. The spin matrices for spin 1 and spin are given below:
j=1:


j=:


  • Also useful in the quantum mechanics
    Quantum mechanics

    Quantum mechanics is a set of principles underlying the most fundamental known description of all physical systems at the microscopic scale . Notable amongst these principles are both a dual wave-like and particle-like behavior of matter and radiation, and prediction of probabilities in situations where classical physics predicts certaintie...
     of multiparticle systems, the general Pauli group Gn is defined to consist of all n-fold tensor
    Tensor

    A tensor is an object which extends the notion of Scalar , Vector , and Matrix . The term has slightly different meanings in mathematics and physics....
     products of Pauli matrices.


  • The fact that any 2 × 2 complex Hermitian matrices can be expressed in terms of the identity matrix and the Pauli matrices also leads to the Bloch sphere
    Bloch sphere

    In quantum mechanics, the Bloch sphere is a geometrical representation of the pure state space of a two-level system named after the physicist Felix Bloch....
     representation of 2 × 2 mixed states (2 × 2 positive semidefinite matrices with trace 1). This can be seen by simply first writing a Hermitian matrix as a real linear combination of then impose the positive semidefinite and trace
    Trace (linear algebra)

    In linear algebra, the trace of an n-by-n square matrix A is defined to be the sum of the elements on the main diagonal of A, i.e.,...
     1 assumptions.


Quantum information

  • In quantum information
    Quantum information

    In quantum mechanics, quantum information is physical information that is held in the "state" of a quantum system. The most popular unit of quantum information is the qubit, a two-level quantum system....
    , single-qubit
    Qubit

    A quantum bit or qubit is a unit of quantum information. That information is described by a Quantum state in a Two-state quantum system, which is formally equivalent to a two-dimensional vector space over the complex numbers....
     quantum gate
    Quantum gate

    A quantum gate or quantum logic gate is a basic quantum circuit operating on a small number of qubits. They are the analogues for quantum computers to classical logic gates for conventional digital computers....
    s are 2 × 2 unitary matrices. The Pauli matrices are some of the most important single-qubit operations. In that context, the Cartan decomposition given above is called the Z-Y decomposition of a single-qubit gate. Choosing a different Cartan pair gives a similar X-Y decomposition of a single-qubit gate.


See also

  • Angular momentum
    Angular momentum

    In physics, the angular momentum of a particle about an origin is a vector quantity related to rotation, equal to the mass of the particle multiplied by the cross product of the position vector of the particle with its velocity vector....
  • Gell-Mann matrices
    Gell-Mann matrices

    The Gell-Mann matrices, named for Murray Gell-Mann, are one possible representation of the Lie group#The Lie algebra associated to a Lie groups of the special unitary group called SU....
  • Generalizations of Pauli matrices
    Generalizations of Pauli matrices

    In mathematics and physics, in particular quantum information, the term generalized Pauli matrices refers to families of matrices which generalize the properties of the Pauli matrices....
  • Poincare group
    Poincaré group

    In physics and mathematics, the Poincar? group, named after Henri Poincar?, is the group of isometry of Minkowski spacetime. It is a 10-dimensional compact space Lie group....
  • Pauli equation
    Pauli equation

    The Pauli Equation, also known as the Schr?dinger-Pauli equation, is the formulation of the Schr?dinger equation for spin one-half particles which takes into account the interaction of the particle's spin with the electromagnetic field....