Simulating Bell inequalities with Qibo

本論文は、学生がベル不等式の破れをシミュレートし、統計分析やハードウェアノイズの実践的経験を得ながら、もつれや非局所性といった基礎的な量子概念を探求できるよう、難易度の高い 3 つのモジュールに整理された教育用教材と Qibo ベースのソフトウェアツールを提示する。

要約

宇宙の最も奇妙で、頭を混乱させるような規則、すなわち量子力学について、生徒のクラスに教えようとしている状況を想像してみてください。具体的には、銀河の反対側にいるような遠く離れた二つの微小な粒子が、互いに深く結びついており、一方に何かが起こると瞬時にもう一方に影響を与える様子を示したいと考えています。これを「量子もつれ」と呼びます。

何十年もの間、科学者たちは、この結びつきが実在するものなのか、それとも粒子が分離する前から何をすべきかを指示する秘密の「取扱説明書」（隠れた変数）を携えているだけなのかについて議論を続けてきました。1964 年、物理学者のジョン・ベルが、この論争を決着させるための数学的テスト、すなわちベルの不等式と呼ばれる一連の規則を考案しました。もし粒子が「取扱説明書」理論に従うなら、それらはこれらの規則に従わなければなりません。もしそれらが量子力学の奇妙な規則に従うなら、これらの規則を破ることになります。

この論文は、本質的に教師のためのツールキットであり、Qiboと呼ばれるコンピュータプログラムを用いて、生徒自身がこれらのテストを実行するよう支援するために設計されています。数学について読むだけでなく、生徒たちは仮想実験室を構築し、シミュレーションを実行して、画面で「魔法」が起きる様子を目にすることができます。

以下は、この論文が単純なアナロジーを用いて解説する内容です。

1. 3 つのモジュールによるレッスンプラン

著者たちは教材を 3 つのステップに整理しており、ビデオゲームのレベルのように、進むにつれて難易度が上がります。

• レベル 1：ベル・ウィグナーの不等式（「靴下」のアナロジー）
  一組の靴下を持っていると想像してください。片方の箱に左足の靴下を入れ、もう片方の箱に右足の靴下を入れ、それらを異なる都市へ送ったとします。一方の箱を開ければ、もう一方の箱に何が入っているかが正確に分かります。これが「局所的隠れた変数」の考え方です。靴下は最初から左か右かに決まっており、単にあなたがまだ知らなかっただけなのです。

  この論文は、数学が単純であるこの点から始まります。「もし粒子がこれらの事前に決定された靴下のようなら、特定の方法で一致する確率はどれほどか？」と問いかけます。シミュレーションは、もし粒子が単なる「靴下」であれば、厳格な規則に従うことを示します。しかし、生徒たちが量子粒子を用いてシミュレーションを実行すると、粒子はその規則を破ります。それらは、事前に書かれたリストに従うのではなく、互いに瞬時に会話しているかのように振る舞います。

• レベル 2：元のベルの不等式（「完璧な鏡」）
  このレベルは少し複雑になります。粒子がどのように相関するかを調べます。互いの完璧な鏡像である二人のダンサーを想像してください。一人が左に回転すれば、もう一人は右に回転します。

  この論文は、「普通の」世界では、異なる角度において互いにどれほど完璧に鏡像となり得るかには限界があることを説明しています。しかし、量子世界では、そのダンサーたちはあまりにも完璧に同期しており、その限界を超えます。シミュレーションでは、生徒たちは「ダンスフロア」の角度を調整し、数値が限界を超えて跳ね上がる様子を観察できます。これにより、「鏡」が単に事前に設定された計画の反射ではなく、より動的な何らかのものではないことが証明されます。

• レベル 3：CHSH 不等式（「4 方向」の挑戦）
  これが最も有名で堅牢なテストのバージョンです。ダンサーたちが、異なる方向に立つ 4 人の異なる審査員に見られていると想像してください。審査員たちは、ダンサーたちが立っている場所に基づいて、特定の動きを実行するよう求めます。

  この論文は、もしダンサーたちが「台本」（隠れた変数）に従っているなら、その合計スコアは決してある数値（2）を超えられないことを示しています。しかし、生徒たちが量子シミュレーションを実行すると、スコアは2.82（これは $2\sqrt{2}$ に相当）に跳ね上がります。これは、宇宙が局所的ではないことを証明する「決定的証拠」であり、粒子は私たちの日常の論理を覆す方法で真に結びついていることを示しています。

2. 仮想実験室（Qibo）

この論文は、レーザーや真空チャンバーを備えた実際の物理実験室がなくても、これを見る必要はないと強調しています。著者たちは、量子コンピュータのための「フライトシミュレーター」のようなQiboを使用しました。

• コード： 生徒がコピーして貼り付けられる Python コード（ある種のコンピュータ言語）が提供されています。
• プロセス： このコードは、2 つの「量子ビット」（キュービット）を作成します。キュービットは、表、裏、あるいは両方が同時に存在し得るような超強力なコインのようなものです。それらを量子もつれさせ、異なる方向に回転させ（測定をシミュレートし）、結果を数えます。
• 結果： 生徒たちは、量子の結果が明確に「古典的」な限界を破るグラフを目にします。

3. 現実世界の厄介さ（ノイズと統計）

この論文はまた、非常に実用的な教訓も教えています。現実は厄介です。
完璧なコンピュータシミュレーションでは、結果は滑らかです。しかし、これを CERN や研究所にあるような実際の量子コンピュータで実行すると、結果は「ノイズ」だらけになります。

• アナロジー： 静かな部屋でささやきを聞くこと（完璧なシミュレーション）と、ロックコンサートでそれを聞こうとすること（実際のハードウェア）を想像してください。ハードウェアからの「ノイズ」は信号を隠す可能性があります。
• 教訓： 著者たちは、明確な答えを得るために実験を何回（ショット数）実行する必要があるかを計算する方法を生徒たちに示しています。実行回数が少なすぎると、ランダムな「雑音」によって規則が破られていないように見えてしまいます。十分な回数実行すれば、真の量子性が浮き彫りになります。

4. 教育にとってこれがなぜ重要なのか

著者たちは、このツールが教育にとってゲームチェンジャーであると主張しています。

• 物理学の学生にとって： 抽象的で恐ろしい数学を、触れて見ることができるものに変えます。彼らは角度を「操作」し、違反がリアルタイムで起こる様子を目にすることができます。
• コンピュータサイエンスの学生にとって： 理論物理学の博士号を先に取得する必要なく、深い物理学の概念を学ぶ機会を与えます。彼らはコードと論理に焦点を当てることができます。

まとめ

要するに、この論文は、宇宙が私たちが考えているよりも奇妙であることを証明できるデジタル遊び場を提示しています。Qibo ソフトウェアを使用することで、生徒たちは有名なベルのテストをシミュレートし、「古典的な規則」が破れる様子を観察し、量子もつれが単なる理論ではなく、実在し測定可能な現象であることを理解することができます。それは、「魔法について読むこと」と、コンピュータ画面で「魔法のトリックを実演すること」の間の溝を埋めます。

技術概要

技術的概要：Qibo を用いたベル不等式のシミュレーション

問題提起
本論文は、エンタングルメント、スピン相関、隠れた変数、非局所性といった複雑な量子力学の概念を学部生および大学院生に紹介するという教育的課題に取り組んでいる。ベル不等式に関する理論的議論は数学的・概念的に要求が高いが、これらの現象を可視化し、統計的揺らぎやハードウェアノイズの影響を理解することを可能にする実践的な教育ツールが必要とされている。様々な量子コンピューティングフレームワーク（Qiskit、Cirq など）が存在するにもかかわらず、著者らはベル・ウィグナー不等式および元のベル不等式をシミュレートするための教育的ツールに特定のギャップがあることを指摘しており、既存のリソースはより複雑な CHSH 型不等式にのみ焦点を当てている傾向がある。

手法
著者らは、古典的シミュレータと実際の量子ハードウェアの両方とインターフェースを構築できるオープンソースの量子コンピューティングフレームワークであるQiboを用いて実装された、3 つの Python ベースの Jupyter ノートブックからなるモジュール型の教育パッケージを開発した。教材は難易度が上がる 3 つのモジュールに構成されている。

1. モジュール 1：ベル・ウィグナー不等式
   このモジュールは、局所隠れた変数（LH）理論に基づく理論的枠組みと、8 つの異なる粒子集団に関するウィグナーの議論を導入する。3 つの同一平面内の方向（$\hat{a}, \hat{b}, \hat{c}$）に対する確率 $P(\hat{a}+, \hat{b}+)$、$P(\hat{a}+, \hat{c}+)$、および $P(\hat{c}+, \hat{b}+)$ を測定するための量子回路を構築する。これらの回路は、シングレット・ベル状態 $|\Psi^-\rangle$ を生成するためにアダマードゲートと CNOT ゲートを利用し、続いて測定軸を揃えるために回転ゲート（$R_z, R_y$）を用いる。
2. モジュール 2：元のベル不等式
   このセクションでは、確率からスピン相関 $C(\hat{a}, \hat{b})$ へと焦点を移す。モジュール 1 と同じ量子回路を実装するが、4 つの可能な測定結果（00, 01, 10, 11）の頻度を用いて相関関数 $C = \langle \alpha \beta \rangle$ を計算する。このモジュールは不等式 $|C(\hat{a}, \hat{b}) - C(\hat{a}, \hat{c})| \leq 1 + C(\hat{c}, \hat{b})$ を検証する。
3. モジュール 3：CHSH 不等式
   最終的なモジュールは、元のベル不等式が要求する完全な反相関の厳密な仮定を回避するクラウザー・ホーン・シャイモニ・ホルト（CHSH）不等式を取り扱う。4 つの方向（アリス用：$\hat{a}, \hat{b}$；ボブ用：$\hat{c}, \hat{d}$）に沿った測定をシミュレートし、量 $S = |C(\hat{a}, \hat{c}) - C(\hat{a}, \hat{d}) + C(\hat{b}, \hat{c}) + C(\hat{b}, \hat{d})|$ を計算する。

シミュレーションは頻度論的アプローチを採用し、指定されたショット数（$N_{shots}$）で回路を実行して確率分布を再構成し、関連する不等式の量（$Q_W, Q_B, Q_S$）を計算する。コードは、異なる幾何学的構成を探索するために角度パラメータ（$\theta_{ab}, \theta_{ac}, \phi$）を変化させることを可能にする。

主要な結果
シミュレーションは量子力学の理論的予測を成功裡に再現し、特定の幾何学的構成において不等式の違反を示した。

• ベル・ウィグナー：測定方向が特定の角度分離（例：$\theta_{ab} = \pi/2, \theta_{ac} = \pi/4, \phi=0$）で同一平面内にある場合、量 $Q_W$ は正となり（LH の上限 $\leq 0$ を違反する）。
• 元のベル：量 $Q_B$ は古典的上限 1 を超え、$\theta_{ab} = \pi/2$ に対して $\theta_{ac} = \pi/4$ で最大の違反が生じる。
• CHSH：量 $Q_S$ は古典的上限 2 を超え、最適な同一平面構成において量子力学的最大値 $2\sqrt{2}$ に達する。

本論文はまた、統計とノイズの影響を分析している。ショット数と統計誤差（$\sigma_{stat} \propto 1/\sqrt{N_{shots}}$）の関係を導出し、ショット数に依存しない固有のハードウェアノイズ（$\sigma_{noise}$）と対比させた。著者らは、統計誤差をデバイスのノイズと同等にするために必要な最適なショット数を推定する方法を提供している。

意義と主張
著者らは、この作業を主に新しい物理的発見ではなく、教育ツールとして位置づけている。その意義は以下の点にある。

1. 理論と実践の架橋：モジュールにより、学生は抽象的な理論的導出から具体的な実装へと移行し、古典的（局所隠れた変数）領域と量子領域の間の遷移を可視化できる。
2. 教育的ギャップの解消：ベル・ウィグナー不等式と元のベル不等式を含めることで、数学的に重厚な CHSH 不等式のみよりも学生にとってアクセスしやすい入り口を提供する。
3. 実践的な認識：統計分析とノイズモデリングの組み込みは、不完全な状態準備や読み取りエラーが結果に影響を与える現在の量子ハードウェア（NISQ 時代）の現実を学生に準備させる。
4. アクセシビリティ：Qibo と標準的な Python ノートブックの使用により、理論的概念に焦点を当てる物理学の学生と、アルゴリズム実装に焦点を当てるコンピュータサイエンスの学生の両方にとって柔軟な教材となっている。

著者らは、この教材がフェラーラ大学の修士課程レベルの量子コンピューティングコースでテストされ、多様な背景を持つ学生から肯定的なフィードバックを得たと指摘している。彼らは、このツールが非局所性や局所実在性の限界といった根本的な問題に関する教室での議論を促進するように設計されていることを強調しており、量子基礎における未解決問題を解決したり、教育的範囲を超えた新しい実験的設定を提案したりするものではないと述べている。