Friday, March 27, 2015

Quantionic algebra


Last time we introduced the structural form of a quantion:

\( p = \left( \begin{array}{c} P  \\ \vec{p}  \end{array}\right) \)

and its product is defined as:

\(pq = \left( \begin{array}{c} P  \\ \vec{p}  \end{array}\right)\left( \begin{array}{c} Q  \\ \vec{q}  \end{array}\right) = \left( \begin{array}{c} PQ +  \vec{p}\cdot \vec{q}\\ P\vec{q} + Q\vec{p} + i \vec{p} \times \vec{q}  \end{array}\right)\)

Given the Pauli matrix multiplication rule one can easily check that

\(PI + \vec{p}\cdot \vec{\sigma}\)

respects the same multiplication rule:

\( (PI + \vec{p}\cdot \vec{\sigma}) (QI + \vec{q}\cdot \vec{\sigma}) = (PQ + \vec{p} \cdot \vec{q}) +  ( P\vec{q} + Q \vec{p} +i \vec{p}\times \vec{q}) \cdot \vec{\sigma} \)

and hence a quantion is nothing but a \(2\times 2\) complex matrix subject to the usual matrix multiplication.

A real quation \(A \) with \(A = A^{\dagger}\) is defined as:

\( A = \left( \begin{array}{cc} r & z \\ z^* & s  \end{array}\right) = \left( \begin{array}{cc} p^0 + p^3 & p^1 + i p^2 \\ p^1 - i p^2 & p^0 - p^3  \end{array}\right) \)

For a general quantion

\( p = \left( \begin{array}{cc} a & c \\ b & d  \end{array}\right) \)

in matrix representation we can define three discrete transformations:

\( Cp = \left( \begin{array}{cc} a^* & c^* \\ b^* & d^*  \end{array}\right) = p^* \)
\( Pp = \left( \begin{array}{cc} d & -c \\ -b & a  \end{array}\right) = p^{-1} det(p) = p^{\sharp}\)
\( Tp = \left( \begin{array}{cc} d^* & -b^* \\ -c^* & a^*  \end{array}\right) = CPq \)

And quantions respect the CPT=1 symmetry. In the structural formalism this can be represented as follows:


and we can see that P corresponds to parity as it inverts the spatial components while keeping the structural vector \(\Omega \) unchanged because \(\Omega \) corresponds to the local time direction.

If we introduce the metric dual: \(p^{\sharp} = P(p)\) then quantions have two kinds of "norms":

Algebraic: \(A(q) = q^{\dagger} q\)
Metric: \(M(q) = q^{\sharp} q\)

and we have the fundamental property:

\(AM q = MA q\)

Why is this important? Because all comes together due to the diagram below (which I crudely adapted from Grgin's book)


"\(A\)" comes from the usual inner product of quantum mechanics while "\(M\)" extracts a particular reference frame in relativity. The remarkable fact is that \(A(q) \) is always a future oriented timelike vector and in quantionic quantum mechanics the predictions are 4-vectors: current probability densities. The commutation of "A" with "M" shows that the theory is inherently relativistic. Relativity was not postulated but it comes out naturally. Moreover because SO(2,4) was the unique non unitary group compatible with the observable-generator duality of quantum mechanics, quaternionic quantum mechanics is the only possible generalization of quantum mechanics which is compatible with relativity. This only works in the SO(3,1) space. Is this why there are 3+1 spacetime dimensions?

Next time we'll discuss the physics of quantionic quantum mechanics and its relationship with Dirac's theory. Please stay tuned.



Friday, March 20, 2015

From SO(2,4) to quantions


Let me first say a bit more about SO(2,4). Physics in SO(2,4) is called by Itzhak Bars: "two-time physics": 


Then SO(2,4) corresponds to conformal compactification of the Minkowski space. Via the isomorphism SO(2,4)~SU(2,2) this is related with Penrose's twistor theory

So how do we get from SO(2,4) to quantionic quantum mechanics? Last time we were after obtaining a unique element which would play the role of sqrt(-1). That element turns out to be a bivector \(e_i \wedge e_j\) where \(e_i\) is from the 2 part of SO(2,4), and \(e_j\) is from the 4 part of SO(2,4). Then we want to find out all the elements of SO(2,4) which commute with this.

Skipping the lengthy derivation, one arises at a complex linear Minkowski space where the four-vectors are no longer real numbers, but complex numbers. Here we follow again the amazing book of Grgin.

We need to arrive at an associative algebra which describes the new quantum mechanics number system. We need to have associativity because quantum systems can be combined in an associative manner using the tensor product. We also need to recover the usual complex number formulation of quantum mechanics in the appropriate non-relativistic limit. Is there a linear functional \(\Omega\) which takes a complex Minkowski 4-vector into a complex number? If so, this would seem to violate the spirit of relativity. However, in the C* algebraic formulation of quantum mechanics any C* algebra can be made unital and \(\Omega\) turns out to be the unit of the new quantum mechanics number system. Physically this corresponds to specifying he direction of time at each Minkowski space-time point. A distinguished direction of time seem to contradict relativity but in the end it will all work out nicely when we'll add the interpretation of the inner product, so please have patience on this. 

Now given \(\Omega\), we can construct the following combinations which can enter in the definition of an algebraic product: \(B^{\mu}_{\alpha \beta}u^{\alpha} v^{\beta} \)

\((\Omega, u) v^{\mu}\)
\((\Omega, v) u^{\mu}\)
\((u,v) \Omega^{\mu}\)
\(\eta^{\mu \nu} \epsilon_{\nu \alpha \beta \gamma} \Omega^{\alpha} u^{\beta} v^{\gamma}\)

where 

\((f, g) = f_{\mu} g^{\mu}\)

From unitality and associativity the product is uniquely determined as:
\({(u \beta v)}^{\mu} = (\Omega, u) v^{\mu} + (\Omega, v) u^{\mu} - (u,v) \Omega^{\mu} - i \eta^{\mu \nu} \epsilon_{\nu \alpha \beta \gamma} \Omega^{\alpha} u^{\beta} v^{\gamma}\)

or by using the Hodge duality *:

\(u\beta v = (\Omega, u) v + (\Omega, v) u - (u, v) \Omega - i * (\Omega \wedge u \wedge v)\)

If we decompose a quantion as:

\(u = U\Omega + \vec{u}\)
\(v = V\Omega + \vec{v}\)

we have \(w = u\beta v \) with \(w = W\Omega + \vec{w}\) given by:

\(W = UV + \vec{u}\cdot \vec{v} \)
\(\vec{w} = U\vec{v} + V\vec{u} + i \vec{u}\times\vec{v}\)

Next time we'll see how to arrive at the matrix formulation and SL(2,C). We'll also see that the above decomposition is related to the CPT theorem. Please stay tuned.

Friday, March 13, 2015

The amazing SO(2,4)


Continuing the quantionic discussions, let's see how the Lie algebra so(2,4) arises naturally in this framework. First in quantum mechanics the anti-Hermitean operators form a Lie algebra and the classification of Lie algebras was obtained by Elie Cartan. But in quantum mechanics there are additional relationships obeyed by the anti-Hermitean operators because if we multiply them with the imaginary unit we get a Jordan algebra and between them there is a compatibility relationship. This compatibility relationship restricts the possible Lie algebras and as expected one gets the unitary algebras su(n). However there is also an exceptional non-unitary solution: so(2,4).

It is too complicated to follow this line of argument, and instead I want to present a more elementary argument (also due to Emile Grgin) which arrives at so(2,4). With a bit of hindsight we start from a general SO(p,q) space which as a linear space is spanned by p-positive basis vectors: \(e_1 , e_2 , \dots , e_p \) and by q-negative basis vectors: \(e_{p+1} , e_{p+2} , \dots , e_{p+q} \) . Then we want investigate arbitrary reflections. Why? Because we are after obtaining non-standard ways to represent sqrt(-1) using the elements of SO(p,q) which is the key to the hermitian-anti-hermitan duality in quantum mechanics. In complex numbers if we consider the complex conjugation we can represent that as a reflection on the real axis, and this is a good hint.



We are interested in continuous transformations only to the extent that they can undo a reflection. If we can find a unique reflection this can form a realization of the observables-generators duality in quantum mechanics.

Now consider a reversal of \(r\) arbitrary basis vectors in \(e_1 , e_2 , \dots , e_p \). If \(r\) is even the transformation can be undone by rotations because the determinant of the transformation is positive. Similarly all reversals for \(r\) odd are equivalent.

In general we can have \(r\) inversions in the positive basis vectors and \(s\) inversions in the negative basis vectors: \(J=s+r\). Therefore in general there are \(K=n-J\) invariant basis vectors. Let us now rename the basis vectors as: \(R_1, R_2, \dots , R_J , S_1, S_2, \dots , S_K\) (R for reverse, and S for same). Then there are 3 kinds of bivectors:

\(R_i \wedge R_j\)
\(S_i \wedge S_j\)
\(R_i \wedge S_j\)

The first two kinds do not change sign, but the last kind does.

Let us introduce two more numbers:

N = number of bivectors of kind \(R_i \wedge S_j\)
P = number of bivectors of kind \(R_i \wedge R_j\) + number of bivectors of kind \(S_i \wedge S_j\) + 1 for the identity transformation

N-for negative, P-for positive

Then the following relationships hold:

N=JK
P=1/2 J(J-1) + 1/2 K(K-1)+1 = 1/2 n(n-1) - N + 1

Now r and s must be odd numbers (all even number reflections can be undone by a rotation):
r=2k+1 < p
s=2l+1 < q

and introducing m=k+l as an auxiliary notation we get:

N(m) = JK=2(m+1)(n-2m-2)

(2(m+1) = J and K = n-J=n-2m-2)

Now we need to require that the complex conjugation is uniquely defined. This means that N(m) must have the same value for all the allowed values of m:

\(N(0) =N(1)=...=N(m_{max})\)

Because N(m) is quadratic there are only two solutions for m: \(m_{max} = 1\) and from N(0)=N(1) we get:

2*(n-2)=2*2*(n-4)

and so n=6

Therefore we can have the solutions: SO(1,5), SO(2,4), SO(3,3), SO(4,2), SO(5,1)

In the 1,5 and 3,3 case \(m_{max} = 2\) and we cannot have a unique way to define complex conjugation!!! The only remaining case is SO(2,4) (which is isomorphic with SO(4,2)).

If we want to generalize the number system for quantum mechanics in a way that respects the tensor product and obtain a non-unitary solution, the only possibility is SO(2,4).

Why is this remarkable? Because SO(2,4) is the conformal group of the compactification of the Minkowski space. This is the first hint that ultimately we will get a relativistic quantum mechanics.

Friday, March 6, 2015

Quantionic Quantum Mechanics


In the prior posts I presented the alternatives to complex quantum mechanics: real, and quaternionic quantum mechanics. it turned out that real and quaternionic quantum mechanics are constrained versions of complex quantum mechanics and as such they have several problems: lack of a tensor product (because the constraints do not scale  nicely with the tensor product), lack of a de Finetti representation, etc. Are there other possible number systems for quantum mechanics?

If quantum mechanics predicts only probabilities, there would be no other possibility and Adler proves why in his quaternionic quantum mechanics monograph. But this is absurd! How can quantum mechanics predict something other than probabilities? How about generalizing probabilities to probability current densities? This is actually what one gets in Dirac's theory of the electron! It turns out that there exists a completely equivalent formulation of Dirac theory of spinors in terms of a new quantum mechanics number system called the quantions and this would correspond to a different factorization of the d'Alembertian. This was discovered by Emile Grgin and I will expose this beautiful theory in this and subsequent posts.

Grgin's quantions book


So let us start from the beginning. The algebraic structure of quantum mechanics corresponds to two algebras: the Jordan algebra of the observables, the Lie algebra of the generators, and their compatibility relationship (see definition 2.1 on page 7 on this).

Now it turns out that the compatibility relationship allows the introduction of an associative product which in the case of complex quantum mechanics is the usual complex number multiplication. Associativity has an experimental interpretation: the ability to compose two experiments sequentially. 

The map J (\( J^2 = -1 \)) between observable and generators can be introduced in two ways:
  • the usual way as sqrt(-1)
  • an internal way as an element of the algebra of observables
In the second case let this special element be: \(O_J\) and to preserve invariance under tensor composition we demand that all other observables must commute with \( O_J \) So what we get is a sub-algebra of the two-product Jordan-Lie algebra and now we have a constained quantum mechanics compatible with the tensor product (unlike quaternionic quantum mechanics). In fact this is the BRST theory in disguse.

Now if we want to find something others than complex number quantum mechanics we need to look at non-unitary representations. This means that the associative product is no longer a division number system and hence we can get non-negative probabilities or "ghosts". But isn't this nonphysical?  Sure it is. However restricting the observables to be only the ones commuting with \(O_J\) restores sanity. The only price to pay is the generalization of the inner product.

It turns out that the unphysical quantum mechanics corresponds to quantum mechanics over \(SO(2,4)\) which is isomorphic with \(SU(2,2)\) and this contains two positive probability modes and two negative probability modes. However, restricting the observable to commute with \( O_J \) restores positivity and what results is a non-division algebra \(SL(2,C)\oplus SL(2,C)\) which Grgin calls the quantionic algebra.

Quantionic quantum mechanics is actually the gauge theory of electroweak interaction, is a BRST theory, corresponds to a Hodge decomposition of the d'Alembertian, and is fully equivalent with the spinor Dirac theory. All we have to accept is the fact that experiments do not result in probabilities but in the natural generalization of them in the special theory of relativity context: Dirac's current probability densities. Quantionic quantum mechanics is the natural unification of quantum mechanics and relativity. Moreover, this can only work in 3+1 spacetime dimensions! Spin, theory of relativity, and space-time dimensionality emerge naturally in this theory and they do not have to be assumedWe'll explore in depth this theory in the next posts.