Time evolution of quantum gates and the necessity of complex numbers

TL;DR

This paper explores the evolution of quantum gates via effective Hamiltonians, emphasizing the essential role of complex numbers in quantum mechanics and analyzing the limitations of real vector space models for quantum dynamics.

Contribution

It demonstrates that real orthogonal groups cannot fully model quantum gate dynamics and clarifies the isomorphic relationship between complex and real representations in quantum theory.

Findings

Common unary gates induce latitude trajectories on the Bloch sphere.

Real orthogonal matrices cannot model certain quantum gate evolutions.

The real representation of complex matrices is an isomorphic mapping, not a true real-only model.

Abstract

As physical systems, qubits must evolve from input to output state. We describe a simple scheme in which the effect of a quantum gate is described by the action of an effective Hamiltonian acting for some characteristic time. This model shows that the action of common unary gates is to induce Bloch sphere trajectories along lines of latitude relative to an eigenvector of the gate. Such trajectories would immediately move a `rebit', initially confined to a line of latitude, off this line and acquire a complex phase. The role of the complex phase in bringing about the entanglement of two qubits is also highlighted. It is then asked whether such dynamics could be modelled using real QM. It is shown that the continuous evolution required for such dynamics can only be provided by members of the special orthogonal group of the vector space. Since the matrices representing many quantum gates of interest have determinant -1, no real special orthogonal operators can model their evolution if the dimension of the real vector space is the same as that of the complex space. Next we look at the mapping from a complex vector space of dimension $N$ to a real space of dimension $2N$ that is often used to construct `real' QM. It is shown that this is just an isomorphic mapping from the scalar representation of complex numbers to their $2\times2$ matrix equivalents, so that the resulting matrices are actually represent complex matrices. Finally, we investigate the endomorphism of real vector spaces of dimension $N = 2^{n}$, where $n \in \mathbb{Z}^{+}$, suitable for the modelling of $n-1$ qubits. We confirm that the mapping from $\mathbb{C}^{2^{n-1}} \to \mathbb{R}^{2^{n}}$ only maps elements of $\mathrm{End}(\mathbb{C}^{2^{n-1}})$ to a restricted subspace of $\mathrm{End}(\mathbb{R}^{2^{n}})$ that reproduces the `real' representation of complex matrices.