Simulating Bell inequalities with Qibo

本文提供了教育材料和基于 Qibo 的软件工具，这些内容被组织为三个难度递增的模块，旨在帮助学生模拟贝尔不等式违背，从而探索纠缠和非局域性等基础量子概念，同时获得统计分析经验和硬件噪声的实际操作经验。

要点

想象一下，你正在给一群学生讲授宇宙中最怪异、最令人费解的规则：量子力学。具体来说，你想向他们展示两个微小粒子如何能够如此深刻地相互关联，以至于其中一个发生的变化会瞬间影响另一个，即使它们位于银河系的两侧。这被称为“纠缠”。

几十年来，科学家们一直在争论这种联系是否真实存在，或者这些粒子是否只是携带着秘密的“操作手册”（隐变量），在它们分离之前就决定了它们该做什么。1964 年，一位名叫约翰·贝尔的物理学家提出了一种数学测试——一组称为贝尔不等式的规则——来解决这场争论。如果粒子遵循“操作手册”理论，它们就必须遵守这些规则。如果它们遵循量子力学的怪异规则，它们就会打破这些规则。

这篇论文本质上是一个教师工具箱，旨在帮助学生使用名为Qibo的计算机程序亲自运行这些测试。学生不必仅仅阅读数学公式，他们可以构建一个虚拟实验室，运行模拟，并在屏幕上亲眼目睹“魔法”的发生。

以下是论文如何利用简单的类比进行分解：

1. 三模块课程计划

作者将教学材料组织为三个步骤，难度逐级递增，就像电子游戏中的关卡一样。

• 第一关：贝尔 - 温格不等式（“袜子”类比）
  想象你有一双袜子。如果你把一只左脚袜放在一个盒子里，把一只右脚袜放在另一个盒子里，并将它们送到不同的城市，那么一旦你打开其中一个盒子，你就确切知道另一个盒子里装的是什么。这就是“局域隐变量”的概念：袜子本来就是左脚或右脚；你只是之前不知道而已。

  论文从这里开始，因为数学很简单。它问道：“如果粒子像这些预先确定的袜子，那么它们以特定方式匹配的概率是多少？”模拟显示，如果粒子只是“袜子”，它们就会遵循严格的规则。但是，当学生用量子粒子运行模拟时，粒子打破了规则。它们表现得仿佛彼此之间在瞬间交谈，而不是仅仅遵循一份预先写好的清单。

• 第二关：原始贝尔不等式（“完美镜像”）
  这一关变得更加复杂。它考察粒子之间的关联性。想象两个舞者，他们是彼此的完美镜像。如果一个向左旋转，另一个就向右旋转。

  论文解释说，在“正常”世界中，它们在不同角度下完美镜像彼此的能力是有限度的。但在量子世界中，舞者们如此完美地同步，以至于超出了这个限度。模拟让学生可以调整“舞池”的角度，并观察数值如何突破极限，证明这种“镜像”不仅仅是预设计划的反射，而是某种更具动态性的东西。

• 第三关：CHSH 不等式（“四方向”挑战）
  这是最著名且最稳健的测试版本。想象舞者们现在正被站在不同方向的四位不同裁判观察。裁判们根据自己所站的位置，要求舞者执行特定的动作。

  论文表明，如果舞者们遵循“剧本”（隐变量），他们的总分永远无法超过某个数值（2）。但是，当学生运行量子模拟时，分数会跃升至2.82（即 $2\sqrt{2}$）。这是“确凿证据”，证明宇宙并非局域的；粒子之间确实存在着一种违背我们日常逻辑的连接方式。

2. 虚拟实验室（Qibo）

论文强调，你不需要拥有激光和真空室的真实物理实验室来观察这一切。作者使用了Qibo，这就像量子计算机的“飞行模拟器”。

• 代码：他们提供了 Python 代码（一种计算机语言），学生可以复制并粘贴。
• 过程：代码创建了两个“量子比特”（qubits，即量子比特，它们像是超级强大的硬币，可以同时是正面、反面或两者皆是）。代码将它们纠缠在一起，在不同方向上旋转它们（模拟测量），并统计结果。
• 结果：学生们看到的图表显示，量子结果明显违反了“经典”极限。

3. 现实世界的混乱（噪声与统计）

论文还教授了一个非常实用的教训：现实生活是混乱的。
在完美的计算机模拟中，结果是平滑的。但如果你在一台真实的量子计算机（如 CERN 或实验室中的那些）上运行，结果就会变得“嘈杂”。

• 类比：想象在安静的房间里听耳语（完美模拟）与在摇滚音乐会上听耳语（真实硬件）的区别。硬件产生的“噪声”可能会掩盖信号。
• 教训：作者向学生展示了如何计算需要运行多少次实验（shots）才能获得清晰的答案。如果运行次数太少，随机的“静电”会让结果看起来好像规则没有被打破。如果运行次数足够多，真正的量子特性就会显现出来。

4. 这对教育为何重要

作者认为，这个工具对于教学来说是一个游戏规则的改变者。

• 对于物理学生：它将抽象、令人畏惧的数学变成了他们可以触摸和看到的东西。他们可以“玩”弄角度，并实时看到违规现象的发生。
• 对于计算机科学学生：这给了他们一个学习深层物理概念的机会，而无需先获得理论物理学博士学位。他们可以专注于代码和逻辑。

总结

简而言之，这篇论文呈现了一个数字游乐场，学生可以在其中证明宇宙比我们想象的更加奇异。通过使用 Qibo 软件，他们可以模拟著名的贝尔测试，观察“经典规则”的破裂，并理解量子纠缠是一个真实的、可测量的现象——而不仅仅是一个理论。它弥合了“阅读关于魔法的故事”与“在电脑屏幕上表演魔术”之间的鸿沟。

技术摘要

技术摘要：使用 Qibo 模拟贝尔不等式

问题陈述
本文旨在解决向本科生和研究生介绍复杂量子力学概念（特别是纠缠、自旋关联、隐变量和非局域性）时所面临的教学挑战。虽然关于贝尔不等式的理论论证在数学和概念上极具挑战性，但亟需实用的教学工具，使学生能够直观地观察这些现象，并理解统计涨落和硬件噪声的影响。尽管现有的各种量子计算框架（如 Qiskit、Cirq）已存在，但作者指出，在模拟贝尔 - 温格（Bell-Wigner）不等式和原始贝尔不等式方面，教育工具存在特定缺口，现有资源往往仅侧重于更为复杂的 CHSH 型不等式。

方法论
作者开发了一个模块化的教育套件，包含三个基于 Python 的 Jupyter 笔记本，使用 Qibo 实现。Qibo 是一个开源量子计算框架，能够与经典模拟器和真实量子硬件进行接口。该材料分为三个难度递增的模块：

1. 模块 1：贝尔 - 温格不等式：本模块介绍了基于局域隐变量（LH）理论和温格关于八个不同粒子群体论证的理论框架。它构建量子电路以测量三个共面方向（$\hat{a}, \hat{b}, \hat{c}$）下的概率 $P(\hat{a}+, \hat{b}+)$、$P(\hat{a}+, \hat{c}+)$ 和 $P(\hat{c}+, \hat{b}+)$。电路利用哈达玛（Hadamard）门和 CNOT 门生成单态贝尔态 $|\Psi^-\rangle$，随后通过旋转门（$R_z, R_y$）对齐测量轴。
2. 模块 2：原始贝尔不等式：本节将重点从概率转向自旋关联 $C(\hat{a}, \hat{b})$。它实现了与模块 1 相同的量子电路，但利用所有四种可能测量结果（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 不等式：最后一个模块处理克劳瑟 - 霍恩 - 希莫尼 - 霍尔特（Clauser-Horne-Shimony-Holt, CHSH）不等式，该不等式避免了原始贝尔不等式所要求的完美反关联的严格假设。它模拟沿四个方向（爱丽丝的 $\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$ 变为正值（违反了 $\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. ** bridging 理论与实践**：模块使学生能够从抽象的理论推导过渡到具体实现，直观地观察从经典（局域隐变量）到量子区域的转变。
2. 弥补教学缺口：通过包含贝尔 - 温格不等式和原始贝尔不等式，该材料为学生提供了比仅依赖数学负担更重的 CHSH 不等式更易于入门的途径。
3. 实践意识：包含统计分析和噪声建模，使学生为当前量子硬件（NISQ 时代）的现实做好准备，其中不完美的态制备和读出误差会影响结果。
4. 可及性：使用 Qibo 和标准 Python 笔记本，使该材料对物理学学生（关注理论概念）和计算机科学学生（关注算法实现）均具有灵活性。

作者指出，该材料已在费拉拉大学（University of Ferrara）的硕士量子计算课程中进行了测试，并收到了来自不同背景学生的积极反馈。他们强调，该工具旨在促进关于非局域性和局域实在论局限性等根本问题的课堂讨论，而不声称解决量子基础领域的开放性问题，或提出超出教育范围的新实验设置。