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 门数可能相差数倍。因此资源报告必须写明所用门集与分解策略。
辅助比特的使用方式
辅助比特(ancilla)是资源估算中最容易被低估的部分。它们不承载算法输入输出,却决定线路能否在给定拓扑上实现。常见用法有三类:
- 工作辅助比特:用于多控门分解、模运算中的进位暂存,使用后需恢复到 |0⟩,否则会污染后续计算。
- 干净辅助比特:初始为 |0⟩,可复用;脏辅助比特状态未知,只能用于特定容错构造。
- 催化辅助比特:借用后归还,不消耗但占用物理比特,常用于降低 T 门数。
辅助比特数量与线路深度、T 门数之间存在权衡。以 n 控 Toffoli 为例,无辅助比特时 T 门数随 n 线性增长且深度较大;引入一个干净辅助比特后,可用“计算—复制—反计算”结构把部分门并行化,深度下降但辅助比特占用增加。资源估算必须同时报告峰值辅助比特数与总物理比特数。
资源计数的常见约定
为了让不同来源的数字可比,业界形成了一些约定:
| 计数项 | 约定说明 |
|---|---|
| 逻辑量子比特 | 算法直接使用的数据比特,不含辅助比特 |
| 物理量子比特 | 逻辑比特 × 纠错码距离对应开销 + 辅助比特 |
| T 门数 | 容错开销主导项,通常作为首要指标 |
| CNOT 数 | 影响线路深度与近邻化开销 |
| 线路深度 | 按并行层计,需说明是否含测量与重置 |
| 测量/重置次数 | 影响运行时间与反馈延迟 |
一个关键约定是:是否把 Clifford 门计入 T 门数。在表面码容错中,Clifford 门可由横向操作或晶格手术实现,开销远低于 T 门,因此资源报告常把 T 门数单独列出,Clifford 门只报总数。另一个约定是是否计入态制备与蒸馏:T 态蒸馏本身消耗大量物理比特与时间,若忽略会严重低估总资源。
回到 GHZ 示例,若目标硬件是线性拓扑 q0—q1—q2,CNOT(q0, q2) 不能直接执行,需要借助 SWAP 把 q2 移到相邻位置。一次 SWAP 由 3 个 CNOT 构成,因此该线路的 CNOT 数从 2 增至 6,深度从 3 增至 7。这说明拓扑约束会显著改变资源数字,估算时不能只看抽象线路。
把上述规则落到操作上,可以按以下顺序推进:先写出算法的高层门序列并固定比特编号约定;再选定目标门集,逐类门套用分解规则,记录每类门的展开系数;然后统计 T 门、CNOT 与深度,并单独记录辅助比特的峰值占用与恢复情况;最后根据硬件拓扑做近邻化修正,得到可用于可行性分析的资源表。每一步的假设都应显式写出,避免不同人复算时得到不一致的结果。