Time evolution of quantum gates and the necessity of complex numbers

El artículo demuestra que la evolución temporal continua de las puertas cuánticas y la generación de entrelazamiento requieren necesariamente números complejos, ya que los modelos puramente reales no pueden replicar la dinámica de puertas con determinante negativo ni evitar la introducción implícita de la estructura compleja al mapear espacios vectoriales.

Lo esencial

El Secreto de los Números Complejos: Por qué el Universo no puede ser "Real"

Imagina que el universo cuántico es como un globo terráqueo gigante (la esfera de Bloch) donde viven las partículas de información, llamadas qubits.

El autor de este artículo, Martin Vaughan, se hace una pregunta muy interesante: ¿Podemos describir todo el funcionamiento de este globo terráqueo usando solo números "reales" (como 1, 2, 3) y descartando los "números complejos" (que tienen esa parte imaginaria, la 'i')?

Mucha gente piensa que los números complejos son solo un truco matemático incómodo. Este paper demuestra que, si intentamos vivir en un mundo donde solo existen los números reales, el universo se rompe. Aquí te explico por qué, paso a paso.

1. El problema de la velocidad: Nada es instantáneo

En la teoría cuántica clásica, a veces tratamos a las puertas lógicas (los interruptores que cambian el estado de un qubit) como si fueran mágicas: tocas un botón y ¡puf! el estado cambia al instante.

Pero en la vida real, nada sucede al instante. Si quieres girar un objeto, tienes que darle un empujón y tardar un poco de tiempo.

• La analogía: Imagina que tienes una pelota en el globo terráqueo. Si quieres moverla del Polo Norte al Ecuador, no puedes teletransportarla. Tienes que rodarla a lo largo de una línea.
• El hallazgo: El autor muestra que, para mover un qubit de un punto a otro usando las reglas de la física real, la pelota debe pasar por zonas que, matemáticamente, requieren números complejos. Si intentas forzarla a quedarse en una línea "real" (como un meridiano), la física se niega a cooperar. La pelota se desliza fuera de la línea y adquiere una "fase compleja" (una especie de giro invisible).

2. Los "Rebits": El intento de vivir en 2D

El paper introduce el concepto de "Rebit" (un qubit real).

• El qubit normal: Puede estar en cualquier punto del globo terráqueo (3 dimensiones: latitud, longitud y altura).
• El rebit: Está restringido a vivir solo en una línea recta que cruza el globo (como un meridiano). Es como si el universo fuera plano y bidimensional.

El autor demuestra que, incluso si empiezas con un rebit en una línea recta, cualquier puerta lógica común (como la puerta X, Z o Hadamard) lo obligará a salirse de esa línea.

• La metáfora: Imagina que intentas conducir un coche por una carretera recta (la línea real), pero el motor del coche (la física cuántica) tiene un giroscopio que te obliga a girar hacia la izquierda o derecha (la parte compleja) en cuanto aceleras. No puedes mantener el coche en línea recta sin romper las leyes de la física.

3. El enredo (Entrelazamiento): La danza de dos qubits

Cuando dos qubits se "enredan" (entrelazan), se vuelven inseparables.

• La analogía: Imagina dos bailarines. Para que se enreden, deben coordinar sus movimientos con una música que tiene un ritmo especial (la fase compleja).
• El resultado: Si intentas hacer que estos bailarines se muevan solo con pasos "reales" (sin esa música compleja), nunca lograrán el enredo perfecto. La "magia" del entrelazamiento depende crucialmente de esa parte imaginaria de los números. Sin ella, no hay conexión profunda entre las partículas.

4. El truco del "Doble Espacio" (¿Es realmente real?)

Aquí es donde el autor se pone un poco técnico pero muy interesante.
Existe un truco común en física: para usar números reales, los científicos a veces duplican el tamaño del globo terráqueo.

• El truco: En lugar de un globo de 2 dimensiones, usan uno de 4 dimensiones. Dicen: "¡Mira! Ahora todo es real".
• La revelación del autor: El paper demuestra que esto es una ilusión. Al duplicar el espacio, no estás creando un mundo nuevo y real; simplemente estás empaquetando los números complejos en cajas de 2x2.
• La analogía: Es como si intentaras explicar el color "azul" usando solo dos botones rojos y verdes. Podrías decir: "Un azul es un rojo encendido y un verde apagado". Técnicamente usas rojo y verde (reales), pero en realidad solo estás redefiniendo el azul. No has eliminado el azul; solo lo has disfrazado.
  El autor concluye que llamar a esto "Mecánica Cuántica Real" es engañoso. Sigue siendo mecánica cuántica con números complejos, solo que disfrazados.

5. Conclusión: ¿Por qué necesitamos la "i"?

El paper cierra con una reflexión profunda:

• Los números reales son como una línea recta (1 dimensión).
• Los números complejos son como un plano (2 dimensiones: magnitud y fase).
• La magnitud nos dice la probabilidad (qué tan probable es que algo ocurra).
• La fase (la parte compleja) es lo que permite que las cosas evolucionen en el tiempo.

La metáfora final:
Imagina que el tiempo es una película.

• Si usas solo números reales, es como tener una película en blanco y negro donde los fotogramas están congelados. No hay movimiento, no hay historia.
• Los números complejos son el color y el movimiento. La parte "imaginaria" es el motor que hace que la película avance. Sin ella, el universo sería estático y aburrido.

En resumen:
Este artículo nos dice que no podemos "simplificar" la realidad eliminando los números complejos. Intentar hacerlo es como intentar describir el viento usando solo una línea recta; no importa cuánto te esfuerces, el viento siempre se desviará. La naturaleza, en su evolución temporal, necesita la complejidad para existir.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Time evolution of quantum gates and the necessity of complex numbers" (Evolución temporal de las puertas cuánticas y la necesidad de números complejos) de M.P. Vaughan.

1. El Problema

La teoría de la información cuántica plantea una cuestión fundamental: ¿Son estrictamente necesarios los números complejos para formular la mecánica cuántica?
Aunque existen formulaciones "reales" (usando solo números reales), como la de los "rebits" (bits reales), y mapeos de espacios de Hilbert complejos a reales, el artículo cuestiona si estas formulaciones pueden describir adecuadamente la evolución temporal continua de los sistemas cuánticos. Específicamente, se investiga si es posible modelar la dinámica de las puertas lógicas cuánticas (que transforman estados) utilizando exclusivamente operadores en un espacio de Hilbert real, sin recurrir a la estructura compleja subyacente.

2. Metodología

El autor emplea un enfoque basado en la dinámica temporal de sistemas físicos, evitando transformaciones instantáneas. La metodología se divide en los siguientes pasos:

• Modelado Hamiltoniano: Se asume que las puertas cuánticas no actúan instantáneamente, sino que evolucionan bajo la acción de un Hamiltoniano efectivo ($H$) durante un tiempo característico $\tau$. La evolución se describe mediante el operador unitario $U(t) = e^{-iHt/\hbar}$.
• Análisis de Puertas Unarias y Binarias: Se estudia la evolución temporal de puertas comunes (Z, X, Y, Hadamard, CNOT) en espacios de Hilbert complejos ($\mathbb{C}^2$ y $\mathbb{C}^4$). Se utiliza la descomposición espectral para derivar las trayectorias en la esfera de Bloch.
• Análisis de Grupos de Lie: Se examina la naturaleza matemática de los operadores de evolución en espacios reales ($\mathbb{R}^N$). Se demuestra que para una evolución continua, los operadores deben pertenecer al grupo ortogonal especial $SO(N)$ (matrices ortogonales con determinante +1).
• Comparación de Mapeos: Se analiza la práctica común de mapear un espacio complejo de dimensión $N$ ($\mathbb{C}^N$) a un espacio real de dimensión $2N$ ($\mathbb{R}^{2N}$) sustituyendo cada número complejo por una matriz $2 \times 2$. Se investiga si este mapeo constituye una formulación verdaderamente "real" o si simplemente es una representación matricial de números complejos.
• Estudio de Endomorfismos: Se analiza el espacio de endomorfismos de espacios reales de dimensión $2n$ ($End(\mathbb{R}^{2n})$) para determinar si todos los operadores antisimétricos (necesarios para $SO(2n)$) pueden interpretarse consistentemente como representaciones de matrices complejas.

3. Contribuciones Clave y Resultados

A. Imposibilidad de Rebits en Evolución Temporal

El resultado principal es que los "rebits" (estados restringidos a números reales) no pueden mantenerse en una línea de longitud de la esfera de Bloch bajo la acción de puertas cuánticas físicas.

• Las puertas como Z, X y Hadamard, aunque tienen matrices con entradas reales en su estado final, generan trayectorias temporales que siguen líneas de latitud relativas a sus autovectores.
• Durante la evolución intermedia ($0 < t < \tau$), el estado adquiere inevitablemente componentes imaginarias. Por lo tanto, un sistema restringido a valores reales no puede describir la dinámica continua de una puerta cuántica estándar.

B. Restricciones del Grupo $SO(N)$ en Espacios Reales

Para que una evolución sea continua en un espacio real $\mathbb{R}^N$, el operador evolutivo debe pertenecer al grupo especial ortogonal $SO(N)$ (determinante +1).

• Muchas puertas cuánticas fundamentales (como la puerta NOT/X, Hadamard y CNOT) tienen un determinante de -1.
• En un espacio real de dimensión 2 ($\mathbb{R}^2$) o 4 ($\mathbb{R}^4$), no existen operadores en $SO(2)$o$SO(4)$ que puedan modelar la evolución continua de estas puertas, ya que sus determinantes no coinciden. Esto demuestra la imposibilidad de modelar estas puertas en espacios reales de baja dimensión sin alterar su naturaleza.

C. Ilusión de la "Mecánica Cuántica Real" ($\mathbb{C}^N \to \mathbb{R}^{2N}$)

El artículo desmonta la noción de que mapear $\mathbb{C}^N$ a $\mathbb{R}^{2N}$ crea una teoría cuántica real.

• Este mapeo (sustituyendo $x+iy$ por matrices $2 \times 2$) es simplemente un isomorfismo entre la representación escalar de los números complejos y su representación matricial.
• Las matrices resultantes en $\mathbb{R}^{2N}$ no son matrices reales genéricas; están estructuradas en bloques que codifican la aritmética de los números complejos.
• Se demuestra que el mapeo no es sobreyectivo: solo utiliza una subespacio restringido de los operadores de $End(\mathbb{R}^{2N})$ (aquellos que conmutan con una matriz específica $J$ que actúa como la unidad imaginaria $i$). Los operadores simétricos generales en $\mathbb{R}^{2N}$ no pueden interpretarse como complejos, pero el mapeo estándar los ignora.

D. El Rol de la Fase Compleja en el Entrelazamiento

Se analiza la generación de entrelazamiento (ej. mediante la puerta CNOT).

• El entrelazamiento surge de la interacción entre subsistemas descrita por un Hamiltoniano de interacción.
• La evolución temporal introduce factores de fase complejos ($e^{-i\omega t}$) que acoplan los subsistemas.
• Estos factores de fase no pueden factorizarse en general, lo que lleva al entrelazamiento. En una formulación puramente real, la falta de esta estructura de fase compleja impediría la descripción natural de la dinámica de entrelazamiento.

4. Significado y Conclusión

El artículo concluye que los números complejos no son una mera conveniencia matemática, sino una necesidad física para describir la evolución temporal de los sistemas cuánticos.

• Dimensionalidad: Los números complejos proporcionan dos grados de libertad esenciales: el módulo (probabilidad, regla de Born) y la fase (dinámica temporal).
• Dinámica: Sin la unidad imaginaria $i$ en la ecuación de Schrödinger, no se puede modelar la evolución continua de las puertas cuánticas sin violar las propiedades de los grupos de simetría requeridos (como $SO(N)$) o sin introducir artificialmente la estructura compleja a través de matrices de bloques.
• Rebits: Los "rebits" son útiles como herramientas teóricas para contrastar teorías, pero no pueden representar la realidad física de la evolución temporal de un qubit bajo puertas lógicas estándar.

En resumen, cualquier intento de formular la mecánica cuántica utilizando únicamente números reales, ya sea restringiendo los estados o mapeando a espacios de mayor dimensión, termina siendo una representación disfrazada de la estructura compleja original, confirmando que la naturaleza de la evolución cuántica es intrínsecamente compleja.