Heralded high-dimensional module-based quantum computation

技术摘要：宣告式高维模块化量子计算

问题陈述
尽管量子计算相比经典计算具有优势，但实现通用量子门（特别是受控非门 CNOT）仍然是一个重大挑战。现有的高维量子系统（qudits，即 $d > 2$）架构通常依赖于后选择（post-selection），这限制了效率，或者需要复杂的多比特纠缠态。虽然高维系统在通道容量和噪声韧性方面具有优势，但针对可扩展的高维通用门（universal gates）的确定性、宣告式（heralded）架构的理论与实验研究，相对于二维（qubit）系统而言仍显滞后。因此，迫切需要一种不消耗计算用 qudit 且对基矢维度不敏感的确定性、宣告式方案。

方法论
作者提出了一种利用广义奇偶校验模块（generalized parity modules）作为基本构建单元，来构建确定性高维广义 CNOT 门的方案。该方法分三个主要阶段进行：

1. 开发广义奇偶校验模块： 作者定义了一个广义奇偶校验模块，它接收两个输入 qudit $|i\rangle$ 和 $|j\rangle$ 以及一个辅助态 $|0\rangle$，输出状态 $|ij\rangle|(j \ominus i) \mod d\rangle$。作者指出，在 $(d-1)!$ 种可能的广义奇偶“排序器”（permutations of the second index）中，只有两种特定形式对于量子计算是通用的：基于减法的模块 $P = (j \ominus i) \mod d$ 和基于加法的模块 $P = (j \oplus i) \mod d$。
2. 构建广义 CNOT 门： 利用这些奇偶校验模块，作者设计了一个用于实现两 qudit 广义 CNOT 门的电路（如图 1 所示）。该流程包括：
   • 将控制 qudit 和目标 qudit 与一个准备在平衡叠加态中的辅助 qudit 一起注入第一个奇偶校验模块（$P_1$）。
   • 应用单 qudit 傅里叶变换（$F_d$）和第二个奇偶校验模块（$P_2$）作用于辅助 qudit 和目标 qudit。
   • 在计算基下测量辅助 qudit。
   • 根据 $P_1$、$P_2$ 以及辅助 qudit 的测量结果，执行经典前馈操作（classical feed-forward operations）。这些操作用于修正相位和置换误差，从而得到期望的 CNOT 输出：$|x\rangle_c |(x \oplus y) \mod d\rangle_t$。
3. 光学实现： 作者提出了一个特定的光学架构，利用轨道角动量（OAM）自由度的单光子来实现广义奇偶校验模块。该设置采用：
   • 通过“路径恒等性纠缠”（Entanglement by Path Identity）准备的六光子辅助态。
   • 基于包含多布棱镜（Dove prisms）的马赫-曾德尔干涉仪的第一阶（$PS_1$）和第二阶（$PS_2$）奇偶排序器，用于根据 OAM 奇偶性进行光子路由。
   • 光子数分辨探测器和单光子探测器，用于宣告操作成功。

关键结果

• 确定性与宣告式操作： 该方案在原理上是确定性的（计算用 qudit 不会被消耗）且是宣告式的。成功通过特定的探测器点击信号（即特定单光子探测器 $D_1$ 和 $D_2$ 无点击信号）来指示，从而消除了对计算态进行后选择的需求。
• 维度无关性： 该协议对计算基的维度 $d$ 不敏感。作者展示了针对三进制（qutrits, $d=3$）的构建过程，并提供了对任意 $d \geq 4$ 的推广。
• 识别通用排序器： 本文确定了在 $(d-1)!$ 种可能的奇偶排序器中，只有 $P = (j \ominus i) \mod d$ 和 $P = (j \oplus i) \mod d$ 可作为量子计算的通用构建单元。其他置换可能对特定任务（如纠缠态生成）有用，但不足以实现通用计算。
• 可行性分析： 该光学实现依赖于现有技术，包括可编程线性光学平台、基于多布棱镜的奇偶排序器以及高保真度单 qudit 门。作者承认存在实际限制，如时空失配、排序器的技术缺陷以及探测器暗计数，但仍认为该协议在实验上是可行的。

意义与主张
本文声称提供了一个多功能的量子计算框架，解决了以往方法中的可扩展性和效率问题。通过利用广义奇偶校验模块，该方案实现了：

• 资源高效性： 它仅需要一个额外的辅助 qudit，且不需要大规模纠缠态。
• 非破坏性测量： 奇偶校验模块通过量子非破坏性测量实现，从而保留了输入态以进行后续处理。
• 模块化： 奇偶校验模块不仅可以作为量子计算的构建单元，也可以用于量子通信任务。

作者将其工作定位为迈向可扩展高维量子架构的一步，提供了一种确定性的替代方案，以取代概率性的、基于后选择的方法。他们强调，虽然针对 OAM 编码光子的光学实现非常详细，但其底层概念可以推广到其他物理平台。