## 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 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) \)

\( 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.