可分态

玻尔百科

核心要点

可分态描述了这样一个量子系统：其子系统是独立的，并且可以通过经典关联来描述。
数学检验方法，例如针对纯量子比特的 $ad=bc$ 法则和正部分转置 (PPT) 判据，可以区分可分态与纠缠态。
可分态总是遵守定域实在论和贝尔不等式，且不能仅通过定域操作转变为纠缠态。
可分性的概念为探测和量化纠缠提供了基本基准，并在量子化学等领域有概念上的相似之处。

引言

在量子力学这个奇异而迷人的领域中，一些最深奥的现象并非源于单个粒子，而是源于它们之间的相互关系。我们常听说纠缠这种“鬼魅般的”联系，一个挑战经典直觉的概念。但要真正领会这种量子魔法，我们必须首先理解它的反面：平凡。当不存在神秘的联系，当每个部分都讲述着自己独立的故事时，一个多粒子系统会是什么样子？这种“正常”的基线就封装在可分态的概念中。

本文对可分态进行了全面的探讨，将其确立为衡量纠缠的基本参考点。我们将揭开量子态可分性的神秘面纱，将其与定义量子前沿的非定域关联区分开来。

我们的旅程始于“原理与机制”部分，在那里我们将从零开始构建这一概念，从简单的乘积态入手，再到更普适的混合可分态。您将学到一些强大而简单的检验方法，来判断一个态是可分的还是纠缠的。随后，“应用与跨学科联系”部分将揭示为何这种看似简单的分类是一个至关重要的工具。我们将探讨如何利用可分态的性质在实验室中创造“纠缠见证”、量化量子资源，甚至将其与量子化学中的基本方法建立概念上的联系。通过理解这个量子的“平面国”，我们获得了描绘纠缠巍峨高峰所需的视角。

原理与机制

在我们理解量子世界的征途上，我们通常从思考简单、独立的物体开始——一个电子，一个光子。但宇宙是一幅由相互作用编织而成的织锦，是一场由无数粒子上演的宏大戏剧。量子力学最深刻、甚至可以说最神奇的特性，在我们思考两个或多个系统如何相互关联时才显现出来。然而，要欣赏这种神奇，我们必须首先理解平凡。我们必须建立一个基线，一个“正常”状态的参考点。在量子领域，这个基线就是可分态。

独立的慰藉：乘积态

想象一下，你和一位朋友身处两个独立的隔音房间。你抛硬币，你的朋友掷骰子。我对你的硬币——是正面还是反面——的描述，与你朋友的骰子完全无关。整个事件的总状态很简单：“我的硬币是正面，且他们的骰子显示4点。”我可以分别写下每个系统的属性，而完整的故事仅仅是这两个独立报告的组合。

在量子力学中，这种独立性的概念由张量积来描述。如果我们有两个粒子，比如 Alice 的粒子 (A) 和 Bob 的粒子 (B)，并且它们彼此真正独立，那么组合系统 $|\Psi\rangle_{AB}$ 的状态就仅仅是它们各自状态 $|\psi\rangle_A$ 和 $|\psi\rangle_B$ 的张量积：

|\Psi\rangle_{AB} = |\psi\rangle_A \otimes |\psi\rangle_B

这样的状态被称为乘积态，或者更广义地，可分态。这是量子力学的方式在说：“Alice 的粒子有它自己明确的故事，Bob 的粒子也有它自己明确的故事。”例如，如果两个粒子都是自旋向上的，那么组合态就是 $|\uparrow\rangle_A \otimes |\uparrow\rangle_B$ ，我们通常简写为 $|\uparrow\uparrow\rangle$ 。这里没有什么神秘之处。测量 Alice 的粒子绝对不会告诉你任何关于 Bob 粒子的新信息，反之亦然。它们的现实是分离的。

一个简单的可分性检验

这似乎足够直截了当。但如果一个状态以叠加态的形式呈现给我们，即不同可能性的总和，我们该怎么办？我们如何判断它仅仅是对两个独立粒子的复杂描述，还是别的什么？

让我们考虑两个量子比特（量子版的比特，可以处于 $|0\rangle$ 、 $|1\rangle$ 或其叠加态）的一般状态。我们可以将其最一般的形式写为：

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

其中 $a, b, c$ 和 $d$ 是复数，告诉我们每种基本构型的“份量”。如果这个状态是可分的，它必须能被写成两个独立量子比特状态的乘积，比如 Alice 的量子比特是 $(\alpha|0\rangle + \beta|1\rangle)$ ，Bob 的是 $(\gamma|0\rangle + \delta|1\rangle)$ 。将这个乘积展开得到：

|\psi\rangle = (\alpha\gamma)|00\rangle + (\alpha\delta)|01\rangle + (\beta\gamma)|10\rangle + (\beta\delta)|11\rangle

比较这两个表达式，我们看到 $a=\alpha\gamma$ ， $b=\alpha\delta$ ， $c=\beta\gamma$ ， $d=\beta\delta$ 。现在，注意一个高中代数中的小魔法。乘积 $ad$ 是什么？它是 $(\alpha\gamma)(\beta\delta) = \alpha\beta\gamma\delta$ 。那 $bc$ 呢？它是 $(\alpha\delta)(\beta\gamma) = \alpha\beta\gamma\delta$ 。它们是相同的！

所以，我们有一个非常简单而强大的检验方法：一个由系数 $a,b,c,d$ 描述的纯双量子比特态是可分的，当且仅当 $ad=bc$ 。

让我们来试试。考虑状态 $|\Psi\rangle = \frac{1}{\sqrt{3}} |00\rangle + \sqrt{\frac{2}{3}} |11\rangle$ 。这里， $a = 1/\sqrt{3}$ ， $b=0$ ， $c=0$ ， $d = \sqrt{2/3}$ 。检验得出 $ad = \sqrt{2}/3$ 而 $bc=0$ 。由于 $ad \neq bc$ ，这个状态是不可分的。它无法被拆解成两个独立的故事。我们称这样的状态为纠缠态。它代表了两个粒子共享的一个不可分割的单一现实，这个概念我们将在下一章探讨。著名的贝尔态 $|\Phi^+\rangle = \frac{1}{\sqrt{2}}(|00\rangle + |11\rangle)$ 同样未通过检验（ $ad = 1/2$ ， $bc=0$ ），因此是纠缠的。

部分知晓什么：纯度与熵

纠缠揭示了，整个系统可以处于一个确定的状态，而其各个部分却并非如此。这是一个奇异而深刻的思想。让我们从业只能看到其中一个粒子的观察者的角度来看这意味着什么。

假设一个双粒子系统处于由密度矩阵 $\rho_{AB}$ 描述的状态。如果我们只想知道 Bob 粒子的状态，我们必须对 Alice 粒子的所有可能性进行平均。这个数学操作称为偏迹，其结果是 Bob 的约化密度矩阵， $\rho_B = \text{Tr}_A(\rho_{AB})$ 。

如果初始状态是一个简单的可分态，比如 $|\Psi\rangle = |+\rangle_A \otimes |0\rangle_B$ ，其中 $|+\rangle = \frac{1}{\sqrt{2}}(|0\rangle+|1\rangle)$ ，那么 Bob 会看到什么？计算显示，他的约化密度矩阵就是 $\rho_B = |0\rangle\langle0|$ 。这是一个纯态；Bob 的粒子本身拥有一个确定、定义明确的状态。这完全合乎逻辑。如果系统是独立的，观察其中一个不应该扰乱另一个的“纯度”。

这引出了一个强大的量化工具。冯·诺伊曼熵 $S(\rho) = -\text{Tr}(\rho \log_2 \rho)$ ，衡量一个状态的不确定性或“混合度”。对于任何纯态，熵为零。一个二体系统的纠缠熵被定义为其某个约化密度矩阵的熵，比如 $S_A = S(\rho_A)$ 。对于任何纯可分态，其约化态也是纯的，因此纠缠熵恰好为零。一个可分态没有共享的量子信息，当你只看其中一部分时这些信息会丢失；不存在因忽略另一部分而产生的“无知熵”。熵为零就像一个闪烁的霓虹灯，上面写着：“这里没有纠缠！”

经典模仿者：可分混合态

到目前为止，我们讨论的都是“纯态”，即系统的状态是精确已知的。但在现实世界中，我们常常面临不确定性。我们可能有一台机器能产生粒子对，但我们不确定它产生了哪个状态——只知道它以概率 $p_1$ 产生了状态 $|\psi_1\rangle$ ，以概率 $p_2$ 产生了状态 $|\psi_2\rangle$ ，依此类推。这被称为混合态。

一个可分混合态是“非纠缠”态中最普遍的一种。它代表了这样一种情景：某人（我们称她为“自然”）准备了各种乘积态 $(\rho_A^{(k)}, \rho_B^{(k)})$ 的独立粒子对，然后以概率 $p_k$ 随机发送给你一对。总的状态是这些乘积态的“凸组合”：

\rho_{AB} = \sum_k p_k \rho_A^{(k)} \otimes \rho_B^{(k)}

这描述了纯粹是经典的关联。想象一台机器随机生产成对手套，一只给 Alice，一只给 Bob。50% 的时间它生产一对左手手套，50% 的时间生产一对右手手套。如果 Alice 得到一只左手手套，她立刻知道 Bob 也有一只左手手套。他们的手套是关联的！但这并非什么鬼魅的量子之谜。这种关联从一开始在工厂里就已确定。其量子类比是这样一个状态 $\rho_{sep} = \frac{1}{2}|00\rangle\langle00| + \frac{1}{2}|11\rangle\langle11|$ 。这个状态是可分的，因为它是乘积态 $|00\rangle$ 和乘积态 $|11\rangle$ 的概率混合。

有趣且有些令人困惑的是，*纠缠态*的混合有时也可能结果是可分的！例如，两个纠缠的贝尔态 $|\Phi^+\rangle = \frac{1}{\sqrt{2}}(|00\rangle+|11\rangle)$ 和 $|\Phi^-\rangle = \frac{1}{\sqrt{2}}(|00\rangle-|11\rangle)$ 的等量混合，会抵消掉量子相干项，结果恰好是我们刚才讨论的经典关联态 $\frac{1}{2}|00\rangle\langle00| + \frac{1}{2}|11\rangle\langle11|$ 。这表明可分态的集合具有丰富的结构；它是一个凸集，意味着任何可分态的概率混合仍然是可分的。

不可违背的定域性法则

所以，我们有了这些“类经典”的可分态和真正量子的纠缠态。有没有一种实验方法可以区分它们呢？当然有。这正是 John Bell 的著名工作发挥作用的地方。任何其关联可以用可分态（即便是混合的）来解释的系统，都必须遵守某些统计约束。这些被称为贝尔不等式。其中最著名的是 CHSH 不等式，它指出对于任何可分态，一个特定的测量关联组合 $S$ 必须小于或等于 2： $|S| \le 2$ 。

如果我们取一个简单的可分乘积态，如 $|+\rangle_A |-\rangle_B$ ，并执行相关测量，计算显示 CHSH 值为 $S = \sqrt{2}$ ，这舒适地处于经典的极限 2 以内。可分态总是遵守定域规则。它们永远无法产生强大到足以违反贝尔不等式的关联。违反贝尔不等式是纠缠独有的标志。

你无法无中生有

最后，一个基本原理。如果你从两个独立的粒子——一个可分态——开始，你能否通过仅仅在每个粒子上局部地摆弄来产生纠缠？也就是说，如果 Alice 对她的粒子执行某个操作 $\hat{U}_A$ ，而 Bob 对他的粒子执行他自己的操作 $\hat{U}_B$ ，他们能创造出纠缠连接吗？

答案是响亮的否定。数学上很清楚：如果你从一个可分态 $\rho_{AB} = \rho_A \otimes \rho_B$ 开始，任何定域演化都会将其转变为 $(\hat{U}_A \rho_A \hat{U}_A^\dagger) \otimes (\hat{U}_B \rho_B \hat{U}_B^\dagger)$ ，这仍然是一个乘积态，因此是可分的。你无法通过在两端分别摇晃两根绳子来将它们编织在一起。要创造纠缠，粒子们必须通过一个非定域的哈密顿量相互作用。

这就是为什么可分性是如此关键的一个概念。它定义了存在于量子力学内部的经典世界的边界。可分态是那些其关联可以被理解、其部分定义明确、其行为尊重直观定域性法则的态。此边界之外的一切，都属于那个奇异而强大的量子纠缠世界。

应用与跨学科联系

既然我们对可分态有了清晰的数学定义，你可能会忍不住问：“那又怎样？为什么要费这么大劲去定义某个东西不是什么？”这是一个公平的问题。这感觉有点像通过首先细致地编目一个完美平面的所有属性来定义“丘陵”。但在物理学中，就像在地理学中一样，理解基线——“平面国”——往往是理解和欣赏山脉的最强大工具。

可分态的世界就是我们的量子平面国。它是平凡、经典、可被理解为独立部分集合的世界。通过理解这个世界的边界，我们获得了探索其外那片狂野、互联且强大的纠缠景观的最锐利工具。可分性的定义不仅仅是一种分类；它是一个基本概念，使我们能够探测、测量和利用那些让量子世界如此奇异和充满希望的特性。

侦探的工具箱：在野外寻找纠缠

想象一下，你是一名实验物理学家，一位理论家给了你一台据称能吐出纠缠粒子对的机器。你如何检验？你不能仅仅看着粒子就看到纠缠。它是一种微妙的、统计上的性质。你需要的是一种检验——一种“无辜”的可分态总是能通过，但“有罪”的纠缠态可能会失败的检验。可分态的性质恰恰为此类检验提供了蓝图。

其中最优雅的之一是 Peres-Horodecki 判据，或称正部分转置 (PPT) 判据。这听起来有点吓人，但其思想却非常简单。它是一种数学变换，一种“部分转置”，你将其应用于描述你系统的密度矩阵。如果你从任何一个可分态——一个仅仅是独立部分经典混合的态——开始，这个操作会输出另一个有效的密度矩阵，代表一个物理上可能的状态。但如果你将它应用于一个纠缠态，它可能会产生无意义的东西——一个具有负本征值的矩阵，这对应于负概率！就好像纠缠“毒化”了量子态，而部分转置就是揭示这种毒药的检验方法。对于像双量子比特这样的简单系统，这个检验是完美的：一个态是纠缠的，当且仅当它未通过 PPT 检验。

这个数学技巧启发了一个更实用、更具实验性的工具：纠缠见证。纠缠见证是一个可观测量，是你在实验室里实际可以测量的东西。它被巧妙地设计，使得其在任何可分态上测量的平均值总是零或正数。它设定了一个底线。所以，如果你对你的系统进行测量并得到一个负值结果，你就得到了一个无可辩驳的纠缠存在的“见证”。你已经抓了它个现行。你的态必定属于那一类特殊的、可以跌破由整个可分态世界设定的底线的态。如果没有对所有可能的可分态的清晰定义，我们永远无法设计出如此万无一失的陷阱。

关联的剖析：量子与经典

关联无处不在。一个地方的天气与附近的天气相关联。但源于量子纠缠的关联则是完全不同的物种。考虑两个状态。一个是纯纠缠态，著名的贝尔态 $|\Phi^+\rangle = \frac{1}{\sqrt{2}}(|00\rangle + |11\rangle)$ 。另一个是可分混合态，其中系统有 50% 的几率处于 $|00\rangle$ 状态，50% 的几率处于 $|11\rangle$ 状态。如果你只测量“两个量子比特都是0吗？”或“两个量子比特都是1吗？”，这两个状态看起来一模一样。

但这种相似性是一种巧妙的伪装。如果你问一个不同的问题——例如，测量像 $\langle \sigma_x \otimes \sigma_x \rangle$ 这样的关联——差异就变得鲜明。可分态，本质上是一种经典混合，对于这个测量显示出零关联。结果就是零。而纠缠态，则显示出可能的最强关联！经典态的关联就像是把一副手套（一只右手，一只左手）放在两个独立的盒子里。这种关联是预先确定的。而量子关联则更深层次，是一种同时存在于所有可能测量基中的联系。

这种深层联系在这些态的演化方式中表现得最为优美。想象一下，你对这两个系统只戳其中一个量子比特，比如通过磁场旋转它。对于可分态，扰动一个粒子对关联毫无影响。 $\langle \sigma_x^A \otimes \sigma_z^B \rangle$ 的测量结果顽固地保持不相关。但对于纠缠态，旋转一个量子比特会编排出一场两者之间优美、演化中的关联之舞。联合测量的结果随旋转角度呈正弦变化！这证明了一个深刻的真理：纠缠不是静态属性；它是一种动态资源，允许对系统一部分的局域行为对整个系统的关联结构产生受控的、非定域的后果。

建筑师的蓝图：构建与度量量子资源

如果纠缠是一种资源，那么可分态就代表了未经提炼的原材料。量子世界的一个基本法则是，你无法凭空创造纠缠。如果你从两个完全独立的量子比特——一个可分态——开始，并且只对每个量子比特进行定域操作（在它的实验室里摆弄量子比特 A，在它遥远的实验室里摆弄量子比特 B），你永远无法在它们之间创造纠缠。无论你在一个纯粹的定域哈密顿量下演化系统多久，一个可分态将总是演化成另一个可分态。要创造纠缠的非定域联系，你需要一个非定域的相互作用，一个像 CNOT 门那样的门，允许一个量子比特直接影响另一个。从可分态出发，这样的门是“纠缠器”，能将一个简单的乘积态转变为一个最大纠缠的贝尔态，即量子计算的主力军。

反过来，宇宙常常合谋将系统推向可分性。这就是退相干现象。当一个量子系统与其环境相互作用时，关于系统的信息会泄露出去。这个过程非常有效，甚至可以摧毁纠缠。想象两个没有纠缠的量子比特，但它们各自都在与一个共同的环境相互作用。人们可能希望这种共同影响可以介导一种相互作用并创造它们之间的纠缠。但根据相互作用的性质，可能会发生相反的情况。例如，一个共同的“退相”相互作用，其作用就像环境在不断地“测量”这些量子比特。这个过程可以洗掉任何量子相干性，确保即使量子比特变得相关，这种关联也仅仅是经典的。系统被驱向一个可分态，永远不会产生纠缠。

那么，如果我们能创造纠缠，我们如何量化它呢？我们拥有多少纠缠？在这里，可分态的集合再次提供了完美的参考。测量纠缠最直观的方法之一是问：“我的纠缠态距离最近的可能的可分态有多远？”这种“几何纠缠度量”将所有量子态的集合视为一个广阔的景观，而可分态在其中形成一个特定的区域。一个态越纠缠，它到这个“非纠缠之地”的最小距离就越大。通过计算这个距离，我们得到一个数字，一个评价指标，告诉我们我们的态究竟有多么非经典。

超越量子比特：跨科学的联系

这种思维方式——使用可分态作为理解更复杂关联的基线——不仅仅是量子信息理论家的游戏。它也位于其他学科的核心，最引人注目的是化学。

当化学家首次尝试对一个分子建模时，一个常见的出发点是 Hartree-Fock 方法。该方法的基本假设是，多电子波函数可以近似为单电子轨道的乘积。这被称为 Hartree 乘积（或者，对于费米子来说更准确地讲，是 Slater 行列式，即这类乘积的一个适当反对称化的组合）。但什么是 Hartree 乘积？根据其定义，它就是一个可分态！这是一种“平均场”近似，其中每个电子被假定在由所有其他电子创造的平均场中独立运动。

这个可分态的图景非常有用，能让你取得很大进展。但它不是一个完整的描述。一个分子的真实能量与从这种可分的、平均场近似计算出的能量之间的差异被称为“相关能”。这本质上是源于纠缠的能量贡献。简单的可分模型无法完美描述分子的失败，直接源于电子并非真正独立的事实；它们的命运在量子力学上是交织在一起的。因此，区分可分乘积态、经典关联混合态或真正纠缠态的性质，对于理解化学键和分子性质的本质至关重要。

从实验室技术员的工具，到理论家的标尺，再到化学家的基本概念，可分态的思想远非乏味。它是我们构建对量子世界理解的基石。通过了解什么是简单的，我们获得了识别、量化和驾驭那些真正深奥事物的力量。