Locality Implies Complex Numbers in Quantum Mechanics

El artículo demuestra que, bajo el supuesto de fuentes independientes, las teorías cuánticas basadas en números reales requieren un mapeo no local, lo que implica que los números complejos son indispensables para describir la entrelazamiento entre sistemas independientes.

Lo esencial

El Misterio de los Números: ¿Por qué el Universo necesita "Imaginarios"?

Imagina que el universo es una inmensa obra de teatro. Durante mucho tiempo, los físicos han intentado escribir el guion de esta obra usando solo números reales (como 1, 2, 3, -5.5). Son los números que usamos para contar manzanas, medir distancias o calcular el precio del pan. Son "reales" en el sentido de que existen en nuestra experiencia cotidiana.

Sin embargo, la mecánica cuántica (la física de las partículas más pequeñas) ha usado siempre números complejos. Estos incluyen una parte "imaginaria" (representada por la letra $i$, que es la raíz cuadrada de -1). Esto ha confundido a los científicos durante décadas: ¿Por qué necesitamos números "imaginarios" para describir un mundo real?

Este nuevo artículo, escrito por Tianfeng Feng, Changliang Ren y Vlatko Vedral, nos da una respuesta fascinante: Los números complejos son necesarios porque el universo tiene "conexiones ocultas" que los números reales no pueden ver sin ayuda.

1. El Truco de Stueckelberg: Traducir lo Imaginario a Real

Hace décadas, un físico llamado Stueckelberg descubrió un truco. Dijo: "Podemos traducir cualquier sistema cuántico complejo a uno de solo números reales, pero tenemos que duplicar el tamaño del sistema".

• La analogía: Imagina que tienes una foto en 3D (el sistema complejo). Puedes convertirla en una foto 2D (el sistema real), pero para que se vea igual, necesitas ponerle un "espejo mágico" al lado. Ahora tienes dos fotos en lugar de una.
• El problema: Este truco funciona perfectamente si miras a una sola persona en el escenario. Si solo tienes un sistema aislado, puedes usar números reales y el "espejo mágico" (una dimensión extra oculta) y todo funcionará igual que con los números complejos.

2. El Gran Problema: Cuando Dos Sistemas se Conectan

Aquí es donde la cosa se pone interesante. La mecánica cuántica es famosa por el entrelazamiento: una situación donde dos partículas, aunque estén separadas por galaxias, se comportan como si fueran una sola unidad.

Los autores del artículo se preguntaron: ¿Qué pasa si intentamos usar nuestro "sistema real con espejo" para describir a dos sistemas que están conectados (entrelazados) pero que provienen de fuentes independientes?

• La analogía de los gemelos: Imagina dos gemelos, Alice y Bob, que viven en ciudades muy lejanas.
  • Si usamos números complejos, podemos describir su conexión mágica de forma natural.
  • Si intentamos usar números reales, tenemos que usar ese "espejo mágico" (la dimensión extra) para cada uno.
  • El problema es que, para que la descripción real funcione cuando se conectan, necesitamos un mapa oculto no local.

3. El "Mapa No Local": El Secreto Sucio

El artículo demuestra que, para que los números reales funcionen en un sistema de dos partes conectadas, necesitamos introducir una regla especial (un "mapa modificado").

• La analogía del director de orquesta invisible:
  Imagina que Alice toca un violín en París y Bob toca uno en Tokio. En la teoría real, para que sus notas suenen perfectamente sincronizadas (entrelazadas), necesitamos un director de orquesta invisible que esté en todas partes a la vez.
  • Este director no está en París ni en Tokio; es un "grado de libertad oculto" que conecta a ambos instantáneamente.
  • Si Alice mueve su arco, el director en Tokio sabe qué hacer al mismo tiempo, sin importar la distancia.

Aquí está la clave del artículo:
Este "director invisible" viola el principio de localidad. La localidad dice que nada puede influir en algo más rápido que la luz y que las cosas solo dependen de su entorno inmediato.
Para que la teoría de los números reales funcione, necesitamos admitir que existe una conexión oculta y no local entre las partículas.

4. La Conclusión: ¿Por qué necesitamos los números complejos?

El mensaje final es muy claro:

1. Si el universo fuera solo una colección de objetos aislados, podríamos usar números reales y olvidarnos de los complejos.
2. Pero como el universo tiene entrelazamiento (conexiones profundas entre sistemas independientes), la teoría de los números reales se ve obligada a inventar "trucos sucios" (conexiones ocultas no locales) para funcionar.
3. Los números complejos son la forma más elegante y honesta de describir esto. No necesitan "trucos ocultos" ni "directores invisibles". La conexión entre las partículas es natural y directa en el lenguaje de los números complejos.

En resumen:
El artículo dice que los números complejos no son un capricho matemático. Son indispensables. Si intentamos eliminarlos y usar solo números reales, estamos obligados a aceptar que el universo tiene "secretos" (conexiones no locales ocultas) que rompen las reglas de la localidad.

Por lo tanto, la presencia de números complejos en la física cuántica es la prueba de que el entrelazamiento entre sistemas independientes es un fenómeno real y fundamental, y que el universo prefiere describirse a sí mismo con la elegancia de los números complejos en lugar de con los "trucos" de los números reales.

La moraleja: El universo no es solo "real" en el sentido de los números que usamos para comprar pan; tiene una capa de "imaginación" (números complejos) que es esencial para mantener sus conexiones más profundas sin tener que inventar magia oculta.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "Locality implies Complex Numbers in Quantum Mechanics" (La localidad implica números complejos en la mecánica cuántica), escrito por Tianfeng Feng, Changliang Ren y Vlatko Vedral.

1. Planteamiento del Problema

La mecánica cuántica estándar se formula utilizando espacios de Hilbert complejos. Sin embargo, históricamente se ha cuestionado si los números complejos son una necesidad fundamental de la naturaleza o simplemente una herramienta matemática conveniente, dado que los resultados experimentales se expresan en términos de probabilidades (números reales).

Existen teorías cuánticas basadas en espacios de Hilbert reales (y cuaterniónicos) que son consistentes para sistemas individuales. Recientemente, experimentos y demostraciones teóricas (como las de Renou et al.) han mostrado que la teoría cuántica real no puede simular ciertos protocolos en redes cuánticas bajo el supuesto de fuentes independientes (localidad).

El problema central que abordan los autores es: ¿Es posible formular una teoría cuántica puramente real que sea compatible con el supuesto de fuentes independientes (localidad) sin introducir elementos no locales ocultos? El artículo investiga si la necesidad de números complejos surge inevitablemente al describir el entrelazamiento entre sistemas independientes.

2. Metodología

Los autores utilizan un enfoque algebraico basado en la regla de Stueckelberg, que permite mapear cualquier estado cuántico de dimensión $d$ en un espacio complejo a un estado de dimensión $2d$ en un espacio real.

• Mapeo de Estados y Operadores:
  • Un estado puro $|\psi\rangle = \sum (a_j + i b_j)|j\rangle$ se mapea a un estado real $\tilde{|\psi\rangle} = \sum a_j |0\rangle|j\rangle + b_j |1\rangle|j\rangle$.
  • Las matrices de densidad y operadores se transforman mediante una regla que introduce una matriz auxiliar $XZ = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}$, de modo que un operador $A = A_R + iA_I$ se convierte en $\tilde{A} = I \otimes A_R + XZ \otimes A_I$.
• Análisis de Sistemas Compuestos:
  • Se examina la consistencia de esta transformación bajo operaciones de producto tensorial ($\otimes$).
  • Se compara el mapeo directo del producto tensorial complejo, $\text{Map}_R(\rho_1 \otimes \rho_2)$, con el producto tensorial de los estados mapeados individualmente, $\tilde{\rho}_1 \otimes \tilde{\rho}_2$.
• Búsqueda de una Nueva Definición:
  • Se explora si es posible definir un "producto tensorial modificado" ($\tilde{\otimes}$) en la teoría real que reproduzca las predicciones de la teoría compleja bajo el supuesto de fuentes independientes.

3. Contribuciones Clave y Resultados

A. Inconsistencia del Producto Tensorial Estándar

El análisis demuestra que, para sistemas compuestos, la regla de Stueckelberg no conmuta con el producto tensorial estándar:
$$\text{Map}_R(V_1 \otimes V_2) \neq \tilde{V}_1 \otimes \tilde{V}_2$$
Esto implica que una teoría cuántica real basada en el producto tensorial estándar no puede simular el entrelazamiento entre fuentes independientes, lo que explica los resultados experimentales previos que refutan la teoría real estándar.

B. La Necesidad de un Mapa No Local

Para que la teoría real sea consistente con la teoría compleja en sistemas compuestos, los autores proponen un producto tensorial modificado ($\tilde{\otimes}$).

• Para lograr la equivalencia $\tilde{\rho}_1 \tilde{\otimes} \tilde{\rho}_2 = \text{Map}_R(\rho_1 \otimes \rho_2)$, es necesario introducir una transformación no lineal $\tilde{P}$ que actúe sobre qubits auxiliares (ancillas) de ambos sistemas.
• Esta transformación $\tilde{P}$ actúa como una función de paridad sobre los qubits auxiliares, correlacionando los sistemas de manera que se recupere la estructura compleja.

C. La Conclusión Fundamental: No Localidad Oculta

El hallazgo más crítico del artículo es que el mapa $\tilde{P}$ necesario para hacer consistente la teoría real es inherentemente no local.

• Aunque los sistemas (fuentes) se asumen independientes y espacialmente separados, la operación necesaria para describir su estado conjunto en la teoría real requiere una correlación instantánea a través de grados de libertad ocultos (el subsistema auxiliar).
• Por lo tanto, una teoría cuántica real que intente describir el entrelazamiento entre fuentes independientes debe incorporar una "mapeo no local oculto".

4. Significado e Implicaciones

• Indispensabilidad de los Números Complejos: El trabajo sugiere que los números complejos no son meramente una conveniencia matemática, sino una característica indispensable de la mecánica cuántica cuando se trata de describir el entrelazamiento entre sistemas independientes.
• Reinterpretación de la Localidad: Si uno insiste en usar una formulación puramente real, se debe abandonar la noción estricta de localidad en la descripción de las operaciones de productos tensoriales. La "localidad" en la teoría real se sacrifica a favor de la introducción de grados de libertad no locales ocultos.
• Validación de Experimentos Previos: Los resultados confirman teóricamente por qué los experimentos recientes (como los de Renou et al.) han podido falsificar la teoría cuántica real estándar: cualquier intento de salvar la teoría real introduciendo modificaciones para cumplir con la localidad termina violando la localidad misma mediante mapas ocultos.
• Conclusión Final: La complejidad de la mecánica cuántica es una manifestación directa de la estructura del entrelazamiento entre sistemas independientes. Sin los números complejos, la teoría requiere una "acción a distancia" oculta para ser consistente, lo cual contradice el principio de localidad independiente.

En resumen, el artículo establece que la localidad (supuesto de fuentes independientes) implica la necesidad de números complejos en la formulación de la teoría cuántica, ya que las teorías reales equivalentes requieren necesariamente operaciones no locales ocultas para describir sistemas compuestos entrelazados.