Time evolution of quantum gates and the necessity of… — Plain-Language Explanation

✨

This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Question: Do We Need "Imaginary" Numbers for Reality?

Imagine you are trying to build a computer. You know that standard computers use "bits" (0s and 1s). Quantum computers use "qubits," which are like spinning coins that can be heads, tails, or a blur of both at the same time.

For decades, physicists have used complex numbers (numbers involving the imaginary unit $i$ , where $i^2 = -1$ ) to describe how these qubits move and change. Some scientists have asked: "Do we really need these weird 'imaginary' numbers? Can't we just use regular, real numbers (like 1, 2, 3) to describe the whole universe?"

This paper says: No. You cannot. If you try to describe how quantum computers actually work over time using only real numbers, the math breaks down.

The Analogy: The Magic Turntable

To understand why, let's imagine a qubit is a spinning top on a giant globe (called the Bloch Sphere).

The "Rebit" (Real Bit): Imagine a "Rebit" is a top that is forced to spin only along a specific line of longitude (like a meridian on a map, running from the North Pole to the South Pole). It can only be at the top, the bottom, or somewhere in between on that single line.
The "Gate": A quantum gate is like a hand that pushes the top to make it spin or change direction.

The Problem with Real Numbers

The author shows that when you push a quantum top with a standard gate (like a "NOT" gate or a "Hadamard" gate), the top doesn't just slide up and down that single line. It spirals.

Think of it like this:
If you try to turn a steering wheel using only a straight stick (representing real numbers), you can't make the wheel turn in a circle. You need a mechanism that allows for rotation in two dimensions simultaneously.

In the quantum world, to get a qubit to move from one state to another, it must travel along a line of latitude (a circle around the globe).

If you start on a "Real" line (longitude), the moment the gate acts, the top immediately spirals off that line.
To describe this spiral path mathematically, you must use complex numbers.
If you try to force the math to stay on the "Real" line, the top would have to teleport instantly from one point to another. But in physics, things don't teleport; they evolve continuously. The "imaginary" part of the number is what allows the top to glide smoothly along that spiral path.

The Takeaway: Even if you start with a "simple" real state, the act of changing it requires a complex journey. You can't skip the "imaginary" middle steps.

The Entanglement Analogy: The Magic Dance

The paper also looks at what happens when two qubits interact to become entangled (a spooky connection where they act as one unit).

Imagine two dancers (Qubit A and Qubit B) standing on a stage.

In a "Real" world, they can only move forward, backward, left, or right.
In the "Complex" quantum world, they can also spin and sway in a way that links their movements perfectly.

The author shows that for these two dancers to get "entangled" (to start moving in perfect, synchronized harmony that can't be explained by them just moving independently), they need a complex phase.

Think of the complex phase as a secret rhythm or a hidden beat that only exists in the imaginary world. Without this hidden beat, the dancers can't coordinate their steps to create that magical entanglement. If you try to describe their dance using only real numbers, the dance falls apart, and they never become truly connected.

The "Fake Real" Trick (The Isomorphism)

You might say, "But wait! I've seen papers that say they can simulate quantum mechanics using only real numbers by doubling the size of the system."

The author calls this a magic trick or a disguise.

Imagine you have a secret code written in English (Complex Numbers).

Someone says, "I can translate this into a code using only numbers (Real Numbers)."
They do this by taking every single letter and replacing it with a tiny 2x2 grid of numbers.
Now, the whole document looks like a giant wall of numbers. It looks "Real."

However, the author points out: It's still English.
The structure of those 2x2 grids is designed specifically to mimic the rules of English letters. If you look closely at the "Real" numbers, you'll see they are just complex numbers wearing a mask. They still have an "imaginary" core hidden inside the grid.

So, calling this a "Real Quantum Mechanics" is misleading. It's just "Complex Quantum Mechanics" wearing a suit of real numbers. It doesn't prove that the universe is actually made of real numbers; it just proves that you can write complex numbers in a fancy, larger format.

The Final Verdict: Why We Need the "Imaginary"

The paper concludes with a strong argument about the nature of reality:

Probability needs Modulus: The "size" (modulus) of a complex number tells us the probability of finding a particle somewhere. This is how we get real-world predictions.
Time needs Phase: The "angle" (phase) of a complex number is what makes things move and evolve over time.

The Analogy of the Compass:
Imagine you are navigating a ship.

Real numbers are like a ruler. They tell you how far you are from the dock.
Complex numbers are like a compass and a ruler. They tell you how far you are, but also which way you are turning.

If you try to navigate the ocean using only a ruler (Real numbers), you can measure distance, but you can't describe the turning, the spiraling, or the flow of time. You need the compass (the imaginary part) to describe the journey.

In short: The universe isn't just a collection of static numbers. It is a dynamic, flowing system. To describe that flow, to describe how a quantum gate turns a bit into a new state, and how particles dance together, we absolutely need the "imaginary" numbers. They aren't imaginary in the sense of "fake"; they are the essential mathematical glue that holds the motion of the quantum world together.

1. Problem Statement

The paper addresses a foundational question in quantum information theory: Are complex numbers strictly necessary for quantum mechanics, or can the theory be formulated entirely using real numbers?
While "rebits" (real-valued qubits) and mappings from complex Hilbert spaces to real vector spaces have been proposed as alternatives, the author argues that these formulations often fail to account for the continuous time evolution of physical systems. Specifically, the paper investigates whether the dynamics of quantum logic gates (which transform input states to output states over time) can be modeled within a real Hilbert space without implicitly relying on complex structures.

2. Methodology

The author employs a physical modeling approach based on the following steps:

Hamiltonian Evolution Model: Instead of treating quantum gates as instantaneous unitary transformations, the paper models them as the result of an effective Hamiltonian ( $H$ ) acting on a qubit for a characteristic time $\tau$ . The time evolution is described by $U(t) = e^{-iHt/\hbar}$ .
Spectral Decomposition: The time evolution of common unary gates (Z, X, Y, Hadamard) and binary gates (CNOT) is derived using their eigenvalues and eigenvectors.
Bloch Sphere Analysis: The trajectories of qubit states on the Bloch sphere are analyzed to determine if a state initially confined to real values (a "rebit" on a line of longitude) remains real during evolution.
Group Theory Analysis: The paper investigates the properties of orthogonal operators in real Hilbert spaces ( $\mathbb{R}^N$ ). It establishes that continuous time evolution requires operators belonging to the Special Orthogonal Group $SO(N)$ (determinant +1), derived from the exponential of antisymmetric matrices.
Isomorphism Mapping: The paper analyzes the standard mapping from a complex space $\mathbb{C}^N$ to a real space $\mathbb{R}^{2N}$ to determine if the resulting operators are truly "real" or merely matrix representations of complex numbers.

3. Key Contributions and Results

A. Time Evolution of Unary Gates (Rebits vs. Qubits)

Trajectory Analysis: The author demonstrates that the time evolution of common gates (Z, X, Y, Hadamard) causes the state vector to traverse lines of latitude on the Bloch sphere relative to the gate's eigenvector axis.
Impossibility of Real Evolution: A "rebit" is defined as a state confined to a line of longitude (where the phase $\phi = 0$ or $\pi$ , making components real). The analysis shows that under the action of any physical gate, a rebit immediately moves off this line of longitude, acquiring an imaginary component.
Conclusion: Even if a gate maps a real input to a real output (e.g., $|0\rangle \to |1\rangle$ ), the intermediate states during the continuous evolution are necessarily complex. Therefore, a continuous time evolution model for these gates cannot exist within a 2D real Hilbert space ( $\mathbb{R}^2$ ).

B. Entanglement and Interaction

Role of Complex Phase: In bipartite systems (2 qubits), the paper shows that entanglement arises from an interaction Hamiltonian. The time evolution introduces phase factors ( $e^{-i\omega_{ij}t}$ ) that couple the subsystems.
Non-Factorizability: These phase factors generally cannot be factorized into separate terms for each subsystem (unless specific conditions are met). This coupling, driven by the complex phase, is the mechanism that transforms a tensor product state into an entangled state (e.g., Bell states).
CNOT Gate Dynamics: The time evolution of the CNOT gate is explicitly modeled. The resulting trajectory confirms that the generation of entanglement relies on the complex phase, which cannot be replicated by real orthogonal operators in a 4D real space ( $\mathbb{R}^4$ ) because the CNOT matrix has a determinant of -1, while continuous evolution operators in $\mathbb{R}^4$ must have a determinant of +1 (belonging to $SO(4)$).

C. The Failure of $\mathbb{R}^N$ Models for Continuous Evolution

Determinant Constraint: Continuous time evolution operators must be members of the Special Orthogonal group $SO(N)$ (determinant = 1).
Gate Mismatch: Common quantum gates (NOT, Hadamard, CNOT) have determinants of -1. Consequently, they cannot be generated by the exponential of an antisymmetric matrix in a real space of the same dimension.
Conclusion: It is impossible to model the continuous time evolution of standard quantum gates using real operators in a real Hilbert space of the same dimension as the complex space.

D. Critique of the $\mathbb{C}^N \to \mathbb{R}^{2N}$ Mapping

Isomorphism, Not Realization: The paper analyzes the common practice of mapping $\mathbb{C}^N$ to $\mathbb{R}^{2N}$ by replacing complex numbers with $2 \times 2$ real matrices (e.g., $x+iy \leftrightarrow \begin{pmatrix} x & -y \\ y & x \end{pmatrix}$ ).
Hidden Complexity: The author argues this is not a "real" formulation of quantum mechanics. The resulting $2N \times 2N$ matrices are isomorphic representations of complex matrices. They retain the complex structure because they are constructed from blocks that commute with a specific matrix $J_{2N}$ (analogous to the imaginary unit $i$ ).
Endomorphism Analysis: In the space of endomorphisms $End(\mathbb{R}^{2n})$ , the mapping from $\mathbb{C}^{2^{n-1}}$ only utilizes a restricted subspace of operators (those commuting with $J_{2N}$ ). The full space of real operators includes symmetric matrices and other elements that do not correspond to complex numbers, but the standard quantum mapping ignores these. Thus, the "real" formulation is merely a different notation for complex linear algebra.

4. Significance

Necessity of Complex Numbers: The paper provides a rigorous argument that complex numbers are not merely a convenient mathematical tool but are physically necessary to describe the continuous time evolution of quantum systems.
Refutation of "Real" Quantum Mechanics: It challenges the validity of "real" quantum mechanics formulations that claim to eliminate complex numbers. The author asserts that such formulations either fail to model continuous dynamics (due to determinant constraints) or are simply disguised complex theories (via the $\mathbb{R}^{2N}$ mapping).
Physical Interpretation: The work highlights that the phase (a complex property) is the driver of quantum dynamics and entanglement. Without the complex phase, there is no mechanism for the continuous evolution of states or the generation of entanglement in interacting systems.
Dimensionality: It clarifies that the "extra" degrees of freedom in quantum mechanics are provided by the two dimensions of complex numbers (modulus and phase), which cannot be reduced to one-dimensional real numbers without losing the ability to describe physical time evolution.

In summary, Vaughan concludes that complex numbers are intrinsic to the time-dependent nature of quantum mechanics, and any attempt to formulate the theory using only real numbers either fails to describe physical gate dynamics or inadvertently re-introduces complex structure through matrix isomorphisms.

Time evolution of quantum gates and the necessity of complex numbers