Paravector

From Wikipedia, the free encyclopedia

The name paravector is used for the sum of a scalar and a vector in any Clifford algebra (Clifford algebra is also known as Geometric algebra in the physics community.)

This name was given by J. G. Maks, Doctoral Dissertation, Technische Universiteit Delft (Netherlands), 1989.

The complete algebra of paravectors along with corresponding higher grade generalizations, all in the context of the Euclidean space of three dimensions, is an alternative approach to the Spacetime algebra (STA) introduced by Hestenes. This alternative algebra is called Algebra of physical space (APS).

[edit] Fundamental axiom

For Euclidean spaces, the fundamental axiom indicates that the product of a vector with itself is the scalar value of the length squared (positive)

$\mathbf{v} \mathbf{v} = \mathbf{v}\cdot \mathbf{v}$

Writing

$\mathbf{v} = \mathbf{u} + \mathbf{w},$

and introducing this into the expression of the fundamental axiom

$(\mathbf{u} + \mathbf{w})^2 = \mathbf{u} \mathbf{u} + \mathbf{u} \mathbf{w} + \mathbf{w} \mathbf{u} + \mathbf{w} \mathbf{w},$

we get the following expression after appealing to the fundamental axiom again

$\mathbf{u} \cdot \mathbf{u} + 2 \mathbf{u} \cdot \mathbf{w} + \mathbf{w} \cdot \mathbf{w} = \mathbf{u} \cdot \mathbf{u} + \mathbf{u} \mathbf{w} + \mathbf{w} \mathbf{u} + \mathbf{w} \cdot \mathbf{w},$

which allows to identify the scalar product of two vectors as

$\mathbf{u} \cdot \mathbf{w} = \frac{1}{2}\left( \mathbf{u} \mathbf{w} + \mathbf{w} \mathbf{u} \right).$

As an important consequence we conclude that two orthogonal vectors (with zero scalar product) anticommute

$\mathbf{u} \mathbf{w} + \mathbf{w} \mathbf{u} = 0$

[edit] The Three-dimensional Euclidean space

The following list represents an instance of a complete basis for the $C l 3$ space,

$\{ 1 , \{ \mathbf{e}_1,\mathbf{e}_2,\mathbf{e}_3 \} , \{ \mathbf{e}_{23},\mathbf{e}_{31},\mathbf{e}_{12} \} , \mathbf{e}_{123} \},$

which forms an eight-dimensional space, where the multiple indices indicate the product of the respective basis vectors, for example

$\mathbf{e}_{23} = \mathbf{e}_2 \mathbf{e}_3 .$

The grade of a basis element is defined in terms of the vector multiplicity such that

Grade	Type	Basis element/s
0	Unitary real scalar	$1$
1	Vector	$\{ \mathbf{e}_1,\mathbf{e}_2,\mathbf{e}_3 \}$
2	Bivector	$\{ \mathbf{e}_{23},\mathbf{e}_{31},\mathbf{e}_{12} \}$
3	Trivector volume element	$\mathbf{e}_{123}$

According to the fundamental axiom, two different basis vectors anticommute,

$\mathbf{e}_i \mathbf{e}_j + \mathbf{e}_j \mathbf{e}_i = 2 \delta_{ij}$

or in other words,

$\mathbf{e}_i \mathbf{e}_j = - \mathbf{e}_j \mathbf{e}_i \,\,; i \neq j$

This means that the volume element $\mathbf{e}_{123}$ squares to $- 1$

$\mathbf{e}_{123}^2 = \mathbf{e}_1 \mathbf{e}_2 \mathbf{e}_3 \mathbf{e}_1 \mathbf{e}_2 \mathbf{e}_3 = \mathbf{e}_2 \mathbf{e}_3 \mathbf{e}_2 \mathbf{e}_3 = - \mathbf{e}_3 \mathbf{e}_3 = -1.$

Moreover, the volume element $\mathbf{e}_{123}$ commutes with any other element of the $C l (3)$ algebra, so that it can be identified with the complex number $i$ , whenever there is no danger of confusion. In fact, the volume element $\mathbf{e}_{123}$ along with the real scalar forms an algebra isomorphic to the standard complex algebra.

[edit] Paravectors

The corresponding paravector basis that combines a real scalar and vectors is

$\{ 1 , \mathbf{e}_1,\mathbf{e}_2,\mathbf{e}_3 \}$ ,

which forms a four-dimensional linear space. The paravector space in the three-dimensional Euclidean space $C l 3$ can be used to represent the space-time of Special Relativity.

It is convenient to write the unit scalar as $1=\mathbf{e}_0$ , so that the complete basis can be written in a compact form as

$\{ \mathbf{e}_\mu \},$

where the Greek indices such as $μ$ run from $0$ to $3$ .

[edit] Antiautomorphism

[edit] Reversion conjugation

The Reversion antiautomorphism is denoted by $\dagger$ . The action of this conjugation is to reverse the order of the geometric product (product between Clifford numbers in general).

$(AB)^\dagger = B^\dagger A^\dagger$ ,

where vectors and real scalar numbers are invariant under reversion, for example:

$\mathbf{a}^\dagger = \mathbf{a}$

$1^\dagger = 1$

The reversion conjugation applied to each basis element is given below

Element	Reversion conjugation
$1$	$1$
$\mathbf{e}_1$	$\mathbf{e}_1$
$\mathbf{e}_2$	$\mathbf{e}_2$
$\mathbf{e}_3$	$\mathbf{e}_3$
$\mathbf{e}_{12}$	- $\mathbf{e}_{12}$
$\mathbf{e}_{23}$	- $\mathbf{e}_{23}$
$\mathbf{e}_{31}$	- $\mathbf{e}_{31}$
$\mathbf{e}_{123}$	- $\mathbf{e}_{123}$

[edit] Clifford conjugation

The Clifford Conjugation is denoted by a bar over the object $\bar{ }$ . This conjugation is also called bar conjugation.

The action of the Clifford conjugation is to reverse the sign of the vectors, maintaining the sign of the real scalar numbers, for example

$\bar{\mathbf{a}} = -\mathbf{a}$

$\bar{1} = 1$

As antiautomorphism, the Clifford conjugation is distributed as

$\overline{AB} = \overline{B} \,\, \overline{A}$

The bar conjugation applied to each basis element is given below

Element	Bar conjugation
$1$	$1$
$\mathbf{e}_1$	- $\mathbf{e}_1$
$\mathbf{e}_2$	- $\mathbf{e}_2$
$\mathbf{e}_3$	- $\mathbf{e}_3$
$\mathbf{e}_{12}$	- $\mathbf{e}_{12}$
$\mathbf{e}_{23}$	- $\mathbf{e}_{23}$
$\mathbf{e}_{31}$	- $\mathbf{e}_{31}$
$\mathbf{e}_{123}$	$\mathbf{e}_{123}$

Note.- The volume element is invariant under the bar conjugation.

[edit] Special subspaces

Four special subspaces can be defined in the $C l 3$ space based on their symmetries under the reversion and bar conjugations.

Scalar Space: Invariant under bar conjugation.
Vector Space: Changes sign under bar conjugation.
Real Space: Invariant under reversion conjugation.
Imaginary Space: Changes sign under reversion conjugation.

Given that $p$ is a general Clifford number, the complementary scalar and vector parts of $p$ are given by symmetric and antisymmetric combinations with the Clifford conjugation

$\langle p \rangle_S = \frac{1}{2}(p + \overline{p}),$

$\langle p \rangle_V = \frac{1}{2}(p - \overline{p})$ .

Note that trivectors fall into the scalar category.

In similar way, the complementary Real and Imaginary parts of $p$ are given by symmetric and antisymmetric combinations with the Reversion conjugation

$\langle p \rangle_R = \frac{1}{2}(p + p^\dagger),$

$\langle p \rangle_I = \frac{1}{2}(p - p^\dagger)$ .

The following table summarizes the grades of the respective subspace

Scalar	0	3
	Real	Imaginary
Vector	1	2

Remark: The term "Imaginary" is used in the context of the $C l 3$ algebra and does not imply the introduction of the standard complex numbers in any form.

[edit] Closed Subspaces respect to the product

There are two subspaces that are closed respect to the product. They are the scalar space and the even space that are isomorphic with the well known algebras of complex numbers and quaternions.

The scalar space made of grades 0 and 3 is isomorphic with the standard algebra of complex numbers with the identification of

$\mathbf{e}_{123} = i$

The even space, made of elements of grades 0 and 2, is isomorphic with the algebra of quaternions with the identification of

$\mathbf{e}_{12} = i$

$\mathbf{e}_{23} = j$

$\mathbf{e}_{31} = k$

[edit] Scalar Product

Given two paravectors $u$ and $v$ , the generalization of the scalar product is

$\langle u \bar{v} \rangle_S.$

The magnitude square of a paravector $u$ is

$\langle u \bar{u} \rangle_S,$

which is not positive-definite and can be equal to zero even if the paravector is not equal to zero.

It is very suggestive that the paravector space automatically obeys the metric of the Minkowski space because $\eta_{\mu\nu} = \langle \mathbf{e}_\mu \bar{\mathbf{e}}_\nu \rangle_S$

and in particular:

$\eta_{00} = \langle \mathbf{e}_0 \bar{\mathbf{e}}_0 \rangle = \langle 1 (1) \rangle_S = 1,$

$\eta_{11} = \langle \mathbf{e}_1 \bar{\mathbf{e}}_1 \rangle = \langle \mathbf{e}_1 (-\mathbf{e}_1) \rangle_S = - 1,$

$\eta_{01} = \langle \mathbf{e}_0 \bar{\mathbf{e}}_1 \rangle = \langle 1 (-\mathbf{e}_1) \rangle_S = 0.$

[edit] Biparavectors

Given two paravectors $u$ and $v$ , the biparavector B is defined as:

$B = \langle u \bar{v} \rangle_V$ .

The biparavector basis can be written as

$\{ \langle \mathbf{e}_\mu \bar{\mathbf{e}}_\nu \rangle_V \},$

which contains six independent terms.

[edit] Triparavectors

Given three paravectors $u$ , $v$ and $w$ , the triparavector T is defined as:

$T = \langle u \bar{v} w \rangle_I$ .

The triparavector basis can be written as

$\{ \langle \mathbf{e}_\mu \bar{\mathbf{e}}_\nu \mathbf{e}_{\lambda} \rangle_I \},$

but there are only four independent triparavectors, so it can be reduced to

$\{ i \mathbf{e}_{\rho} \}$ .

[edit] Pseudoscalar

The pseudoscalar basis is $\{ \langle \mathbf{e}_\mu \bar{\mathbf{e}}_\nu \mathbf{e}_{\lambda} \bar{\mathbf{e}}_{\rho}\rangle_{IS} \},$

but a calculation reveals that it contains only a single term. This term is the volume element $i = \mathbf{e}_1 \mathbf{e}_2 \mathbf{e}_3$ .

The four grades, taken in combination of pairs generate the paravector, biparavector and triparavector spaces as shown in the next table

0	Paravector	Scalar/Pseudoscalar
	1	3
2	Biparavector	Triparavector

[edit] Null Paravectors as Projectors

Null paravectors are elements that are not necessarily zero but have magnitude identical to zero. For a null paravector $p$ , this property necessarily implies the following identity

$p \bar{p} = 0.$

In the context of Special Relativity they are also called lightlike paravectors.

Projectors are null paravectors of the form

$P_{\mathbf k} = \frac{1}{2}( 1 + \hat{\mathbf k} ),$

where $\hat{\mathbf k}$ is a unit vector.

A projector $P_{\mathbf k}$ of this form has a complementary projector $\bar{P}_{\mathbf k}$

$\bar{P}_{\mathbf k} = \frac{1}{2}( 1 - \hat{\mathbf k} ),$

such that

$P_{\mathbf k} + \bar{P}_{\mathbf k} = 1$

As projectors, they are idempotent

$P_\mathbf{k} = P_\mathbf{k} P_\mathbf{k} = P_\mathbf{k}P_\mathbf{k}P_\mathbf{k}=...$

and the projection of one on the other is zero due to the fact that they are null paravectors

$P_{\mathbf k} \bar{P}_{\mathbf k} = 0.$

The associated unit vector of the projector can be extracted as

$\hat{\mathbf{k}} = P_\mathbf{\mathbf{k}} - \bar{P}_{\mathbf{k}},$

this means that $\hat{\mathbf{k}}$ is an operator with eigenfunctions $P_\mathbf{\mathbf{k}}$ and $\bar{P}_\mathbf{\mathbf{k}}$ , with respective eigenvalues $1$ and $- 1$ .

From the previous result, the following identity is valid assuming that $f(\hat{\mathbf{k}})$ is analytic around zero

$f( \hat{\mathbf{k}}) = f(1) P_{\mathbf{k}}+f(-1) \bar{P}_{\mathbf{k}}.$

This gives origin to the pacwoman property, such that the following identities are satisfied

$f( \hat{\mathbf{k}}) P_{\mathbf{k}} = f(1) P_{\mathbf{k}},$

$f( \hat{\mathbf{k}}) \bar{P}_{\mathbf{k}} = f(-1) \bar{P}_{\mathbf{k}}.$

[edit] Null Basis for the paravector space

A basis of elements, each one of them null, can be constructed for the complete $C l 3$ space. The basis of interest is the following

$\{ \bar{P}_3, P_3 \mathbf{e}_1, P_3, \mathbf{e}_1 P_3 \}$

so that an arbitrary paravector

$p = p^0 \mathbf{e}_0 + p^1 \mathbf{e}_1 + p^2 \mathbf{e}_2 + p^3 \mathbf{e}_3$

can be written as

$p = (p^0+p^3)P_3 + (p^0 - p^3)\bar{P}_3 + (p^1+ip^2)\mathbf{e}_1 P_3 + (p^1-ip^2)P_3 \mathbf{e}_1$

This representation is useful for some systems that are naturally expressed in terms of the light cone variables that are the coefficients of $P 3$ and $\bar{P}_3$ respectively.

Every expression in the paravector space can be written in terms of the null basis. A paravector $p$ is in general parametrized by two real scalars numbers ${u, v}$ and a general scalar number $w$ (including scalar and pseudoscalar numbers)

$p = u \bar{P}_3 + v P_3 + w \mathbf{e}_1 P_3 + w^*P_3 \mathbf{e}_1$

the paragradient in the null basis is

$\partial = 2P_3 \partial_u + 2\bar{P}_3 \partial_v - 2\mathbf{e}_1 P_3 \partial_{w^*} - 2 P_3 \mathbf{e}_1 \partial_w$

[edit] Matrix Representation

The algebra of the $C l (3)$ space is isomorphic to the Pauli matrix algebra such that

	Matrix Representation 3D	Explicit matrix
$\mathbf{e}_0$	$\sigma_0^{ }$	$\begin{pmatrix} 1 && 0 \\ 0 && 1 \end{pmatrix}$
$\mathbf{e}_1$	$\sigma_1^{ }$	$\begin{pmatrix} 0 && 1 \\ 1 && 0 \end{pmatrix}$
$\mathbf{e}_2$	$\sigma_2^{ }$	$\begin{pmatrix} 0 && -i \\ i && 0 \end{pmatrix}$
$\mathbf{e}_3$	$\sigma_3^{ }$	$\begin{pmatrix} 1 && 0 \\ 0 && -1 \end{pmatrix}$

from which the null basis elements become ${ P_3} = \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix} \,; \bar{ P}_3 = \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix} \,; { P_3} \mathbf{e}_1 = \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} \,;\mathbf{e}_1 { P}_3 = \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix}.$

A general Clifford number in 3D can be written as

$\Psi = \psi_1^\dagger P_3 - \psi_2^\dagger P_3 \mathbf{e}_1 + \psi_3 P_3 + \psi_4 \mathbf{e}_1 P_3$

In this way, the matrix representation becomes

$\Psi = \begin{pmatrix} \psi_3 & - \psi_2^\dagger \\ \psi_4 & \psi_1^\dagger \end{pmatrix}$

If this Clifford number $Ψ$ is used to represent a spinor, there is a one-to-one relation with the column spinor in the Weyl representation such that

$\Psi^W \rightarrow \begin{pmatrix} \psi_1 \\\psi_2 \\ \psi_3 \\ \psi_4 \end{pmatrix}$

or in the Pauli-Dirac representation

$\Psi^{PD} \rightarrow \begin{pmatrix} \psi_3 + \psi_1 \\ \psi_4+\psi_2 \\ \psi_3 -\psi_1 \\ \psi_4 -\psi_2 \end{pmatrix}$

In the non-relativistic limit only the even grade elements survive in the case of particles and only the odd grade elements in the case of anti-particles. This means that the non-relativistic spinor can be described using only the first column of the 2x2 matrix representation:

$\Psi_{Non-Relativistic} = \Psi P_3 = \begin{pmatrix} \psi_1 & 0 \\ \psi_2 & 0 \end{pmatrix}$

The matrix representation for higher dimensions of a Euclidean space can be constructed in terms of the tensor matrix product of the Pauli matrices resulting in complex matrices of dimension $2 n$ . The 4D representation could be taken as

	Matrix Representation 4D
$\mathbf{e}_1$	$\sigma_3 \otimes \sigma_1$
$\mathbf{e}_2$	$\sigma_3 \otimes \sigma_2$
$\mathbf{e}_3$	$\sigma_3 \otimes \sigma_3$
$\mathbf{e}_4$	$- \sigma_2 \otimes \sigma_0$

The 7D representation could be taken as

	Matrix Representation 7D
$\mathbf{e}_1$	$\sigma_0 \otimes \sigma_3 \otimes \sigma_1$
$\mathbf{e}_2$	$\sigma_0 \otimes \sigma_3 \otimes \sigma_2$
$\mathbf{e}_3$	$\sigma_0 \otimes \sigma_3 \otimes \sigma_3$
$\mathbf{e}_4$	$\sigma_0 \otimes \sigma_2 \otimes \sigma_0$
$\mathbf{e}_5$	$\sigma_3 \otimes \sigma_1 \otimes \sigma_0$
$\mathbf{e}_6$	$\sigma_1 \otimes \sigma_1 \otimes \sigma_0$
$\mathbf{e}_7$	$\sigma_2 \otimes \sigma_1 \otimes \sigma_0$

[edit] Lie algebras

Clifford algebras can be used to represent any classical Lie algebra. In general it is possible to identify Lie algebras of compact groups by using anti-Hermitian elements, which can be extended to non-compact groups by adding Hermitian elements.

The bivectors of and n-dimensional Euclidean space are Hermitian elements and can be used to represent the $s p i n (n)$ Lie algebra.

The bivectors of the three-dimensional Euclidean space form the $s p i n (3)$ Lie algebra, which is isomorphic to the $s u (2)$ Lie algebra. This accidental isomorphism allows to picture a geometric interpretation of the states of the two dimensional Hilbert space by using the Bloch sphere. One of those systems is the spin 1/2 particle.

The $s p i n (3)$ Lie algebra can be extended by adding the three unitary vectors to form a Lie algebra isomorphic to the $S L (2, C)$ Lie algebra, which is the double cover of the Lorentz group $S O (3,1)$ . This isomorphism allows the possibility to develop a formalism of special relativity based on $S L (2, C)$ , which is carried out in the form of the algebra of physical space.

There is only one additional accidental isomorphism between a spin Lie algebra and a $s u (N)$ Lie algebra. This is the isomorphism between $s p i n (6)$ and $s u (4)$ .

Another interesting isomorphism exists between $s p i n (5)$ and $s p (4)$ . So, the $s p (4)$ Lie algebra can be used to generate the $U S p (4)$ group. Despite that this group is smaller than the $S U (4)$ group, it is seen to be enough to span the four-dimensional Hilbert space.

[edit] See also

[edit] References

[edit] Textbooks

Baylis, William (2002). Electrodynamics: A Modern Geometric Approach (2th ed.). Birkhäuser. ISBN 0-8176-4025-8

[H1999] David Hestenes: New Foundations for Classical Mechanics (Second Edition). ISBN 0-7923-5514-8, Kluwer Academic Publishers (1999)

Chris Doran and Antony Lasenby, Geometric Algebra for Physicists, Cambridge, 2003

Baylis, William, Clifford (Geometric) Algebras With Applications in Physics, Mathematics, and Engineering, Birkhauser (1999)

[edit] Articles

William E. Baylis, Relativity in Introductory Physics, Can. J. Phys. 82 (11), 853--873 (2004). (ArXiv:physics/0406158)

C. Doran, D. Hestenes, F. Sommen and N. Van Acker, Lie groups and spin groups, J. Math. Phys. 34 (8), 1993

R. Cabrera, W. E. Baylis, C. Rangan, Sufficient condition for the coherent control of n-qubit systems , Phys. Rev. A, 76 , 033401, 2007

Categories: Multilinear algebra