量子纠缠与EPR佯谬

概述

量子纠缠（Quantum Entanglement）是量子力学中最奇特、最深刻的现象之一。当两个或多个粒子处于纠缠态时，它们的状态无法被单独描述，只能作为一个整体来理解。这种非局域的关联性曾被爱因斯坦称为"幽灵般的超距作用"（spooky action at a distance），并由此引发了著名的EPR佯谬。本文将系统阐述EPR佯谬的历史背景与论证逻辑、量子纠缠的数学定义与物理内涵、贝尔不等式的推导与实验验证、量子非定域性的哲学意蕴，以及量子纠缠在量子信息科学中的核心应用——包括量子隐形传态、量子密码学和量子计算。

---

一、EPR佯谬

1.1 历史背景

1935年，阿尔伯特·爱因斯坦（Albert Einstein）、鲍里斯·波多尔斯基（Boris Podolsky）和纳森·罗森（Nathan Rosen）在《物理评论》（Physical Review）上发表了题为《能认为量子力学对物理实在的描述是完备的吗？》的著名论文。这篇论文标志性地提出了EPR佯谬，旨在挑战量子力学的完备性。

爱因斯坦的立场是明确的：量子力学虽然取得了巨大的经验成功，但它的概率性描述不能被视为对物理实在的最终完备描述。 在爱因斯坦看来，一个完备的物理理论应当满足两个基本条件：其一是关于物理实在的判据，其二是完备性条件。EPR论证的核心在于，通过构造一个同时具有确定位置和确定动量的纠缠态，试图证明量子力学要么不完备，要么违反了定域实在论。

索尔维会议的传统

EPR论文的发表距离1927年第五届索尔维会议（爱因斯坦与玻尔首次正面交锋）已有八年，但量子力学基础问题的争论远未平息。关于这段历史的更多细节，参见量子力学发展史。

值得一提的是，EPR论文最初由波多尔斯基执笔撰写，爱因斯坦本人对论文的表述风格并不完全满意，认为对物理实在的论证过于技术化而偏离了他真正关心的哲学核心。尽管如此，这篇文章仍然是量子力学基础研究中最具影响力的论文之一。

1.2 EPR论证

物理实在性判据

EPR论文首先提出了一个物理实在性判据：

如果我们在不以任何方式干扰系统的情况下，能够确定地（即概率为1）预言一个物理量的值，那么存在一个物理实在的元素对应于这个物理量。

这个判据看似合理——它实际上是对经典物理学中"可观测量对应实在元素"这一直觉的形式化表述。在经典力学中，粒子的位置和动量都是同时具有确定值的实在元素，理论只是描述它们而已。

完备性条件

EPR进而提出了一个完备性条件：

物理理论的每一个元素都必须在理论中有对应的概念。一个完备的理论必须能够描述物理实在的每一个元素。

换言之，如果一个理论无法描述某个确实存在的物理实在元素，那么该理论就是不完备的。

纠缠态举例

EPR考虑了一个具体的物理场景：两个粒子A和B通过相互作用形成纠缠态，然后飞离彼此。设它们的总动量为零，初始位置差为$x_0$。这个系统的波函数可以写为：

$$ \Psi(x_A, x_B) = \int_{-\infty}^{\infty} e^{i p (x_A - x_B + x_0)/\hbar} \thinspace dp $$

这个波函数是坐标空间中的纠缠态。从数学上看，它可以等价地写为动量的纠缠形式：

$$ \Psi(x_A, x_B) = \int_{-\infty}^{\infty} \psi_p(x_A) \thinspace \psi_{-p}(x_B) \thinspace dp $$

关键论证：如果测量粒子A的位置并得到结果$x$，那么可以立即确定粒子B的位置为$x - x_0$（无需对B进行任何操作）。同样，如果测量粒子A的动量并得到结果$p$，那么可以立即确定粒子B的动量为$-p$。

由于对A的测量操作不应对远距离外的B产生任何物理影响（定域性假设），粒子B的位置和动量必须同时具有确定值。但量子力学中，位置和动量是不能同时确定的（不对易），因此量子力学无法描述这两个同时存在的实在元素——量子力学是不完备的。

EPR论证的隐含假设

EPR论证依赖于两个关键假设：

1. 定域性（Locality）：对粒子A的测量不会影响远处粒子B的物理状态。
2. 实在论（Realism）：物理量在测量之前就具有确定的值（即使我们不知道它）。

这两个假设合称为局域实在论（Local Realism）。EPR论证的真正逻辑是：如果量子力学是完备的，那么局域实在论必须被否定；如果局域实在论成立，那么量子力学就是不完备的。

局域实在论的假设

局域实在论可以分解为两个核心主张：

1. 实在论：物理系统在任何时刻都具有确定的属性，测量只是揭示这些预先存在的属性，而非"创造"它们。
2. 定域性：一个地点发生的事件不能瞬时影响另一个类空分离的地点的事件——爱因斯坦的狭义相对论禁止超光速的信息传递。

EPR的结论是：量子力学虽然给出了正确的统计预言，但它是"不完备"的，需要一个更深层的"隐变量理论"（Hidden Variable Theory）来补充。

1.3 玻尔的回应

玻尔几乎立即对EPR论文做出了回应，同样发表在《物理评论》上，标题与EPR论文完全相同。玻尔的回应基于他的互补性原理（Complementarity Principle），这一原理是哥本哈根诠释的核心支柱之一。

玻尔的核心反驳

玻尔认为，EPR的"物理实在性判据"在量子力学的语境下是含混不清的。当我们说"不以任何方式干扰系统"时，在量子力学中这个前提本身就是不可能实现的——因为测量行为不可避免地会改变被测系统的量子态。

玻尔的观点可以概括为以下几点：

1. 测量语境决定实在：在量子力学中，一个物理量是否有"确定值"取决于我们选择进行什么样的测量。如果我们选择测量位置，那么位置就是确定的；如果我们选择测量动量，那么动量就是确定的。这两种测量安排是互斥的（互补的），不能同时实现。

2. 量子力学不需要"隐变量"：玻尔坚持认为，量子力学的波函数已经提供了对物理实在的完备描述——只是这种"实在"与我们经典直觉中的实在不同。量子力学不描述"物体本身是什么"，而是描述"我们可以关于物体说什么"。

3. 整体论：当两个粒子曾经发生过相互作用时，它们即使在空间上分离后，也必须被视为一个不可分割的整体。因此，对粒子A的测量并非"不干扰"粒子B，因为测量行为确立的是整个系统的状态。

关于哥本哈根诠释与其他诠释的对比，参见量子力学诠释。关于量子力学的基本公理框架，参见量子力学基本假设。

---

二、量子纠缠

2.1 纠缠态的定义

在量子力学中，复合系统的态空间由各子系统态空间的张量积给出。对于由两个子系统A和B组成的复合系统，其态空间为：

$$ \mathcal{H} = \mathcal{H}_A \otimes \mathcal{H}_B $$

一个纯态$|\psi\rangle \in \mathcal{H}$被称为可分离态（Separable State）或直积态（Product State），当且仅当它可以写为两个子系统态的直积：

$$ |\psi\rangle = |\phi\rangle_A \otimes |\chi\rangle_B $$

对于可分离态，两个子系统各自具有确定的量子态，它们之间没有量子关联。

如果一个纯态不能写成直积态的形式，即：

$$ |\psi\rangle \neq |\phi\rangle_A \otimes |\chi\rangle_B $$

那么这个态就被称为纠缠态（Entangled State）。在纠缠态中，子系统A和B的状态不是独立的——即使我们完全知道整个系统的量子态，也无法分别描述每个子系统的状态。这就是量子纠缠的数学本质。

混合态中的纠缠

对于混合态（用密度矩阵$\rho$描述），纠缠的定义更为复杂。一个混合态被称为可分离的，当它可以写为直积态的凸组合： $$\rho = \sum_i p_i \thinspace \rho_A^{(i)} \otimes \rho_B^{(i)}$$ 其中$p_i \geq 0$且$\sum_i p_i = 1$。如果这种分解不存在，则混合态是纠缠的。

2.2 典型纠缠态：贝尔态

贝尔态（Bell States）是两量子比特系统中最典型的四个最大纠缠态，它们构成了两量子比特希尔伯特空间的一组正交归一的基。这四个态以约翰·贝尔（John Bell）命名，在量子信息科学中具有核心地位。

$$ \begin{aligned} |\Phi^+\rangle &= \frac{1}{\sqrt{2}} \big(|00\rangle + |11\rangle\big) \newline |\Phi^-\rangle &= \frac{1}{\sqrt{2}} \big(|00\rangle - |11\rangle\big) \newline |\Psi^+\rangle &= \frac{1}{\sqrt{2}} \big(|01\rangle + |10\rangle\big) \newline |\Psi^-\rangle &= \frac{1}{\sqrt{2}} \big(|01\rangle - |10\rangle\big) \end{aligned} $$

其中$|0\rangle$和$|1\rangle$是单量子比特的计算基矢。

贝尔态的物理意义

• $|\Phi^+\rangle$：两个量子比特的测量结果总是相同（都是0或都是1），且两种可能性的概率各为50%。这是最常被讨论的纠缠态原型。
• $|\Phi^-\rangle$：两个量子比特的测量结果也总是相同，但在相位上有一个相对负号。这在量子纠错和量子密钥分发中有重要应用。
• $|\Psi^+\rangle$：两个量子比特的测量结果总是相反（一个是0则另一个是1），且两种可能性的概率各为50%。
• $|\Psi^-\rangle$（单重态）：两个量子比特的测量结果总是相反，且具有旋转不变性。这是总自旋为零的态，在EPR论证中常被使用，其形式为$|\Psi^-\rangle = \frac{1}{\sqrt{2}}(|\uparrow\downarrow\rangle - |\downarrow\uparrow\rangle)$。

关于自旋态的详细讨论，参见角动量与自旋。

2.3 纠缠度的度量

如何量化一个量子态"有多纠缠"？这是一个深刻的问题，不同的纠缠度量适用于不同的场景。

施密特分解

对于任意两体纯态$|\psi\rangle \in \mathcal{H}_A \otimes \mathcal{H}_B$，存在一个施密特分解（Schmidt Decomposition）：

$$ |\psi\rangle = \sum_{i=1}^{r} \sqrt{\lambda_i} \thinspace |u_i\rangle_A \otimes |v_i\rangle_B $$

其中$\lbrace |u_i\rangle_A\rbrace $和$\lbrace |v_i\rangle_B\rbrace $分别是$\mathcal{H}_A$和$\mathcal{H}_B$中的正交基，$\lambda_i > 0$是施密特系数，满足$\sum_i \lambda_i = 1$。$r$称为施密特秩（Schmidt Rank）。

• 当$r = 1$时，态是可分离的。
• 当$r > 1$时，态是纠缠的。
• $r$越大，纠缠的"维度"越高。

纠缠熵

对于两体纯态，最自然的纠缠度量是纠缠熵（Entanglement Entropy），定义为约化密度矩阵的冯·诺依曼熵：

$$ S(\rho_A) = -\text{Tr}(\rho_A \log_2 \rho_A) = -\sum_i \lambda_i \log_2 \lambda_i $$

其中$\rho_A = \text{Tr}_B(|\psi\rangle\langle\psi|)$是子系统A的约化密度矩阵。

对于贝尔态，$\lambda_1 = \lambda_2 = 1/2$，因此纠缠熵为$S = 1$（以比特为单位），这是两量子比特系统中可能的最大纠缠熵，称为1 ebit（纠缠比特）。

并发度（Concurrence）

对于两量子比特的混合态，并发度（Concurrence）是一种常用的纠缠度量。对于两量子比特态$\rho$，首先计算其"自旋翻转"态：

$$ \tilde{\rho} = (\sigma_y \otimes \sigma_y) \rho^* (\sigma_y \otimes \sigma_y) $$

然后计算厄米矩阵$R = \sqrt{\sqrt{\rho}\thinspace\tilde{\rho}\thinspace\sqrt{\rho}}$的本征值$\lambda_1 \geq \lambda_2 \geq \lambda_3 \geq \lambda_4$。并发度定义为：

$$ C(\rho) = \max(0, \lambda_1 - \lambda_2 - \lambda_3 - \lambda_4) $$

并发度$C$的取值范围为$[0, 1]$，$C > 0$表明态是纠缠的，$C = 1$对应最大纠缠态。

2.4 多体纠缠

当涉及三个或更多粒子时，纠缠现象变得更加丰富和复杂。多体纠缠具有多种不等价的类型，不能简单地归约为两体纠缠的组合。

GHZ态

GHZ态（Greenberger–Horne–Zeilinger state）是三量子比特最典型的最大纠缠态：

$$ |GHZ\rangle = \frac{1}{\sqrt{2}} \big(|000\rangle + |111\rangle\big) $$

GHZ态的特点是：如果测量所有三个量子比特，结果只能是全0或全1。但一旦对其中的任意一个量子比特进行测量（譬如在$\lbrace |+\rangle, |-\rangle\rbrace $基下测量），余下的两个量子比特会坍缩到可分离态——这与W态形成鲜明对比。

GHZ态是展示"全有或全无"型多体纠缠的典范，在量子非定域性的研究（如GHZ定理）中起到了关键作用。

W态

W态的形式为：

$$ |W\rangle = \frac{1}{\sqrt{3}} \big(|001\rangle + |010\rangle + |100\rangle\big) $$

W态的特点是：如果测量其中一个量子比特并得到$|0\rangle$，余下的两个量子比特仍然保持纠缠状态。W态对粒子丢失具有更强的鲁棒性——即使失去一个量子比特，剩下的两个仍然保持纠缠。

GHZ态 vs W态

GHZ态和W态代表了两种不等价的三量子比特纠缠类型（在随机LOCC下）。它们不能通过局域操作和经典通信（LOCC）相互转化。GHZ态的纠缠是"脆弱的"（丢失一个粒子就破坏了所有纠缠），而W态的纠缠是"鲁棒的"（即使丢失一个粒子，纠缠仍然存在）。

团簇态

团簇态（Cluster States）是一种多体纠缠态，在基于测量的量子计算（Measurement-Based Quantum Computation, MBQC）中扮演核心角色。一维团簇态（也称为图态）的形式为：

对于$N$个量子比特排成一条线，团簇态定义为对相邻量子比特对施加受控Z门（CZ门）后得到的态：

$$ |\text{Cluster}\rangle = \prod_{i=1}^{N-1} \text{CZ}_{i,i+1} \thinspace |+\rangle^{\otimes N} $$

其中$|+\rangle = \frac{1}{\sqrt{2}}(|0\rangle + |1\rangle)$。团簇态是通用量子计算的一种资源态——通过对团簇态中的量子比特进行单比特测量，可以实现任意量子计算。

---

三、贝尔不等式

3.1 贝尔定理（1964）

1964年，约翰·贝尔（John Bell）在EPR争论看似已经平息近三十年之后，发表了一篇划时代的论文《论爱因斯坦-波多尔斯基-罗森佯谬》。在这篇论文中，贝尔证明了任何局域隐变量理论都必须满足一个不等式——贝尔不等式，而量子力学预言这个不等式会被违反。

贝尔的洞见

贝尔意识到，EPR之争并非纯粹的哲学问题，而是可以通过实验来检验的。他推导出了一个可由实验测量的不等式，从而将量子力学的基础问题从哲学思辨的领域转入了可实验检验的科学领域。

贝尔定理的核心内容可以表述为：

• 任何满足局域性和实在论的理论（即局域隐变量理论）都必然满足贝尔不等式。
• 量子力学预言贝尔不等式会被违反。
• 因此，自然界不可能同时满足局域性和实在论——至少其中之一必须被放弃。

这一结论是革命性的：它意味着如果实验结果支持量子力学（违反贝尔不等式），那么局域实在论的世界观就是错误的。宇宙要么是非定域的，要么是非实在的，要么两者都是。

3.2 CHSH不等式

贝尔最初提出的不等式在实践中不太方便直接检验。1969年，克劳泽（Clauser）、霍恩（Horne）、希莫尼（Shimony）和霍尔特（Holt）提出了一个更实用的版本——CHSH不等式。

考虑两个观测者Alice和Bob，每人可以选择两种测量设置之一。Alice的测量设为$A$和$A'$，Bob的测量设为$B$和$B'$。每种测量的结果为$+1$或$-1$。定义如下关联函数：

$$ E(A, B) = \langle AB \rangle $$

即在Alice选择测量$A$、Bob选择测量$B$时，测量结果乘积的期望值。

CHSH不等式可以写为：

$$ |S| \leq 2 $$

其中$S = E(A, B) + E(A, B') + E(A', B) - E(A', B')$。

任何局域隐变量理论都必须满足$|S| \leq 2$。然而，量子力学预言对于适当选择的测量设置，可以达到：

$$ |S|_{\text{QM}} = 2\sqrt{2} \approx 2.828 $$

这就是著名的齐列尔森界（Tsirelson bound），是量子力学在不违反无信号条件的前提下能达到的最大违反值。

3.3 详细推导

贝尔不等式（原版）

贝尔考虑了一个具有隐变量$\lambda$的局域理论。设测量结果$A(\mathbf{a}, \lambda)$和$B(\mathbf{b}, \lambda)$分别只依赖于各自的测量方向$\mathbf{a}$、$\mathbf{b}$和隐变量$\lambda$（局域性条件），且$\lambda$按概率分布$\rho(\lambda)$分布。关联函数为：

$$ P(\mathbf{a}, \mathbf{b}) = \int d\lambda \thinspace \rho(\lambda) \thinspace A(\mathbf{a}, \lambda) \thinspace B(\mathbf{b}, \lambda) $$

考虑三个测量方向$\mathbf{a}, \mathbf{b}, \mathbf{c}$，贝尔推导出：

$$ |P(\mathbf{a}, \mathbf{b}) - P(\mathbf{a}, \mathbf{c})| \leq 1 + P(\mathbf{b}, \mathbf{c}) $$

这就是贝尔不等式的原始形式。对于自旋单重态$|\Psi^-\rangle$，量子力学预言：

$$ P_{\text{QM}}(\mathbf{a}, \mathbf{b}) = -\mathbf{a} \cdot \mathbf{b} = -\cos\theta_{ab} $$

当$\mathbf{a}, \mathbf{b}, \mathbf{c}$共面且$\theta_{ab} = \theta_{bc} = \pi/3$、$\theta_{ac} = 2\pi/3$时，量子力学预言：

$$ |P(\mathbf{a}, \mathbf{b}) - P(\mathbf{a}, \mathbf{c})| = \left|-\frac{1}{2} + \frac{1}{2}\right| = 0 $$

$$ 1 + P(\mathbf{b}, \mathbf{c}) = 1 - \frac{1}{2} = \frac{1}{2} $$

贝尔不等式$0 \leq 1/2$成立，量子力学并不违反这个特定设置下的不等式。但在其他设置下（如$\theta_{ab} = \theta_{bc} = \theta_{ac} = 2\pi/3$），量子力学预言会违反贝尔不等式。

CHSH不等式的推导

假设局域隐变量理论成立。测量结果可以写为$A = \pm 1$，$A' = \pm 1$，$B = \pm 1$，$B' = \pm 1$。考虑组合：

$$ S_{\lambda} = A(B + B') + A'(B - B') $$

由于$B + B'$和$B - B'$中必有一个为$\pm 2$、另一个为$0$，且$A, A' = \pm 1$，所以：

$$ |S_{\lambda}| = |A(B + B') + A'(B - B')| \leq 2 $$

对隐变量分布$\rho(\lambda)$求平均：

$$ |S| = \left|\int d\lambda \thinspace \rho(\lambda) \thinspace S_{\lambda}\right| \leq \int d\lambda \thinspace \rho(\lambda) \thinspace |S_{\lambda}| \leq 2 $$

这就得到了CHSH不等式$|S| \leq 2$。

推导中的关键洞察

CHSH不等式推导的美妙之处在于它不依赖于任何关于隐变量$\lambda$的具体假设，只要求：

1. 测量结果由局域决定（$A$不依赖于Bob的测量设置，$B$不依赖于Alice的测量设置）
2. 测量结果取值为$\pm 1$
3. 隐变量按某个概率分布$\rho(\lambda)$分布

这三个条件在经典世界观中都是极其自然的，但它们的组合却导致了可以被量子力学违反的预测。

3.4 实验验证

早期实验

贝尔不等式提出后，一系列实验被设计来检验量子力学和局域实在论的预言。最初的实验使用光子偏振纠缠对，测量不同偏振方向上的符合计数。

• 1972年：Freedman和Clauser进行了第一个贝尔不等式检验实验，使用钙原子级联辐射产生的光子对，结果支持量子力学。
• 1981-1982年：阿兰·阿斯佩（Alain Aspect） 的实验是里程碑式的。Aspect使用了高速声光开关来随机改变测量设置，使得在光子飞行途中就已经确定了测量基——这关闭了"定域性漏洞"（locality loophole）。实验结果明确违反了贝尔不等式，与量子力学预言一致。

无漏洞贝尔检验

早期的贝尔检验都存在各种"漏洞"（loopholes），使得原则上可以构造满足局域实在论但能重现实验结果的模型。主要的漏洞包括：

• 定域性漏洞（Locality Loophole）：测量设置的选择可能以某种方式影响了远处的测量结果。
• 探测漏洞（Detection Loophole）/ 公平采样假设（Fair Sampling Assumption）：实验只能探测到一部分光子对，如果被探测到的光子对不能代表整体，局域实在论仍可能成立。

2015年：无漏洞贝尔检验

2015年，多个研究组同时宣布实现了无漏洞贝尔检验（Loophole-Free Bell Test）：

• Hensen等人（代尔夫特理工大学）：使用相距1.3公里的金刚石NV色心纠缠电子自旋，同时关闭了定域性漏洞和探测漏洞。
• Giustina等人（维也纳大学）和Shalm等人（NIST）：使用光子纠缠，也实现了无漏洞检验。

所有无漏洞实验的结果都明确违反了贝尔不等式，支持量子力学的预言。

2022年诺贝尔物理学奖

2022年，诺贝尔物理学奖授予了阿兰·阿斯佩（Alain Aspect）、约翰·克劳泽（John Clauser） 和安东·蔡林格（Anton Zeilinger），以表彰他们在"纠缠光子实验、验证贝尔不等式违反以及量子信息科学开创性工作"方面的贡献。

• Clauser：发展了CHSH不等式并进行了早期实验检验。
• Aspect：通过精巧的实验设计关闭了定域性漏洞。
• Zeilinger：将量子纠缠推向应用，实现了量子隐形传态和纠缠交换等里程碑实验。

诺贝尔奖的深远意义

这个奖项标志着量子力学基础问题研究从"哲学边缘"进入了主流科学的核心。贝尔不等式从1964年的理论论文到2022年的诺贝尔奖，见证了基础科学如何深刻改变我们对实在的理解。

---

四、量子非定域性

4.1 非定域性的含义

贝尔不等式被实验违反意味着：自然界不能同时满足定域性和实在论。大多数物理学家认为，这意味着量子力学展示了一种"非定域性"（Nonlocality）——空间上分离的纠缠粒子之间的关联超越了任何局域理论的解释能力。

量子非定域性表现为：对纠缠粒子对中的一个进行测量，似乎"瞬时"地影响了另一个粒子的状态（波函数坍缩）。这种关联是：

• 超越经典的：经典关联（如"一副手套分装在两个盒子中"）的最大值受限于贝尔不等式，但量子关联可以超越这个极限。
• 非因果的：量子非定域性不涉及任何可识别的信号或因果机制从一个粒子传递到另一个粒子。

4.2 无信号定理

关键问题：量子非定域性是否意味着可以进行超光速通信？是否违反了狭义相对论？

答案是否定的，其数学基础是无信号定理（No-Signaling Theorem）：

在两个类空分离的观测者之间，仅通过局域量子测量无法传递任何信息。无论Alice对她的粒子进行什么测量，Bob通过测量他的粒子所能获得的统计结果都不会改变。

从数学上看，如果Alice和Bob共享一个纠缠态$\rho_{AB}$，Bob的约化密度矩阵为$\rho_B = \text{Tr}_A(\rho_{AB})$。Alice的测量操作（用一组测量算符$\lbrace M_k\rbrace $描述）不会改变Bob的约化密度矩阵：

$$ \rho_B = \text{Tr}_A(\rho_{AB}) = \sum_k \text{Tr}_A(M_k \otimes I \thinspace \rho_{AB} \thinspace M_k^\dagger \otimes I) $$

因此，Bob无法通过测量他的粒子来推断Alice是否进行了测量或进行了什么测量。量子纠缠不能用于超光速通信。

量子力学与因果律的相容性

量子力学虽然展现出非定域关联，但它与狭义相对论的因果结构完全相容。非定域性是一种"静默的"关联——它存在于统计中，但不能被用于可控的信息传递。量子力学将"影响"（influence）和"关联"（correlation）区分开来：纠缠粒子间存在关联，但没有因果影响。

4.3 量子关联与经典关联

设想一个经典类比：将一副手套的左手和右手分别放入两个盒子，然后将盒子分别送到Alice和Bob处。当Alice打开盒子发现是左手手套时，她立即知道Bob的手套是右手——这是经典关联，信息已经"预先编码"在手套中。

量子关联与此有本质不同：

• 经典关联：测量结果在分离之前就已经确定（实在论），只是我们不知道而已。
• 量子关联：在测量之前，单个粒子的属性并不存在确定值（违反实在论），测量结果在测量瞬间才被"创造"出来。

贝尔实验的关键在于，量子关联的强度可以超越任何经典关联模型的极限（贝尔不等式），证明量子纠缠不是"预先编码的经典关联"。

关联的"资源"视角

在现代量子信息理论中，量子纠缠被视为一种"资源"——它使得经典物理学不可能完成的任务（如量子隐形传态、量子密钥分发、超密编码）成为可能。纠缠不是"神秘"的现象，而是可以量化、操纵和利用的物理资源。

---

五、量子隐形传态

5.1 原理

量子隐形传态（Quantum Teleportation）是一种利用量子纠缠和经典通信，将未知量子态从一个位置传输到另一个位置的协议。注意：

• "隐形"（Teleportation）并非指物质的物理传输，而是量子信息的传输。
• 协议需要经典通信（不能超过光速），因此不违反相对论。
• 协议需要预先共享的纠缠对作为资源。
• 原始量子态在传输过程中被破坏（不违反不可克隆定理）。

量子隐形传态不是科幻小说中的"物质传送"，而是量子信息科学中的一项基本协议，于1993年由Bennett、Brassard、Crépeau、Jozsa、Peres和Wootters共同提出。

5.2 详细协议

假设Alice想要将一个未知量子比特$|\psi\rangle = \alpha|0\rangle + \beta|1\rangle$传送给Bob。

预备步骤：Alice和Bob共享一个贝尔态（如$|\Phi^+\rangle$）作为纠缠资源：

$$ |\Phi^+\rangle_{AB} = \frac{1}{\sqrt{2}} \big(|0_A 0_B\rangle + |1_A 1_B\rangle\big) $$

初始的三量子比特态为：

$$ |\psi\rangle_T \otimes |\Phi^+\rangle_{AB} = (\alpha|0_T\rangle + \beta|1_T\rangle) \otimes \frac{1}{\sqrt{2}}(|0_A 0_B\rangle + |1_A 1_B\rangle) $$

步骤一：贝尔测量

Alice对她手中的两个量子比特（待传送的T和纠缠对中的A）进行贝尔测量。四个贝尔态可以重新表达初始态：

$$ \begin{aligned} |\psi\rangle_T \otimes |\Phi^+\rangle_{AB} = \frac{1}{2} \Big[ &|\Phi^+\rangle_{TA} \otimes \big(\alpha|0_B\rangle + \beta|1_B\rangle\big) \newline +\ &|\Phi^-\rangle_{TA} \otimes \big(\alpha|0_B\rangle - \beta|1_B\rangle\big) \newline +\ &|\Psi^+\rangle_{TA} \otimes \big(\alpha|1_B\rangle + \beta|0_B\rangle\big) \newline +\ &|\Psi^-\rangle_{TA} \otimes \big(\alpha|1_B\rangle - \beta|0_B\rangle\big) \Big] \end{aligned} $$

Alice的贝尔测量会随机得到四个结果之一，每个结果的概率为$1/4$。

步骤二：经典通信

Alice通过经典信道（如电话）将她的测量结果（2比特信息）告知Bob。

步骤三：幺正变换

根据Alice的测量结果，Bob对他的量子比特施加相应的幺正变换：

Alice的测量结果	Bob的幺正变换
$	\Phi^+\rangle$
$	\Phi^-\rangle$
$	\Psi^+\rangle$
$	\Psi^-\rangle$

无论Alice得到哪个结果，Bob经过相应的幺正变换后，他的量子比特都会精确地处于$|\psi\rangle = \alpha|0\rangle + \beta|1\rangle$——原始态被成功传送。

关键要点

1. Alice在测量后失去了原始量子态（她的两个量子比特坍缩到一个贝尔态），这符合不可克隆定理。
2. 经典通信传输的只是2比特信息（"我得到了哪个贝尔态"），不包含关于$\alpha$和$\beta$的任何信息。
3. 整个过程中，Bob从未"知晓"$\alpha$和$\beta$的具体值，但他最终拥有了这个态。

5.3 实验实现

• 1997年：Innsbruck大学（Zeilinger组）和罗马大学（De Martini组）分别独立实现了首次量子隐形传态实验，使用光子偏振态。
• 2004年：实现了原子的量子隐形传态。
• 2012年：实现了143公里自由空间量子隐形传态（Canary Islands）。
• 2017年：中国"墨子号"量子科学实验卫星实现了星地量子隐形传态，距离达1200公里，标志着量子通信从地面走向太空。

5.4 与克隆的区别

量子隐形传态与量子克隆（Quantum Cloning）有本质区别：

• 不可克隆定理：不可能完美地复制一个未知量子态。量子隐形传态不违反这一定理，因为原始量子态在传输过程中被破坏了。
• 隐形传态 = 传输：量子信息从Alice转移到Bob，Alice的原始态不再存在。
• 克隆 = 复制：试图在保留原始态的同时创建副本，这在量子力学中是被禁止的。

---

六、量子密码学

6.1 BB84协议

BB84协议（Bennett-Brassard 1984）是第一个量子密钥分发（QKD）协议，也是量子密码学的奠基之作。它不依赖于纠缠，而是基于单光子偏振态的非正交性。

协议步骤：

1. Alice随机选择两种基（计算基$\lbrace |0\rangle, |1\rangle\rbrace $或对角基$\lbrace |+\rangle, |-\rangle\rbrace $）之一，并随机选择比特值0或1，制备相应的光子态发送给Bob。
2. Bob随机选择两种基之一对接收到的光子进行测量。
3. 经典通信阶段：Alice和Bob公开宣布各自使用的基（但不公开比特值），保留使用相同基的比特作为原始密钥。
4. 安全性检测：Alice和Bob公开比较部分原始密钥比特，如果存在窃听者Eve，由于量子测量的不可克隆性和扰动性，会引入可检测的误码率。

安全性原理

BB84的安全性基于量子力学的基本原理：任何对非正交量子态的测量都会不可避免地引入扰动。Eve无法在不被检测到的情况下获取密钥信息，因为她不知道Alice选择的基，而她必须进行测量，测量必然引入误码。

6.2 E91协议

E91协议（Ekert 1991）是第一个基于量子纠缠的量子密钥分发协议，它直接利用了贝尔不等式的违反来保证安全性。

协议步骤：

1. 一个纠缠源产生纠缠光子对（如$|\Psi^-\rangle$），分别发送给Alice和Bob。
2. Alice和Bob各自随机选择测量设置，对接收到的光子进行测量。
3. 经典通信阶段公开测量设置，将测量结果分为两组：
   • 使用相同测量设置的结果 → 生成密钥（完美的反关联意味着知道一方的结果就知道另一方）。
   • 使用不同测量设置的结果 → 用于检验贝尔不等式。
4. 如果贝尔不等式被违反，证明中间没有窃听者（因为窃听会破坏纠缠，使贝尔不等式不再被违反）。

E91协议的优雅之处在于：安全性直接由量子力学的基本原理（贝尔不等式违反）来保证，而不是依赖于计算假设。

6.3 量子密钥分发的安全性

量子密钥分发的安全性可以分为两个层面：

1. 原理层面的无条件安全性：基于量子力学定律（海森堡不确定性原理、不可克隆定理），任何窃听行为都会留下可检测的痕迹。这不同于经典密码学中基于计算复杂度的安全性。

2. 实际实现中的安全性：实际QKD系统存在器件不完美带来的漏洞，如：

   • 光子数分裂攻击（针对弱相干脉冲源）
   • 探测器致盲攻击
   • 侧信道攻击

实际安全 vs 理论安全

理论上，QKD提供"无条件安全性"（unconditional security）——即使窃听者拥有无限的计算能力也无法破解。但在实际实现中，器件的非理想性可能引入安全漏洞。测量设备无关QKD（MDI-QKD）和双场QKD（TF-QKD）等新协议被设计来解决这些实际问题。

目前，量子密钥分发已经进入实用化阶段，中国已建成超过2000公里的量子通信骨干网络（"京沪干线"），并与"墨子号"卫星实现了天地一体化的量子通信网络。

---

七、量子计算基础

7.1 量子比特

量子比特（Qubit）是量子信息的基本单元，与经典比特（只能取0或1）不同，量子比特可以处于$|0\rangle$和$|1\rangle$的任意叠加态：

$$ |\psi\rangle = \alpha|0\rangle + \beta|1\rangle $$

其中$|\alpha|^2 + |\beta|^2 = 1$，$\alpha, \beta \in \mathbb{C}$。

布洛赫球表示

任意量子比特纯态都可以用布洛赫球（Bloch Sphere）上的一个点来表示：

$$ |\psi\rangle = \cos\frac{\theta}{2}\thinspace|0\rangle + e^{i\phi}\sin\frac{\theta}{2}\thinspace|1\rangle $$

其中$\theta \in [0, \pi]$和$\phi \in [0, 2\pi)$是球坐标中的极角和方位角。

• 北极（$\theta = 0$）：$|0\rangle$
• 南极（$\theta = \pi$）：$|1\rangle$
• 赤道上的点：$|0\rangle$和$|1\rangle$的等幅叠加

布洛赫球是可视化单量子比特态和单量子比特门作用的强大工具。

7.2 量子门

量子门是对量子比特进行幺正变换的操作，在数学上表示为幺正矩阵$U$（满足$U^\dagger U = I$）。

单量子比特门

泡利门（Pauli Gates）：

$$ X = \begin{pmatrix} 0 & 1 \newline 1 & 0 \end{pmatrix}, \quad Y = \begin{pmatrix} 0 & -i \newline i & 0 \end{pmatrix}, \quad Z = \begin{pmatrix} 1 & 0 \newline 0 & -1 \end{pmatrix} $$

• $X$门（NOT门）：$|0\rangle \leftrightarrow |1\rangle$，相当于布洛赫球上绕$x$轴旋转$\pi$。
• $Z$门：$|0\rangle \to |0\rangle$，$|1\rangle \to -|1\rangle$，相位翻转。
• $Y$门：$|0\rangle \to i|1\rangle$，$|1\rangle \to -i|0\rangle$。

Hadamard门：

$$ H = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 & 1 \newline 1 & -1 \end{pmatrix} $$

Hadamard门将计算基态转换为叠加态：$H|0\rangle = |+\rangle$，$H|1\rangle = |-\rangle$。

相位门（$S$门）和 $\pi/8$门（$T$门）：

$$ S = \begin{pmatrix} 1 & 0 \newline 0 & i \end{pmatrix}, \quad T = \begin{pmatrix} 1 & 0 \newline 0 & e^{i\pi/4} \end{pmatrix} $$

两量子比特门

CNOT门（受控非门）：

$$ \text{CNOT} = \begin{pmatrix} 1 & 0 & 0 & 0 \newline 0 & 1 & 0 & 0 \newline 0 & 0 & 0 & 1 \newline 0 & 0 & 1 & 0 \end{pmatrix} $$

CNOT门是最重要的两量子比特门之一。当控制量子比特为$|1\rangle$时，目标量子比特翻转；当控制量子比特为$|0\rangle$时，目标量子比特不变。CNOT门可以创建纠缠态：

$$ \text{CNOT} \left(|+\rangle \otimes |0\rangle\right) = \frac{1}{\sqrt{2}}(|00\rangle + |11\rangle) = |\Phi^+\rangle $$

CZ门和SWAP门：

$$ \text{CZ} = \begin{pmatrix} 1 & 0 & 0 & 0 \newline 0 & 1 & 0 & 0 \newline 0 & 0 & 1 & 0 \newline 0 & 0 & 0 & -1 \end{pmatrix}, \quad \text{SWAP} = \begin{pmatrix} 1 & 0 & 0 & 0 \newline 0 & 0 & 1 & 0 \newline 0 & 1 & 0 & 0 \newline 0 & 0 & 0 & 1 \end{pmatrix} $$

通用量子门集

一组量子门被称为通用的（Universal），如果任何幺正操作都可以用这组门以任意精度近似。最常见的通用量子门集是：

$$ \lbrace H, T, \text{CNOT}\rbrace $$

即Hadamard门、$\pi/8$门和CNOT门构成了一个通用量子门集。这意味着任何量子算法都可以用这三种基本门来构建。

7.3 量子算法

Deutsch-Jozsa算法

Deutsch-Jozsa算法是展示量子计算优势的最早例子之一。问题：给定一个函数$f: \lbrace 0, 1\rbrace ^n \to \lbrace 0, 1\rbrace $，它要么是常数函数（对所有输入输出相同），要么是平衡函数（对一半输入输出0，对另一半输出1）。判断$f$是常数还是平衡。

• 经典算法：最坏情况下需要$2^{n-1} + 1$次查询。
• 量子算法：只需1次查询。

这展示了量子计算的指数级加速（尽管是针对一个精心构造的问题）。

Grover搜索算法

Grover算法用于在无序数据库中搜索特定条目。给定$N$个条目，其中$M$个是目标（满足搜索条件），Grover算法可以在$O(\sqrt{N/M})$步内找到目标。

• 经典算法：$O(N/M)$步。
• 量子算法：$O(\sqrt{N/M})$步——二次加速。

Grover算法是通用的量子搜索框架，可以应用于任何可用量子黑箱（Oracle）描述的问题，如密码破解、最优化问题等。

Shor因子分解算法

Shor算法可能是最有名的量子算法，它可以在多项式时间内分解大整数。

• 经典算法：已知最好的经典算法（数域筛法）需要亚指数时间。
• 量子算法：$O((\log N)^3)$——指数级加速。

Shor算法的核心思想是利用量子傅里叶变换（QFT）高效地找到函数的周期，然后通过数论方法将周期求解转化为因子分解。

Shor算法的深远影响

如果大规模容错量子计算机被实现，Shor算法将能够破解目前广泛使用的RSA加密体系。这既是量子计算的最大"威胁"，也是推动后量子密码学（Post-Quantum Cryptography）研究的主要动力。

7.4 量子计算的优势

量子计算的优势来源于量子力学特有的性质：

量子并行性

量子并行性（Quantum Parallelism）是量子计算最核心的优势来源。由于量子比特可以处于叠加态，一个量子操作可以同时作用于多个基态。

例如，Hadamard门作用于$n$个量子比特：

$$ H^{\otimes n} |0\rangle^{\otimes n} = \frac{1}{\sqrt{2^n}} \sum_{x=0}^{2^n-1} |x\rangle $$

这产生了$2^n$个基态的等权叠加。然后，对一个量子操作$U_f$（实现函数$f(x)$的计算）：

$$ U_f \frac{1}{\sqrt{2^n}} \sum_{x=0}^{2^n-1} |x\rangle|0\rangle = \frac{1}{\sqrt{2^n}} \sum_{x=0}^{2^n-1} |x\rangle|f(x)\rangle $$

这个态同时包含了$f(x)$在所有$2^n$个输入上的值——量子计算机在某种意义上"同时"计算了所有可能的结果。然而，量子并行性虽然强大，但并非"免费午餐"——从叠加态中提取有用的全局信息需要精巧的量子算法设计（如量子傅里叶变换、振幅放大等），简单的测量只会随机给出一个结果。

量子傅里叶变换

量子傅里叶变换（QFT）是许多量子算法的核心子程序。对于$n$个量子比特，QFT定义为：

$$ \text{QFT}|j\rangle = \frac{1}{\sqrt{2^n}} \sum_{k=0}^{2^n-1} e^{2\pi i j k / 2^n} |k\rangle $$

QFT可以在$O(n^2)$个门操作内完成，而经典快速傅里叶变换（FFT）需要$O(n \cdot 2^n)$步——指数级加速。

7.5 量子纠错

量子比特极易受到环境噪声的影响而发生退相干（Decoherence），量子纠错是实现大规模量子计算的关键技术。

不可克隆定理

不可克隆定理（No-Cloning Theorem）指出：不可能完美地复制一个未知的量子态。这一定理对量子纠错提出了根本性的挑战——我们不能像经典纠错那样简单地"复制"信息来增加冗余。

不可克隆定理的简单证明：假设存在一个幺正操作$U$可以克隆任意量子态$|\psi\rangle$：

$$ U(|\psi\rangle \otimes |0\rangle) = |\psi\rangle \otimes |\psi\rangle $$

那么对于$|\psi\rangle$和$|\phi\rangle$，有：

$$ U(|\psi\rangle \otimes |0\rangle) = |\psi\rangle \otimes |\psi\rangle, \quad U(|\phi\rangle \otimes |0\rangle) = |\phi\rangle \otimes |\phi\rangle $$

取内积得$\langle\psi|\phi\rangle = (\langle\psi|\phi\rangle)^2$，这意味着$\langle\psi|\phi\rangle$只能是0或1，即只有正交态才可被克隆——矛盾。

表面码

表面码（Surface Code）是目前最有前景的量子纠错码之一。它将量子比特排列在二维晶格上，通过测量相邻量子比特的稳定子（Stabilizer）来检测错误。

表面码的主要优势：

• 高错误阈值（约1%），在现有量子硬件的噪声水平下是可行的。
• 只需要近邻相互作用，适合二维物理实现。
• 错误综合征的提取是局域的，可扩展性好。

7.6 物理实现

量子计算机的物理实现是当前最活跃的研究领域之一，多种平台正在竞争中。

超导量子比特

超导量子比特（Superconducting Qubits）是目前最成熟的量子计算平台之一，被Google、IBM、Rigetti等公司采用。

• 原理：利用约瑟夫森结（Josephson Junction）的非线性电感来创建非谐的能级结构，使得两个最低能级可以被隔离出来作为量子比特。
• 类型：transmon、fluxonium、phase qubit等。
• 优势：门速度快（纳秒级）、可扩展性好、与半导体制造工艺兼容。
• 挑战：需要极低温（约10 mK）、退相干时间有限。

里程碑

2019年，Google的Sycamore处理器（53个超导量子比特）宣布实现了"量子优越性"（Quantum Supremacy），在约200秒内完成了当时最强大的经典超级计算机需要约1万年才能完成的任务（虽然后续研究缩小了这个差距）。

离子阱

离子阱量子计算（Trapped-Ion Quantum Computing）是另一种主流方案。

• 原理：用电场囚禁单个离子，用离子的内部电子能级编码量子比特，用激光脉冲操控量子态。
• 优势：退相干时间极长（秒级）、门保真度极高（>99.9%）、全连通性。
• 挑战：门速度较慢（微秒级）、扩展性面临工程挑战。

光量子计算

光量子计算使用光子作为量子比特的载体。

• 编码方式：偏振编码、路径编码、时间bin编码等。
• 优势：室温操作、低退相干、光子易于长距离传输。
• 挑战：两光子门实现困难（光子之间缺乏直接相互作用）、单光子源和探测器的效率问题。

拓扑量子计算

拓扑量子计算是更具前瞻性的方案，基于非阿贝尔任意子（Non-Abelian Anyons）的编织操作。

• 原理：利用拓扑量子场论中的任意子激发，其量子信息被编码在系统的全局拓扑性质中，天生对局域噪声免疫。
• 优势：拓扑保护的量子比特，极低的错误率。
• 挑战：目前尚未确凿地实验实现非阿贝尔任意子。微软的Majorana零模研究是这一方向的主要推动力。

---

延伸阅读

• 量子力学专题 — 量子力学核心概念的整体梳理
• 量子力学基本假设 — 量子力学的公理化基础
• 角动量与自旋 — 自旋与角动量理论，理解纠缠实验的数学基础
• 量子力学诠释 — 哥本哈根诠释、多世界诠释等不同视角
• 量子力学发展史 — 从普朗克到量子信息科学的百年历程
• 量子力学应用 — 量子技术在现代科技中的实际应用

结语

量子纠缠从被爱因斯坦质疑为"幽灵般的超距作用"，到被贝尔证明为可实验检验的物理事实，再到成为量子信息科学的核心资源，见证了人类对自然最深刻理解的演进。2022年诺贝尔物理学奖授予Aspect、Clauser和Zeilinger，不仅是对他们个人贡献的肯定，更是对量子力学基础研究重要性的正式认可。在这个量子技术从实验室走向工程应用的时代，对量子纠缠的深入理解不仅是物理学家的任务，也是每一个关心科技前沿的人应当具备的素养。