Finding diagonal logical gates in CSS codes and circuits

技术摘要：寻找 CSS 码与电路中的对角逻辑门

问题陈述
实现大规模、容错通用量子计算的关键在于高效实现非 Clifford 逻辑门。虽然 Clifford 操作在稳定子形式化（stabilizer formalism）中相对简单，但非 Clifford 门带来了显著挑战。目前的方案通常依赖于魔术态蒸馏（magic state distillation）、横截（transversal）非 Clifford 门（有时结合码切换），或是在综合征提取电路中插入“时空”逻辑门。一个核心挑战是：如何识别哪些 CSS（Calderbank-Shor-Steane）码或电路，能够由一组给定的物理 ansatz 门组成高效的、保持局部性的对角非 Clifford 逻辑门（例如 $T$、$CS$或$CCZ$）。现有的方法（如三正交条件 triorthogonality condition）往往局限于特定的门类型，或者缺乏对任意保持局部性电路的普适性。

方法论
本文提出了一种高效算法，用于寻找给定 CSS 码（或电路）中由一组给定的对角 ansatz 门组成的逻辑门。其核心理论洞察是：一个对角逻辑门能够保持码空间，当且仅当它对给定上同调类（cohomology class）内的每一个 $Z$ 基组构型都分配相同的相位。

1. 数学公式化：

   • 对角门 $V_c$ 在计算基态 $|a\rangle$ 上的作用由相位函数 $S_c(a)$ 定义。对于处于 Clifford 层级第三层的门，$S_c(a)$ 是一个“三阶”函数，包含诸如 $a_i a_j a_k$（对应 $CCZ$）、$a_i a_j$（对应$CS$）和$a_i$（对应$T$）之类的项。
   • 保持码空间不变的条件是：对于同一上同调类中的所有 $a$，$S_c(a)$ 必须为常数。这简化为要求 $S_c(a + A e_j) = S_c(a)$ 对于所有的 $X$-稳定子生成元 $A e_j$ 均成立，其中 $A$ 是 $X$-检查矩阵。
   • 该条件等价于要求相位函数通过 $X$-检查矩阵的“拉回”（pullback）产生一个平凡的相位函数。

2. 拉回同态 ($A^*$)：

   • 作者定义了一个群同态 $A^*$，它将物理 ansatz 门的系数（$c \in G_{phys}$）映射到诱导的 $X$-检查项的系数上。
   • $G_{phys}$ 是由对应于不同 Clifford 层级的有限阿贝尔 2-群（例如 $\mathbb{Z}_2, \mathbb{Z}_4, \mathbb{Z}_8$）组成的乘积。
   • 有效的逻辑门集合恰好对应于该同态的核（kernel）：即 $A^* c = 0$。

3. 算法实现（过滤法 Filtration）：

   • 为了高效计算 $A^*$ 的核，作者引入了一种“过滤”方法。该方法不使用 Smith 标准型（涉及大整数运算），而是将问题分解为一系列在二进制域（$\mathbb{Z}_2$）上的核计算序列。
   • 算法通过迭代计算 $X \pmod 2$、$X \pmod 4$ 等，将解从低阶群提升（lifting）到高阶群。这利用了 $\ker(X) \subset \ker(X \pmod 4) \subset \ker(X \pmod 2)$ 这一事实。
   • 子程序依赖于标准的二进制线性代数（高斯消元法/简化行阶梯形矩阵 RREF），这些操作可以通过位打包（bit-packing）进行加速。

4. 推广：

   • 时空门（Spacetime Gates）： 该方法扩展到了“时空局部逻辑门”，即在综合征提取电路中插入对角门。这通过将电路建模为张量网络（或路径积分），并对 $Z$-解码图应用相同的拉回逻辑来实现。
   • 更高层级与任意门： 该框架通过调整相位函数和系数群的定义，推广到了更高层级的 Clifford 层级以及任意对角门（非层级门）。
   • Qudit（多能级量子比特）： 通过在 $\mathbb{Z}_{d_i}$ 上定义更高阶函数，该方法被推广到了素数维和复合维的 qudit。

主要贡献

• 统一框架： 本文提供了一个通用的形式化方法，将寻找横截门、保持局部性的逻辑电路以及时空逻辑门的过程，统一在同一个代数条件下：即寻找特定群同态 $A^*$ 的核。
• 高效算法： 针对具有 $O(n)$ 个量子比特（或门）的系统，提出了一个朴素复杂度为 $O(n^3)$ 的快速算法，利用过滤技术将问题简化为二进制矩阵运算。
• 灵活性： 该方法允许用户指定任意的 ansatz 门集（包括非局部或折叠门），并在不施加平移不变性的情况下找到所有生成的逻辑门。
• 实现： 提供了一个 Python 实现，包括一个专门用于阿贝尔 2-群线性代数的软件包（twogroup-linalg）。

结果与示例

• 该算法成功找回了 2D 和 3D 托里码（toric codes）、彩色码（color codes）、分形码（fracton codes）以及双变量自行车码（bivariate bicycle codes）的已知逻辑门。
• 它发现了一个此前未知的三阶对角门，存在于“对偶 3D 彩色码”中，该门实现了等效于逻辑 $T$ 门的运算。
• 该方法被证明可以在相对于系统规模 $O(1)$ 的时间内（仅随单元格参数缩放）找到平移不变的逻辑门。
• 对于具有 800 个量子比特的 2D 彩色码，在标准笔记本电脑上运行非平移不变情况下的时间约为 30 秒。

意义与主张
论文声称，其方法为探索 CSS 码和电路的容错逻辑门空间提供了一种系统且高效的方式。通过将问题重新表述为核计算，它将三正交条件推广到了任意 Clifford 层级门的乘积以及保持局部性的电路。

作者指出，虽然该方法可以找到任意对角门，但由于物理实现（在容错设置下）可能会限制这些门属于 Clifford 层级（这与 Bravyi-Koenig 型论证一致），因此其研究范围仍受限。这项工作表明，该方法可用于发现具有理想逻辑门属性的新型 qLDPC 码，或用于优化逻辑门向码边界及畴壁（domain walls）的扩展。论文对于未来的加速保持了谨慎的态度，承认虽然 qLDPC 码中的稀疏性为进一步优化（例如通过 Wiedemann 算法或局部核分解）提供了潜力，但目前的 $O(n^3)$ 稠密实现已经在寻找码的逻辑基底方面具有竞争力。