Optimizing LOCC Protocols on Product Stiefel Manifold

技术摘要：在乘积 Stiefel 流形上优化 LOCC 协议

问题陈述
表征局部操作与经典通信（LOCC）的操作极限是分布式量子信息领域的一个基本挑战。虽然 LOCC 是空间分离节点在量子网络中的标准操作限制，但其数学结构极其复杂：LOCC 操作集合在拓扑上不是封闭的，且具有非凸几何特性。这种复杂性使得设计和优化 LOCC 协议在计算上变得难以处理。现有方法面临一种两难境地：松弛方法（例如，松弛至可分操作、正部分转置 (PPT) 映射或 $k$-可扩展信道）通过半正定规划 (SDP) 提供高效的上界，但会产生“操作间隙”，即无法生成物理上可实现的协议；相反，使用参数化量子电路 (PQC) 的启发式方法试图寻找显式协议，但往往受到贫瘠高原（barren plateaus）和表达能力有限的困扰。目前尚无统一的框架能够高效地探索固定轮次的完整 LOCC 空间，以发现无需依赖受限电路拟设（ansatzes）或松散松弛的实现协议。

方法论
作者引入了一个几何框架，将固定轮次 LOCC 协议的物理约束直接嵌入到乘积 Stiefel 流形上。这种方法将设计 LOCC 策略的约束优化问题转化为了一个无约束的黎曼优化问题。

1. 几何嵌入： 固定轮次 LOCC 的操作动力学由量子仪器（完全正映射的集合）描述。这些映射必须是保迹（CPTP）的物理约束，自然地由 Stiefel 流形进行参数化，其中 $St(D, d) := \{K \in \mathbb{C}^{D \times d} | K^\dagger K = \text{Id}\}$，$K$ 代表堆叠的 Kraus 算符。
2. 递归结构：
   • 单向仪器： 涉及测量方和他人条件响应的一轮 LOCC 被证明其可行集构成一个乘积 Stiefel 流形。
   • 固定轮次 LOCC： 一个 $r$ 轮协议（结构为一个决策树，每个节点代表一个依赖于历史的局部仪器）被映射到一个递归乘积 Stiefel 流形。
   • 子类： 该框架显式地参数化了受限方案，包括带后选择的仪器 (IPS) 和信道-测量后选择 (CMPS) 方案，作为特定的子流形。
3. 优化： 通过将协议空间映射到这些流形上，作者利用黎曼优化（特别是黎曼共轭梯度下降法）来直接搜索最优协议。这避免了对 SDP 松弛或固定电路拟设的依赖。

主要贡献与结果
该框架通过将纠缠蒸馏和状态合并作为应用案例进行了验证：

• 纠缠蒸馏保真度：

  • 作者优化了有限副本 LOCC 协议，旨在从噪声输入（去极化、振幅阻尼和去相位信道）中蒸馏出最大纠缠态 (MES)。
  • 轮次优势： 数值结果显示，两轮自适应协议 (LOCC2) 比单轮 (LOCC1) 或非自适应 (IPS) 协议获得更高的平均保真度。在非 i.i.d. 设置下，优化的 LOCC2 保真度在数值精度范围内达到了 PPT 上界，表明其在该实例下的最优性。
  • 概率蒸馏： 通过使用带有后选择的 CMPS 方案，作者展示了 Kraus 秩为 $T=2$ 的协议可以实现接近 1 的保真度，即通过牺牲成功概率来换取近乎完美的输出。
  • 可扩展性： 该几何框架在计算上是高效的，生成多副本蒸馏（高达 $M=6$ 个副本）的可实现协议的速度比 SDP 类的 PPT 松弛快了数个数量级，而后者无法扩展到类似的块长度。

• 双向可蒸馏纠缠：

  • 作者应用该框架优化了在双向 LOCC (LOCC2) 下针对两副本输入 ($n=2$) 的归一化相干信息。
  • 超加性： 结果为在显式 LOCC 约束下相干信息的超加性提供了数值证据。在广义振幅阻尼信道的测试参数范围内，优化的两副本相干信息超过了单副本哈希界限。

• 状态合并：

  • 该框架被应用于单次状态合并，描绘了可实现的保真度区域。
  • 操作间隙： 结果揭示了 CMPS 方案的可实现保真度与理论 PPT 上界之间的数值操作间隙，强调了松弛方法在预测显式协议性能方面的局限性。

意义
本文确立了在具有物理结构的流形上进行黎曼流形优化，作为探测未来量子网络物理极限的实用工具。通过弥合理论上界与可实现协议之间的差距，该方法能够直接发现复杂的、多副本的 LOCC 协议。该框架提供了一条统一的路径用于：

1. 量化自适应通信轮次的计算优势。
2. 建立在特定机制下与 PPT 界限相匹配的紧致可实现界限。
3. 在显式 LOCC 约束下研究基本的信息论性质，例如相干信息的超加性。

作者总结道，尽管关于饱和 PPT 界限所需的轮数量的解析下界仍是一个开放问题，但这种几何方法为设计协议和探索量子网络有限资源能力提供了一条稳健的数值途径。