Time evolution of quantum gates and the necessity of complex numbers
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×2 matrix equivalents, so that the resulting matrices are actually represent complex matrices. Finally, we investigate the endomorphism of real vector spaces of dimension N = 2n, where n ∈ Z+, suitable for the modelling of n-1 qubits. We confirm that the mapping from C2n-1 R2n only maps elements of End(C2n-1) to a restricted subspace of End(R2n) that reproduces the `real' representation of complex matrices.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.