Simulating Bell inequalities with Qibo

Ce papier présente du matériel pédagogique et des outils logiciels basés sur Qibo, organisés en trois modules de difficulté croissante, pour aider les étudiants à simuler des violations des inégalités de Bell, explorant ainsi des concepts quantiques fondamentaux tels que l'intrication et la non-localité tout en acquérant une expérience pratique en analyse statistique et en bruit matériel.

L'essentiel

Imaginez que vous essayez d'enseigner à une classe d'élèves les règles les plus étranges et les plus déconcertantes de l'univers : la mécanique quantique. Plus précisément, vous voulez leur montrer comment deux particules minuscules peuvent être si profondément liées que ce qui arrive à l'une affecte instantanément l'autre, même si elles se trouvent de part et d'autre de la galaxie. Cela s'appelle l'intrication.

Pendant des décennies, les scientifiques ont débattu pour savoir si cette connexion était réelle ou si les particules portaient simplement de secrets « manuels d'instructions » (variables cachées) leur indiquant quoi faire avant même de se séparer. En 1964, un physicien nommé John Bell a élaboré un test mathématique — un ensemble de règles appelé inégalités de Bell — pour trancher le débat. Si les particules suivent la théorie du « manuel d'instructions », elles doivent respecter ces règles. Si elles suivent les règles étranges de la mécanique quantique, elles les enfreindront.

Cet article est essentiellement une boîte à outils pour l'enseignant conçue pour aider les élèves à réaliser ces tests eux-mêmes en utilisant un programme informatique appelé Qibo. Au lieu de simplement lire les mathématiques, les élèves peuvent construire un laboratoire virtuel, exécuter des simulations et voir la « magie » se produire sur leurs écrans.

Voici comment l'article décompose le tout, en utilisant des analogies simples :

1. Le plan de cours en trois modules

Les auteurs ont organisé leur matériel pédagogique en trois étapes, devenant plus difficiles à mesure que l'on avance, comme les niveaux d'un jeu vidéo.

• Niveau 1 : L'inégalité de Bell-Wigner (l'analogie du « chaussette »)
  Imaginez que vous avez une paire de chaussettes. Si vous mettez une chaussette gauche dans une boîte et une chaussette droite dans une autre, et que vous les envoyez dans des villes différentes, vous savez exactement ce qu'il y a dans l'autre boîte dès que vous ouvrez l'une d'elles. C'est l'idée de la « variable cachée locale » : les chaussettes étaient toujours gauches ou droites ; vous ne le saviez simplement pas encore.

  L'article commence ici car les mathématiques sont simples. Il demande : « Si les particules sont comme ces chaussettes pré-déterminées, quelles sont les probabilités qu'elles correspondent de manières spécifiques ? » La simulation montre que si les particules étaient simplement des « chaussettes », elles suivraient une règle stricte. Mais lorsque les élèves exécutent la simulation avec des particules quantiques, les particules enfreignent la règle. Elles agissent comme si elles parlaient instantanément entre elles, plutôt que de simplement suivre une liste pré-écrite.

• Niveau 2 : L'inégalité de Bell originale (le « Miroir Parfait »)
  Ce niveau devient un peu plus complexe. Il examine comment les particules sont corrélées. Imaginez deux danseurs qui sont des miroirs parfaits l'un de l'autre. Si l'un tourne à gauche, l'autre tourne à droite.

  L'article explique que dans un monde « normal », il existe une limite à la perfection avec laquelle ils peuvent se miroir à travers différents angles. Mais dans le monde quantique, les danseurs sont si parfaitement synchronisés qu'ils dépassent cette limite. La simulation permet aux élèves de modifier les angles de la « piste de danse » et de voir les nombres sauter au-dessus de la limite, prouvant que le « miroir » n'est pas simplement le reflet d'un plan préétabli, mais quelque chose de plus dynamique.

• Niveau 3 : L'inégalité de CHSH (le défi « Quatre Directions »)
  Il s'agit de la version la plus célèbre et la plus robuste du test. Imaginez que les danseurs sont maintenant observés par quatre juges différents se tenant dans des directions différentes. Les juges demandent aux danseurs d'effectuer des mouvements spécifiques en fonction de l'endroit où ils se tiennent.

  L'article montre que si les danseurs suivent un « scénario » (variables cachées), leurs scores combinés ne peuvent jamais dépasser un certain nombre (2). Mais lorsque les élèves exécutent la simulation quantique, le score grimpe à 2,82 (ce qui est $2\sqrt{2}$). C'est la « preuve irréfutable » qui démontre que l'univers n'est pas local ; les particules sont véritablement liées d'une manière qui défie notre logique quotidienne.

2. Le laboratoire virtuel (Qibo)

L'article souligne que vous n'avez pas besoin d'un véritable laboratoire de physique avec des lasers et des chambres à vide pour voir cela. Les auteurs ont utilisé Qibo, qui est comme un « simulateur de vol » pour les ordinateurs quantiques.

• Le Code : Ils fournissent du code Python (un type de langage informatique) que les élèves peuvent copier et coller.
• Le Processus : Le code crée deux « qubits » (bits quantiques, qui sont comme des pièces de monnaie surpuissantes pouvant être face, pile ou les deux à la fois). Il les intrique, les fait tourner dans différentes directions (simulant des mesures) et compte les résultats.
• Le Résultat : Les élèves voient des graphiques où les résultats quantiques violent clairement les limites « classiques ».

3. Le désordre du monde réel (Bruit et statistiques)

L'article enseigne également une leçon très pratique : la vie réelle est désordonnée.
Dans une simulation informatique parfaite, les résultats sont lisses. Mais si vous exécutez cela sur un véritable ordinateur quantique (comme ceux du CERN ou dans les laboratoires), les résultats deviennent « bruyants ».

• L'Analogie : Imaginez essayer d'entendre un chuchotement dans une pièce silencieuse (simulation parfaite) par rapport à essayer de l'entendre lors d'un concert de rock (matériel réel). Le « bruit » du matériel peut masquer le signal.
• La Leçon : Les auteurs montrent aux élèves comment calculer le nombre de fois où ils doivent exécuter l'expérience (tirs) pour obtenir une réponse claire. S'ils l'exécutent trop peu de fois, le « bruit » aléatoire donne l'impression que la règle n'a pas été enfreinte. S'ils l'exécutent suffisamment de fois, la véritable nature quantique ressort.

4. Pourquoi cela compte pour l'éducation

Les auteurs soutiennent que cet outil est un changement de paradigme pour l'enseignement.

• Pour les étudiants en physique : Il transforme des mathématiques abstraites et effrayantes en quelque chose qu'ils peuvent toucher et voir. Ils peuvent « jouer » avec les angles et voir la violation se produire en temps réel.
• Pour les étudiants en informatique : Cela leur donne l'occasion d'apprendre des concepts physiques profonds sans avoir besoin d'un doctorat en physique théorique au préalable. Ils peuvent se concentrer sur le code et la logique.

Résumé

En bref, cet article présente un terrain de jeu numérique où les élèves peuvent prouver que l'univers est plus étrange que nous ne le pensons. En utilisant le logiciel Qibo, ils peuvent simuler les célèbres tests de Bell, regarder les « règles classiques » se briser et comprendre que l'intrication quantique est un phénomène réel et mesurable, et non pas seulement une théorie. Il comble le fossé entre « lire sur la magie » et « exécuter le tour de magie » sur un écran d'ordinateur.

Résumé technique

Résumé technique : Simulation des inégalités de Bell avec Qibo

Énoncé du problème
L'article aborde le défi pédagogique consistant à introduire des concepts de mécanique quantique complexes — notamment l'intrication, les corrélations de spin, les variables cachées et la non-localité — auprès d'étudiants de premier et deuxième cycle universitaire. Bien que les arguments théoriques concernant les inégalités de Bell soient mathématiquement et conceptuellement exigeants, il existe un besoin d'outils éducatifs pratiques permettant aux étudiants de visualiser ces phénomènes et de comprendre l'impact des fluctuations statistiques et du bruit matériel. Bien que divers cadres d'informatique quantique existent (par exemple Qiskit, Cirq), les auteurs notent une lacune spécifique dans les outils éducatifs pour simuler l'inégalité de Bell-Wigner et l'inégalité de Bell originale, les ressources existantes se concentrant souvent uniquement sur les inégalités de type CHSH, plus complexes.

Méthodologie
Les auteurs ont développé un package éducatif modulaire composé de trois notebooks Jupyter basés sur Python, implémentés à l'aide de Qibo, un cadre d'informatique quantique open source capable d'interfacer à la fois des simulateurs classiques et du matériel quantique réel. Le matériel est structuré en trois modules de difficulté croissante :

1. Module 1 : L'inégalité de Bell-Wigner : Ce module introduit le cadre théorique basé sur les théories des variables cachées locales (LH) et l'argument de Wigner concernant huit populations distinctes de particules. Il construit des circuits quantiques pour mesurer les probabilités $P(\hat{a}+, \hat{b}+)$, $P(\hat{a}+, \hat{c}+)$ et $P(\hat{c}+, \hat{b}+)$ pour trois directions coplanaires ($\hat{a}, \hat{b}, \hat{c}$). Les circuits utilisent des portes Hadamard et CNOT pour générer l'état de Bell singulet $|\Psi^-\rangle$, suivi de portes de rotation ($R_z, R_y$) pour aligner les axes de mesure.
2. Module 2 : L'inégalité de Bell originale : Cette section déplace l'accent des probabilités vers les corrélations de spin $C(\hat{a}, \hat{b})$. Elle implémente les mêmes circuits quantiques que le Module 1 mais calcule la fonction de corrélation $C = \langle \alpha \beta \rangle$ en utilisant les fréquences des quatre résultats de mesure possibles ($00, 01, 10, 11$). Le module teste l'inégalité $|C(\hat{a}, \hat{b}) - C(\hat{a}, \hat{c})| \leq 1 + C(\hat{c}, \hat{b})$.
3. Module 3 : L'inégalité CHSH : Le module final traite de l'inégalité de Clauser-Horne-Shimony-Holt (CHSH), qui évite l'hypothèse stricte d'une anti-corrélation parfaite requise par l'inégalité de Bell originale. Il simule des mesures selon quatre directions ($\hat{a}, \hat{b}$ pour Alice ; $\hat{c}, \hat{d}$ pour Bob) afin de calculer la quantité $S = |C(\hat{a}, \hat{c}) - C(\hat{a}, \hat{d}) + C(\hat{b}, \hat{c}) + C(\hat{b}, \hat{d})|$.

Les simulations adoptent une approche fréquentiste, exécutant les circuits pour un nombre spécifié de tirs ($N_{shots}$) afin de reconstruire les distributions de probabilité et de calculer les quantités d'inégalités pertinentes ($Q_W, Q_B, Q_S$). Le code permet la variation des paramètres angulaires ($\theta_{ab}, \theta_{ac}, \phi$) pour explorer différentes configurations géométriques.

Résultats clés
Les simulations reproduisent avec succès les prédictions théoriques de la mécanique quantique, démontrant des violations des inégalités sous des configurations géométriques spécifiques :

• Bell-Wigner : La quantité $Q_W$ devient positive (violant la borne LH de $\leq 0$) lorsque les directions de mesure sont coplanaires avec des séparations angulaires spécifiques (par exemple, $\theta_{ab} = \pi/2, \theta_{ac} = \pi/4, \phi=0$).
• Bell originale : La quantité $Q_B$ dépasse la borne classique de 1, la violation maximale se produisant à $\theta_{ac} = \pi/4$ pour $\theta_{ab} = \pi/2$.
• CHSH : La quantité $Q_S$ dépasse la borne classique de 2, atteignant le maximum de la mécanique quantique de $2\sqrt{2}$ dans la configuration coplanaire optimale.

L'article analyse également l'impact des statistiques et du bruit. Il établit la relation entre le nombre de tirs et l'erreur statistique ($\sigma_{stat} \propto 1/\sqrt{N_{shots}}$) et la compare au bruit matériel intrinsèque ($\sigma_{noise}$), qui est indépendant du nombre de tirs. Les auteurs fournissent une méthode pour estimer le nombre optimal de tirs nécessaire pour rendre l'erreur statistique comparable au bruit du dispositif.

Signification et affirmations
Les auteurs positionnent ce travail principalement comme un outil éducatif plutôt que comme une nouvelle découverte physique. La signification réside dans :

1. Relier la théorie et la pratique : Les modules permettent aux étudiants de passer des dérivations théoriques abstraites à une mise en œuvre concrète, en visualisant la transition entre les régimes classique (variables cachées locales) et quantique.
2. Combler les lacunes pédagogiques : En incluant les inégalités de Bell-Wigner et de Bell originale, le matériel offre un point d'entrée plus accessible pour les étudiants que l'inégalité CHSH, mathématiquement plus lourde, prise isolément.
3. Conscience pratique : L'inclusion de l'analyse statistique et de la modélisation du bruit prépare les étudiants aux réalités du matériel quantique actuel (ère NISQ), où la préparation imparfaite des états et les erreurs de lecture affectent les résultats.
4. Accessibilité : L'utilisation de Qibo et de notebooks Python standards rend le matériel flexible pour les étudiants en physique (axés sur les concepts théoriques) et les étudiants en informatique (axés sur l'implémentation algorithmique).

Les auteurs notent que le matériel a été testé dans un cours d'informatique quantique de niveau master à l'Université de Ferrare, recevant des retours positifs de la part d'étudiants de divers horizons. Ils soulignent que l'outil est conçu pour faciliter la discussion en classe sur des questions fondamentales telles que la non-localité et les limites du réalisme local, sans prétendre résoudre des problèmes ouverts dans les fondements de la mécanique quantique ni proposer de nouvelles configurations expérimentales au-delà du cadre éducatif.