概述：
量子纠缠是量子力学中的一种核心现象，指两个或多个粒子在彼此相互作用后，其量子态无法独立描述，只能作为一个整体系统来表征。即使这些粒子在空间上被分离到极远距离，对其中一个粒子的测量会瞬时影响另一个粒子的状态，这种非定域性关联被爱因斯坦称为“鬼魅般的超距作用”。量子纠缠是量子计算、量子通信和量子隐形传态等前沿技术的基础，其本质挑战了经典物理的实在观，但在实验和理论上已得到广泛验证。
1 历史与发现
1.1 爱因斯坦-波多尔斯基-罗森（EPR）佯谬
1.1.1 1935年EPR论文的核心论点
1935年，爱因斯坦、波多尔斯基和罗森联合发表论文《能认为量子力学对物理实在的描述是完备的吗？》。他们提出，若能在不扰动一个粒子的情况下精确预测其某个物理量的值，则该物理量代表“实在要素”。基于量子纠缠态下相隔极远的两个粒子之间存在瞬时关联，他们论证量子力学无法同时给出所有实在要素的确定值，因而认为该理论是不完备的。
1.1.2 定域实在论与隐变量假设
EPR论文建立在两条基本预设之上：定域性（物理作用不能超越光速传播）和实在性（物理量的值在测量前即客观存在）。由此，他们主张可能存在一些尚未被发现的“隐变量”，来描述粒子在测量前已经确定的态。该假设试图在不放弃定域因果律的前提下恢复物理世界的确定性描述。
1.2 贝尔不等式与实验检验
1.2.1 约翰·贝尔的理论突破
1964年，物理学家约翰·贝尔发现，任何遵守定域实在论的隐变量理论，都会对两个纠缠粒子的关联测量结果施加一个上限——即贝尔不等式。而量子力学预言，特定的纠缠态（如自旋单态）进行的某些角度测量，会明显违反该不等式。这一理论突破，使原本停留在哲学层面的EPR论争转变成可实验检验的物理学问题。
1.2.2 阿斯佩克特实验（1982年）
1982年，法国物理学家阿兰·阿斯佩克特及其团队完成了首次高精度的贝尔不等式检验实验。他们利用钙原子级联衰变产生的光子对，通过快速切换测量方向（在光子飞行过程中改变检偏器设置），极大地排除了定域性漏洞。实验结果明确违反了贝尔不等式，以极高的置信度支持了量子力学预言，否定了经典的定域实在论。
1.2.3 无漏洞贝尔测试（2015年后）
长期以来，贝尔检验存在两大主要漏洞：定域性漏洞（测量设置可能未能在粒子飞行期间及时改变）和检测漏洞（探测器效率不足，可能导致数据统计偏差）。2015年起，多个独立实验团队（如荷兰代尔夫特、美国NIST、奥地利维也纳等）同时关闭了这两个漏洞，使用金刚石色心或纠缠光子对，辅以高速随机数发生器和高效率探测器，得到的结果一致违反贝尔不等式，使量子纠缠的非定域性获得了无可争议的实验验证。
2 数学描述
2.1 希尔伯特空间与张量积
2.1.1 复合系统的态矢表示
| 在量子力学中，一个孤立粒子的态用希尔伯特空间中的向量描述。当系统由两个粒子组成时，其态矢位于两个子系统的希尔伯特空间之张量积空间中。例如，粒子A和B的态矢可写作 \( | ψ⟩ = | φ_A⟩ ⊗ | φ_B⟩\)，表示复合系统的完全状态。张量积运算确保了组合态能够同时记录每个子系统的所有可能行为。 |
|---|
2.1.2 可分离态与纠缠态的定义
| 如果复合系统的态矢可以写成两个子系统的态矢的张量积形式，即 \( | ψ⟩ = | α⟩ ⊗ | β⟩ \)，则称其为可分离态。反之，若无法分解为任何这样的乘积形式，则称为纠缠态。纠缠态的核心特征在于，它包含了子系统之间非平凡的量子关联，使得整体信息无法还原为各部分信息的简单总和。 |
|---|
2.2 纠缠度量
2.2.1 冯·诺依曼熵与纠缠熵
对于纯态复合系统，其纠缠程度可通过子系统的约化密度矩阵的冯·诺依曼熵来度量，即 \( S(ρ_A) = -Tr(ρ_A \log ρ_A) \)。该熵值称为纠缠熵。当子系统A的约化态为最大混合态时（如贝尔态），纠缠熵取得最大值 \(\log d\)（d为子系统维度）；当复合态为可分离纯态时，纠缠熵为零。
2.2.2 并发度与负性的计算
| 并发度（Concurrence）是两比特系统常用的纠缠度量。对于两比特纯态 \( | ψ⟩\)，定义辅助矩阵并求其奇异值，再通过特定公式计算出一个介于0到1之间的值，1代表最大纠缠，0代表可分离。负性（Negativity）则基于部分转置准则：对复合系统的密度矩阵进行部分转置后，其负本征值的绝对值之和即为负性。负性为零表示态是可分离的，大于零则表明存在纠缠。这些度量提供了量化纠缠强度的数学工具。 |
|---|
3 物理特性
3.1 非定域性与关联性
3.1.1 违反贝尔不等式的物理意义
贝尔不等式的实验违反，直接证明量子关联不能由任何预定的局部隐变量所解释。它表明，纠缠粒子的测量结果之间存在一种独特的统计关联，其强度超过了经典概率理论所能允许的上限。这种违反并非源于信号传递（实验排除了超光速通信），而是量子系统本身固有的一种非经典关联结构，即非定域性。
3.1.2 量子关联 vs 经典关联
经典关联可以通过共同历史或相关性因子来解释（如二分硬币的正反面）。而量子关联的关键区别在于，它无法分解为独立子系统的内在属性之和。在纠缠态中，对任意一个子系统的测量会即时且概率性地影响另一个子系统的测量统计，这种关联本质上是非定域的、且不依赖于任何隐藏的预先安排。此外，量子关联还允许产生“超量子”的相关性（如贝耳型不等式的违反），这是经典系统绝对无法再现的。
3.2 纠缠交换与纠缠蒸馏
3.2.1 纠缠交换协议
纠缠交换是一种允许两个从未直接相互作用的粒子产生纠缠的协议。假设有粒子A与B纠缠、C与D纠缠。通过对B和C进行联合贝尔态测量，可使原本不相关的A和D瞬间进入纠缠态。该过程无需对A和D施加任何直接操作，仅依靠“投影测量”将纠缠关系重新组合。纠缠交换在量子中继器中至关重要，可用于扩展量子通信网络的覆盖范围。
3.2.2 纯化与蒸馏过程
由于噪声和环境干扰，实际生成的纠缠态往往退化为混合态，纠缠程度下降。纠缠纯化（或蒸馏）的目标是从若干对低质量（部分纠缠）的粒子对中，提取出一对近于最大纠缠的纯态。经典的方法包括基于局域操作和经典通信（LOCC）的筛选协议，通过多次测量和淘汰，逐步提高纠缠保真度。该过程是构建可靠量子网络的关键。
3.3 退相干与环境影响
3.3.1 退相干机制
纠缠态极易受到与环境的相互作用而崩溃。当系统粒子与周围环境（如光子、空气分子、晶格振动）发生不可控的耦合时，系统的量子态会与环境态形成新的纠缠，导致原始纠缠态的相干性迅速丧失。这一过程称为退相干，它把纯纠缠态转变为经典混合态，破坏了量子叠加性，使得量子关联被经典概率所取代。
3.3.2 纠缠脆弱性的表现
纠缠的脆弱性体现在多个方面：首先，纠缠保真度随距离指数衰减，在光学光纤中，光子的纠缠会在几公里内显著退化；其次，任何非理想操作（如测量误差、门噪声）都会不可逆地降低纠缠质量；最后，温度升高会加速退相干，使固体系统中的自旋纠缠生存时间降至微秒甚至纳秒级。这种脆弱性使得大规模纠缠态的维持成为量子技术的核心挑战。
4 应用领域
4.1 量子计算
4.1.1 量子门与纠缠态制备
量子计算中的基本操作是将单量子比特门与两量子比特门（尤其是受控非门CNOT）相结合。CNOT门可以对控制比特和目标比特产生纠缠效应，是构造贝尔态的直接工具。通过一系列连续的门操作，量子处理器可以制备出多种纠缠态（如GHZ态、图态等），作为量子算法运行的底层资源。
4.1.2 肖尔算法与Grover算法中的纠缠作用
肖尔算法利用纠缠态实现因数分解，大幅降低了计算复杂度。算法中各量子比特在傅里叶变换和模指数运算中形成高度纠缠，使得概率幅的干涉现象得以实现，从而快速锁定质因数。Grover算法则通过纠缠态中的振幅放大机制，在无结构数据库搜索中实现平方级加速。纠缠是这些算法超越经典算法的根本原因之一。
4.2 量子通信
4.2.1 量子密钥分发（BB84与E91协议）
BB84协议虽然不使用纠缠，但通过四个非正交态实现密钥分发，其安全性基于量子不可克隆定理。E91协议（Ekert 1991）直接利用纠缠态：双方分别测量纠缠光子对的不同角度，再通过公开比较一部分测量结果来检验贝尔不等式的违反，从而验证信道是否被窃听。E91协议具有良好的概念透明性和抵御攻击的能力。
4.2.2 量子隐形传态
量子隐形传态利用纠缠对和经典通信，实现未知量子态在空间上的“传送”。发送方对需传态与其持有的纠缠粒子进行贝尔测量，将测量结果通过经典信道告诉接收方；接收方根据该结果对另一纠缠粒子执行特定幺正变换，即可重建原量子态。该过程中，原态瞬间消失于发送方，而接收方在限制经典通信速度的前提下，只能以光速上限获得态。
4.3 量子精密测量
4.3.1 纠缠增强的干涉测量
在光学或原子干涉仪中，通过注入纠缠态（如压缩态或NOON态），可以使测量灵敏度超越经典极限（即散粒噪声极限）。例如，使用N个纠缠光子，相位估测精度可达 \(1/N\) 量级（海森堡极限），而经典方法只能达到 \(1/√N\)。纠缠增强被用于引力波探测（如LIGO中的压缩光）和惯性导航领域。
4.3.2 超分辨成像
纠缠态可突破传统光学成像的瑞利衍射极限。通过制备多光子纠缠态（如双光子共轭态），并利用其关联测量，可以实现对样品细节的超分辨识别。这类技术已在生物标记和纳米光刻中展现出潜力，能够以更小的光子剂量获取更高空间分辨率的图像。
5 哲学争议与前沿问题
5.1 量子实在论与解释
5.1.1 哥本哈根解释 vs 多世界解释
哥本哈根解释认为测量过程将波函数坍缩为确定的经典结果，强调观测是不可分割的环节；纠缠态的非定域性被视为量子理论的特征而非缺憾。多世界解释则完全否认坍缩，主张每次测量都导致宇宙分裂，所有可能结果都存在于平行的分支中；纠缠在其中体现为世界分支之间的关联。两种解释均能拟合现有实验数据，但对“实在”的本体论地位持有截然不同的立场。
5.1.2 超距作用的哲学挑战
量子纠缠的表观超距作用在物理学内部并未真正违反因果性（无法传递信息或质量），但它深刻动摇了经典物理中的“局域化实在”观念。哲学家们围绕它展开了关于因果性、空间分离、量子非局域性以及整体论等议题的激烈争论。即便实验证明贝尔不等式被违反，对“实在”应做何种修正的解读仍然充满分歧。
5.2 未解之谜与未来方向
5.2.1 纠缠与时空结构的关系
理论物理学家如马克·范拉默等尝试将纠缠与时空几何联系起来。例如，ER=EPR猜想提出，纠缠对可能等价于爱因斯坦-罗森桥（虫洞）的微观结构，从而暗示时空本身就是由量子纠缠编织而成的。这一方向若被证实，将从根本上重塑我们对引力与量子理论统一的理解。
5.2.2 大规模纠缠态的制备挑战
目前人类已经能制备包含数十个粒子甚至少量原子晶格的大规模纠缠态（如51个离子的GHZ态）。然而，向更扩展、更稳定、可编程的纠缠系统推进，仍面临退相干、门错误、冷却和规模化控制等技术难题。未来目标包括实现容错量子计算机所需的数千乃至上百万个高质量纠缠量子比特，以及构建覆盖全球的量子中继网络。