Enumerating all bilocal Clifford distillation protocols through symmetry reduction

技术摘要：通过对称性约减枚举所有双局域 Clifford 蒸馏协议

问题陈述
纠缠蒸馏是将多个噪声纠缠态转化为更少数量的高保真度纠缠态的关键过程，它是量子通信任务（如密钥生成和分布式量子计算）的基础资源。虽然存在渐近协议（例如哈希协议），但它们通常需要无限轮次的通信，这使得在近期实现中并不实用。

本文关注一类特定且在近期可实现的协议：双局域 Clifford 协议。这些协议涉及 Alice 和 Bob 共享 $n$ 对纠缠对，执行局部 Clifford 操作（其中 Bob 应用 Alice 操作的复共轭），在计算基下测量 $n-1$ 对，并根据测量结果进行后选择以获得成功输出。其目标是系统地枚举并优化所有此类协议，以寻找能使 Bell 对角输入态的输出保真度和成功概率最大化的协议，特别解决了随着 $n$ 增加而导致的搜索完整 Clifford 操作空间时的计算难解问题。

方法论
作者开发了一个数学框架，将搜索最优蒸馏协议的问题映射到群论问题，具体涉及在二元域 $\mathbb{F}_2$ 上的辛群 $Sp(2n, \mathbb{F}_2)$。

1. 辛表示： 本文建立了双局域 Clifford 电路与辛群元素之间的对应关系。Clifford 电路对 Bell 对角态概率的作用由一个辛矩阵 $M$ 表示。
2. 通过陪集进行约减：
   • 一般输入态： 对于一般的 Bell 对角态，作者发现不同的蒸馏统计特性对应于特定“蒸馏子群” $D_n$ 在 $Sp(2n, \mathbb{F}_2)$ 中的右陪集。子群 $D_n$ 由保持蒸馏统计特性（成功概率和保真度）不变的操作组成。
   • Werner 态： 对于 $n$ 个 Werner 态的张量积这一特殊情况，输入态具有额外的对称性（在 SWAP、Hadamard 和 Phase 门下的不变性）。这允许进一步将搜索空间缩减为形式为 $D_n \setminus Sp(2n, \mathbb{F}_2) / K_n$ 的双陪集，其中 $K_n$ 是 Werner 态的对称群。
3. 子群特征化： 本文对蒸馏子群 $D_n$ 进行了严格的特征化，包括其生成元和阶数的闭式公式。这使得作者能够计算 $D_n$ 在 $Sp(2n, \mathbb{F}_2)$ 中的指数，从而量化搜索空间的缩减程度。
4. 枚举算法： 利用这些约减方法，作者实现了一个算法，用于枚举对于一般状态 $n$ 高达 5，以及对于 Werner 态 $n$ 高达 8 的所有唯一协议（陪集代表元）。这种枚举是在普通台式计算机上完成的，这得益于对称性约减，该约减使得对于 $n=8$，搜索空间缩减了高达 $2 \cdot 10^{34}$ 倍。

主要贡献

• 系统化枚举： 本文引入了一种系统性的程序来寻找所有双局域 Clifford 协议，超越了诸如“跷跷板”（seesaw）法或遗传优化等启发式方法。
• 群论约减： 建立了蒸馏协议与双陪集之间的对应关系，提供了一种减少优化问题规模的严谨方法。
• 子群特征化： 作者通过生成元对蒸馏子群 $D_n$ 进行了特征化，并推导出了其阶数的公式，从而能够计算出需要检查的独特协议的确切数量。
• 显式电路构建： 对于找到的最优协议，作者提供了实现最高保真度的显式量子电路（以 Clifford 门表示）。

结果

• 一般状态 ($n \leq 5$)： 作者枚举了对于最多 5 个一般 Bell 对角态拷贝的所有协议。他们确认，对于 $n=2$ 和 $n=3$ 且输入态相等的情况，最优协议对应于已知的方案（DEJMPS 和双选择方案）。
• Werner 态 ($n \leq 8$)：
  • 对于 $n=2$ 和 $n=3$，最优协议与现有文献一致。
  • 对于 $n=4$ 到 $n=8$，作者发现了比此前考虑的方案（包括级联 DEJMPS 协议）实现更高保真度的协议。
  • 具体而言，对于 $n=5$，最优协议在高输入保真度下表现出三次幂次的保真度损失（$1-F$）标度，而之前的协议（包括级联 DEJMPS）仅限于二次幂次标度。
  • $n=4$ 到 $8$ 的最优电路具有适中的深度（3 到 7）和较少的两比特门数量（4 到 13），与现有协议相当甚至更好。
• 性能指标：
  • 保真度： 新协议在 $n \geq 4$ 时优于级联 DEJMPS 协议。
  • 速率： 当与哈希协议结合使用时，优化的双局域 Clifford 协议在 $n > 3$ 且输入保真度 $\lesssim 0.76$ 时，实现的速率比级联 DEJMPS 高出三倍。
  • 设备无关 QKD： 优化的协议允许在较低的输入保真度下，通过蒸馏纠缠达到设备无关量子密钥分发所需的阈值保真度（$F_{tar} \approx 0.93$）更高的速率。
  • 成功概率与纠缠的关系： 虽然优化的协议有时具有较低的成功概率，但在 $n > 3$ 且处于较高保真度时，通过全优化可以使成功概率与相对纠缠熵的乘积最大化。

意义
本文声称其主要意义在于提供了对双局域 Clifford 协议的完整且系统的枚举，这使得识别全局最优协议成为可能，而非依赖启发式方法。通过利用对称性，作者实现了对 $n=8$ Werner 态的详尽搜索，这在以前是无法实现的规模。

结果表明，通过超越标准的级联协议，利用适度的电路资源（低深度和低门数）可以实现更高的保真度蒸馏。作者指出，如果这些性能增益在噪声操作下依然成立，它们可以转化为对近期量子网络和分布式量子计算性能预测的改进。该工作还提供了一个软件工具，用于针对给定的一组输入态选择最大化特定性能指标的协议。论文结论较为谦逊，指出使用当前方法，当 $n \gtrsim 11$ 时完全枚举将变得不可行，但该框架为未来扩展到 $n$ 对 $m$ 蒸馏或更高维状态奠定了基础。