Bell-CHSH 实验、纠缠测量与约化密度矩阵

从光子对产生到符合计数统计的物理图像

量子纠缠课程 · Chapter 1

1. Bell 思想的背景：从 EPR 到可实验检验

爱因斯坦真正关心的并不是“量子力学能否算出实验结果”，而是 波函数是否已经给出了物理实在的完备描述。 1935 年 EPR 佯谬指出：如果两个粒子先相互作用再远离， 那么通过测量 A，似乎就能立即推断远处 B 的某些物理量。

如果坚持定域性，也就是 A 处的测量不应瞬时改变 B 处的真实状态， 那么一种自然想法就是：B 的结果其实在测量前就已经被某些“隐藏信息”预先决定了。 这就是后来所谓的局域隐变量图像。

Bell 的关键贡献在于：他不再停留在哲学争论，而是提出 任何局域隐变量模型都必须满足某类统计不等式。 如果实验结果违反这类不等式，那么问题就不再是“解释偏好”，而是某种经典图像确实与实验不符。

概念含义在 Bell 问题中的作用
隐变量 量子态之外预设的“答案表” 尝试解释单次测量结果为何确定
定域性 远处装置的选择不应瞬时改变本地真实状态 局域隐变量模型的基本约束
纠缠 整体态不能拆成两个子系统态的直积 产生超越经典直觉的强关联
Bell 不等式 局域隐变量必须满足的统计限制 把局域实在论变成可实验检验命题
ℹ️
CHSH 形式是 Bell 不等式最常用的实验版本。它只要求两边各准备两个测量方向， 然后用四组相关函数构造一个统计量 $S$。

2. 什么是纠缠：直积态、Bell 态与矩阵判据

对于两个二能级系统，例如两个电子自旋或两个光子的偏振，自然基底可以写成 $|00\rangle, |01\rangle, |10\rangle, |11\rangle$。 任意纯态都可表示为：

$$ |\Psi\rangle = a|00\rangle + b|01\rangle + c|10\rangle + d|11\rangle $$

如果它能够拆成两个单粒子态的直积， $|\Psi\rangle = (\alpha|0\rangle + \beta|1\rangle)\otimes(\gamma|0\rangle+\delta|1\rangle)$， 那么它就是非纠缠态。物理上，这意味着 A 与 B 各自拥有可独立描述的状态。

2.1 两比特纯态的矩阵判据

把系数排成矩阵：

$$ C = \begin{pmatrix} a & b \\ c & d \end{pmatrix} $$

则有一个非常直接的判据：

$$ \det(C) = ad - bc $$

2.2 Bell 态是最典型的纠缠态

两光子偏振常用的四个 Bell 态写为：

$$ |\Phi^\pm\rangle = \frac{|HH\rangle \pm |VV\rangle}{\sqrt{2}}, \qquad |\Psi^\pm\rangle = \frac{|HV\rangle \pm |VH\rangle}{\sqrt{2}} $$
态能否拆成直积说明
$|HH\rangle$ 可以 两个子系统各自有独立确定态
$(|HH\rangle+|VV\rangle)/\sqrt{2}$ 不可以 Bell 态，典型纠缠纯态
$\rho_{\text{mix}}=\frac12|HH\rangle\langle HH|+\frac12|VV\rangle\langle VV|$ 不是纯态分解问题 经典混合，可有相关但不一定有量子纠缠
💡
“能看到相关”不等于“已经证明纠缠”。经典混合态在某个基底下也能看起来很相关， 真正关键的是这种相关是否在多组测量基底下仍然超过局域隐变量允许的极限。

3. 一对光子如何产生：偏振自由度与二能级系统

在光学 Bell 实验中，最常见的做法是用激光照射非线性晶体，通过自发参量下转换 产生一对具有偏振关联的光子。每个光子都可以用两个偏振基矢来描述， 例如水平偏振 $|H\rangle$ 与垂直偏振 $|V\rangle$。

偏振二能级光子纠缠

因此，一个光子的偏振就像一个量子比特，两光子系统自然形成二维张量积空间。 实验的目标不是看单个光子偏振“像不像随机”，而是看 两个光子的联合偏振统计是否带有非经典结构。

3.1 局域测量装置的作用

每个测量站通常包含可调波片和偏振分束器（PBS）。波片决定测量基底， PBS 把光子分到两个输出端，对应记录为 $+1$ 或 $-1$。

元件作用统计意义
半波片 / 旋转器 选择测量方向 $a,a',b,b'$ 决定在哪个基底上投影
PBS 把两种正交偏振分到两路 把一次测量离散成 $+1/-1$
探测器 记录某一路是否有光子到达 形成单路计数或符合计数
符合电路 判断两边是否来自同一对光子 获得联合概率 $P(A,B|a,b)$

3.2 实验装置示意（WebGL）

下图用 WebGL 画出一个教学化简版的 Bell-CHSH 偏振纠缠实验装置。它包含泵浦激光、 非线性晶体、两路纠缠光子、A/B 两侧的半波片、PBS、探测器以及符合计数模块， 并用英文标注说明每一步的仪器角色与流程方向。

Pump Laser 405 nm source
Nonlinear Crystal SPDC pair generation
Arm A Entangled photon A
Arm B Entangled photon B
HWP (a / a') Basis selection
HWP (b / b') Basis selection
PBS-A +1 / -1 output
PBS-B +1 / -1 output
DA+ coincidence channel
DA- coincidence channel
DB+ coincidence channel
DB- coincidence channel
Entangled Pair $|\Phi^+\rangle$ / CHSH run
Flow: Pump laser → SPDC crystal → local basis rotation → PBS projection → coincidence counting → CHSH correlations.
Pump beam Entangled photon paths Wave-plate / PBS optics Detection and counting
ℹ️
这张图强调的是实验逻辑链条：同一对光子在两边分别做局域投影测量， 然后通过符合计数保留联合事件，最后由四组设置的统计结果构造 CHSH 量 $S$。

3.3 三维光路视图（WebGL）

在二维流程图下面，再给出一个三维视角的光路布置图。这个视图更强调实验台上的空间关系： 泵浦光先打到晶体，随后两路纠缠光子向左右前方分开，分别经过局域光学元件后进入探测与符合计数链路。

Optical Table 3D laboratory layout
Pump Laser incident beam
SPDC Crystal entangled pair source
Arm A Optics HWP + PBS + detectors
Arm B Optics HWP + PBS + detectors
Coincidence Unit event selection
Perspective view: the red pump enters from the left, the cyan entangled arms separate in space, then local projections and detector clicks feed the coincidence logic.
Pump axis in 3D Entangled spatial arms Wave plates / PBS blocks Detectors and coincidence readout

3.4 按照示意图理解实验流程

可以把整套 Bell-CHSH 装置理解成一条非常清晰的实验链：先用 Pump Laser 提供稳定泵浦，再由 SPDC Crystal 把入射光转换成一对具有偏振关联的信号光子，随后两路光子分别在 A、B 两侧完成局域基底选择、 投影测量与探测记录，最后只保留来自同一对光子的联合事件，用来构造相关函数和 CHSH 统计量。

  1. Pump Laser：提供稳定泵浦光
    实验从左侧的泵浦激光开始。它通常是一束频率稳定、强度可控的激光， 作用是向非线性晶体持续输入能量。对于后续统计来说，泵浦光越稳定， 产生光子对的过程就越接近“同一种重复制备”。
  2. Nonlinear Crystal：在晶体中产生纠缠光子对
    泵浦光进入非线性晶体后，通过自发参量下转换（SPDC）过程， 一束高频光子有概率转化成一对频率更低、但满足能量和动量守恒的光子。 在合适的相位匹配与偏振设计下，这对光子可以被制备成 Bell 态或近似 Bell 态， 也就是图中标记的 Entangled Pair。常见的四个 Bell 态是： $|\Phi^+\rangle = (|HH\rangle + |VV\rangle)/\sqrt{2}$、 $|\Phi^-\rangle = (|HH\rangle - |VV\rangle)/\sqrt{2}$、 $|\Psi^+\rangle = (|HV\rangle + |VH\rangle)/\sqrt{2}$、 $|\Psi^-\rangle = (|HV\rangle - |VH\rangle)/\sqrt{2}$。 具体产生哪一种，取决于晶体切割方式、相位补偿、干涉条件以及后续偏振光学设计。 对 Bell-CHSH 实验来说，理想目标通常是尽量稳定地制备某一个选定的 Bell 态 （很多教学示意里会以 $|\Phi^+\rangle$ 为例）， 这样整批实验数据才对应同一种量子制备过程。 但实验上并不要求每一对光子都绝对完美地落在同一个纯 Bell 态上； 更现实的要求是光源在统计意义上保持稳定，使输出接近某个固定的纯态或固定的混合态， 并且其中的纠缠成分足够强。只要整体制备的可见度足够高，最终仍然可以测得 $|S| > 2$，从而完成 Bell 检验。
  3. Arm A / Arm B：两路光子空间分离
    从晶体出射后，两只光子分别沿不同方向传播，形成 A 臂与 B 臂。 这一步非常重要，因为 Bell 检验依赖的是两个空间分离子系统的联合统计， 也就是说，后面两边的测量是在彼此分开的局域装置上完成的。
  4. HWP：设置测量基底
    每一路光先经过半波片 HWP。通过旋转波片角度， 实验者可以改变该侧的偏振测量基底。 在 CHSH 实验里，A 侧通常在 a 与 a' 两个设置间切换， B 侧则在 b 与 b' 两个设置间切换。 这一步不是“改变光子本身的真实答案”，而是决定“我们沿哪个偏振方向来问它问题”。
  5. PBS：把投影结果转成 ±1 输出
    光子随后进入偏振分束器 PBS。PBS 会把两种互相正交的偏振成分分到两条不同输出臂， 因而每一侧的单次测量都被离散成两个可能结果。实验上通常把一路记作 +1， 另一路记作 -1。所以，PBS 的物理作用就是把“偏振投影测量”转换成可记录的二值事件。
  6. Detectors：记录单路点击事件
    在 A 臂和 B 臂的各个输出端，探测器 D_A+、D_A-、D_B+、D_B- 分别记录光子是否到达。单独看任意一个探测器的点击率， 只能告诉我们某一路局域统计是什么样子；它还不能单独证明纠缠。
  7. Coincidence Unit：筛选同一对光子的联合事件
    真正关键的是符合计数模块。它会在一个很短的时间窗内检查： A 侧和 B 侧是否几乎同时收到来自同一对光子的探测信号。 只有这些联合事件才被记入 N_{++}、N_{+-}、N_{-+}、N_{--} 四类符合计数中。Bell 实验看重的不是单路点击，而是这些联合概率结构。
  8. Correlation & CHSH：从符合计数走向 Bell 检验
    对每一组角度设置 $(a,b)$、$(a,b')$、$(a',b)$、$(a',b')$， 实验都用四类符合计数算出一个相关函数 $E$。随后再把四个相关函数组合成 CHSH 量 $S$。 如果实验测得 $|S| > 2$，就说明这套联合统计不能被任何局域隐变量答案表解释， 这正是纠缠关联在实验上的核心证据。
💡
对照示意图阅读时，可以把每个器件的任务记成一句话： Pump Laser 负责“供能”， SPDC Crystal 负责“产生成对光子”， HWP 负责“选测量方向”， PBS 负责“把投影变成二值结果”， Detectors 负责“记录事件”， Coincidence Unit 负责“提取联合统计”。

3.5 以 $|\Phi^+\rangle$ 为例看后续光路演化与测量结果

为了把示意图和量子态联系起来，我们以实验中最常拿来讲解的 Bell 态 $|\Phi^+\rangle = (|HH\rangle + |VV\rangle)/\sqrt{2}$ 为例。 这个态的含义是：两光子的总态不是“一个确定的 H 加上另一个确定的 H”， 也不是“一个确定的 V 加上另一个确定的 V”，而是两种联合可能性的相干叠加。

$$ |\Phi^+\rangle = \frac{|H\rangle_A|H\rangle_B + |V\rangle_A|V\rangle_B}{\sqrt{2}} $$

从晶体到两侧光路：态如何进入测量装置

  1. 在晶体出口处
    光子对刚从 SPDC Crystal 出来时，整体由同一个两体态 $|\Phi^+\rangle$ 描述。此时不能把 A 光子和 B 光子分别写成各自独立的纯态， 因为它们的偏振信息已经纠缠在一起。
  2. 进入 A / B 两臂之后
    两光子沿不同空间路径传播，但总态仍然是同一个纠缠态。 这种空间分离不会自动把纠缠“拆开”；真正发生变化的是后续测量基底的选择方式。
  3. 经过 HWP 之后
    半波片并不是简单地“筛掉”某种偏振，而是把每一路的测量基底旋转到新的方向。 也可以理解为：我们把原来的 $H/V$ 问题，换成了另一个角度下的偏振投影问题。 因此，同一个 Bell 态在不同 HWP 角度下，会对不同的联合结果给出不同概率分布。
  4. 进入 PBS 并完成投影
    到了 PBS，A 侧和 B 侧分别被投影到各自选择的基底上。 这时每一侧都只会给出两个输出端之一，因此一次实验的最终记录形式总是 $(+,+)$、$(+,-)$、$(-,+)$、$(-,-)$ 四种联合结果之一。

若直接在 $H/V$ 基底测量，会看到什么

如果两边都把 HWP 设成对应于 $H/V$ 基底的测量，那么 $|\Phi^+\rangle$ 的结构非常直观：

$$ |\Phi^+\rangle = \frac{|HH\rangle + |VV\rangle}{\sqrt{2}} $$

因此联合结果只可能集中在两类：

联合结果概率物理意义
$HH$ $1/2$ 两边都落在“水平偏振”输出端
$VV$ $1/2$ 两边都落在“垂直偏振”输出端
$HV$ $0$ 理想情况下不会出现
$VH$ $0$ 理想情况下不会出现
ℹ️
这意味着在同一基底下，A 和 B 的结果是“完美同向相关”的。 但只看到这一点还不足以单独证明纠缠，因为某些经典混合态在这个基底下也会表现出同样的相关外观。

把 HWP 旋转到别的角度后，纯 Bell 态会发生什么

真正能区分量子纠缠和经典混合的，不是在一个基底下看到了“同向结果”， 而是当 A、B 两边把 HWP 转到其他角度时， $|\Phi^+\rangle$ 仍然保持一种带有相位相干的联合概率结构。 对理想偏振 Bell 态，相关函数会随角度差连续变化，并在合适的四组设置下给出：

$$ |S| = 2\sqrt{2} $$

换句话说，纯 Bell 态不仅在 $H/V$ 基底下相关， 在许多旋转后的基底下仍表现出彼此协调的联合统计。 这种“跨多个基底仍然一致的强关联”，正是相干叠加留下的痕迹。

与经典混合态对比：外表相似，但本质不同

现在把它和一个看起来很像的经典混合态比较：

$$ \rho_{\mathrm{mix}} = \frac12 |HH\rangle\langle HH| + \frac12 |VV\rangle\langle VV| $$

这个混合态在 $H/V$ 基底下会给出和 $|\Phi^+\rangle$ 一样的表面结果： 一半是 $HH$，一半是 $VV$，而 $HV$、$VH$ 理想情况下不出现。 所以如果你只在一个固定基底上看符合计数，很容易误以为它“也像纠缠态”。

比较项纯 Bell 态 $|\Phi^+\rangle$经典混合态 $\rho_{\mathrm{mix}}$
在 $H/V$ 基底下 看到 $HH$ 与 $VV$，概率各约一半 同样看到 $HH$ 与 $VV$，概率各约一半
是否具有相干叠加项 有，包含 $|HH\rangle\langle VV|$ 等关联项 没有，只是经典概率混合
旋转到其他测量基底后 仍保留系统性的联合相关 相关性明显减弱或不再满足量子预言
CHSH 结果 理想情况下可得 $|S|=2\sqrt{2}$ 不能稳定超过经典上限 $2$
⚠️
最容易混淆的一点是：纯态和混合态在某一个测量基底下可以看起来几乎一样， 但它们在“换一组基底再看”的时候会立刻分开。 纯 Bell 态保留的是量子相干，因此在多组角度下都能维持非经典相关； 混合态只保留了“预先混在一起的经典概率”，所以无法给出同样的 CHSH 违背。

4. Bell-CHSH 实验如何测量：从单次结果到相关函数

CHSH 实验的结构很简洁：A 端可选两个测量方向 $a,a'$， B 端可选两个测量方向 $b,b'$。每次一对光子到来时， 两边各得到一个二值结果 $A,B\in\{+1,-1\}$。

4.1 相关函数的定义

对于固定的一组设置 $(a,b)$，实验不是关心某一对光子的单次结果， 而是要统计许多次重复实验后的平均相关性：

$$ E(a,b) = \langle A(a)B(b) \rangle $$

若用四类符合计数 $N_{++},N_{+-},N_{-+},N_{--}$ 计算，则有：

$$ E(a,b)= \frac{N_{++}+N_{--}-N_{+-}-N_{-+}} {N_{++}+N_{--}+N_{+-}+N_{-+}} $$

4.2 CHSH 统计量

四组角度的相关函数再组合成：

$$ S = E(a,b)-E(a,b')+E(a',b)+E(a',b') $$
⚠️
不同教材对 $S$ 的符号排列可能略有差别，但经典局域模型的上限都是 $|S|\le 2$。只要实验得到 $|S|>2$，结论就一致。

4.3 Bell 态的量子预言

对理想偏振纠缠态，相关函数通常呈现与角度差有关的余弦型变化。 在常见角度选择 $a=0^\circ,\ a'=45^\circ,\ b=22.5^\circ,\ b'=-22.5^\circ$ 下， 可得到量子极限：

$$ |S|_{\max} = 2\sqrt{2} $$

这正是 Bell-CHSH 检验最著名的结果之一： 量子力学给出的相关结构，可以系统性地超出局域隐变量的上限 2。

5. 为什么统计可以排除局域隐变量

局域隐变量图像可以被想象成：每对光子出发时都携带一份隐藏参数 $\lambda$， 其中已经为四个可能测量方向预写好了答案。A 端读自己的答案，B 端也读自己的答案， 两边的结果只依赖本地设置和共享的 $\lambda$。

在这种图像下，四个相关函数虽然可以不同，但它们的线性组合不可能任意大。 无论你如何给预设答案排表，CHSH 统计量都满足：

$$ |S| \le 2 $$

因此，Bell 检验的逻辑并不是“某次结果看上去很奇怪”， 而是“经过大量统计后，所有局域预设答案表都解释不了观察到的相关结构”。

观察层次经典局域图像能否解释是否足够判断纠缠
单次探测结果 可以 不够
单个基底下的相关 往往也可以 仍然不够
多组基底联合的 CHSH 统计 若 $|S|>2$ 则不可以 是关键判据
ℹ️
Bell 实验真正否定的是“局域隐变量解释全部实验统计”的可能性， 不是简单地说“粒子之间在传神秘信号”。

6. 单路测量、约化密度矩阵与双路符合计数

6.1 单路检偏器测到什么

如果只看 A 端，不管 B 端做什么，那么 A 端的全部可观测统计都由 约化密度矩阵 $\rho_A$ 决定。对于两体总态 $\rho_{AB}$：

$$ \rho_A = \mathrm{Tr}_B(\rho_{AB}), \qquad \rho_B = \mathrm{Tr}_A(\rho_{AB}) $$

这意味着单路检偏器只告诉你“这个光子本地看起来像什么态”， 它看不到另一个光子与它之间的完整联合结构。

6.2 双路符合计数测到什么

一旦记录同一对光子在两边同时的输出端口，就获得联合概率 $P(A,B|a,b)$。这已经不是单体信息，而是总态在局域投影下的二体统计。

$$ P(A,B|a,b) = \mathrm{Tr}\!\left[ \rho_{AB}\, \Pi_A^{(a)} \otimes \Pi_B^{(b)} \right] $$
测量类型决定它的数学对象能否直接显出纠缠
单路计数 约化密度矩阵 $\rho_A$ 或 $\rho_B$ 通常不能
符合计数 总密度矩阵 $\rho_{AB}$ 可以体现关联结构
CHSH 相关函数 多组联合统计 是 Bell 检验核心

7. 为什么约化密度矩阵看不到纠缠

以 Bell 态 $|\Phi^+\rangle$ 为例：

$$ |\Phi^+\rangle = \frac{|HH\rangle + |VV\rangle}{\sqrt{2}} $$

它的单光子约化密度矩阵分别是：

$$ \rho_A = \rho_B = \frac{I}{2} $$

这说明若只看任意一个光子，它都像一个完全随机的混合态。 无论把单路检偏器转到哪个角度，平均上都只会看到 $+1$ 与 $-1$ 各占一半。

⚠️
这并不意味着“没有纠缠”。恰恰相反，Bell 态最典型的特征之一就是： 局域看完全随机，整体看却高度相关。

更有意思的是，经典混合态 $\rho_{\text{mix}}=\frac12|HH\rangle\langle HH|+\frac12|VV\rangle\langle VV|$ 的约化密度矩阵也是 $I/2$。所以只看单个光子时，你根本分不出这两者。

7.1 关联藏在总密度矩阵里

两光子总密度矩阵常可写成：

$$ \rho_{AB}= \frac14\left[ I\otimes I + \boldsymbol{r}\cdot\boldsymbol{\sigma}\otimes I + I\otimes \boldsymbol{s}\cdot\boldsymbol{\sigma} + \sum_{ij}T_{ij}\,\sigma_i\otimes\sigma_j \right] $$
💡
对 Bell 态，常见情形是 $\boldsymbol{r}=0,\ \boldsymbol{s}=0$，但 $T\neq0$。 所以“每个局域看起来都没有偏向”与“整体具有强纠缠”完全可以同时成立。

8. 实验稳定性、混合态与流程总结

8.1 是否要求每一对光子都完全一样

理想情况下，光源当然希望稳定制备同一个纠缠纯态，例如 $|\Phi^+\rangle$。 但真实实验中总会有噪声、退相干、暗计数与光学误差，因此常用混合态来描述实际制备：

$$ \rho = v|\Phi^+\rangle\langle\Phi^+| + (1-v)\frac{I}{4} $$

这里 $v$ 可理解为可见度或纠缠成分。只要 $v$ 足够高，实验仍能测得 $|S|>2$。 所以 Bell 检验不要求“每一对都完美”，但要求整体制备过程统计稳定。

8.2 实验流程总览

  1. 制备光子对
    用激光泵浦非线性晶体，建立可重复的两光子偏振态制备过程。
  2. 空间分离
    将两路光子分别送到 A、B 两个测量站，形成空间分离的二体系统。
  3. 选择测量设置
    在 A 端选择 $a/a'$，在 B 端选择 $b/b'$，对应不同偏振测量基。
  4. 记录二值结果
    每一路通过波片与 PBS 后得到 $+1/-1$ 输出，并由探测器记录。
  5. 统计符合计数
    对同一对光子的四类联合结果分别计数，构造联合概率。
  6. 计算相关函数
    由符合计数求出四组 $E(a,b)$、$E(a,b')$、$E(a',b)$、$E(a',b')$。
  7. 构造 CHSH 量
    计算 $S$ 并与经典上限 2 比较，判断是否违反 Bell-CHSH 不等式。

9. 概念澄清与延伸阅读

问题简明回答
Bell-CHSH 是在求约化密度矩阵吗？ 不是。单路统计由约化密度矩阵决定，CHSH 核心是双路联合关联。
单个光子看起来随机，是否说明没有纠缠？ 不能。Bell 态的单光子约化态就是完全随机的 $I/2$。
只在 H/V 基底下看到相关，是否足以证明纠缠？ 不够。经典混合态也能在单一基底下表现相关。
$|S|>2$ 说明什么？ 说明实验统计不能由局域预设答案表解释；在量子框架下表明制备态含有纠缠关联。
是否每一对都必须是完美 Bell 态？ 不必，但制备过程必须稳定，且纠缠成分足够强。

一句话概括：单路检偏器测到的是每个光子的局域随机性， 双路符合计数揭示的是两个光子之间的非经典关联。 纠缠不藏在单个光子里，而藏在两光子总态的联合概率结构中。

延伸阅读

核心公式总览

物理量公式备注
两比特纯态 $|\Psi\rangle = a|00\rangle + b|01\rangle + c|10\rangle + d|11\rangle$ 最一般线性展开
纠缠判据 $\det(C)=ad-bc$ 对两比特纯态尤其直观
Bell 态 $|\Phi^\pm\rangle=(|HH\rangle\pm|VV\rangle)/\sqrt2$ 典型偏振纠缠态
相关函数 $E(a,b)=\langle A(a)B(b)\rangle$ 由符合计数估计
CHSH 统计量 $S = E(a,b)-E(a,b')+E(a',b)+E(a',b')$ 局域隐变量满足 $|S|\le 2$
约化密度矩阵 $\rho_A=\mathrm{Tr}_B(\rho_{AB})$ 只给局域统计，不给全部关联