Simulating Bell inequalities with Qibo

Este artículo presenta material educativo y herramientas de software basadas en Qibo organizadas en tres módulos de dificultad creciente para ayudar a los estudiantes a simular violaciones de las desigualdades de Bell, explorando así conceptos cuánticos fundamentales como el entrelazamiento y la no localidad, al tiempo que adquieren experiencia práctica en análisis estadístico y ruido de hardware.

Lo esencial

Imagina que estás intentando enseñar a una clase de estudiantes las reglas más extrañas y desconcertantes del universo: la Mecánica Cuántica. Específicamente, quieres mostrarles cómo dos partículas diminutas pueden estar tan profundamente conectadas que lo que le sucede a una afecta instantáneamente a la otra, incluso si están en lados opuestos de la galaxia. Esto se llama "entrelazamiento".

Durante décadas, los científicos han debatido si esta conexión es real o si las partículas simplemente llevan "manuales de instrucciones" secretos (variables ocultas) que les dicen qué hacer antes de separarse. En 1964, un físico llamado John Bell ideó una prueba matemática: un conjunto de reglas llamadas Desigualdades de Bell para zanjar el debate. Si las partículas siguen la teoría del "manual de instrucciones", deben obedecer estas reglas. Si siguen las reglas extrañas de la mecánica cuántica, las romperán.

Este artículo es esencialmente un kit de herramientas para el profesor diseñado para ayudar a los estudiantes a realizar estas pruebas ellos mismos utilizando un programa informático llamado Qibo. En lugar de solo leer sobre las matemáticas, los estudiantes pueden construir un laboratorio virtual, ejecutar simulaciones y ver cómo ocurre la "magia" en sus pantallas.

Así es como el artículo lo desglosa, utilizando analogías simples:

1. El Plan de Lección de Tres Módulos

Los autores organizaron su material didáctico en tres pasos, que se vuelven más difíciles a medida que avanzas, como niveles en un videojuego.

• Nivel 1: La Desigualdad de Bell-Wigner (La analogía del "calcetín")
  Imagina que tienes un par de calcetines. Si pones un calcetín izquierdo en una caja y un derecho en otra, y los envías a ciudades diferentes, sabes exactamente qué hay en la otra caja una vez que abres una. Esta es la idea de la "variable oculta local": los calcetines siempre fueron izquierdo o derecho; simplemente aún no lo sabías.

  El artículo comienza aquí porque las matemáticas son simples. Pregunta: "Si las partículas son como estos calcetines predeterminados, ¿cuáles son las probabilidades de que coincidan de maneras específicas?". La simulación muestra que si las partículas fueran simplemente "calcetines", seguirían una regla estricta. Pero cuando los estudiantes ejecutan la simulación con partículas cuánticas, las partículas rompen la regla. Actúan como si estuvieran hablando entre sí instantáneamente, en lugar de simplemente seguir una lista preescrita.

• Nivel 2: La Desigualdad de Bell Original (El "Espejo Perfecto")
  Este nivel se vuelve un poco más complejo. Examina cómo se correlacionan las partículas. Imagina dos bailarines que son espejos perfectos el uno del otro. Si uno gira a la izquierda, el otro gira a la derecha.

  El artículo explica que en un mundo "normal", hay un límite de lo perfectamente que pueden reflejarse entre sí a través de diferentes ángulos. Pero en el mundo cuántico, los bailarines están tan perfectamente sincronizados que superan este límite. La simulación permite a los estudiantes ajustar los ángulos de la "pista de baile" y observar cómo los números saltan por encima del límite, demostrando que el "espejo" no es solo un reflejo de un plan preestablecido, sino algo más dinámico.

• Nivel 3: La Desigualdad CHSH (El desafío de las "Cuatro Direcciones")
  Esta es la versión más famosa y robusta de la prueba. Imagina que los bailarines ahora están siendo observados por cuatro jueces diferentes que se encuentran en direcciones distintas. Los jueces piden a los bailarines que realicen movimientos específicos según dónde estén parados.

  El artículo muestra que si los bailarines siguen un "guion" (variables ocultas), sus puntuaciones combinadas nunca pueden superar un cierto número (2). Pero cuando los estudiantes ejecutan la simulación cuántica, la puntuación salta a 2.82 (que es $2\sqrt{2}$). Esta es la "pistola humeante" que prueba que el universo no es local; las partículas están verdaderamente conectadas de una manera que desafía nuestra lógica cotidiana.

2. El Laboratorio Virtual (Qibo)

El artículo enfatiza que no necesitas un laboratorio de física real con láseres y cámaras de vacío para ver esto. Los autores utilizaron Qibo, que es como un "simulador de vuelo" para computadoras cuánticas.

• El Código: Proporcionan código Python (un tipo de lenguaje informático) que los estudiantes pueden copiar y pegar.
• El Proceso: El código crea dos "qubits" (bits cuánticos, que son como monedas superpoderosas que pueden ser cara, cruz o ambas a la vez). Los entrelaza, los gira en diferentes direcciones (simulando mediciones) y cuenta los resultados.
• El Resultado: Los estudiantes ven gráficos donde los resultados cuánticos violan claramente los límites "clásicos".

3. El Desorden del Mundo Real (Ruido y Estadísticas)

El artículo también enseña una lección muy práctica: La vida real es desordenada.
En una simulación informática perfecta, los resultados son suaves. Pero si ejecutas esto en una computadora cuántica real (como las del CERN o en laboratorios), los resultados se vuelven "ruidosos".

• La Analogía: Imagina intentar escuchar un susurro en una habitación silenciosa (simulación perfecta) versus intentar escucharlo en un concierto de rock (hardware real). El "ruido" del hardware puede ocultar la señal.
• La Lección: Los autores muestran a los estudiantes cómo calcular cuántas veces necesitan ejecutar el experimento (disparos) para obtener una respuesta clara. Si lo ejecutan muy pocas veces, el "ruido" aleatorio hace que parezca que la regla no se rompió. Si lo ejecutan suficientes veces, la verdadera naturaleza cuántica brilla.

4. Por Qué Esto Importa para la Educación

Los autores argumentan que esta herramienta es un cambio de juego para la enseñanza.

• Para Estudiantes de Física: Convierte las matemáticas abstractas y aterradoras en algo que pueden tocar y ver. Pueden "jugar" con los ángulos y ver la violación ocurrir en tiempo real.
• Para Estudiantes de Ciencias de la Computación: Les da la oportunidad de aprender conceptos profundos de física sin necesitar un doctorado en física teórica primero. Pueden centrarse en el código y la lógica.

Resumen

En resumen, este artículo presenta un parque de juegos digital donde los estudiantes pueden probar que el universo es más extraño de lo que pensamos. Al utilizar el software Qibo, pueden simular las famosas pruebas de Bell, observar cómo se rompen las "reglas clásicas" y comprender que el entrelazamiento cuántico es un fenómeno real y medible, no solo una teoría. Cierra la brecha entre "leer sobre magia" y "realizar el truco de magia" en una pantalla de computadora.

Resumen técnico

Resumen Técnico: Simulación de Desigualdades de Bell con Qibo

Planteamiento del Problema
El artículo aborda el desafío pedagógico de introducir conceptos complejos de la mecánica cuántica —específicamente el entrelazamiento, las correlaciones de espín, las variables ocultas y la no localidad— a estudiantes de pregrado y posgrado. Si bien los argumentos teóricos sobre las desigualdades de Bell son matemática y conceptualmente exigentes, existe la necesidad de herramientas educativas prácticas que permitan a los estudiantes visualizar estos fenómenos y comprender el impacto de las fluctuaciones estadísticas y el ruido del hardware. Aunque existen diversos marcos de computación cuántica (por ejemplo, Qiskit, Cirq), los autores señalan una brecha específica en las herramientas educativas para simular la desigualdad de Bell-Wigner y la desigualdad de Bell original, ya que los recursos existentes suelen centrarse únicamente en las desigualdades de tipo CHSH, más complejas.

Metodología
Los autores desarrollaron un paquete educativo modular compuesto por tres cuadernos Jupyter basados en Python e implementados utilizando Qibo, un marco de computación cuántica de código abierto capaz de interactuar tanto con simuladores clásicos como con hardware cuántico real. El material está estructurado en tres módulos de dificultad creciente:

1. Módulo 1: La Desigualdad de Bell-Wigner: Este módulo introduce el marco teórico basado en teorías de variables ocultas locales (LH) y el argumento de Wigner respecto a ocho poblaciones distintas de partículas. Construye circuitos cuánticos para medir las probabilidades $P(\hat{a}+, \hat{b}+)$, $P(\hat{a}+, \hat{c}+)$ y $P(\hat{c}+, \hat{b}+)$ para tres direcciones coplanares ($\hat{a}, \hat{b}, \hat{c}$). Los circuitos utilizan puertas Hadamard y CNOT para generar el estado de Bell singlete $|\Psi^-\rangle$, seguido de puertas de rotación ($R_z, R_y$) para alinear los ejes de medición.
2. Módulo 2: La Desigualdad de Bell Original: Esta sección cambia el enfoque de las probabilidades a las correlaciones de espín $C(\hat{a}, \hat{b})$. Implementa los mismos circuitos cuánticos que el Módulo 1, pero calcula la función de correlación $C = \langle \alpha \beta \rangle$ utilizando las frecuencias de los cuatro posibles resultados de medición ($00, 01, 10, 11$). El módulo prueba la desigualdad $|C(\hat{a}, \hat{b}) - C(\hat{a}, \hat{c})| \leq 1 + C(\hat{c}, \hat{b})$.
3. Módulo 3: La Desigualdad CHSH: El módulo final aborda la desigualdad de Clauser-Horne-Shimony-Holt (CHSH), que evita la estricta suposición de anti-correlación perfecta requerida por la desigualdad de Bell original. Simula mediciones a lo largo de cuatro direcciones ($\hat{a}, \hat{b}$ para Alice; $\hat{c}, \hat{d}$ para Bob) para calcular la cantidad $S = |C(\hat{a}, \hat{c}) - C(\hat{a}, \hat{d}) + C(\hat{b}, \hat{c}) + C(\hat{b}, \hat{d})|$.

Las simulaciones emplean un enfoque frecuentista, ejecutando circuitos para un número especificado de disparos ($N_{shots}$) para reconstruir distribuciones de probabilidad y calcular las cantidades relevantes de las desigualdades ($Q_W, Q_B, Q_S$). El código permite la variación de parámetros angulares ($\theta_{ab}, \theta_{ac}, \phi$) para explorar diferentes configuraciones geométricas.

Resultados Clave
Las simulaciones reproducen con éxito las predicciones teóricas de la mecánica cuántica, demostrando violaciones de las desigualdades bajo configuraciones geométricas específicas:

• Bell-Wigner: La cantidad $Q_W$ se vuelve positiva (violando el límite LH de $\leq 0$) cuando las direcciones de medición son coplanares con separaciones angulares específicas (por ejemplo, $\theta_{ab} = \pi/2, \theta_{ac} = \pi/4, \phi=0$).
• Bell Original: La cantidad $Q_B$ supera el límite clásico de 1, con una violación máxima que ocurre en $\theta_{ac} = \pi/4$ para $\theta_{ab} = \pi/2$.
• CHSH: La cantidad $Q_S$ supera el límite clásico de 2, alcanzando el máximo mecánico-cuántico de $2\sqrt{2}$ en la configuración coplanar óptima.

El artículo también analiza el impacto de las estadísticas y el ruido. Deriva la relación entre el número de disparos y el error estadístico ($\sigma_{stat} \propto 1/\sqrt{N_{shots}}$) y lo contrasta con el ruido intrínseco del hardware ($\sigma_{noise}$), que es independiente del número de disparos. Los autores proporcionan un método para estimar el número óptimo de disparos necesario para que el error estadístico sea comparable al ruido del dispositivo.

Significado y Afirmaciones
Los autores posicionan este trabajo principalmente como una herramienta educativa en lugar de un nuevo descubrimiento físico. El significado radica en:

1. Vincular Teoría y Práctica: Los módulos permiten a los estudiantes pasar de derivaciones teóricas abstractas a una implementación concreta, visualizando la transición entre los regímenes clásico (variables ocultas locales) y cuántico.
2. Abordar Brechas Pedagógicas: Al incluir las desigualdades de Bell-Wigner y la desigualdad de Bell original, el material ofrece un punto de entrada más accesible para los estudiantes que la desigualdad CHSH, matemáticamente más pesada, por sí sola.
3. Conciencia Práctica: La inclusión del análisis estadístico y la modelización del ruido prepara a los estudiantes para las realidades del hardware cuántico actual (era NISQ), donde la preparación imperfecta de estados y los errores de lectura afectan los resultados.
4. Accesibilidad: El uso de Qibo y cuadernos Python estándar hace que el material sea flexible tanto para estudiantes de física (centrados en conceptos teóricos) como para estudiantes de ciencias de la computación (centrados en la implementación algorítmica).

Los autores señalan que el material ha sido probado en un curso de Computación Cuántica de nivel de Máster en la Universidad de Ferrara, recibiendo comentarios positivos de estudiantes con diversos antecedentes. Enfatizan que la herramienta está diseñada para facilitar el debate en el aula sobre cuestiones fundamentales como la no localidad y las limitaciones del realismo local, sin pretender resolver problemas abiertos en los fundamentos de la mecánica cuántica ni proponer nuevos diseños experimentales más allá del ámbito educativo.