Improved Quantum Codes with Transversal T Gates

以下是 Adam Wills 的论文《Improved Quantum Codes with Transversal T Gates》（具有横截 T 门的改进量子码）的技术摘要详细中文翻译。

问题陈述

本文研究了支持**横截 T 门（transversal T gate）**的渐近量子 CSS 码族的构建。作者对“横截性”给出了最强的定义：对每个物理比特应用物理 $T$ 门，可以在无需后续 Clifford 校正的情况下，在每个逻辑比特上执行逻辑 $T$ 门。

由于 T 门是容错量子计算的基础（结合 Clifford 门可实现通用计算），而构建具有横截 T 门的量子码一直是显著的瓶颈，因此该问题至关重要。先前的研究，特别是 Hastings 和 Haah (2017) 以及 Haah (2018) 的工作，确立了此类码的最佳已知渐近参数。然而，自那时起，这些参数一直未能得到改进。此外，现有的构造通常依赖于多比特横截门（如 CCZ）或允许 Clifford 校正，而这项工作则专注于不带校正的单比特 T 门。其目标是扩展可实现的码率（$k/n$）和距离（$d$）的范围，特别针对：

1. 多项式速率与距离范畴内的改进参数（$k = \Omega(n^\alpha), d = \Omega(n^\beta)$）。
2. 首个具有常数速率和增长距离（亚多项式距离缩放）的码构造。

方法论

作者开发了一个基于在布尔超立方体上的下降闭集（"downset"）处进行穿孔（puncturing）的**可除递减单项式码（divisible decreasing monomial codes）**的框架。

1. 古典可除性与量子 CSS 构造：
该构造依赖于“X-生成矩阵”形式化方法。为了获得具有横截 T 门的量子 CSS 码，首先需要一个满足 8-可除性（所有码字的汉明重量均为 8 的倍数）的二进线性码 $C$。通过选择一组坐标 $\Gamma$ 进行穿孔，作者形成了一个生成矩阵 $G$，其中逻辑行对应于被穿孔的坐标。如果 $C$ 是 8-可除的且穿孔满足特定的非湮灭条件，则生成的量子码 $Q[G]$ 具有横截 T 性质。

2. 递减单项式码与下降集：
作者利用了单项式集合为 $\Delta$ 的二进单项式码 $C(\Delta)$。他们将 $\Delta$ 限制为下降集（若 $A \in \Delta$ 且 $B \subseteq A$，则 $B \in \Delta$）。

• 关键技术引理： 作者推导出了在下降集 $\Gamma$ 处穿孔的递减单项式码距离的闭式表达式。如果 $\Delta$ 和 $\Gamma$ 都是下降集，则距离为：
  $$d(C(\Delta, \Gamma)) = \min_{A \in \Delta} |\{V \subseteq \bar{A} : V \in \bar{\Gamma}\}|$$
  该公式允许进行精确的距离分析，这在以往处理穿孔码时是难以实现的。

3. 显式构造（加权 Reed-Muller 码）：
为了实现高码率，作者超越了标准的 Reed-Muller 码，使用了加权 Reed-Muller (WRM) 码。他们根据权重向量 $s = (1, 1, \dots, 1, h)$ 定义权重（其中最后一个变量具有重权重 $h$）。

• 通过基于这些权重选择 $\Delta$，并在由低汉明重量点（具体为前 $m-1$ 个变量的子集）定义的下降集 $\Gamma$ 处进行穿孔，他们构造了 8-可除码。
• 这种显式构造允许通过调节参数来实现常数速率与增长距离。

4. 带有保护点的随机化构造：
为了进一步改进多项式速率范畴内的参数，作者引入了一种随机化穿孔策略。

• 他们在变量的前 $m-1$ 个变量上定义了一个超图 $H$。
• 穿孔集 $\Gamma$ 被修改以“保护”某些点：如果一个点包含来自 $H$ 的任何超边，则该点不会被穿孔。
• 这种保护机制确保了即使在穿孔大量点的情况下，对偶码（以及由此产生的量子码）的距离也能得到维持，从而在增加速率的同时有效地保持了码的距离。
• 作者利用概率方法证明了存在具有少量边的此类超图。

5. 级联（Concatenation）：
对于随机化构造，作者将其基于 WRM 的码与 Haah 的“可除塔（divisible tower）”码进行级联，以达到多项式范畴内最优的参数边界。

主要贡献与结果

1. 改进的多项式速率与距离范畴：
本文确立了新的可实现指数 $(\alpha, \beta)$ 边界，其中 $k = \Omega(n^\alpha)$ 且 $d = \Omega(n^\beta)$。

• 显式构造： 作者推导出了一个新的函数 $\beta_{explicit}(\alpha)$，它在 $\alpha > H_2(1/6)$ 时严格优于 Hastings-Haah 边界。
• 存在性构造： 通过使用随机化构造和级联，他们实现了新的边界 $\beta_{exist}(\alpha)$，这改进了所有已知的非显式族边界，特别是在 $1/2 < \alpha < 1$ 的范围内。

2. 首个常数速率、增长距离的码：
本文提出了首个具有横截 T 门且实现常数速率（$R > 0$）和增长距离（当 $n \to \infty$ 时 $d \to \infty$）的显式量子 CSS 码族。

• 距离缩放为 $d = \Omega(2^{(c_R + o(1))\sqrt{\log_2 n}})$。
• 这是一个重大突破，因为之前的横截 T 门码要么具有消失的速率，要么具有常数距离。

3. 魔态制备开销（Magic State Distillation Overhead）：
作者证明，对于所构造的码，魔态制备的开销指数 $\gamma = \frac{\log(n/k)}{\log(d)}$ 趋于零（$\gamma \to 0$）。

• 这改进了 Hastings 和 Haah 之前取得的 $\gamma \approx 0.678$ 的最佳值。
• 即使在不允许在横截 T 门后进行 Clifford 校正的情况下，这一结果依然成立。

4. 新的数学工具：

• 一个关于在下降集处穿孔的递减单项式码距离的闭式表达式（引理 3.2）。
• 一种利用超图在穿孔方案中“保护”点以维持距离的新颖应用。

重要性与主张

本文声称显著扩大了具有横截 T 门的量子码的可实现参数范围，这是容错量子计算的关键组成部分。

• 理论影响： 它解决了自 2017 年以来一直存在的横截 T 门码参数停滞问题。
• 实际意义： 虽然构造的码不一定是低密度奇偶校验（LDPC）码（因此在所有架构中可能无法直接在物理层面实现），但作者指出它们可以用作魔态制备或级联架构中的逻辑层码。
• 与前作的区别： 与之前使用多比特门（如 CCZ）实现 $\gamma \to 0$ 的工作不同，这项工作使用单比特 T 门实现了这一点。作者强调，单比特横截门意味着更低层级 Clifford 层级门的横截可寻址性，而这是多比特横截门并不保证具备的特性。
• 谦逊态度： 作者承认，其显式构造在常数速率范畴内并未比其随机化对应物改进参数（尽管两者都是全新的），同时随机化构造在常数速率范畴内也没有比显式构造更优。他们还指出，放宽对稳定器码（stabilizer code）的限制可能会带来进一步的改进，但由于稳定器码的容错程序已非常成熟，他们将研究范围限制在稳定器码内。

总之，这项工作提供了首个具有常数速率和增长距离的横截 T 门量子码的显式及随机化族，并显著改善了多项式范畴内的速率与距离之间的权衡，从而降低了魔态制备的开销。