The Quantum–Relativity Tension and the Biquaternion Framework
Introduction
Quantum mechanics and relativity are the two foundational theories of the twentieth century, and they do not sit comfortably together. Each is extraordinarily successful in its own domain. Neither, in its standard formulation, contains the other. The difficulties that appear when the two are combined are not technical details of calculation; they are structural, and they concern what the basic objects of the two theories are.
This article states the tension and then asks what the biquaternion framework brings to it. It is written as a list of ideas, not a list of results. For each difficulty set out in the tension, it gives the framework's idea where there is one, the algebraic mechanism that carries it, and the edge at which the idea stops short of a resolution.
The claim is not that the tension is resolved. The claim is that the framework offers one common language for the two theories, and that in that one language several of the difficulties turn from compromises between two formalisms into properties of a single biquaternion space. That is a smaller claim than a solution and a larger one than a restatement, and the article tries to keep the two apart throughout.
The Tension
Seven structural difficulties are usually distinguished. They are stated here in their own terms, with the framework out of view, each followed by what an answer would have to deliver.
1. Time is a parameter in quantum mechanics and a coordinate in relativity. In the Schrödinger equation the time $t'$ is an external parameter: the state evolves as a function of it, and it has no spectral decomposition. In relativity the time is one coordinate among four, mixed with the space coordinates by the Lorentz transformation and read from the interval. An answer must deliver a structure in which the time is not an external parameter.
2. The Born rule is an axiom. The probability interpretation of the wave function is postulated, not derived. The rule $p=|\psi|^2$ sits inside the formalism as an independent ingredient; nothing in the structure of a Hilbert space singles it out. An answer must deliver the probability pairing from the structure rather than beside it.
3. Spin–statistics is a theorem that needs quantum field theory. The connection between spin and statistics cannot be derived in non-relativistic quantum mechanics. It requires the relativistic framework, together with locality and the positivity of energy, and it is proved as a theorem of quantum field theory. An answer must deliver one framework that contains the relativistic field and the spin representation at once.
4. Measurement lies outside the formalism. The unitary evolution is smooth and deterministic; the collapse is discontinuous and probabilistic. No single equation contains both, and no rule inside the formalism says when each applies. An answer must deliver one operation that contains the reversible and the irreversible process.
5. Quantisation is a recipe, not a derivation. There is no unique passage from a classical theory to its quantum version. Canonical quantisation, path-integral quantisation and deformation quantisation differ in their starting points, and the choice among them is not derived from first principles. An answer must deliver a canonical passage, or show that none exists.
6. The oscillatory path integral needs a trick. The integral over histories with the weight $\exp(iS/\hbar)$ does not converge. The standard device that makes it manageable is the Wick rotation, the analytic continuation to imaginary time, which is an additional step rather than a consequence of the sum over paths. An answer must deliver a weight or a measure that is natural to the framework.
7. Non-locality and causality are in tension. Entanglement correlations appear non-local, while relativistic causality forbids superluminal signalling. Reconciling the two requires care, and the reconciliation is a statement about what the theory may and may not be read as saying. An answer must deliver a common structure for the light cone and for the correlation.
Each of these has been addressed in various ways. None is settled. The list is the measure against which the framework's ideas are to be read below.
One Biquaternion Space for Two Theories
The reason the framework can speak to both theories at once is a structural property of one biquaternion space, and it is worth stating before the ideas, because each idea is an instance of it.
The algebra $\mathbb{B}=\mathbb{C}\otimes_\mathbb{R}\mathbb{H}$ carries a small lattice of conjugations, and the reason it can hold both theories is that the maps in it are genuinely different maps, each with its own fixed space and its own form. Two of them are the genuine involutions of the ring: the Hermitian conjugation ${}^{*}$, with $\vec e_k^{*}=-\vec e_k$ and $i^{*}=-i$, and the quaternion conjugation ${\natural}$, with $\vec e_k^{\natural}=-\vec e_k$ and $i^{\natural}=i$. They commute, and their composition is the coefficient conjugation $\bar{\cdot}=\natural\,{}^{*}$, which negates $i$ and fixes the quaternions. A third order-two map, the anti-Hermitian conjugation $\flat=-{}^{*}$, is not an involution of the ring but an order-two map of the underlying real space, and it is the one that singles out the material sector: $\mathbb{M}_-$ is its fixed space and $\mathbb{M}_+$ its anti-fixed space, so $\flat$ fixes the spacetime-carrying sector. From ${}^{*}$ and ${\natural}$ come two forms on the same complex space: the general plain sesquilinear form $\langle\tilde{Q}_1,\tilde{Q}_1\rangle_{*}=\sum_{\mu}|Q_{1\mu}|^{2}$, real and positive definite, which is the Hilbert structure the Born pairing and the unitary evolution use; and the general quaternionic bilinear form $\langle\tilde{Q}_1,\tilde{Q}_1\rangle_{\natural}=\tilde{Q}_1\tilde{Q}_1^{\natural}=\sum_\mu Q_{1,\mu}^{2}$, complex in general and indefinite, whose zero set is the zero-divisor cone and whose value on the material sector is the interval $-c^2{t'}^2+x^2+y^2+z^2$. One biquaternion space therefore carries a Lorentzian signature and a positive-definite state space at the same time, and it carries them as the Hermitian and the quaternion faces of the same element.
There is a further structural point, which the complex coefficients buy and which a real signature cannot: because a coefficient is complex, it carries its own sign. No direction of the basis has to be labelled timelike or spacelike in advance; the signature appears only when the form is read on a real form. This is why the framework can offer one arena to a theory of an indefinite metric and a theory of a positive-definite state space without choosing between them at the start.
The clearest single place to see the two regimes is the diagonal. One element has one scalar coefficient, and the two theories read it in two ways: the relativistic interpretation makes the temporal coefficient $ict'$ with $c$ a constant outside it, and the quantum interpretation makes it $iQ$ with $Q$ an operator inside the element. Both are the same move of the one central imaginary unit, and it is that same move which produces the two opposite signs of the interval — $\langle\tilde{Q}_1\rangle_{\natural}=-c^2{t'}^2+x^2+y^2+z^2$ on the material sector, and $\langle i\tilde{Q}_1\rangle_{\natural}=-\langle\tilde{Q}_1\rangle_{\natural}$ after multiplication by $i$. So the tension between a parameter time and an operator time, and between an indefinite metric and a positive form, is not a clash of two postulates: it is the shape of one lattice of two commuting involutions read on one central number. This is the article's interpretation of the tension, and it is offered as an interpretation of the structure and not as a solution of the problem of time.
The second half of the structural reason is that one action form serves both groups:
$$ \boxed{\;\Gamma_{\tilde{Q}_3}(\tilde{Q}_1)=\tilde{Q}_3\,\tilde{Q}_1\,\tilde{Q}_3^{*}\;}. $$
The relativistic transformations are the unit-norm biquaternions, $\tilde{U}\tilde{U}^{\natural}=e_t$, the group $SL(2,\mathbb{C})$; the quantum operations are the unitary biquaternions, $\tilde{Q}_3\tilde{Q}_3^{*}=e_t$; the measurement update is the same form with $\tilde{Q}_3$ a Hermitian idempotent. The three cases differ only in which class of element acts. The symmetry group and the operator algebra are therefore not two structures in correspondence; they are two subsets of the invertible elements of one biquaternion space acting by one formula, and their intersection is the rotation group $SU(2)$. The two subsets are different groups and neither contains the other: the unit-norm subset induces the full Lorentz group, boosts included, while the unitary subset induces only its rotations, since unitarity, and not unit norm, is the condition that preserves the trace.
| Object | Relativistic face | Quantum face |
|---|---|---|
| Involution | ${}^{\natural}$ (quaternion): the metric | ${}^{*}$ (Hermitian): the Hilbert structure |
| Form on an element | General quaternionic bilinear $\sum_\mu Q_{1,\mu}^{2}$, indefinite | Sesquilinear $\sum_\mu\lvert Q_{1,\mu}\rvert^{2}$, positive definite |
| Distinguished group | Unit norm $\tilde{U}\tilde{U}^{\natural}=e_t$: $SL(2,\mathbb{C})$ | Unitary $\tilde{Q}_3\tilde{Q}_3^{*}=e_t$: the quantum operations |
| Distinguished real form | $\mathbb{M}_-$: the four-vectors, interval $-c^2{t'}^2+x^2+y^2+z^2$ | $\mathbb{M}_+$: the Bloch ball, $\mathrm{Tr}\tilde{Ϛ}=1$, $\tilde{Ϛ}\geq0$ |
| Action | $\Gamma_{\tilde{U}}$ on $\mathbb{M}_-$ | $\Gamma_{\tilde{Q}_3}$ on $\mathbb{M}_+$, and $\tilde{Q}_3$ on the spinor module |
The row on the distinguished real form carries a caveat that belongs with it, and it is developed in The Bloch Ball as the Normalised Slice of the Future Light Cone. The two real forms are related by the central imaginary unit through the map $\tilde{R}\mapsto\tilde{H}=-\tfrac{i}{2}\tilde{R}$ on the material four-vector $\tilde{R}=ict'\,e_t+x\,\vec e_x+y\,\vec e_y+z\,\vec e_z$; it sends $\tilde{R}$ to $\tfrac{1}{2}(ct'\,e_t-i(x\,\vec e_x+y\,\vec e_y+z\,\vec e_z))$ and yields $\mathrm{Tr}(\tilde{H})=ct'$ and $\langle\tilde{H}\rangle_{\natural}=-\tfrac{1}{4}\langle\tilde{R}\rangle_{\natural}$; the image is a state exactly at $ct'=1$, where it is $\tilde{Ϛ}=\tfrac{1}{2}(e_t+i\vec r)$ with $\vec r=-(x\,\vec e_x+y\,\vec e_y+z\,\vec e_z)$, and there the causal condition $ct'\geq|x\,\vec e_x+y\,\vec e_y+z\,\vec e_z|$ becomes the positivity of the state, purity becomes nullness, and the maximally mixed state becomes the rest four-vector. The two real forms are not isomorphic as algebras: multiplication by $i$ is not multiplicative, since $(i\tilde{Q}_1)(i\tilde{Q}_2)=-\tilde{Q}_1\tilde{Q}_2\neq i(\tilde{Q}_1\tilde{Q}_2)$, and neither sector is a subalgebra, since $(\tilde{Q}_1\tilde{Q}_2)^{*}=\tilde{Q}_2\tilde{Q}_1$ makes a product of two elements of one sector Hermitian only when the factors commute. The commutator does return: $[\mathbb{M}_\pm,\mathbb{M}_\pm]\subseteq\mathbb{M}_-$. The two distinguished real forms are anti-isometric real quadratic spaces, with $\langle i\tilde{Q}_1\rangle_{\natural}=-\langle\tilde{Q}_1\rangle_{\natural}$, and the identity between the relativistic and the quantum face is an identity of quadratic spaces rather than of algebras.
This is the common ground, and it is established: it is the content of the foundational articles rather than a proposal. The ideas below are what the common ground buys, and each is stated with the part of it that is a result and the part that is a hope.
Ideas the Framework Brings
Seven ideas. Six are numbered against the difficulties — ideas 3 and 4 both against difficulty 1, from its two sides. Idea 2 is ground for the relativistic side of several difficulties rather than an answer to one. Difficulties 5 (quantisation) and 6 (the path-integral weight) have no numbered idea of their own: the framework's relation to them is recorded in the programmes below. The table at the end of the section records the correspondence. Each idea is given as the idea, the mechanism, and the edge.
1. Put states and observables in one subspace
The idea. Make the objects of the quantum description elements of one four-dimensional real space instead of two different kinds of object.
The mechanism. In standard quantum mechanics a state is a positive trace-one operator and an observable is a Hermitian operator; they are different kinds of object, paired by the Born rule. In the framework both are elements of the Hermitian subspace $\mathbb{M}_+$: a state is a positive element $\tilde{Ϛ}$ normalised by $\langle\tilde{Ϛ},e_t\rangle_{*}=\tfrac12$ (trace one in the image), an observable a general Hermitian element $\tilde{H}$, and the pairing is the normalised Hermitian form $\mathrm{Tr}(\tilde{Ϛ}\tilde{H}^{*})=2\,\mathrm{Sc}(\tilde{Ϛ}\tilde{H}^{*})$. A pure state is an idempotent $\tilde\Pi_{1,2}(\vec u)=\tfrac12(e_t\pm i\vec u)$ along a unit axis $\vec u$, and a mixed state is a general positive normalised element $\tilde{Ϛ}=\tfrac12(e_t+i\vec r)$; within that class, the two are distinguished by idempotence, and the mixed states fill the interior of the Bloch ball. The space on which both are read is the spinor module $S=\mathbb{B}\tilde{\Pi}_1=\mathbb{C}^{2}$, spanned by one idempotent and one nilpotent, and its Born pairing has Gram matrix $\tfrac12 I_2$: the module is a genuine two-dimensional Hilbert space, whose two amplitudes are the two coefficients of the basis. The quantum half of the description therefore has a positive definite inner product before any interpretation is offered — the alternative, an isotropic module of the kind a general Clifford algebra can present, would leave the Born pairing without a norm to be a probability of.
The edge. What the normalised Hermitian form, read as the trace, gives is the probability formula: for an idempotent and a state the pairing is $p_\pm=\langle\tilde\Pi_{1,2},\tilde{Ϛ}\rangle_{*}/\langle\tilde{Ϛ},e_t\rangle_{*}=\mathrm{Sc}(\tilde\Pi_{1,2}\tilde{Ϛ}^{*})/\mathrm{Sc}(\tilde{Ϛ})=\tfrac12(1\pm\vec u\cdot\vec r)$, with the trace reading last, at normalisation. What it does not give is the identification of those numbers with physical frequencies. The framework relocates the Born rule from a postulate to a property of the pairing; it does not remove the interpretive step. The idea answers difficulty 2 in the structural sense and not in the operational sense, and the separation is stated in The Born Rule from the Hermitian Form — Derivation and Comparison.
2. Let the symmetries and the operators live in the same biquaternion space
The idea. Do not build a quantum theory and then extend it relativistically. Start from an algebra whose own transformations already are the relativistic ones.
The mechanism. The Lorentz group is realised inside the algebra, as the unit-norm biquaternions with $\tilde{U}\tilde{U}^{\natural}=e_t$; the biquaternionic Dirac equation is the classical relativistic spinor equation; and the quantum operations act by the same conjugation with the other normalisation. A relativistic transformation and a quantum operation are the same formula applied with different normalisation conditions, and the spinor module on which the Dirac field lives is the module on which the spin of the qubit lives.
The edge. The algebra is relativistic from the start, but the single-qubit formalism is not: its state space is a fixed Bloch ball at $|\vec r|\leq1$, and a boost moves a state off the trace-one slice. Making the state space relativistic, and not only the transformation group, is the open work, and it is the content of The Relativistic Qubit in Biquaternionic Form and of the companion quantisation articles.
Compact and non-compact generators. The transformations of the frame divide into the compact rotations and the non-compact boosts, and the algebra separates them by the sign of its own invariant form: the three real vector units generate the compact $\mathfrak{su}(2)$ of the rotations and the three imaginary units the non-compact boosts, the invariant form being negative on the first triple and positive on the second. The split is the generator-level form of the same dichotomy the state side uses — the compact slice of the acting elements is where the discrete internal charge lives and the non-compact directions where the continuous rapidity lives (The Physical Interpretation of the 12 Products) — so the division of labour between a discrete and a continuous internal label is the sign of one algebraic form. The owner is The Physical Interpretation of the 12 Products.
3. Derive the signature from the imaginary unit
The idea. Make the Lorentzian signature a consequence of the algebra rather than a postulate about a metric.
The mechanism. In the material sector the time coordinate is $ict'$. The interval is the quaternion norm of a material element, $\langle\tilde{Q}_1\rangle_{\natural}=\tilde{Q}_1\tilde{Q}_1^{\natural}=\sum_\mu Q_{1,\mu}^2$ with $Q_{1t}=ict'$, and the single relation $i^2=-1$ turns $\sum_\mu Q_{1,\mu}^2$ into $-c^2{t'}^2+x^2+y^2+z^2$. The sign that distinguishes time from space is the sign of the square of the algebra's own central imaginary, not an independent assumption about a metric.
The edge. The derived signature fixes the arena. It does not by itself settle the problem of time, which is a statement about dynamics and constraints: the Hamiltonian constraint of canonical quantum gravity and the absence of a preferred time are not addressed by making the time coordinate algebraic. Ideas 3 and 4 share difficulty 1 and each answers a different part of it.
4. Make the time a coordinate of the algebra
The idea. Treat the imaginary character of the time as a structural fact, so that the asymmetry between a parameter and a coordinate has no room to arise.
The mechanism. The two sectors are exchanged by multiplication by the central $i$: $i\mathbb{M}_\pm=\mathbb{M}_\mp$. The time is therefore not an external label attached to a state; it is one of the four coordinates of the material sector on the same footing as the three space coordinates, and the same central element that generates the exchange is the one that generates the sign of the interval. This is the sense in which the framework has no external parameter: every quantity that transforms is a coordinate of an element, and there is no slot outside the algebra for a parametric time to occupy.
A relational interpretation. The exchange admits an interpretation in time, and it is the sharpening this idea takes. The two times are the real and the imaginary parts of one central coordinate, $z = ct + i\,ct'$, and multiplication by $i$ is the quarter turn of that plane, which carries the informational time to the material coordinate and the material time to the informational one. A sector's time coordinate is therefore read against the phase of the other sector and not against a parameter outside the algebra: each sector is in this kinematic sense the other's clock. What the exchange fixes is the reference and the period, and not the arrow — it is invertible and of order four, so it offers the rotation between the two times and no rule that selects one — while the selection of a slice stays the problem of time recorded in the edge below. The interpretation is developed in Each Sector Is the Other's Clock: the Sector Exchange as Relational Time.
The edge. This is a statement about the kinematic structure, and it is not yet a dynamics. What is missing is the same object that difficulty 1 names: a formulation in which the constraint structure carries the content, and in which the Schrödinger equation is recovered as a sector equation rather than assumed. The Schrödinger Equation in Biquaternionic Form and The Relativistic Exchange of Information and Clock Synchronisation in Biquaternionic Form give the kinematic pieces; the constraint analysis is not written.
5. Read the two evolutions as two classes of acting element
The idea. Stop treating the unitary evolution and the measurement update as two different kinds of process, and treat them as one process with two kinds of actor.
The mechanism. Both are the operation form $\Gamma_{\tilde{Q}_3}(\tilde{Q}_1)=\tilde{Q}_3\tilde{Q}_1\tilde{Q}_3^{*}$. For the reversible evolution $\tilde{Q}_3$ is unitary, $\tilde{Q}_3\tilde{Q}_3^{*}=e_t$; for the measurement update $\tilde{Q}_3$ is a Hermitian idempotent, $\tilde{Q}_3^2=\tilde{Q}_3=\tilde{Q}_3^{*}$. The two classes are distinguished algebraically — a unitary element preserves the biquaternion norm, since $\langle\tilde{Q}_3\tilde{Q}_1\tilde{Q}_3^{*}\rangle_{\natural}=|\langle\tilde{Q}_3\rangle_{\natural}|^{2}\langle\tilde{Q}_1\rangle_{\natural}$ and $|\langle\tilde{Q}_3\rangle_{\natural}|=1$, while an idempotent projection does not, since $\tilde{\Pi}\tilde{\Pi}^{\natural}=0$ gives $\langle\tilde{\Pi}\tilde{Q}_1\tilde{\Pi}\rangle_{\natural}=\tilde{\Pi}\tilde{Q}_1\,\tilde{\Pi}\tilde{\Pi}^{\natural}\,\tilde{Q}_1^{\natural}\tilde{\Pi}^{\natural}=0$ — so the reversible–irreversible distinction is a distinction between elements of one biquaternion space rather than between two postulates. A third element of the same interpretation is available from the norm: for a Hermitian idempotent the quaternion conjugation returns the complementary idempotent, $\tilde\Pi^{\natural}=e_t-\tilde\Pi$, so the biquaternion norm vanishes,
$$ \boxed{\;\langle\tilde\Pi\rangle_{\natural}=\tilde\Pi\tilde\Pi^{\natural}=\tilde\Pi\,(e_t-\tilde\Pi)=0\;}, $$
and the idempotents lie on the algebra's zero-divisor cone, whose geometry Idea 7 develops.
The edge. The algebra supplies the operation and the classes; it does not say which element acts. The selection of the idempotent is the measurement problem restated exactly, not solved, and the restatement is stated in The Measurement Problem in Algebraic Form. What the interpretation does supply is a place to look: the trigger, if there is one, must be a rule that promotes an idempotent out of the class of acting elements, and it must be a rule about the algebra rather than about an observer.
The dagger identity. The two classes of acting element are separated by one algebraic fact, and it is the same fact that separates the two evolutions. The dagger product $\tilde{Q}_3\tilde{Q}_3^{*}$ is positive semidefinite, of rank two off the zero-divisor cone and at most one on it, since $\mathrm{Sc}(\tilde{Q}_3\tilde{Q}_3^{*})=\mathrm{Sc}(\tilde{Q}_3^{*}\tilde{Q}_3)=\lVert\tilde{Q}_3\rVert_E^{2}\geq0$. A unitary $\tilde{Q}_3$ has $\tilde{Q}_3\tilde{Q}_3^{*}=e_t$ and is rank two; a Hermitian idempotent $\tilde{\Pi}$ has $\tilde{\Pi}\tilde{\Pi}^{*}=\tilde{\Pi}$, of rank one, and lies on the cone. The reversible evolution therefore sits at the top of the dagger's range and the idempotent at its degenerate bottom, and the passage from one to the other is a drop of rank. That is the algebraic form of the statement that positivity is the state condition: the state is what the dagger sends to a rank-one element, and the reversible operation what it sends to a rank-two one. The interpretation is The Physical Interpretation of the 12 Products.
6. Read the two statistics from the two classes of representation
The idea. Look for spin–statistics in the representation theory of the one algebra rather than in the axioms of a field theory.
The mechanism. The spin half is exact and algebraic: the rotor through $2\pi$ about any axis is $-e_t$, the half-integer-spin representations live on the spinor module, where $-e_t$ acts as $-\mathrm{id}$, and the integer-spin representations live on the material sector, where it acts as $+\mathrm{id}$. Single-valuedness and double-valuedness are therefore properties of which module an object inhabits, decided by the algebra. In the single-mode truncation the algebra carries exactly one fermionic mode, whose ladder operators are the spin ladder operators, and it carries no bosonic mode, because a canonical commutator would have to be central, and a central traceless element of $\mathbb{B}$ is zero: the trace of a commutator vanishes while $\mathrm{Tr}(e_t)=2$.
The edge. The spin half is algebraic; the statistics half — which bracket is imposed, the anticommutator or the commutator — is transcribed from field theory and not forced by the algebra. The one-mode statement is finite-dimensional, and the field algebra is infinite-dimensional, where both the exterior and the symmetric algebra are available; that the algebra's finite content is exactly the fermionic one is suggestive and not a derivation. The Spin–Statistics Theorem in Biquaternionic Form exhibits the theorem in biquaternionic form and states the gap. The idea is the most promising place for a genuinely new result, precisely because it is where the algebra might do work that the field-theoretic axioms do.
7. Let the correlation and the light cone share one cone
The idea. Give entanglement and causality one biquaternion space instead of treating one as a correlation and the other as a constraint.
The mechanism. The light cone is the zero-divisor cone of the algebra: the elements $\tilde{Q}_1\neq0$ with $\tilde{Q}_1\tilde{Q}_1^{\natural}=0$ are exactly the null directions of the general quaternionic bilinear form, and they form a complex cone that is closed under the multiplication of the algebra and invariant under the Lorentz rotors. Its material real slice is the light cone; the trace-one slice of its informational real slice is the Bloch sphere. Causality, the null structure and the quantum state therefore live on one algebraic locus rather than on three separate ones, and the same cone is the one whose holonomy is the Pancharatnam phase of the polarization sphere. A second and independent idea of the framework bears on the same difficulty: the material–informational split is a superselection structure of a real form, so the relative phase between the two sectors is not observable, and the framework says algebraically which coherences a change of frame can and cannot carry.
The edge. Sharing a cone is not the same as deriving the bound. The framework gives the light cone and the correlation one locus but does not, so far, give the Tsirelson bound or a principle that fixes where quantum correlations stop; and the superselection structure of a real form is weaker than a superselection structure of the standard central kind, because the algebra is central simple and has no nontrivial central idempotent. The Light Cone as the Biquaternion Zero-Divisor Cone, Pancharatnam's Phase and the Polarization Sphere in Biquaternionic Form, The Material-Informational Split as a Superselection Structure in Biquaternionic Form and Frame-Dependent Entanglement and Relativistic Quantum Information in Biquaternionic Form carry the pieces; The Bell Basis as the Idempotent Basis of $\mathbb{B}\otimes\mathbb{B}$ carries the two-qubit idempotent structure, which is a separate question from the cone of a single algebra.
The ideas, collected by difficulty.
| Difficulty | Idea | The mechanism |
|---|---|---|
| 1 Time a parameter | 3, the signature from $i^2=-1$ | $\langle\tilde{Q}_1\rangle_{\natural}=\sum_\mu Q_{1,\mu}^2$ with $Q_{1t}=ict'$ |
| 1 Problem of time | 4, the time as a coordinate | $i\mathbb{M}_\pm=\mathbb{M}_\mp$; the exchange as an internal clock |
| 2 Born rule an axiom | 1, states and observables in one subspace | $\operatorname{Tr}(\tilde{\Pi}\tilde{Ϛ}^{*})=\operatorname{Tr}(\tilde{\Pi}\tilde{Ϛ})=\tfrac12(1+\vec u\cdot\vec r)$ |
| 3 Spin–statistics | 6, two classes of representation | $-e_t$ acts as $\pm\mathrm{id}$ by module |
| 4 Two evolutions | 5, two classes of acting element | Unitary and idempotent elements of one biquaternion space |
| 5 Quantisation a recipe | no numbered idea; see Programme 3 | $\mathfrak{sl}(2,\mathbb{C})$ as the natural bracket algebra |
| 6 Path-integral weight | no numbered idea; see Programme 5 | $iS/\hbar$ in the material sector; the Wick rotation as the bridge |
| 7 Non-locality against causality | 7, one cone | $\langle\tilde{Q}_1\rangle_{\natural}=0$: the light cone and the pure states |
| (ground: the relativistic side of several) | 2, symmetries and operators in one biquaternion space | $\Gamma_{\tilde{U}}$ and $\Gamma_{\tilde{Q}_3}$ are one formula |
The Programmes: What Is Built and What Blocks It
The ideas above open programmes as much as they state positions, and it is useful to say for each programme what the framework has already built and what blocks it. The seven programmes are the seven directions of the framework, taken together with the ideas that open them; the numbering of the two lists is not the same, and the table below gives the programme's own accounting.
1. The idempotent formalism. Built for one qubit: Quantum Physics in Biquaternionic Form gives the state space, the observables, the Born pairing, the dynamics and the measurement rule, and assesses them against the ten structural requirements of Quantum Physics: Foundations and Structure. The geometry is in The Bloch Ball as the Normalised Slice of the Future Light Cone and The Fubini–Study Geometry and the Biquaternion Norm; the unitarity criterion in Unitarity from Centrality: The Biquaternion Norm-Preservation Theorem. Blocking object: the tensor product and the composition rule that separate a one-qubit reformulation from a quantum theory.
2. Spin–statistics from the algebra. The gap is exactly located: The Spin–Statistics Theorem in Biquaternionic Form proves the spin half algebraically, computes the anticommutator as local and the commutator as a nonzero Bessel kernel at spacelike separation, and records the pairing as imported. What would resolve it is a structure of the algebra — a graded extension, a crossed product, or the full tensor algebra of the module — that forces the bracket pairing rather than admitting both. Blocking object: that structure.
The reality-condition taxonomy, in the same programme. A second classification is available beside the spin–statistics one: the type of a particle is its reality condition, the existence and the square of an antilinear map $J$ commuting with the Clifford action, and the three types are the real, complex and quaternionic particles, which cannot mix. The framework's internal module is of complex type — its volume element is $i\cdot1$ and no commuting antilinear map exists — so its particle is Dirac-like with a distinct antiparticle, and a Majorana neutrino would require a different module. The taxonomy also carries the discrete-versus-continuous division of the framework's internal labels: the compact unitary slice $\mathrm{U}(2)$ has discrete irreducible labels, which is the algebraic origin of charge quantisation, while the non-compact boost directions supply the continuous rapidity, so charge is the compactness of the internal group and not a separate postulate. The taxonomy is The Physical Interpretation of the 12 Products; the antilinear structure and the two kinds of mass it carries are Antilinear Structure and the Two Kinds of Mass in Biquaternionic Form.
3. Quantisation from the algebra. The Lie algebra $\mathfrak{sl}(2,\mathbb{C})$ is the natural bracket algebra of the framework, and the idea is that it selects the quantisation. The canonical quantisation of the Klein–Gordon, Dirac, Maxwell, Proca, Rarita–Schwinger and graviton fields has been transcribed into biquaternionic form, and the honest interpretation of the transcriptions is that the algebra supplied the objects and not the brackets: the conjugate momenta, the constraints and the Fock space were imported. In the Maxwell case the natural variable $\tilde{F}$ has no canonical partner, so the framework cannot fix the gauge from its own structure. Blocking object: an algebraically preferred bracket, gauge, or measure; the gravitational case in Quantum Gravity under the Biquaternion Framework — A Research Agenda shows the blockage in its sharpest form, the canonical chain having no first link.
What bounds this programme: the centre is one-dimensional. A gauge extension of the framework's continuous symmetry would have to be a non-central generalisation of the central phase, and the obstruction is exact. The centre of $\mathbb{B}$ is the complex scalars, one complex dimension, so every continuous symmetry of the algebra that acts the same way at every element is the central phase and no larger; the gauge group the algebra carries is therefore $\mathrm{U}(2)$, the ceiling of The Gauge Group Ceiling: Why the Biquaternion Algebra Reaches SU(2) but Not SU(3). A group such as $SU(3)$ would need new non-central generators, which is an enlarged carrier and not a new interpretation of $\mathbb{B}$. The bound is the content of the interpretation "centrality is globality": a local phase cannot be the algebra's own, and the passage from a global phase to a local one is the whole of the gauge principle. What is open is whether the framework's gauge structure should be read as the central phase it has or as the trace of an enlargement it does not have.
4. Tensor products and entanglement. The two-qubit algebra is $\mathbb{B}\otimes\mathbb{B}\cong M_4(\mathbb{C})$; The Bell Basis as the Idempotent Basis of $\mathbb{B}\otimes\mathbb{B}$ shows that the four Bell states form a canonical idempotent basis, orthogonal, of trace one and summing to the identity; Entangled Subsystems in the Biquaternion Framework and Exercise: The Correlation Function of the Bell States carry the partial traces and the singlet. Blocking object: the question whether the framework enriches the standard tensor product or only re-expresses it — and with it, whether the shared zero cone of Idea 7 can do work, for instance in fixing the correlation strength rather than merely locating it.
5. The path integral. The exponent $iS/\hbar$ has its place in the material sector, the central element supplies the unitary phase, and the Wick rotation appears as the bridge to the Euclidean weight. Blocking object: the measure, the action, and the space of paths — none of which the algebra supplies. The Path Integral in Biquaternionic Form says so plainly.
6. Measurement. The restatement is exact and the classification is algebraic: The Measurement Problem in Algebraic Form gives the projection form and its limit, Decoherence as Idempotent Projection the loss of phase relations, and The Centre of the Biquaternion Algebra as the Classical Sector the classical interpretation of the centre. Blocking object: the selection rule, plus the classical limit: the centre of the algebra is the classical sector, and how a state leaves the quantum sector is the open question.
7. Time in quantum mechanics. The kinematic pieces exist: The Schrödinger Equation in Biquaternionic Form recovers the sector equation, and The Relativistic Exchange of Information and Clock Synchronisation in Biquaternionic Form the clock structure. Blocking object: the constraint structure, which is not addressed; the deepest and least developed of the programmes.
| Programme | What exists | Blocking object |
|---|---|---|
| 1 Idempotent formalism | The single-qubit formalism, end to end | Tensor product and composition rule |
| 2 Spin–statistics | The spin half, algebraically exact | A structure forcing the bracket pairing |
| 3 Quantisation | Faithful transcriptions of six fields | An algebraically preferred bracket or measure |
| 4 Tensor products | The two-qubit algebra and the Bell basis | Whether the framework adds to the standard product |
| 5 Path integral | The phase and the Wick rotation | The measure, the action, the space of paths |
| 6 Measurement | The exact restatement | The selection rule and the classical limit |
| 7 Time | Kinematic pieces | The constraint structure |
What Is Not Claimed
Four cautions belong with the ideas, because the failure mode of a programme of this kind is to read a structural feature as a result.
First, the framework is not yet a complete quantum theory. For one qubit it is a reformulation, and for two qubits it is partly so. The many-body structure, the general dynamics of open systems and the measurement theory are not complete. Where it reproduces the standard formalism, its value is structural and conceptual.
Second, it does not yet give a new prediction. If the framework reproduces standard quantum mechanics, no experiment distinguishes it. If it gives a new prediction, that prediction must be reconciled with the empirical success of the standard theory at every scale where the standard theory has been tested. The Empirical Status of the Biquaternion Framework records what would count as a signature and why agreement is not confirmation.
Third, the developed relativistic parts are largely classical or transcribed. The Dirac Equation in Biquaternionic Form and Relativistic Mechanics in Biquaternionic Form treat the classical theory; the canonical quantisation of the spinor field is a transcription. The framework's relativistic quantum theory is not yet built from its own algebra.
Fourth, the framework sits in a crowded space. Reformulations of quantum mechanics already exist: geometric algebra (Hestenes, Doran and Lasenby), algebraic quantum field theory (Haag and Kastler), operational quantum mechanics (Hardy, Chiribella), quantum information (Hardy, Barrett) and twistor theory. The framework has to say what it adds. Its own catalogue of what the algebra cannot do, What the Biquaternion Algebra Cannot Do: A Catalogue of Algebraic Obstructions, is where the boundary is drawn; Twistor Theory and Biquaternions compares it with the nearest complex-geometric programme.
Physical Readings
The difficulties of the article can be read as the list of the places where a physical interpretation is already available. Difficulty 2, the axiomatic Born rule, has its interpretation in the trace formula (The Born Rule from the Hermitian Form — Derivation and Comparison); difficulty 4, measurement outside the formalism, in the passage from a pure state to a mixture (The Measurement Problem in Algebraic Form, Decoherence as Idempotent Projection); difficulty 6, the oscillatory path integral, in the central phase, which is the clock of the theory; and difficulty 7, non-locality against causality, in the cone of the algebra, which is one locus for the null directions of the field and for the correlation (The Celestial Sphere of the Null Cone: Null Directions, Chirality and the Phase). No interpretation closes its difficulty, and each is stated where it is made. Ten further readings answer the difficulties the ideas leave open.
- Quantisation is a choice of slot. Difficulty 5, the recipe of quantisation, can be read as the single step from the bilinear row to the sesquilinear row of the grid: inserting the star in the second slot replaces a composition of operations by a pairing that can be squared into a probability, which is the interpretation The Four General Products: Composition, Probability, Causality, Gauge proposes. Boundary: the algebra supplies the pairing and no equation of motion and no measure, so the interpretation is a shape and not a derivation.
- The path weight is the generator. Difficulty 6, the oscillatory path integral, can be read against the central phase: the weight $\exp(iS/\hbar)$ is the one-parameter group $\exp(i\theta)e_t$ of the centre, so the oscillation and the exponential damping of a Wick rotation are one rotation read in two real slices and the continuation is not a second ingredient. Boundary: the measure, the action and the space of paths are still missing, and the interpretation does not make the integral converge.
- The correlation is the off-diagonal of the cone. Difficulty 7, non-locality against causality, can be read on one zero set: the light cone and the quantum correlation are the diagonal and the off-diagonal interpretations of the null locus of one quadratic form, so the causal bound and the correlation are two interpretations of one cone. Boundary: sharing a cone is not deriving the bound, and the interpretation supplies no signalling rule.
- Centrality is globality. The continuous symmetry the framework carries is the central phase, exact because the scalar imaginary $i$ is central: it multiplies every subspace by the same factor and therefore acts the same way at every point. A local phase gauge theory needs a generator that does not commute with everything, so the framework's $\mathrm{U}(1)$ is global by construction and cannot be localised without leaving the centre. Boundary: a statement about the symmetry the algebra supplies, developed by Conventions in the Biquaternion Universe (§The Central Map and Its Restrictions) and bounded by The Gauge Group Ceiling: Why the Biquaternion Algebra Reaches SU(2) but Not SU(3).
- The arrow from the monoid. The tension between reversible laws and irreversible process has an algebraic interpretation: the acting maps of the algebra form a monoid whose units are the off-cone elements and whose non-units are the maps on the cone, so the split between reversible and information-losing operations is a property of the composition and not an added postulate. Boundary: the arrow is a direction of maps and not a derivation of the second law; the owner is The Operators: One-Sided, Two-Sided, Sandwich, with the loss counted by The Lyapunov Exponent and Information Loss in the Biquaternion Framework and the thermodynamics by Landauer's Principle and the Material–Informational Exchange in Biquaternionic Form.
- The centre caps the gauge group. The continuous symmetry the framework can gauge is exactly the central phase, because the centre of the algebra is one-dimensional; the gauge ceiling $\mathrm{U}(2)$ is the group form of that fact, and a larger group is a statement about an enlarged carrier and not about $\mathbb{B}$ (The Gauge Group Ceiling: Why the Biquaternion Algebra Reaches SU(2) but Not SU(3)).
- The arrow is a dichotomy, not an orientation. The monoid of acting maps supplies the split between the reversible units and the irreversible non-units, and the irreversibility is forced on the cone; it does not supply an orientation of the tick, since the generator is invertible of order four and both orientations are present, and no positive Lyapunov exponent or Kolmogorov–Sinai entropy is available in the finite-dimensional algebra. The framework's arrow is therefore the loss of information on the cone and not a direction of time selected by the algebra (Each Sector Is the Other's Clock, The Lyapunov Exponent and Information Loss in the Biquaternion Framework).
- The coupling carries the metric, the order carries the obstruction. Across the four products, the metric and the symmetry obstruction never sit in one place: the metric is the diagonal of the symmetric part of the quaternionic product, and the obstruction is the failure of the antisymmetric part's Jacobi identity, so no single product supplies both. Boundary: a grid-level comparison and not a new identity; the owner is The Four General Products: Composition, Probability, Causality, Gauge, with the failure itself in The Physical Interpretation of the 12 Products.
- The gauge side is a difference structure, not a state space. Difficulty 4, what a measurement is, meets a named no-go on the gauge side: the fourth product is indefinite, defines no positive cone and cannot normalise a state, so the gauge sector is read as a structure of differences without a preferred origin rather than as a space of states. Boundary: the interpretation is a negative result with a stated scope, and it does not say the gauge structure is unphysical; the owner is The Physical Interpretation of the 12 Products.
- Mass is a breaking, not a product. The framework's product is chirality-blind: a multiplication acts identically on the two chiral components of a Dirac element, so no product of the algebra couples the two chiralities, and the canonical mass term is instead a right multiplication, $\tilde{\nabla}\tilde{\Psi}_R=m\tilde{\Psi}_L$ (The Dirac Equation in Biquaternionic Form, The Element and Operator Representations, What the Biquaternion Algebra Cannot Do: A Catalogue of Algebraic Obstructions, O22). Read physically, a Dirac mass is the coupling of the two chiralities; since the algebra's own product cannot supply that coupling, mass is a breaking added to the algebra and not a product of it, a condensate rather than a composition, which is also why the framework reaches the electroweak sector only through a scalar it must insert. Boundary: the algebra carries the chirality-off-diagonal shape of the term; it supplies neither the mechanism nor the value, and the sector that would supply them is the framework's unbuilt part (The Higgs Mechanism in Biquaternionic Form).
Summary
Quantum mechanics and relativity do not sit comfortably together, and the difficulties are structural: the time is a parameter in one theory and a coordinate in the other; the Born rule is an axiom; spin–statistics needs field theory; the measurement lies outside the formalism; quantisation is a recipe; the path integral needs the Wick rotation; and non-locality is in tension with causality.
The biquaternion framework brings one common ground and seven ideas. The common ground is that one biquaternion space carries both an indefinite Lorentzian form and a positive-definite Hilbert form, with a lattice of conjugations that assigns each its role, the two opposite signs coming from the square of the one central imaginary unit read on the two sectors, and with one action form $\Gamma_{\tilde{Q}_3}(\tilde{Q}_1)=\tilde{Q}_3\tilde{Q}_1\tilde{Q}_3^{*}$ serving the Lorentz rotors, the quantum operations and the measurement update. The ideas are: put the states and the observables in one subspace, so the Born rule is the normalised Hermitian form, read through the trace; let the symmetries and the operators live in one biquaternion space, so the relativistic structure is present from the start; derive the signature from $i^2=-1$; make the time a coordinate of the algebra, so there is no external parameter; read the reversible and the irreversible evolutions as two classes of acting element; read the two statistics from two classes of representation; and give the light cone and the quantum correlation one zero cone.
Each idea is stated with its edge. The Born rule is relocated rather than removed; the relativistic state space is not yet built; the signature is derived but the problem of time is not settled; the selection rule of measurement is not supplied; the spin half is algebraic while the statistics half is transcribed; and sharing a cone is not deriving the bound. The programmes that follow from the ideas are mapped with what exists and with the object that blocks each: for the idempotent formalism the tensor product and the composition rule; for the tensor products whether the framework adds to the standard product; for spin–statistics a structure that forces the bracket; for quantisation an algebraically preferred bracket and measure; for the path integral the measure, the action and the space of paths; for measurement the selection rule and the classical limit; and for time the constraint structure. What is not claimed is completeness, a new prediction, a relativistic quantum theory built from the framework's own algebra, or a unique place among the existing reformulations.
Three interpretations cut across the difficulties. The arrow of process is the split of the acting monoid into its units and its non-units, a reversible part and an information-losing part carried by the composition itself. The framework's continuous symmetry is global and not local, because the phase is central and a local gauge symmetry needs a non-central generator. And the metric and the symmetry obstruction are never carried by one product: the metric is the diagonal of one symmetric part, the obstruction the failure of one antisymmetric part.
Summary of Notation
| Symbol | Meaning |
|---|---|
| $\mathbb{B}=\mathbb{C}\otimes_\mathbb{R}\mathbb{H}$ | Biquaternion algebra, $\cong M_2(\mathbb{C})$ |
| $e_t=1,\vec e_x,\vec e_y,\vec e_z$ | Quaternion basis, $\vec e_k^2=-e_t$ |
| $i$ | Scalar imaginary, $i^2=-1$, central |
| $\mathbb{M}_-,\mathbb{M}_+$ | Material (anti-Hermitian) and informational (Hermitian) sectors |
| ${}^{*}$ | Hermitian conjugation ($\vec e_k^{*}=-\vec e_k$, $i^{*}=-i$) |
| ${\natural}$ | Quaternion conjugation ($\vec e_k^{\natural}=-\vec e_k$, $i^{\natural}=i$) |
| $\bar{\cdot}$ | Coefficient conjugation, $\bar{\cdot}=\natural\,{}^{*}$ (negates $i$, fixes $\vec e_k$) |
| $\flat=-{}^{*}$ | Real structure with fixed space $\mathbb{M}_-$; not an involution of the ring |
| $i\mathbb{M}_\pm=\mathbb{M}_\mp$ | The central element exchanges the sectors |
| $\mathrm{Tr}(\tilde Q_1)=2\,\mathrm{Sc}(\tilde Q_1)$ | Trace; $\mathrm{Tr}(e_t)=2$ |
| $\tilde{H}=h_te_t+i\vec h$ | Hermitian element (observable), vector part $\vec h$ |
| $\vec u$ | Unit vector, the axis of an idempotent |
| $\tilde{Ϛ}=\tfrac12(e_t+i\vec r)$, $\lvert\vec r\rvert\leq1$ | State (Bloch ball), Bloch vector $\vec r$ |
| $\tilde\Pi_{1,2}(\vec u)=\tfrac12(e_t\pm i\vec u)$ | Idempotent (pure state) |
| $\langle\tilde\Pi_{1,2},\tilde{Ϛ}\rangle_{*}/\langle\tilde{Ϛ},e_t\rangle_{*}=\operatorname{Tr}(\tilde{\Pi}_{1,2}\tilde{Ϛ}^{*})=\operatorname{Tr}(\tilde{\Pi}_{1,2}\tilde{Ϛ})=\tfrac12(1\pm\vec u\cdot\vec r)$ | Born rule, trace at normalisation last |
| $\langle\tilde{Q}_1\rangle_{\natural}=\langle\tilde{Q}_1,\tilde{Q}_1\rangle_{\natural}=\tilde{Q}_1\tilde{Q}_1^{\natural}=\sum_\mu Q_{1,\mu}^{2}$ | Biquaternion norm; indefinite, complex in general; $-c^2{t'}^2+x^2+y^2+z^2$ on $\mathbb{M}_-$ |
| $\langle\tilde{Q}_1,\tilde{Q}_1\rangle_{*}=\sum_\mu\lvert Q_{1,\mu}\rvert^{2}$ | Sesquilinear form; real, positive definite; the Hilbert structure |
| $\langle\tilde{H}\rangle_{\natural}=h_t^2-\lvert\vec h\rvert^2$ | Biquaternion norm on a Hermitian element $\tilde{H}=h_te_t+i\vec h$ |
| $\langle\tilde{Q}_1\rangle_{\natural}=0$ | Zero-divisor cone; its material real slice is the light cone, and the trace-one slice of its informational real slice is the Bloch sphere |
| $\tilde\Pi^{\natural}=e_t-\tilde\Pi$, $\langle\tilde\Pi\rangle_{\natural}=0$ | On a Hermitian idempotent: conjugation returns the complement, and the norm vanishes |
| $\Gamma_{\tilde{Q}_3}(\tilde{Q}_1)=\tilde{Q}_3\tilde{Q}_1\tilde{Q}_3^{*}$ | One action form; Lorentz, unitary and idempotent cases |
| $\tilde{Q}_3\tilde{Q}_3^{*}=e_t$ | Unitary element (reversible evolution); $\langle\tilde{Q}_3\tilde{Q}_1\tilde{Q}_3^{*}\rangle_{\natural}=\langle\tilde{Q}_1\rangle_{\natural}$ |
| $\tilde{Q}_3^2=\tilde{Q}_3=\tilde{Q}_3^{*}$ | Idempotent element (measurement update) |
| $\tilde{U}\tilde{U}^{\natural}=e_t$ | Lorentz rotor (unit-norm biquaternion), group $SL(2,\mathbb{C})$; the unitary and unit-norm classes meet in $SU(2)$ |
| $\tilde{F}=i\sqrt{\epsilon}\,\vec E-\sqrt{\mu}\,\vec H$ | Electromagnetic field-strength bivector, in $\mathrm{span}_\mathbb{R}\{\vec e_k,i\vec e_k\}$, in neither sector |
| $\mathbb{B}\otimes\mathbb{B}\cong M_4(\mathbb{C})$ | Two-qubit algebra of Programme 4 |
| $c$, $c_0$ | Speed of light in the medium, $c=1/\sqrt{\epsilon\mu}$, and its vacuum value |
| $\hbar$ | Reduced Planck constant (in the path-integral weight $\exp(iS/\hbar)$) |
| $ict'$ | Material time coordinate (local $c=1/\sqrt{\epsilon\mu}$) |
Further Reading
- P. A. M. Dirac, The Principles of Quantum Mechanics (Oxford, 1930), for the foundational treatment against which the tension is stated.
- John von Neumann, Mathematical Foundations of Quantum Mechanics (Princeton, 1932), for the Hilbert-space formalism, the two evolutions and the measurement chain.
- R. P. Feynman, "Space-Time Approach to Non-Relativistic Quantum Mechanics," Reviews of Modern Physics 20 (1948) 367–387, and R. P. Feynman and A. R. Hibbs, Quantum Mechanics and Path Integrals (McGraw–Hill, 1965), for the sum over paths and its oscillatory weight.
- J. Zinn-Justin, Quantum Field Theory and Critical Phenomena (Oxford, 4th ed. 2002), for the Wick rotation as an analytic continuation rather than a change of coordinates.
- W. Pauli, "The Connection Between Spin and Statistics," Physical Review 58 (1940) 716–722, and R. F. Streater and A. S. Wightman, PCT, Spin and Statistics, and All That (Benjamin, 1964), for the theorem and its hypotheses.
- R. Haag, Local Quantum Physics (2nd ed., Springer, 1996), for the algebraic formulation of quantum field theory and for the notion of superselection.
- C. Rovelli, Quantum Gravity (Cambridge, 2004), for the problem of time and the Hamiltonian constraint against which the time ideas are measured.
- Chris Doran and Anthony Lasenby, Geometric Algebra for Physicists (Cambridge, 2003), and D. Hestenes, Space-Time Algebra (Gordon and Breach, 1966), for the nearest reformulation through geometric algebra.
- L. Hardy, "Quantum theory from five reasonable axioms," arXiv:quant-ph/0101012 (2001); G. Chiribella, G. M. D'Ariano and P. Perinotti, "Informational derivation of quantum theory," Physical Review A 84 (2011) 012311; and J. Barrett, "Information processing in generalized probabilistic theories," Physical Review A 75 (2007) 032304, for operational and quantum-informational reconstructions.
- Companion article Why Complexify Spacetime?, developed next, for the complexified arena and the local complex structure of the programme.
- Companion article Conventions in the Biquaternion Universe, for the algebraic and spacetime conventions used throughout.
- Companion article The Material Sector: Four-Vectors, Interval and Lorentz Action, for the material sector, the interval, the zero-divisor cone and the algebraic time.
- Companion article The Informational Sector: States, Observables and Probability, for the informational sector and the plain form.
- Companion article Quantum Physics: Foundations and Structure, for the standard formalism and the ten structural requirements of a comprehensive quantum theory.
- Companion article Quantum Physics in Biquaternionic Form, for the idempotent formalism of Programme 1.
- Companion article The Born Rule from the Hermitian Form — Derivation and Comparison, for what the Hermitian form, read through the trace, derives and what it restates.
- Companion article The Measurement Problem in Algebraic Form, for Programme 6 and the selection problem.
- Companion article The Spin–Statistics Theorem in Biquaternionic Form, for Programme 2.
- Companion article The Light Cone as the Biquaternion Zero-Divisor Cone, for the shared cone of Idea 7.
- Companion article The Schrödinger Equation in Biquaternionic Form, for the sector equation of Programme 7.
- Companion article The Bloch Ball as the Normalised Slice of the Future Light Cone, The Fubini–Study Geometry and the Biquaternion Norm and Unitarity from Centrality: The Biquaternion Norm-Preservation Theorem, for the geometry and the unitarity criterion of Programme 1.
- Companion article The Relativistic Qubit in Biquaternionic Form, for the relativistic state space of Idea 2.
- Companion article The Bell Basis as the Idempotent Basis of $\mathbb{B}\otimes\mathbb{B}$, Entangled Subsystems in the Biquaternion Framework and Exercise: The Correlation Function of the Bell States, for the two-qubit structure of Programme 4.
- Companion article Pancharatnam's Phase and the Polarization Sphere in Biquaternionic Form, The Material-Informational Split as a Superselection Structure in Biquaternionic Form and Frame-Dependent Entanglement and Relativistic Quantum Information in Biquaternionic Form, for the second half of Idea 7.
- Companion article The Relativistic Exchange of Information and Clock Synchronisation in Biquaternionic Form, for the clock structure of Programme 7.
- Companion article The Dirac Equation in Biquaternionic Form and Relativistic Mechanics in Biquaternionic Form, for the classical relativistic parts.
- Companion article Decoherence as Idempotent Projection, for Programme 6.
- Companion article The Centre of the Biquaternion Algebra as the Classical Sector, for the classical limit of Programme 6.
- Companion article The Path Integral in Biquaternionic Form, for Programme 5 and the missing measure.
- Companion article Quantum Gravity under the Biquaternion Framework — A Research Agenda, for the gravitational case of Programme 3.
- Companion article The Empirical Status of the Biquaternion Framework, for what would count as a signature.
- Companion article What the Biquaternion Algebra Cannot Do: A Catalogue of Algebraic Obstructions, for the boundary of the algebra drawn in full.
- Companion article Twistor Theory and Biquaternions, for the comparison with the nearest complex-geometric programme.