4. 量子线路模型与资源计数规则

量子线路是量子算法在硬件层面最通用的描述形式。资源估算的第一步,就是把算法从数学表达翻译成一条可执行、可计数的量子线路。这一节聚焦三件事:线路的构造规范、门的分解规则,以及辅助比特与计数约定。理解这些规则,才能让不同人算出的资源数字具有可比性。

线路构造的基本规范

一条量子线路由若干量子比特(线)和按时间从左到右排列的量子门组成。规范上需要明确几个约定:

  • 比特编号与顺序:通常把寄存器写成 q[0..n-1],q[0] 是最低位或最高位必须在全文中固定。例如 Qiskit 采用小端序,q[0] 为最低位;而多数论文采用大端序。参照系一旦确定,全文与图示必须一致。
  • 门的连接关系:单比特门作用于一条线,受控门用控制位与目标位表示,如 CNOT(c, t) 表示 c 控制 t。
  • 测量与经典寄存器:测量把量子态映射到经典比特,线路末尾的测量通常不计入量子门资源,但会影响线路深度。
  • 线路深度:同一时刻可并行执行的门算作一层,深度是层数而非门数,它直接决定运行时间上界。

一个常见的教学示例是制备 3 比特 GHZ 态:对 q[0] 施加 H 门,再依次做 CNOT(q[0], q[1]) 与 CNOT(q[0], q[2])。这条线路含 1 个 H 门、2 个 CNOT 门,深度为 3(H 一层,两个 CNOT 因共享控制位不能并行,各占一层)。若把 CNOT 改为 CNOT(q[0], q[1]) 与 CNOT(q[1], q[2]),则深度仍为 3,但控制链结构不同,对后续映射影响也不同。

门分解规则

资源估算不能停留在抽象门层面,必须把算法中的多比特门、任意旋转门分解到目标硬件支持的门集。常见规则如下:

  • 任意单比特门:可分解为若干基本旋转门,如 Rz、Ry 与全局相位,典型分解为 3 个旋转门加相位修正。
  • 受控旋转门:CRz(θ) 可分解为两个 CNOT 与若干单比特 Rz,是量子傅里叶变换、相位估计中的高频结构。
  • Toffoli(CCX):在仅支持 Clifford+T 的容错硬件上,标准分解需要 7 个 T 门、若干 CNOT 与 Hadamard,T 门数量是估算的核心指标。
  • 多控门:n 控门通常递归分解为 Toffoli 与辅助比特,T 门数随控制位数近似线性增长。

分解规则的选择直接改变资源数字。例如同一段相位估计线路,若把受控相位门按“每个 CRz 两个 CNOT”展开,与按“Clifford+T 精确合成”展开,得到的 T 门数可能相差数倍。因此资源报告必须写明所用门集与分解策略。

建议在资源表中固定三列:逻辑门数、分解后基本门数、T 门数。三者对应不同抽象层级,缺一不可。

辅助比特的使用方式

辅助比特(ancilla)是资源估算中最容易被低估的部分。它们不承载算法输入输出,却决定线路能否在给定拓扑上实现。常见用法有三类:

  • 工作辅助比特:用于多控门分解、模运算中的进位暂存,使用后需恢复到 |0⟩,否则会污染后续计算。
  • 干净辅助比特:初始为 |0⟩,可复用;脏辅助比特状态未知,只能用于特定容错构造。
  • 催化辅助比特:借用后归还,不消耗但占用物理比特,常用于降低 T 门数。

辅助比特数量与线路深度、T 门数之间存在权衡。以 n 控 Toffoli 为例,无辅助比特时 T 门数随 n 线性增长且深度较大;引入一个干净辅助比特后,可用“计算—复制—反计算”结构把部分门并行化,深度下降但辅助比特占用增加。资源估算必须同时报告峰值辅助比特数与总物理比特数。

资源计数的常见约定

为了让不同来源的数字可比,业界形成了一些约定:

计数项约定说明
逻辑量子比特算法直接使用的数据比特,不含辅助比特
物理量子比特逻辑比特 × 纠错码距离对应开销 + 辅助比特
T 门数容错开销主导项,通常作为首要指标
CNOT 数影响线路深度与近邻化开销
线路深度按并行层计,需说明是否含测量与重置
测量/重置次数影响运行时间与反馈延迟

一个关键约定是:是否把 Clifford 门计入 T 门数。在表面码容错中,Clifford 门可由横向操作或晶格手术实现,开销远低于 T 门,因此资源报告常把 T 门数单独列出,Clifford 门只报总数。另一个约定是是否计入态制备与蒸馏:T 态蒸馏本身消耗大量物理比特与时间,若忽略会严重低估总资源。

量子线路资源计数流程与约定 算法层 逻辑量子比特 n 抽象门序列 受控门 / 旋转门 门分解层 目标门集:Clifford+T Toffoli → 7T + CNOT CRz → 2CNOT + Rz 资源计数层 T 门数 / CNOT 数 线路深度 / 测量次数 逻辑比特 + 辅助比特 辅助比特类型 干净 ancilla:|0⟩ 可复用 脏 ancilla:状态未知 催化 ancilla:借用归还 峰值占用需单独报告 计数约定 T 门数:容错主导指标 Clifford 门单独统计 是否含态制备与蒸馏 深度是否含测量/重置 常见陷阱 忽略 ancilla 恢复 混淆逻辑/物理比特 未说明分解策略 忽略拓扑近邻化开销 教学示例:3 比特 GHZ 态制备的资源计数 逻辑比特:3;辅助比特:0;H 门:1;CNOT:2;深度:3;T 门:0(Clifford 线路) 若映射到线性拓扑 q0-q1-q2,CNOT(q0,q2) 需 2 次 SWAP,深度增至 7,CNOT 数增至 6

回到 GHZ 示例,若目标硬件是线性拓扑 q0—q1—q2,CNOT(q0, q2) 不能直接执行,需要借助 SWAP 把 q2 移到相邻位置。一次 SWAP 由 3 个 CNOT 构成,因此该线路的 CNOT 数从 2 增至 6,深度从 3 增至 7。这说明拓扑约束会显著改变资源数字,估算时不能只看抽象线路。

资源估算报告若只给出“T 门数”一个数字,通常不足以支撑可行性判断。至少应同时给出逻辑比特、物理比特、T 门数、CNOT 数、深度与辅助比特峰值,并注明门集与分解策略。

把上述规则落到操作上,可以按以下顺序推进:先写出算法的高层门序列并固定比特编号约定;再选定目标门集,逐类门套用分解规则,记录每类门的展开系数;然后统计 T 门、CNOT 与深度,并单独记录辅助比特的峰值占用与恢复情况;最后根据硬件拓扑做近邻化修正,得到可用于可行性分析的资源表。每一步的假设都应显式写出,避免不同人复算时得到不一致的结果。