Near-optimal entanglement-communication tradeoffs for remote state preparation

本文确立了用于秩为$k$的投影算符的远程态制备的纠缠与通信成本的上界和下界，二者几乎匹配，从而证明了执行此类制备的能力与蒸馏$\log d$个纠缠比特（ebits）的能力之间的基本等价性，同时得出了关于态不可压缩性的新结果以及一个高效的相等性协议。

要点

想象一下，你正试图将一份非常具体、复杂的食谱发送给身处不同城市的朋友。在量子物理世界中，这份“食谱”就是一个量子态（粒子的特定构型），而“城市”则是另一个实验室。

通常，发送一份量子食谱的成本极高。你需要一个预先共享的特殊“魔法链接”（纠缠），并且必须发送大量文本消息（经典通信）才能确保准确无误。这就像量子隐形传态，发送者甚至不知道食谱的内容；他们只需寄出物理食材即可。

但如果发送者确实知道食谱呢？这被称为远程态制备（RSP）。既然发送者知道他们想发送什么，他们理应能更高效地完成这一过程。

本文解决了一个特定且棘手的问题：发送一份“平坦”食谱。想象一份食谱，它不仅仅是某一道特定的菜，而是从可能的 $d$ 种食材中，完美平衡地混合了 $k$ 种不同食材。作者问道：发送这些混合食谱，我们究竟需要多少“魔法链接”（纠缠）和多少“文本消息”（通信）？

以下是他们研究发现的简要说明，使用了简单的类比：

1. “魔法链接”与“文本消息”

将纠缠想象为 Alice 和 Bob 共有的“魔法货币”（ebits）银行账户。将通信想象为 Alice 发送给 Bob 的文本消息数量。

• 旧方法： 以前的方法就像试图通过运送整个花园（使用大量魔法货币）来发送一份混合沙拉，或者发送一份巨大的指令清单（使用大量文本消息）。
• 新发现： 作者找到了一种近乎完美的方法。他们证明，你无法使用太少的魔法货币或太少的文本消息来完成此事。存在严格的“权衡”：如果你想发送更少的消息，就需要更多的魔法货币，反之亦然。

2. “魔法货币”是真金白银

该论文最大的洞见之一是关于“魔法链接”的质量。

• 类比： 想象你有一罐硬币。有些罐子里只有便士（低价值），有些则装有金条（高价值）。
• 发现： 作者证明，如果你想高效地发送这些食谱（使用极少的文本消息），你手中的那罐硬币必须包含大量黄金。具体来说，这罐硬币必须足够丰富，能够被“熔化”成大量纯金条（EPR 对）。
• 意义： 在此之前，我们并不知道一种“廉价”的魔法链接（无法转化为大量黄金的链接）是否仍可用于高效发送食谱。论文的回答是否定的。如果你能高效地发送食谱，你的魔法链接必须“足够富有”，能够提炼出大量黄金。

3. “阻尼拒绝采样”（新协议）

作者不仅证明了极限，还构建了一台新机器（协议）来执行这项工作。

• 旧机器（拒绝采样）： 想象你试图从一副牌中抽出一张特定的牌。旧的方法是不断抽牌，直到抽到正确的那张。如果你运气不好，可能会抽几千次，浪费大量时间和精力。
• 新机器（阻尼拒绝采样）： 作者发明了一种“阻尼器”。想象你仍在抽牌，但在桌子上设置了一个“减速带”。如果你抽到了错误的牌，减速带只会让你慢下极小的一步，这样你就不会因沮丧而毁掉整副牌。这使得你可以尝试多次，而不会破坏魔法链接。
• 结果： 这种新方法使用了几乎最少的魔法货币，并发送了极少的文本消息。这就像找到了一种几乎零浪费地抽中正确牌的方法。

4. 文中提到的现实应用

该论文展示了这种新的“发送食谱”机器在两个具体方面的帮助：

• “不可压缩”的沙拉： 他们证明，特定类型的混合食谱（“平坦态”）无法被压缩到比其本身小太多的程度。这就像试图压缩一袋水；无论你怎么努力，如果不洒出来，都无法使其显著变小。这证实了这些量子态天然地“富含”信息。
• “我们相等吗？”游戏： 他们利用新机器解决了一个经典游戏，称为“相等性”游戏。两个人想知道他们是否拥有相同的秘密数字。
  • 旧方法： 他们需要共享大量魔法硬币（约 $\log n$）才能高效地进行游戏。
  • 新方法： 使用作者的新方法，他们只需要一半数量的魔法硬币（$\frac{1}{2} \log n$）就能以相同的精度玩同样的游戏。这就像意识到你可以用原本认为所需预算的一半来赢得游戏。

总结

简而言之，这篇论文就像一位主厨和一位经济学家联手合作。他们算出了发送特定类型量子食谱所需的绝对最小“食材”（纠缠）和“指令”（通信）量。他们证明了无法欺骗系统（如果你想发送少量指令，就需要丰富的食材），并且他们构建了一种新的、高效的厨房工具（阻尼拒绝采样协议），其效率非常接近该理论最小值。这使得我们能够比以前更廉价、更高效地发送量子信息。

技术摘要

技术摘要：远程态制备的近最优纠缠 - 通信权衡

问题陈述
本文研究了远程态制备（RSP）的资源成本，该任务是指发送方（Alice）持有一个量子态的经典描述，并希望利用共享纠缠和经典通信在接收方（Bob）端制备该态。与量子隐形传态（其中 Alice 对态一无所知）不同，RSP 利用 Alice 对态的已知信息来潜在地降低通信成本。

作者特别关注平坦态（flat states）的制备，其定义为形式为 $P/k$ 的混合态，其中 $P$ 是 $d$ 维希尔伯特空间 $\mathbb{C}^d$ 上的秩-$k$ 投影算子。该系综记为 $\mathcal{G}(d, k)$，具有重要意义，因为平坦态对 RSP 是“完备”的；任意 RSP 任务均可通过“兄弟扩展”（Brothers Extension）方法归约为平坦态的 RSP。核心问题在于确定以给定误差容限制备这些态所需的共享纠缠量（以 ebit 为单位）与经典通信量（以比特为单位）之间的最优权衡。

方法论
作者结合了信息论下界与构造性上界协议。

• 下界技术：
  作者引入了一种利用平滑纠缠最小熵（$H^{\varepsilon}_{\min}$）对纠缠成本进行下界估计的新方法，该度量比 RSP 文献中先前使用的施密特秩更强。

  1. 优超（Majorization）： 他们利用了一个事实：任何使用局域操作和经典通信（LOCC）的 RSP 协议必须满足优超条件：初始共享态的施密特谱必须被最终态系综平均的施密特谱所优超。
  2. 叠加论证： 为了分析最终态的谱，他们在 Alice 的输入（从 $\mathcal{G}(d, k)$ 上的 Haar 测度抽取的投影算子）上叠加运行协议。这使得他们能够将初始态的谱与输出系综的平均谱联系起来。
  3. 谱分析： 通过对 Alice 发送的经典消息 $c$ 进行条件化，他们表明 Bob 端的约化态接近最大混合态，其偏差受通信成本 $m$ 限制。利用集中不等式和截断保真度函数的性质，他们推导出了初始态平滑最小熵的下界，该下界以 $\log d$ 和通信成本表示。

• 上界技术：
  作者提出了两种用于 $(d, k)$-RSP 的协议：

  1. Kraus 算子协议： 这是 [Ben+05] 针对纯态提出的协议的推广。它使用一组幺正算子定义广义测量（POVM）。该协议实现了近最优的纠缠成本，但产生了次优的通信成本 $\log(d/k) + \log \log d$。它具有单边误差特性：如果协议失败，则已知失败；如果成功，则态被完美制备。
  2. 阻尼拒绝采样（Damped Rejection Sampling）： 这是一种改进标准拒绝采样方法的新型协议。Alice 不是测量固定的投影算子，而是使用“阻尼”POVM $\{\sqrt{\eta}Q_i, \sqrt{I-\eta Q_i}\}$ 测量一系列随机投影算子 $Q_i = U_i P U_i^\dagger$。这种阻尼防止共享纠缠态在失败的迭代中受到显著扰动（类似于 Elitzur-Vaidman 炸弹测试）。该协议实现了通信成本 $\log(d/k) + O(\log(1/\varepsilon))$，最坏情况误差为 $\varepsilon$。
  3. 平均到最坏情况归约： 作者提供了一个通用归约，表明任何具有平均情况误差的 $(d, k)$-RSP 协议都可以转换为具有最坏情况误差的协议，且通信量仅适度增加，即使没有共享随机性。

主要贡献与结果

1. 紧致的纠缠 - 通信权衡：
   本文建立了制备平坦态所需资源的几乎匹配的下界和上界。

   • 下界： 对于任何通信量为 $m$ 且松弛平均误差为 $\varepsilon_r$ 的 $(d, k)$-RSP 协议，共享态的平滑纠缠最小熵满足：
     $$H^{\delta+\gamma}_{\min}(A)_\sigma \geq \log d - 3\log(1/\gamma) - O(1)$$
     其中 $\delta$ 取决于 $k/d$ 和 $m/d$。关键在于，这意味着任何能够以 $o(d)$ 通信量执行 RSP 的纯纠缠态必须包含近 $\log d$ 个可蒸馏 ebit。
   • 上界： 作者提出的协议实现了 $\log(d/k) + O(\log(1/\varepsilon))$ 的通信成本和 $\lceil \log d \rceil$ ebit 的纠缠成本（即局部维度为 $d$ 的最大纠缠态）。

2. 对先前界定的改进：

   • 对于纯态（$k=1$），纠缠成本的下界优于 [Ben+05] 先前已知的最佳界定，因为它使用了更强的平滑最小熵度量而非施密特秩。
   • 对于混合态，这是 RSP 的首个几乎匹配的上界和下界。先前的工作（如 [BN20]）提供了通信与纠缠总和的界定，但未针对具有 $\log d$ 通信量的协议单独隔离出纠缠的非平凡下界。

3. 应用：

   • 平坦态的不可压缩性： 纠缠下界被用于重新推导并加强以下结论：平坦态系综无法被压缩（可见压缩）超过常数个量子比特，即使允许非平凡的误差容限。
   • 相等函数协议： 作者构建了一个用于 $n$ 位上相等函数（$EQ_n$）的纠缠辅助协议。通过将输入映射到平坦态并使用其高效的 RSP 协议，他们实现了一个仅需 $O(1)$ 经典通信和 $\frac{1}{2}\log n + O(\log(1/\varepsilon))$ 共享 EPR 对的协议。这将先前协议（使用 $\log n$ ebit）的纠缠成本减半，同时保持了常数通信量。

意义
本文声称解决了 RSP 背景下通信效率与纠缠可蒸馏性之间关系的根本问题。它表明，对于纯纠缠态，执行平坦态的高效通信 RSP 的能力本质上等同于蒸馏 $\log d$ 个 ebit 的能力。这建立了纠缠态在通信任务中的效用与其可蒸馏纠缠之间的直接联系。

此外，该工作提供了混合态 RSP 的首个严谨且几乎匹配的界定，这一领域与纯态 RSP 相比此前 largely 未被探索。“阻尼拒绝采样”技术为降低量子通信任务中的纠缠成本提供了一种新工具，可能适用于态分割和重分布。结果表明，RSP 的“成本”根本上与态空间的维度相关，且在不相应线性增加通信量的情况下，纠缠成本的显著降低（低于 $\log d$）是不可能的。