Quantum theory over dual-complex numbers

Abstract

We take quantum theory and replace $\mathbb{C}$ by $\mathbb{C}[\varepsilon]$ where $\varepsilon^2=0$, i.e. we extend quantum theory to the ring of dual complex numbers. The aim is to develop a common language in which to treat continuous quantum physics and discrete quantum models in a unified manner, including their symmetries. Since quantum theory is linear, introducing $\varepsilon$ is enough to model infinitesimals. A first objection to this programme is that $\mathbb{C}[\varepsilon]$ is not a field, since division by $\varepsilon$ is undefined, while quantum mechanics typically relies on division. A second objection concerns whether unitarity still makes sense given $\varepsilon^2 = 0$. Hence, the core of this work is dedicated to proving that \dual quantum theory remains fully consistent. In particular, norm is preserved at all times, and renormalization never requires dividing by an infinitesimal. An equivalence with conventional quantum theory is demonstrated: the \dual extension of a parametrized quantum operation automatically provides a linear treatment of its first-order variations. As a first example application, we provide a unified description of both the Dirac equation in the continuum and the Dirac Quantum Walk in the discrete. We establish the discrete Lorentz covariance of the latter.

Figures (3)

• Figure 1: The Dirac Quantum Walk
• Figure 2: Discrete Lorentz covariance as a quantum circuit equality.
• Figure 3: Discrete Lorentz covariance for the Dirac Quantum Walk. Here the chosen isometries $E_\alpha$ and $E_\beta$ spread the incoming amplitude uniformly, and $m'=m/\sqrt{\alpha\beta}$.

Theorems & Definitions (44)

• Proposition 0: exponentiation
• Corollary 0: roots
• Proposition 0: Automatic differentiation
• Corollary 1
• Proposition 1: order
• Definition 2
• Proposition 3: Dual-complex norm
• Corollary 4: Dual-complex norm non-negativity
• Proposition 4: unitarity
• Proposition 4: matrix exponentiation