Borrowed Identities: Malleable Distillation Factories and a Unified Numerical Search

技术摘要：用于魔法态蒸馏的借用恒等式与统一数值搜索

问题陈述
魔法态蒸馏（MSD）是容错量子计算（FTQC）中的主要开销，它是通过门遥测实现非克利福德门（non-Clifford gates）所必需的。现有的设计蒸馏工厂的方法依赖于“海森堡图景”，要求横截门（transversal gate）在整个码空间上正确作用。这种约束（通常形式化为三正交性或拟横截性）限制了搜索的泛化能力和效率，使设计问题变成了非线性矩阵方程。此外，当前框架通常将不同魔法态（例如 $|T\rangle, |CS\rangle, |CCZ\rangle$）的工厂视为独立的问题，阻碍了跨整个克利福德层级（Clifford hierarchy）的统一搜索。

方法论：借用恒等式框架
作者引入了一个更严格弱化的条件，称为“借用恒等式”（borrowed identity），该条件在薛定谔图景中进行表述。该框架不再要求电路在整个码空间上作为恒等映射作用，而仅要求电路 $C$ 在特定输入态上作为恒等映射作用（忽略全局相位）：
$$C |+\rangle^{\otimes n} = e^{i\phi} |+\rangle^{\otimes n}$$
“恒等式”实际上是从输入态中“借用”而来的。构造一个蒸馏工厂的方法是：取这样一个作用于 $n$ 个量子比特的借用恒等式电路，并移除所有仅作用于 $k$ 个输出量子比特子集的门。剩余的 $n-k$ 个量子比特在 $X$ 基下进行测量以进行错误检测，而 $k$ 个输出量子比特则被保留为蒸馏后的魔法态 $|\theta\rangle$。

该框架利用宇称相位门 $Z^{\otimes w}(\theta)$，其中 $\theta = \pi/2^l$，对应于克利福德层级的第 $l$ 层。作者推导了这些电路作为工厂运行的代数条件，这些条件由 $\theta$ 参数化，并在不进行修改的情况下在所有层级 $l$ 上保持一致。

搜索是在三种设定下进行的：

1. 对称电路： 在全对称群 $S_n$ 下保持不变。这产生了闭合形式的主方程（定理 3），并恢复了已知的量子 Reed–Muller 码族。
2. 两组对称电路： 量子比特被划分为 $k$ 个输出量子比特和 $n-k$ 个校验量子比特，且在每个组内具有对称性（$S_k \times S_{n-k}$）。这允许进行暴力搜索，其中符号赋值的有效性可以通过对 $\mathbb{Z}_{2^{l+1}}$ 上的线性条件进行验证，其时间复杂度为 $O(k(n-k))$（定理 5）。
3. 可塑电路： 一种顺序构造方法，单个父级借用恒等式可以编码多个工厂。通过顺序移除门，可以在编译时而非硬件设计阶段选择输出的魔法态类型（如 $|T\rangle, |CS\rangle, |CCZ\rangle$）。

核心贡献与结果

• 统一搜索空间： 该框架将搜索不同魔法态（非纠缠 $|T\rangle$、纠缠 $|CS\rangle$ 和 $|CCZ\rangle$）工厂的过程统一在同一个数值搜索中。它恢复了来自不同方法的已知工厂，包括 Bravyi–Haah、H-code、广义三正交以及 synthillation 系列。
• 恢复已知与新工厂： 在标准笔记本电脑上，通过对两组非对称电路进行暴力搜索，在扫过的范围内（$l \in \{2,3,4\}, k \le 7, n \le 11$）约 9 秒内恢复了所有已知的距离-2 工厂。这包括：
  • 量子 Reed–Muller 码族 $[[2^{l+1}-1, 1, 3]]$（距离 3）。
  • 超立方体量子码族 $[[2^l, l, 2]]$。
  • $[[12, 2, 2]]$ T-to-CS 工厂和 $[[24, 6, 2]]$ T-to-CCZ 工厂，它们与基于代数几何（AG）码的构造相匹配。
  • 之前未连接的系列，如打破两组对称性的 Campbell–Howard synthillation 电路。
• 可塑性： 作者展示了单个父级电路可以编码多种不同的工厂。例如，一个四量子比特的父级电路可以通过移除不同的门集合，分别产生 $[[8, 3, 2]]$ ($|CCZ\rangle$)、$[[12, 2, 2]]$ ($|CS\rangle$) 和 $[[14, 1, 2]]$ ($|T\rangle$)。这使得输出类型可以推迟到编译时确定。
• 超越 CSS 的扩展： 该框架自然地扩展到非 CSS 构造，包括利用克利福德门（除借用恒等式组件外）的催化工厂（例如 $[[11, 1, 2]]$ 和 $[[10, 2, 2]]$）。

意义
论文声称，借用恒等式条件提供了一个比横截门约束更“严格弱化”且更通用的替代方案，从而实现了对蒸馏工厂的高效、统一且详尽的搜索。通过从海森堡图景（追踪算符横截性）转向薛定谔图景（追踪状态演化），作者实现了一个线性的、层级统一的代数结构。这种统一揭示了许多此前看似不同的工厂构造实际上是同一个父级电路的不同端点，这为容错编译提供了一种新的自由度：即在编译时选择特定的魔法态资源，而不是将其硬编码到电路设计中。这项工作为跨所有克利福德层级和输出类型的蒸馏建立了一个单一的代数基础，弥合了基于码的构造与基于电路的搜索之间的鸿沟。