Qiskit Paulice：面向近期量子硬件的后选择量子纠错工具

要实现真正实用的量子计算，需要在两个维度上持续推进：一是开发新算法以提升量子计算的资源效率，二是通过错误处理方法拓展量子硬件的能力边界。今天，IBM 在这一方向上迈出了新的一步，推出了 Qiskit Paulice——一款将低开销量子错误检测直接集成到量子电路中的新型 Qiskit 插件。

量子错误处理的核心挑战

量子错误处理的核心挑战在于其计算代价。现有方法通常面临"时间"与"空间"之间的权衡：错误缓解方法（如概率错误消除）硬件开销较低，但需要指数级增长的采样时间，扩展性有限；而容错架构虽可实现高效计算，却需要大量量子比特和复杂硬件支撑。随着量子电路规模不断扩大，如何在提升可靠性的同时控制资源成本，成为亟待解决的问题。

量子错误处理的三种方式

量子错误处理方法通常分为三类：错误抑制、错误缓解和错误纠正。错误抑制在硬件层面预防部分错误的发生；错误缓解通过多次电路执行的噪声输出来估算无误差结果；错误纠正则是更为高级的方法，通过跨多个量子比特冗余编码量子信息，在计算过程中检测并纠正错误，但目前尚未完全实现。

错误检测并非独立的类别，而是错误纠正和部分缓解技术的基础组成部分。它用于验证某次量子电路运行是否受到错误影响，既不需要完整错误纠正所要求的大量量子比特开销，也不像其他缓解技术那样随电路规模增长而需要指数级更多的样本。

传统错误检测方式存在的问题

传统错误检测通常将量子比特划分为数据量子比特和辅助量子比特：数据量子比特执行计算，辅助量子比特负责捕获数据量子比特中的错误。然而，将辅助量子比特引入计算往往会显著增加电路深度，导致引入的错误多于捕获的错误。Qiskit Paulice 正是为解决这一问题而生。

Qiskit Paulice 的工作原理

Paulice 将一种称为"时空 Pauli 检验"的错误检测机制直接嵌入电路中，在电路执行过程中实时检测错误并过滤出错结果，同时将额外开销降至最低。

传统 Pauli 检验通过将辅助量子比特与数据量子比特纠缠来实现检测。测量辅助量子比特时，会输出一个"综合征"——一串比特，用于指示执行过程中是否检测到错误。若综合征全为 0，表示未检测到错误；若有任意位为 1，则说明发生了错误。

时空 Pauli 检验更为高效，因为它将这些约束实现为时空码：检验不仅跨越物理空间中的量子比特，还覆盖电路执行过程中特定的时间位置，从而能够跨越更大的计算区域检测错误。这使得时空 Pauli 检验在当前硬件上具有更强的实用性——标准 Pauli 检验往往需要测量高权重算符，在连接性有限的设备上还需要额外的 SWAP 门，会引入显著的电路深度；而时空 Pauli 检验仅在最有效的位置放置检验，实现了低开销的硬件高效编码。

并非所有检验都同样有效。每个检验都会为电路增加操作，从而引入额外噪声。一组"好"的检验所检测到的错误应多于其引入的错误。为此，Paulice 利用噪声模型和设备连接性约束，自动识别有效、低权重且能有效检测错误的检验集合。

这些方法特别适合 Clifford 电路和以 Clifford 为主的电路，在这类电路中可以更便捷地构建高效检验。Clifford 电路由特定门集合（如 Hadamard 门、Phase 门和 CNOT 门）构建，其行为在数学上有充分的理解，可在经典计算机上高效模拟，是开发和测试错误处理方法的天然起点。

电路执行完成后，可以根据目标以不同方式使用综合征信息：最简单的方式是对未检测到错误的运行结果进行后选择，提升结果的保真度；此外，还可以将综合征信息与错误缓解或错误纠正工作流相结合，进一步降低噪声影响。

前沿实验中的应用

Qiskit Paulice 背后的技术概念已开始在前沿实验中发挥作用。IBM 与芝加哥大学在量子优势追踪器中提交的研究成果，便将时空 Pauli 检验应用于大规模随机图态采样实验，属于随机电路采样这一量子优势早期演示的主流基准。研究表明，低开销错误检测与基于综合征的过滤技术，有助于将量子计算推向经典计算机日益难以模拟的规模。

如何使用 Qiskit Paulice

首先，安装 qiskit-paulice 软件包：

pip install qiskit-paulice

接下来，创建一个 Clifford 电路。以 12 量子比特电路为例，包含四层以砖墙模式排列的纠缠门，与单量子比特 Clifford 门层交替分布。然后，识别电路中哪些量子比特可作为目标量子比特，哪些邻近量子比特可作为辅助量子比特，根据设备连接性选择量子比特对，以最小化开销。之后，构建噪声模型——假设每个门和测量具有大致相同的错误概率的基本去极化噪声模型通常已足够。最后，结合目标量子比特和噪声模型，使用 Qiskit Paulice 搜索有效的低权重检验并将其添加到电路中。完成上述步骤后，即可得到一个包含 7 个检验的电路。

完整教程涵盖运行已检验电路、采样结果、检查综合征、对无错误样本进行后选择，以及比较错误检测前后保真度等完整流程，详见 Paulice 官方文档。

未来规划

Paulice 团队正在积极扩展该软件包，计划新增对非 Clifford 系统的支持、后选择噪声信道分析，以及在检验选择过程中改进对空闲噪声的处理。

相关资源包括：Paulice 文档网站（提供安装说明、教程及 API 参考）、qiskit-paulice GitHub 仓库（可下载开源 Qiskit Paulice 插件），以及研究论文《利用时空码实现低开销错误检测》。

Q&A

Q1：Qiskit Paulice 是什么？它能解决什么问题？

A：Qiskit Paulice 是 IBM 推出的一款 Qiskit 插件，专门用于将低开销量子错误检测直接集成到量子电路中。它通过在电路中嵌入"时空 Pauli 检验"机制，在电路执行过程中实时检测错误并过滤出错结果，同时将额外开销降至最低。它主要解决了传统错误检测方式引入辅助量子比特后电路深度大幅增加、反而带来更多错误的问题。

Q2：时空 Pauli 检验与传统 Pauli 检验有什么区别？

A：传统 Pauli 检验仅在物理空间的量子比特层面设置约束，往往需要测量高权重算符，在连接性有限的硬件上还需要额外的 SWAP 门，导致电路深度显著增加。时空 Pauli 检验则将检验约束同时延伸到时间维度，覆盖电路执行过程中特定的时间位置，能够跨越更大计算区域检测错误，同时只在最有效的位置放置检验，实现了更低的硬件开销和更高的实用性。

Q3：Qiskit Paulice 适合哪类量子电路使用？

A：Qiskit Paulice 特别适合 Clifford 电路和以 Clifford 为主的电路。Clifford 电路由 Hadamard 门、Phase 门和 CNOT 门等特定门集合构建，其数学行为有充分的理论支撑，可在经典计算机上高效模拟，更容易构建高效的时空 Pauli 检验。目前 Paulice 团队也正在规划对非 Clifford 系统的支持，未来适用范围将进一步扩大。