logo back up home forward   further reading more topics »

Maths - Quaternion Notations - Pauli Matrices

In addition to representing quaternions in the usual way they can be represented as a 2x2 matrix of complex numbers or as 4x4 matrix of real numbers:

  representation linear combination
quaternions w + x i + y j + z k  
2x2 matrix of complex
w+y√-1 -x+z√-1
x+z√-1 w-y√-1
w
1 0
0 1
+ x
0 -1
1 0
+ y
√-1 0
0 -√-1
+z
0 √-1
√-1 0
4x4 matrix of real
w -x -y -z
x w z -y
y -z w x
z y -x w
w
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
+x
0 0 -1 0
0 0 0 -1
1 0 0 0
0 1 0 0
+y
0 -1 0 0
1 0 0 0
0 0 0 1
0 0 -1 0
+z
0 0 0 -1
0 0 1 0
0 -1 0 0
1 0 0 0

So we are replacing the i,j and k used in quaternions with the matrices:

[i] =
0 -1
1 0
[j] =
√-1 0
0 -√-1
[k] =[i][j]=
0 √-1
√-1 0

These additional ways to code quaternions using matrices are not as efficient in terms of the number of variables needed to hold a given quaternion or possibly in terms of computation time. However there may be advantages in terms of getting an intuitive understanding of quaternions and beyond, especially if someone is familiar with linear algebra in terms of matrices.

So how do these notations compare with the usual way to represent quaternions as matrices?

1 - 2*y2 - 2*z2 2*x*y - 2*z*w 2*x*z + 2*y*w
2*x*y + 2*z*w 1 - 2*x2 - 2*z2 2*y*z - 2*x*w
2*x*z - 2*y*w 2*y*z + 2*x*w 1 - 2*x2 - 2*y2

The difference is that Pauli matrices translate points using the 'sandwich' product, in the same way as quaternions, as follows:

Pout = q * Pin * conj(q)

Whereas the traditional matrix transform has this form:

Pout = [M] P in

The traditional matrix is not linear but is quadratic (terms like y2 and y*w), whereas their transform is linear, in contrast the Pauli matrix is linear but the transform is not linear.

Conventional Pauli Matrices

Although the above values work as required for example matricies representing i,j and k such as:
0 √-1
√-1 0
 

square to -1. I have so far misrepresented the term Pauli matrices. What they really are is:

  representation linear combination
2x2 matrix of complex
w + iz x - iy
x + iy w - iz
w
1 0
0 1
+ x
0 1
1 0
+ y
0 -√-1
√-1 0
+z
√-1 0
0 -√-1
4x4 matrix of real
w -x -y -z
x w z -y
y -z w x
z y -x w
w
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
+x
0 1 0 0
1 0 0 0
0 0 0 1
0 0 1 0
+y
0 0 1 0
0 0 0 1
1 0 0 0
0 1 0 0
+z
0 0 0 1
0 0 1 0
0 1 0 0
1 0 0 0

I think Pauli matrices are interesting though, because instead of having to learn the rules for multiplying the operators i, j and k these multiplication rules come automatically provided you know how to multiply 2x2 matrices. If you want to calculate the spin of fundamental particles in many dimensions then Pauli matrices may be the only way to do it.

The matrix is generated by multiplying the three imaginary values by the following Pauli matrices:

e1=
0 1
1 0
e2=
0 -√-1
√-1 0
e3=
1 0
0 -1

The real value is multiplied by the identity matrix.

The Pauli matrices in this form are not the exact equivalent of quaternions this is because, if we square them, we get +1 and not -1. In other words the identity matrix:

e12 =
0 1
1 0
*
0 1
1 0
=
1 0
0 1
e22 =
0 -√-1
√-1 0
*
0 -√-1
√-1 0
=
1 0
0 1
e32 =
1 0
0 -1
*
1 0
0 -1
=
1 0
0 1

So these dimensions are given by √+1instead of √-1which quaternions use. In this form Pauli matrices have different properties, they don't form a normed division algebra. However we can convert Pauli matrices to have exactly the same properties to quaternions by multiplying by i. Then each of the generators are √-1 as shown here:

e12 =
0 i
i 0
*
0 √-1
√-1 0
=
-1 0
0 -1
e22 =
0 1
-1 0
*
0 1
-1 0
=
-1 0
0 -1
e32 =
√-1 0
0 -√-1
*
√-1 0
0 -√-1
=
-1 0
0 -1

History

Pauli matrices were developed for physics (quantum mechanics) so that may be why they are formulated with this i factor difference from quaternions.

In quantum mechanics a + i b + j c + k d and -a - i b - j c - k d represent different spins for particles, so a particle has to rotate through 720 degrees instead of 360 degrees to get back where it started. Both Pauli matrices and quaternions have this property, see Spinors.

Generalizing Pauli Matrices

So far we have taken the Pauli matrices as a given but,

Since Pauli matrices square to 1 (the identity matrix) then one possible way to derive Pauli matrices is to find the square root of the identity matrix (square root of matrix discussed here).

To find a more general way to find matrices which are equivalent to other algebras we need to look at representation theory.

See also representation of Clifford algebra.


metadata block
see also:

 

Correspondence about this page

Book Shop - Further reading.

Where I can, I have put links to Amazon for books that are relevant to the subject, click on the appropriate country flag to get more details of the book or to buy it from them.

 

cover us uk de jp fr ca Quaternions and Rotation Sequences.

Commercial Software Shop

Where I can, I have put links to Amazon for commercial software, not directly related to the software project, but related to the subject being discussed, click on the appropriate country flag to get more details of the software or to buy it from them.

 

cover Dark Basic Professional Edition - It is better to get this professional edition

cover This is a version of basic designed for building games, for example to rotate a cube you might do the following:
make object cube 1,100
for x=1 to 360
rotate object 1,x,x,0
next x

cover Game Programming with Darkbasic - book for above software

Can you help?

Please send me any improvements to here. I would appreciate ideas to make the pages more useful including error correction, ideas for new pages, improvements to wording. It helps if you quote the full URL of the page.

 

Terminology and Notation

Specific to this page here:

 

program

I am working on a project which uses these principles, if you would like to help me with this you are welcome to join in, here:

http://sourceforge.net/projects/mjbworld/

This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2010 Martin John Baker - All rights reserved - privacy policy.