Simulating Bell inequalities with Qibo

Dieses Papier stellt pädagogisches Material und Qibo-basierte Software-Tools vor, die in drei Module mit zunehmendem Schwierigkeitsgrad organisiert sind, um Studierenden zu helfen, Verletzungen der Bell-Ungleichung zu simulieren, wodurch sie fundamentale Quantenkonzepte wie Verschränkung und Nichtlokalität erkunden und gleichzeitig praktische Erfahrung in der statistischen Analyse und im Umgang mit Hardware-Rauschen gewinnen.

Das Wesentliche

Stellen Sie sich vor, Sie unterrichten eine Klasse von Schülern über die seltsamsten, geistverwirrendsten Regeln des Universums: Quantenmechanik. Speziell möchten Sie ihnen zeigen, wie zwei winzige Teilchen so tief miteinander verbunden sein können, dass das, was mit dem einen passiert, das andere sofort beeinflusst, selbst wenn sie sich auf entgegengesetzten Seiten der Galaxie befinden. Dies wird „Verschränkung" genannt.

Seit Jahrzehnten diskutieren Wissenschaftler, ob diese Verbindung real ist oder ob die Teilchen lediglich geheime „Anleitungshandbücher" (verborgene Variablen) mit sich tragen, die ihnen sagen, was zu tun ist, bevor sie sich überhaupt trennen. 1964 entwickelte ein Physiker namens John Bell einen mathematischen Test – eine Reihe von Regeln namens Bell-Ungleichungen –, um die Debatte zu entscheiden. Wenn die Teilchen der Theorie des „Anleitungshandbuchs" folgen, müssen sie diese Regeln befolgen. Wenn sie den seltsamen Regeln der Quantenmechanik folgen, werden sie sie brechen.

Dieser Artikel ist im Wesentlichen ein Lehrer-Toolkit, das entwickelt wurde, um Schülern zu helfen, diese Tests selbst mit einem Computerprogramm namens Qibo durchzuführen. Anstatt nur über die Mathematik zu lesen, können die Schüler ein virtuelles Labor aufbauen, Simulationen durchführen und die „Magie" auf ihren Bildschirmen geschehen sehen.

Hier ist, wie der Artikel dies unter Verwendung einfacher Analogien aufschlüsselt:

1. Der dreiteilige Lehrplan

Die Autoren haben ihr Unterrichtsmaterial in drei Schritte unterteilt, die mit fortschreitendem Verlauf schwieriger werden, wie Level in einem Videospiel.

• Level 1: Die Bell-Wigner-Ungleichung (Die „Socken"-Analogie)
  Stellen Sie sich vor, Sie haben ein Paar Socken. Wenn Sie eine linke Socke in eine Box und eine rechte Socke in eine andere Box legen und sie in verschiedene Städte schicken, wissen Sie genau, was sich in der anderen Box befindet, sobald Sie eine öffnen. Dies ist die Idee der „lokalen verborgenen Variablen": Die Socken waren immer links oder rechts; Sie wussten es nur noch nicht.

  Der Artikel beginnt hier, weil die Mathematik einfach ist. Er fragt: „Wenn die Teilchen wie diese vorbestimmten Socken sind, wie hoch sind die Wahrscheinlichkeiten, dass sie auf bestimmte Weise übereinstimmen?" Die Simulation zeigt, dass die Teilchen, wenn sie nur „Socken" wären, einer strikten Regel folgen würden. Aber wenn die Schüler die Simulation mit Quantenteilchen durchführen, brechen die Teilchen die Regel. Sie verhalten sich so, als würden sie sofort miteinander sprechen, anstatt nur einer vorab geschriebenen Liste zu folgen.

• Level 2: Die ursprüngliche Bell-Ungleichung (Der „perfekte Spiegel")
  Dieses Level wird etwas komplexer. Es betrachtet, wie die Teilchen korrelieren. Stellen Sie sich zwei Tänzer vor, die perfekte Spiegelbilder voneinander sind. Wenn sich einer nach links dreht, dreht sich der andere nach rechts.

  Der Artikel erklärt, dass in einer „normalen" Welt eine Grenze dafür existiert, wie perfekt sie sich über verschiedene Winkel hinweg spiegeln können. Aber in der Quantenwelt sind die Tänzer so perfekt synchronisiert, dass sie diese Grenze überschreiten. Die Simulation ermöglicht es den Schülern, die Winkel des „Tanzbodens" zu verändern und die Zahlen über die Grenze springen zu sehen, was beweist, dass der „Spiegel" nicht nur eine Reflexion eines vorab festgelegten Plans ist, sondern etwas Dynamischeres.

• Level 3: Die CHSH-Ungleichung (Die „Vier-Richtungen"-Herausforderung)
  Dies ist die bekannteste und robusteste Version des Tests. Stellen Sie sich vor, die Tänzer werden nun von vier verschiedenen Richtungsrichtern beobachtet, die in unterschiedliche Richtungen schauen. Die Richter bitten die Tänzer, bestimmte Bewegungen auszuführen, basierend darauf, wo sie stehen.

  Der Artikel zeigt, dass, wenn die Tänzer einem „Skript" (verborgene Variablen) folgen, ihre kombinierten Punktzahlen niemals eine bestimmte Zahl (2) überschreiten können. Aber wenn die Schüler die Quantensimulation durchführen, springt die Punktzahl auf 2,82 (was $2\sqrt{2}$ entspricht). Dies ist der „Rauchende Colt", der beweist, dass das Universum nicht lokal ist; die Teilchen sind auf eine Weise wirklich verbunden, die unserer alltäglichen Logik widerspricht.

2. Das virtuelle Labor (Qibo)

Der Artikel betont, dass Sie kein echtes Physiklabor mit Lasern und Vakuumkammern benötigen, um dies zu sehen. Die Autoren verwendeten Qibo, das wie ein „Flugsimulator" für Quantencomputer ist.

• Der Code: Sie stellen Python-Code (eine Art Computersprache) bereit, den die Schüler kopieren und einfügen können.
• Der Prozess: Der Code erstellt zwei „Qubits" (Quantenbits, die wie superstarke Münzen sind, die Kopf, Zahl oder beides gleichzeitig sein können). Er verschränkt sie, dreht sie in verschiedene Richtungen (simuliert Messungen) und zählt die Ergebnisse.
• Das Ergebnis: Die Schüler sehen Diagramme, in denen die Quantenergebnisse die „klassischen" Grenzen klar verletzen.

3. Die reale Unordnung (Rauschen und Statistik)

Der Artikel lehrt auch eine sehr praktische Lektion: Das echte Leben ist chaotisch.
In einer perfekten Computersimulation sind die Ergebnisse glatt. Aber wenn Sie dies auf einem echten Quantencomputer (wie denen am CERN oder in Laboren) durchführen, werden die Ergebnisse „rauschbehaftet".

• Die Analogie: Stellen Sie sich vor, Sie versuchen, ein Flüstern in einem ruhigen Raum zu hören (perfekte Simulation) versus zu versuchen, es auf einem Rockkonzert zu hören (echte Hardware). Das „Rauschen" der Hardware kann das Signal verdecken.
• Die Lektion: Die Autoren zeigen den Schülern, wie sie berechnen, wie oft sie das Experiment durchführen müssen (Shots), um eine klare Antwort zu erhalten. Wenn sie es zu wenige Male durchführen, lässt das zufällige „Störgeräusch" es so aussehen, als wäre die Regel nicht gebrochen worden. Wenn sie es oft genug durchführen, kommt die wahre Quantennatur zum Vorschein.

4. Warum dies für die Bildung wichtig ist

Die Autoren argumentieren, dass dieses Werkzeug ein Game-Changer für den Unterricht ist.

• Für Physikstudenten: Es verwandelt abstrakte, beängstigende Mathematik in etwas, das sie anfassen und sehen können. Sie können mit den Winkeln „spielen" und die Verletzung in Echtzeit geschehen sehen.
• Für Informatikstudenten: Es gibt ihnen die Chance, tiefe physikalische Konzepte zu lernen, ohne vorher ein PhD in theoretischer Physik zu benötigen. Sie können sich auf den Code und die Logik konzentrieren.

Zusammenfassung

Kurz gesagt, stellt dieser Artikel einen digitalen Spielplatz vor, auf dem Schüler beweisen können, dass das Universum seltsamer ist, als wir denken. Indem sie die Qibo-Software verwenden, können sie die berühmten Bell-Tests simulieren, das Brechen der „klassischen Regeln" beobachten und verstehen, dass Quantenverschränkung ein reales, messbares Phänomen ist – nicht nur eine Theorie. Es schließt die Lücke zwischen „über Magie lesen" und „den Magietrick auf einem Computerbildschirm aufführen".

Technische Zusammenfassung

Technische Zusammenfassung: Simulation von Bell-Ungleichungen mit Qibo

Problemstellung
Der Beitrag adressiert die pädagogische Herausforderung, komplexe quantenmechanische Konzepte – insbesondere Verschränkung, Spin-Korrelationen, verborgene Variablen und Nichtlokalität – Studierenden des Bachelor- und Masterstudiums nahezubringen. Während theoretische Argumente bezüglich Bell-Ungleichungen mathematisch und konzeptionell anspruchsvoll sind, besteht ein Bedarf an praktischen Bildungswerkzeugen, die es Studierenden ermöglichen, diese Phänomene zu visualisieren und den Einfluss statistischer Fluktuationen und Hardware-Rauschens zu verstehen. Obwohl verschiedene Quantencomputing-Frameworks existieren (z. B. Qiskit, Cirq), stellen die Autoren eine spezifische Lücke bei Bildungswerkzeugen zur Simulation der Bell-Wigner-Ungleichung und der ursprünglichen Bell-Ungleichung fest, wobei bestehende Ressourcen sich oft ausschließlich auf die komplexeren CHSH-artigen Ungleichungen konzentrieren.

Methodik
Die Autoren entwickelten ein modulares Bildungspaket, bestehend aus drei Python-basierten Jupyter-Notebooks, die unter Verwendung von Qibo implementiert wurden, einem Open-Source-Quantencomputing-Framework, das Schnittstellen sowohl zu klassischen Simulatoren als auch zu echter Quantenhardware bietet. Das Material ist in drei Module mit steigendem Schwierigkeitsgrad strukturiert:

1. Modul 1: Die Bell-Wigner-Ungleichung: Dieses Modul führt den theoretischen Rahmen ein, der auf Theorien lokaler verborgener (LH) Variablen und Wigners Argumentation bezüglich acht verschiedener Teilchenpopulationen basiert. Es werden Quantenschaltkreise konstruiert, um die Wahrscheinlichkeiten $P(\hat{a}+, \hat{b}+)$, $P(\hat{a}+, \hat{c}+)$ und $P(\hat{c}+, \hat{b}+)$ für drei koplanare Richtungen ($\hat{a}, \hat{b}, \hat{c}$) zu messen. Die Schaltkreise nutzen Hadamard- und CNOT-Gatter, um den Singulett-Bell-Zustand $|\Psi^-\rangle$ zu erzeugen, gefolgt von Rotationsgattern ($R_z, R_y$), um die Messachsen auszurichten.
2. Modul 2: Die ursprüngliche Bell-Ungleichung: Dieser Abschnitt verlagert den Fokus von Wahrscheinlichkeiten auf Spin-Korrelationen $C(\hat{a}, \hat{b})$. Es werden dieselben Quantenschaltkreise wie in Modul 1 implementiert, jedoch wird die Korrelationsfunktion $C = \langle \alpha \beta \rangle$ unter Verwendung der Häufigkeiten aller vier möglichen Messergebnisse ($00, 01, 10, 11$) berechnet. Das Modul testet die Ungleichung $|C(\hat{a}, \hat{b}) - C(\hat{a}, \hat{c})| \leq 1 + C(\hat{c}, \hat{b})$.
3. Modul 3: Die CHSH-Ungleichung: Das abschließende Modul behandelt die Clauser-Horne-Shimony-Holt (CHSH)-Ungleichung, die die strenge Annahme perfekter Anti-Korrelation vermeidet, die von der ursprünglichen Bell-Ungleichung gefordert wird. Es simuliert Messungen entlang vier Richtungen ($\hat{a}, \hat{b}$ für Alice; $\hat{c}, \hat{d}$ für Bob), um die Größe $S = |C(\hat{a}, \hat{c}) - C(\hat{a}, \hat{d}) + C(\hat{b}, \hat{c}) + C(\hat{b}, \hat{d})|$ zu berechnen.

Die Simulationen verwenden einen frequentistischen Ansatz, indem Schaltkreise für eine festgelegte Anzahl von Schüssen ($N_{shots}$) ausgeführt werden, um Wahrscheinlichkeitsverteilungen zu rekonstruieren und die relevanten Ungleichungsgrößen ($Q_W, Q_B, Q_S$) zu berechnen. Der Code ermöglicht die Variation von Winkelparametern ($\theta_{ab}, \theta_{ac}, \phi$), um verschiedene geometrische Konfigurationen zu untersuchen.

Hauptergebnisse
Die Simulationen reproduzieren erfolgreich die theoretischen Vorhersagen der Quantenmechanik und zeigen Verletzungen der Ungleichungen unter spezifischen geometrischen Konfigurationen:

• Bell-Wigner: Die Größe $Q_W$ wird positiv (Verletzung der LH-Schranke von $\leq 0$), wenn die Messrichtungen koplanar mit spezifischen Winkeltrennungen sind (z. B. $\theta_{ab} = \pi/2, \theta_{ac} = \pi/4, \phi=0$).
• Ursprüngliche Bell: Die Größe $Q_B$ überschreitet die klassische Schranke von 1, wobei die maximale Verletzung bei $\theta_{ac} = \pi/4$ für $\theta_{ab} = \pi/2$ auftritt.
• CHSH: Die Größe $Q_S$ überschreitet die klassische Schranke von 2 und erreicht das quantenmechanische Maximum von $2\sqrt{2}$ in der optimalen koplanaren Konfiguration.

Der Beitrag analysiert zudem den Einfluss von Statistik und Rauschen. Es wird die Beziehung zwischen der Anzahl der Schüsse und dem statistischen Fehler abgeleitet ($\sigma_{stat} \propto 1/\sqrt{N_{shots}}$) und dieser mit intrinsischem Hardware-Rauschen ($\sigma_{noise}$) kontrastiert, das unabhängig von der Schusszahl ist. Die Autoren stellen eine Methode bereit, um die optimale Anzahl von Schüssen abzuschätzen, die erforderlich ist, um den statistischen Fehler mit dem Geräusch des Geräts vergleichbar zu machen.

Bedeutung und Behauptungen
Die Autoren positionieren diese Arbeit primär als Bildungswerkzeug und nicht als neue physikalische Entdeckung. Die Bedeutung liegt in:

1. Überbrückung von Theorie und Praxis: Die Module ermöglichen es Studierenden, von abstrakten theoretischen Herleitungen zu konkreten Implementierungen überzugehen und den Übergang zwischen klassischen (lokalen verborgenen Variablen) und quantenmechanischen Regimen zu visualisieren.
2. Schließung pädagogischer Lücken: Durch die Einbeziehung der Bell-Wigner- und der ursprünglichen Bell-Ungleichung bietet das Material einen zugänglicheren Einstieg für Studierende als die alleinige, mathematisch schwerwiegendere CHSH-Ungleichung.
3. Praktisches Bewusstsein: Die Einbeziehung statistischer Analysen und Rauschmodellierung bereitet Studierende auf die Realitäten aktueller Quantenhardware (NISQ-Ära) vor, wo unvollkommene Zustandspräparation und Auslesefehler die Ergebnisse beeinflussen.
4. Zugänglichkeit: Die Verwendung von Qibo und Standard-Python-Notebooks macht das Material flexibel für Physikstudierende (Fokus auf theoretische Konzepte) und Informatikstudierende (Fokus auf algorithmische Implementierung).

Die Autoren stellen fest, dass das Material in einem Quantencomputing-Kurs auf Master-Niveau an der Universität Ferrara getestet wurde und positives Feedback von Studierenden mit unterschiedlichen Hintergründen erhielt. Sie betonen, dass das Werkzeug dazu dient, den Unterrichtsdiskurs über grundlegende Fragen wie Nichtlokalität und die Grenzen des lokalen Realismus zu erleichtern, ohne zu behaupten, offene Probleme in den Quantengrundlagen zu lösen oder neue experimentelle Aufbauten jenseits des pädagogischen Rahmens vorzuschlagen.