技术摘要：通用容错电路中逻辑错误率的无魔态（Magic-Free）认证

1. 问题陈述

随着量子硬件从含噪声中规模量子（NISQ）时代向容错阶段过渡，如何认证通用逻辑电路的性能成为了一个关键瓶颈。虽然目前已经展示了小型编码电路，但可扩展的认证方法仍然匮乏。

现有方法面临显著局限性：

• 经典模拟： 通用电路需要非克利福德门（例如 $T$ 门），这使得计算理想输出在经典上变得不可行。因此，基于参考值的评估方法（如态层析或保真度估计）随着系统规模的增长，其计算成本呈指数级上升。
• 资源消耗： 在容错架构中，非克利福德门是通过“魔态”注入实现的，这是计算中最昂贵的资源。用于认证的协议会直接与计算过程竞争这种稀缺资源。
• 组件 vs 系统： 现有方法通常表征单个组件（例如通过随机基准测试获取门保真度）或学习噪声模型。这些方法仅能提供对电路性能的间接推断，而非直接判定特定电路是否达到了预定义的误差容限。
• 可扩展性： 依赖于解析微小错误率以对抗量子投影噪声的方法，其所需的采样次数（shots）与错误率成反比，这对于高质量的容错设备而言效率极低。

本文旨在解决一种既是代码与解码器无关、不消耗魔态、且随电路规模线性缩放，并能在无需已知理想输出的情况下针对用户定义的误差容限 $p^*_L$ 提供统计判决的认证协议。

2. 方法论：无魔态认证

作者提出了一种基于**陷阱电路（trap circuits）**的协议，此类电路在随机泡利噪声下与目标电路不可区分，但在经典上是可模拟的。

A. 陷阱构建

目标电路是一个由克利福德门和 $T$ 门（通过魔态注入实现）组成的通用容错电路。

• 替换： 通过将目标电路中每一次注入的魔态 $|T\rangle$ 替换为稳定子资源态来构建陷阱电路。
• 确定性输出： 陷阱电路被修改为一个克利福德幺正算符（$U_{C,c}$）。输入态被制备为算符 $U_{C,c}^\dagger O_q U_{C,c}$ 的 $+1$ 本征态，其中 $O_q$ 是作用在逻辑比特 $q$ 上的逻辑泡利算符（$X, Y,$ 或 $Z$）。
• 校正处理： 在目标电路中，校正操作是根据测量结果条件性执行的。在陷阱电路中，校正操作是根据均匀采样的比特串 $c$ 无条件执行的。这确保了陷阱系综能够重现目标电路的校正分布，而无需在执行期间进行经典的反馈控制。
• 测量： 在电路结束时，测量逻辑泡利算符 $O_q$。在无噪声情况下，输出是确定性的（记录为 0）。若出现翻转输出（记录为 1），则表示发生了逻辑错误。

B. 理论基础

该协议依赖于噪声在每个电路位置（门、闲置、测量）均为**随机泡利（stochastic Pauli）**的假设。在此模型下：

1. 故障统计等效性： 由于随机泡利通道对任何输入态的作用是相同的，因此目标电路（含魔态）与陷阱电路（含稳定子态）的故障配置（物理错误）分布是相同的，前提是稳定子态的制备噪声不差于魔态的噪声。
2. 错误传播： 泡利错误通过共轭作用在克利福德门中传播，且与状态无关。因此，特定的故障配置会在目标电路和陷阱电路中产生相同的残余逻辑泡利错误。
3. 检测逻辑： 测量 $O_q$ 的陷阱当且仅当残余错误与 $O_q$ 反交换时，才能检测到逻辑比特 $q$ 上的逻辑错误。由于任何非恒等泡利错误都与 $\{X, Y, Z\}$ 中的两个算符反交换，因此对每个逻辑比特执行三个陷阱（分别对应 $X, Y, Z$）即可重构错误概率。

C. 上界

目标电路的逻辑错误率 $p_L$ 受限于陷阱电路平均失败率的上界：
$$p_L \leq \bar{p}_L \equiv \frac{1}{2} \sum_{q=1}^{K} \sum_{O \in \{X,Y,Z\}} p(T^O_q)$$
其中 $K$ 是逻辑比特（数据比特 + 辅助比特）的总数，$p(T^O_q)$ 是测量 $O$ 在比特 $q$ 上的陷阱失败率。该界限是利用并集界（union bound）和陷阱构建的性质推导得出的。

D. 操作协议（阈值认证）

该协议并非旨在估算精确的 $\bar{p}_L$ 值（因为随着错误率趋近于零，所需的采样次数会呈指数级增长），而是执行假设检验：

• 假设： 设备执行电路时的逻辑错误率低于预定义的容限 $p^*_L$。
• 流程： 在同一台设备上随机顺序执行目标电路和陷阱电路。统计在总预算 $M_C$ 次采样中出现的总陷阱失败次数 $m$。
• 判决： 如果 $m \leq w$（经过校准的失败容限），则以置信度 $1-\delta$ 认证该设备。如果 $m > w$，则视为未通过认证。
• 样本复杂度： 所需的采样预算满足 $M_C \sim O(K/p^*_L)$。至关重要的是，这一成本与设备的实际逻辑错误率脱钩。它仅取决于电路规模和用户定义的容限，而与硬件本身的质量无关。

3. 核心贡献

1. 无魔态协议： 一种不消耗非克利福德资源（魔态）的认证方法，避免了与计算过程竞争最昂贵的资源。
2. 代码与解码器无关： 该协议不需要了解所使用的特定量子纠错码或解码算法的具体细节，只要实验过程中解码器是固定的即可。
3. 线性缩放： 样本复杂度随逻辑比特数量和非克利福德门的数量线性增长，且与逻辑错误率本身无关。
4. 统计保证： 协议为假阳性（$\delta$）和假阴性（$\gamma$）率提供了严格的界限，定义了一个清晰的“不确定区域（indifference zone）”，位于操作目标与安全阈值之间。
5. 理论界限： 文中证明了逻辑错误率的上界，并分析了其紧致性，表明其松弛程度受电路相关因素（读取结构和错误传播）的限制。

4. 结果与模拟

作者通过对 Steane 码编码电路的数值模拟展示了该协议：

• 魔态注入（MSI）组件： 对 $T$ 门注入组件的模拟表明，推导出的上界 $\bar{p}_L$ 能够以预期的 $O(p^2)$ 容错标度追踪真实的逻辑不保真度（通过量子态层析重建）。陷阱法成功绕过了在低错误率下态层析面临的采样瓶颈。
• 对噪声偏差的鲁棒性： 协议在偏置噪声模型（从纯 $X$ 到纯 $Z$）下依然有效。在这种情况下，单个陷阱对噪声传播的响应不同，但聚合后的界限依然成立。
• 量子傅里叶变换（QFT）： 模拟了一个完整的逻辑算法（包含 2 个数据比特和 3 次注入的 QFT）。该协议成功校准了采样预算，以验证电路是否满足 $p^*_L = 10^{-5}$ 的容限。模拟证实，当操作比例 $r$ 趋近于 1 时，认证概率曲线会按预期收窄不确定区域。

5. 意义与主张

本文声称，无魔态认证解决了容错验证中的“可扩展性悖论”：随着设备性能提升且逻辑错误率下降，传统的验证方法会变得极其昂贵。通过将目标从“估算精确错误率”转向“验证其是否低于用户定义的阈值”，该协议能够实现对通用电路的严格认证。

作者强调：

• 该方法依赖于随机泡利噪声的“魔态盲性（magic-blindness）”，这一特性在容错阶段的有效逻辑噪声通道中是成立的。
• 该协议已准备好在当前已能展示逻辑非克利福德门及算法的平台（如离子阱、超导电路、中性原子）上进行实验实现。
• 它提供了一个关于整个电路性能的直接统计判决，这与仅关注组件层面的基准测试不同，后者可能无法捕捉到关联错误或全系统失效模式。

这项工作并不声称要表征噪声模型或改进硬件，而是提供了一种工具，用于认证给定的硬件实现是否满足特定容错算法的要求。