可蒸馏纠缠

玻尔百科

核心要点

纠缠蒸馏利用局域操作和经典通信（LOCC）将含噪量子态提纯为数量更少的纯净纠缠对。
蒸馏协议的成功通常取决于一个保真度阈值，低于该临界点，提纯量子态变得不可能。
可蒸馏纠缠（ $E_D$ ）是量化从含噪资源中可获得的最大纯纠缠产率的基本度量，对量子通信任务至关重要。
可蒸馏纠缠的概念如同一条统一的线索，将从凝聚态物理、热力学到宇宙学等不同领域联系起来。

引言

纠缠是量子世界中最典型的资源，有望在通信和计算领域带来革命性的进步。然而，在任何现实场景中，这种宝贵的资源都不可避免地会被环境噪声破坏，使其变得不完美且脆弱。这就提出了一个关键问题：我们如何从这些含噪量子态中拯救出有用的量子关联？是否有可能将这些“量子渣滓”提炼成最大纠缠对这种纯净、可用的“黄金”？

本文通过引入可蒸馏纠缠的概念来应对这一挑战。它全面概述了提纯量子态的理论及其意义。您将学习这一提纯过程的基本规则，发现用于实现它的实用方案，并理解其效率的最终极限。我们的旅程始于建立核心理论概念，然后扩展到展示这一思想不仅是一个工程工具，更是一个统一了现代物理学不同领域的深刻概念。

“原理与机制”一章将通过解释含噪纠缠如何以及在何种条件下可以被浓缩，为全文奠定基础。在此之后，“应用与跨学科联系”一章将展示可蒸馏纠缠在从构建量子互联网到理解时空结构等各个方面的关键作用。

原理与机制

想象一下，你和一位朋友，Alice 和 Bob，是一个奇特新项目的合作伙伴。一家工厂向你们发送据称是“纠缠”的粒子对——无论相距多远，它们的命运都相互关联。但这家工厂很廉价，运来的粒子是“含噪”的。有时它们是你们订购的完美最大纠缠对，但更多时候它们被破坏了，其量子联系被削弱或扭曲。你们不允许将自己的粒子放在一起修复它们；你们只能在各自的粒子上进行操作（局域操作），并通过电话相互交谈（经典通信）。这就是 LOCC 范式。

核心问题是：你们能否利用大量低质量的含噪纠缠对，来生产出数量更少的纯净最大纠缠对？你们能将这些量子渣滓变成黄金吗？答案是响亮的“能”，这个过程被称为纠缠蒸馏。这是整个量子信息论中最优美和实用的思想之一。它并非无中生有地创造纠缠——这在 LOCC 框架下是不可能的——而是将已经存在、隐藏在噪声中的纠缠浓缩起来。

可能性的艺术：单个不完美纠缠对

让我们从最简单的情形开始。假设你只收到一个纠缠对，它不是一个含噪的混合态，而是一个不完全是最大纠缠的纯态。其状态由波函数描述：

|\psi\rangle = \sqrt{p} |00\rangle + \sqrt{1-p} |11\rangle

如果 $p = \frac{1}{2}$ ，这是一个完美的最大纠缠贝尔态。但如果 $p = 0.9$ 呢？这个态就偏向于 $|00\rangle$ 结果。Alice 和 Bob 能否使用 LOCC 将这单个不完美的副本转换为一个完美的副本？

事实证明他们可以，但无法百分之百成功。他们的成功有一个基本限制。通过执行巧妙的局域测量并通信结果，他们能做到的最好情况是以 $P_{max} = 2 \min(p, 1-p)$ 的概率成功。想一想：纠缠与两种可能性 $|00\rangle$ 和 $|11\rangle$ 之间的平衡有关。创造一个完美平衡态的“瓶颈”是两个概率中较小的一个，即 $p$ 或 $1-p$ 。你无法从系统中挤出比它原本拥有的更多的概率。

这揭示了一个普遍原理。我们通常可以牺牲态的数量（即保留该态的概率）来提高其质量（纠缠度）。一种称为局域滤波或“普洛克路斯忒斯方法”（Procrustean method）的技术优雅地展示了这一点。想象 Alice 有一个可以应用于其量子比特的特殊滤波器。通过转动滤波器上的一个旋钮（改变她局域操作中的一个参数 $g$ ），她可以选择要将共享纠缠对的纠缠度提升多少。如果初始纠缠由一个称为并发度（concurrence）的量 $C_{in}$ 来量化，而她希望达到一个更高的最终并发度 $C_f$ ，那么协议成功的概率 $P_s$ 由一个极其简单而深刻的关系给出：

P_s = \frac{C_{in}}{C_f}

想将你的纠缠质量翻倍吗？你必须愿意在此过程中牺牲掉一半的纠缠对。这种权衡是根本性的。这就像筛金：你用来捕捉最高纯度金块的筛网越细，你必须丢弃的矿石就越多。纠缠是一种资源，浓缩它是有代价的。

一个实用的提纯方案

虽然浓缩单个纠缠对很有启发性，但蒸馏的真正威力来自于使用多个纠缠对。让我们来看一个具体的方案，这是该领域的一个基石协议，其灵感来源于 Bennett、Brassard、Popescu、Schumacher、Smolin 和 Wootters（BBPSSW）以及 Deutsch、Ekert、Jozsa 和 Macchiavello（DEJMPS）的工作。

假设 Alice 和 Bob 各自有来自两个独立、相同的含噪纠缠对的两个量子比特。Alice 持有量子比特 $A_1$ 和 $A_2$ ，Bob 持有 $B_1$ 和 $B_2$ 。他们在各自的实验室中执行以下步骤：

局域操作： Alice 对她的两个量子比特应用一个 CNOT（受控非门）门，以 $A_1$ 为控制位，以 $A_2$ 为目标位。同时，Bob 也做同样的操作，以 $B_1$ 为控制位，以 $B_2$ 为目标位。
局域测量： Alice 和 Bob 都在标准计算基矢（ $\{|0\rangle, |1\rangle\}$ ）下测量他们的第二个量子比特（ $A_2$ 和 $B_2$ ）。
经典通信： Alice 给 Bob 打电话，他们比较测量结果。

他们约定，仅当测量结果相同时（都得到 0 或都得到 1），才宣布协议成功。如果结果不同，他们就宣布失败，并丢弃剩下的纠缠对（ $A_1, B_1$ ）。

当他们成功时会发生什么？这个奇怪的方案为什么有效？CNOT 门是关键。它们的作用就像一个局域的“奇偶校验”。通过将第一对的状态与第二对相关联，它们有效地将“错误信息”集中到第二对上。测量第二对并后选择匹配的结果，就像一个过滤器，它说：“我们只保留通过了错误校验的实例。”

如果初始纠缠对是纯态 $|\psi\rangle = \alpha|00\rangle + \beta|11\rangle$ ，这个协议的成功概率是 $p_{succ} = 2\alpha^2\beta^2$ 。成功后，剩下的纠缠对 $(A_1, B_1)$ 会奇迹般地处于一个完美的、最大纠缠的贝尔态！

更现实的情况是，初始纠缠对是含噪的混合态，例如 Werner 态，它是目标贝尔态（概率或保真度为 $F$ ）与随机噪声的混合。应用相同的协议，Alice 和 Bob 发现他们的成功概率现在依赖于这个初始保真度。更重要的是，如果他们成功了，他们会发现剩下纠缠对的保真度 $F_{out}$ 发生了变化。正如在问题中计算的那样，输出保真度是输入保真度的非线性函数。关键的发现是，如果初始保真度 $F$ 足够高，输出保真度 $F_{out}$ 会变得更高！他们成功地“提纯”了他们的量子态。

临界点：蒸馏阈值

这引出了一个惊人的想法。如果协议的一步可以提高保真度，为什么不再次执行呢？Alice 和 Bob 可以将第一轮蒸馏中所有成功的纠缠对（现在具有更高的保真度 $F'$ ）作为第二轮的输入。这将产生一个数量更少但保真度更高（ $F''$ ）的纠缠对集合。

这个迭代过程由一个保真度映射 $F_{next} = f(F_{current})$ 描述。这是一个动力学系统，其行为非常有趣。对于我们讨论过的协议，这个映射有三个不动点，满足 $f(F) = F$ ：一个在 $F=0$ （纯噪声），一个在 $F=1$ （完美态），还有一个在某个中间值 $F_{th}$ 。

这个中间点 $F_{th}$ 是一个不稳定不动点，它代表了蒸馏阈值。

如果你的含噪纠缠对的初始保真度低于这个阈值（ $F \lt F_{th}$ ），协议的每一轮实际上会降低保真度。你提纯量子态的尝试只会让它们变得更嘈杂，量子态会螺旋式地变得毫无用处。
如果你的初始保真度高于这个阈值（ $F \gt F_{th}$ ），协议的每一轮都会提升保真度，使其越来越接近 1。原则上，通过重复足够多次这个过程，你可以接近一个完美的纠缠态。

这是信息处理中的一个相变。这个阈值的存在告诉我们，并非所有纠缠都是有用的。存在一个临界质量水平，低于该水平，纠缠实际上被“锁定”在态中，无法用这个特定的方案提取出来。对于我们讨论的这种协议，当应用于Werner态时，这个阈值不动点位于 $F_{th} = 1/2$ 。

终极货币：量化可蒸馏纠缠

我们知道可以蒸馏纠缠，但效率如何？最终的汇率是多少？如果我给你十亿个含噪态 $\rho$ 的副本，你期望能生产出的完美贝尔对的绝对最大数量是多少？这个最优速率是与态 $\rho$ 相关的一个关键数字，称为可蒸馏纠缠， $E_D(\rho)$ 。它是衡量一个态内部有用量子关联的最终度量。

对于大多数态而言，精确计算 $E_D(\rho)$ 是极其困难的。然而，物理学家和信息理论家已经开发出强大的工具来为其设定界限。

一个基本的下界由哈希不等式（hashing inequality）提供。它指出，可蒸馏纠缠至少不小于一个称为相干信息（coherent information）的量：

E_D(\rho_{AB}) \ge I(A\rangle B) \equiv S(\rho_B) - S(\rho_{AB})

这里， $S(\rho)$ 是冯·诺依曼熵，衡量量子态不确定性或混合度的量。让我们直观地理解这一点。 $S(\rho_B)$ 是 Bob 如果完全忽略他的伙伴 Alice 时对他自己状态的不确定性。 $S(\rho_{AB})$ 是组合系统的总不确定性。差值 $S(\rho_B) - S(\rho_{AB})$ 代表了 Alice 持有她的粒子减少了 Bob 对他粒子的不确定性的程度。这是 Alice 的系统所拥有的关于 Bob 系统的信息——关联的本质。哈希不等式告诉我们，这种可量化的关联可以被转换成可用的、蒸馏后的纠缠。针对某个特定混合态的具体计算可以在问题中看到。

另一方面，我们可以建立一个上界。理所当然，你从一个态中蒸馏出的纠缠不能超过它本身一开始所“含有”的量。这个概念由纠缠相对熵（relative entropy of entanglement） $E_R(\rho)$ 捕获。这个量衡量了我们的态 $\rho$ 与所有可能的非纠缠（可分）态的集合有多“可区分”。它为可蒸馏纠缠提供了一个基本的天花板，因为任何局域操作和经典通信都不能创造纠缠，所以你得到的纠缠永远不会超过将你与非纠缠世界区分开来的那个量。

因此，我们将这种宝贵资源的真实价值夹在了中间：

I(A\rangle B) \le E_D(\rho) \le E_R(\rho)

这些界限代表了可证明能达到的（来自特定协议的下界）和根本不可能超过的（适用于任何协议的上界）。

在一个优美的理论胜利中，对于某些高度对称的态，例如 $d \times d$ 各向同性态，研究表明这些界限可以被精确计算，有时甚至会重合，从而给出可蒸馏纠缠的精确值。对于这些特殊情况，量子熵和信息论的抽象工具为我们那个非常实际的开篇问题——我们能从这些渣滓中得到多少黄金？——提供了一个完整而明确的答案。从一个实际问题到如此优雅的数学物理学的旅程，是量子世界中固有的统一性与美的完美范例。

应用与跨学科联系

在我们之前的讨论中，我们揭示了一个至关重要且微妙的思想：并非所有纠缠都是生而平等的。一对量子比特可能在一个嘈杂、混乱的态中无可救药地纠缠在一起，但其中的大部分关联就像愚人金——它闪闪发光，但你无法使用它。我们将“可蒸馏纠缠”作为真正的货币，即量子连接的纯净、精炼的黄金标准：贝尔对。我们现在要讨论的问题既实际又深刻：我们在哪里能找到这种量子黄金，又该如何“开采”和“使用”它？

我们即将踏上一段旅程，它将带领我们从未来量子工程的蓝图走向物理定律的结构本身。你将看到，可蒸馏纠缠这个单一概念，如同一条统一的线索，将量子通信、计算、物质状态乃至宇宙学这些看似迥异的领域编织在一起。这是物理学优美、相互关联本质的明证。

未来量子技术的引擎：通信与计算

让我们从最直接的挑战开始。如果我们想建立一个量子互联网或连接量子计算机，我们必须通过光纤或自由空间发送精密的量子态。但世界是一个充满噪声的地方。任何现实世界中的量子信道都不可避免地会与环境相互作用，破坏我们试图发送的脆弱纠缠态。尝试共享一个完美的贝尔对，结果往往是 Alice 和 Bob 各自持有一个“Werner 态”——即期望态与含噪、不期望的备选态的概率混合。

那么，能做些什么呢？我们放弃吗？当然不！这正是蒸馏概念大显身手的地方。Alice 和 Bob 可以利用许多低保真度纠缠对的副本，通过局域操作和经典通信，牺牲其中一部分来“提纯”出数量更少的高保真度纠缠对。这个过程是量子通信的引擎。通过运行这些蒸馏协议，他们可以有效地对抗信道噪声，将一个低等级的含噪链路转变为可用于量子密钥分发（QKD）等任务的高保真度资源，从而确保其通信免受窃听者的攻击。

可蒸馏纠缠的量 $E_D$ 成为衡量含噪资源的最终品质因数。考虑超密集编码这个奇妙的协议，其中共享一个贝尔对允许 Alice 仅发送一个量子比特就能向 Bob 发送两个经典比特的信息。如果他们共享的纠缠对是含噪的，这个信道的容量就不再是每对两比特。相反，可实现的速率从根本上受限于他们能从含噪供应中蒸馏出的完美贝尔对的数量。含噪态的可蒸馏纠缠 $E_D$ 确切地告诉你它作为此任务资源的价值。一个 $E_D = 2/3$ 的态意味着，从长远来看，每三个含噪对可以转换为两个完美的贝尔对，然后可以用来传输四个经典比特。

这种逻辑超越了简单的通信。想象一下构建一个大型的分布式量子计算机，处理器位于不同的实验室，甚至不同的城市。这种设备的一个基本操作是“非局域”门，比如一个 CNOT 门，其控制量子比特在 Alice 的实验室，而目标量子比特在 Bob 的实验室。这怎么可能实现呢？答案再次是纠缠。一个共享的贝尔对可以作为资源来“传送”门的作用。但如果共享的纠缠对是含噪的，门操作就会出错。解决方案是首先从可用资源中蒸馏出尽可能好的纠缠，然后使用这个改进后的态来实现门操作。远程 CNOT 门的最终保真度是所蒸馏出的纠缠质量的直接函数。这不仅仅是理论；研究人员在处理像金刚石中氮-空位中心这样的真实物理系统时，必须应对不完美的局域门和含噪的初始态，这使得蒸馏成为实现可扩展量子网络路线图中的关键组成部分。

当然，也存在限制。有些量子信道噪声如此之大，以至于被认为是“破纠缠信道”。任何态，无论其纠缠得多么精巧，只要通过这样的信道，出来时都会变成一个可分态——它与任何参考系统之间的所有量子关联都被摧毁。对于这样的信道，连一个贝尔对都无法蒸馏出来。它的可蒸馏纠缠，因此也就是它传输量子信息的量子容量，恰好为零。这定义了一个基本边界：低于某个质量阈值，量子信道在发送量子信息方面的能力，并不比一根经典的电话线更强。

更深层次的画布：物理结构中的纠缠

到目前为止，我们一直将可蒸馏纠缠视为一种工程工具。但其重要性远不止于此，它提供了一个新的视角来审视自然的根本法则。

让我们从一个谜题开始。三量子比特的 GHZ 态 $|GHZ\rangle = (|000\rangle + |111\rangle)/\sqrt{2}$ 是多粒子纠缠的典范。如果我们将一个量子比特给 Alice，另外两个给 Bob，他们的子系统是最大纠缠的。但这种纠缠总是可用的吗？想象一个世界，其中像电荷守恒这样的物理定律限制了 Alice 和 Bob 可以执行的操作。如果他们允许的操作必须守恒“电荷”（比如，处于 $|1\rangle$ 态的量子比特数量），一件奇怪的事情发生了。GHZ 态是电荷为 0 的态（ $|000\rangle$ ）和电荷为 3 的态（ $|111\rangle$ ）的叠加。由于对称性禁止了这两个电荷扇区之间的通信，Alice 和 Bob 无法利用它们之间的相干性。每个分量本身都是一个简单的乘积态，Alice 和 Bob 之间没有纠缠。惊人的结果是，这个态的 U(1) 对称可蒸馏纠缠为零。纠缠被对称性“锁定”了，变得无法获取。这给了我们一个深刻的教训：资源的价值不是绝对的，而是关键性地取决于被允许使用的工具。

这种约束的思想延伸到了物理学的一大支柱：热力学。我们执行的每一个量子操作都是一个物理过程，受能量守恒和热力学第二定律等法则的约束。可以想象，在严格的热力学预算下执行纠缠蒸馏，例如，要求局域操作在 Alice 和 Bob 的实验室中不产生任何熵或热量。这个约束对蒸馏“引擎”的效率施加了新的限制。在这种热力学平衡行为下，最大蒸馏速率不再由标准的可蒸馏纠缠给出，而是由一个不同的度量——纠缠相对熵——给出，它优美地将信息论距离与热力学原理融合在一起。

当我们不再局限于实验室中设计的量子比特对，而是开始在自然界中寻找纠缠——特别是在物质的基态中时，这种联系变得更加深刻。凝聚态系统，如一条磁自旋链，可以在零温下表现出量子相变。在这样一个“量子临界点”，系统是量子涨落的沸腾汤，其基态在所有长度尺度上都富含纠缠。如果我们考虑一个由横场伊辛模型描述的一维自旋链，并从概念上将其切成两半，这两半是纠缠的。它们之间的单向可蒸馏纠缠量遵循一个优美的、普适的标度律：它随着块大小的对数增长。这个对数的系数是一个普适数，与基础理论的一个基本属性——所谓的“中心荷”——直接相关。本质上，临界点处物质的基态是一种天然的、尽管复杂的可蒸馏纠缠资源。

我们甚至可以观察到类似于经典相变的现象，但这发生在纠缠本身上。考虑我们伊辛链基态中的两个遥远自旋。在高磁场中，自旋大多是排列整齐的，不共享纠缠。当我们向临界点降低磁场时，会跨越一个阈值，纠缠突然在它们之间出现。可蒸馏纠缠的量从零开始增长，遵循一个特征性的幂律，很像铁磁体加热超过其居里温度时的磁化强度。这揭示了纠缠不仅是一个静态属性，还是一个动态的量，它本身可以经历由普适物理定律支配的相变。

最后，我们将我们的探究带到最宏大的舞台：宇宙。事实证明，你不需要物质就能找到纠缠。你可以在空无一物的真空中找到它。根据广义相对论和量子场论，对于一个加速的观察者——或者等效地，在一个像我们自己所处的、膨胀的德西特宇宙中的静态观察者——真空并非空无一物，而是表现得像一个热浴。这就是 Unruh-Gibbons-Hawking 效应。其惊人的推论是，真空中的量子场涨落以一种恰到好处的方式关联着，以至于两个遥远的静态观察者 Alice 和 Bob 会发现他们共享着一个纠缠态。原则上，他们可以直接从看似空无一物的空间中蒸馏出完美的贝尔对！他们可以收获的纠缠量取决于他们的间距和宇宙的膨胀率。存在一个临界距离，一种视界，超过这个距离，宇宙膨胀得太快，以至于他们根本无法蒸馏出任何纠缠。

从保护我们的数据到理解物理定律的基本约束，从奇异物质的行为到膨胀宇宙中真空的本质，可蒸馏纠缠的概念证明了它不仅是一个工具，更是一盏探照灯。它照亮了一个隐藏的现实层面，揭示了支撑物理世界的量子连接的普适货币，将其迥异的部分联结成一个优美而统一的整体。