kp-013 读懂量子线路：宽度、深度与优化

一句话定义

量子线路用水平导线表示量子比特的时间线、从左到右排列门序列；宽度是比特数、深度是关键路径上的门数——两者共同决定一个电路能否在真实硬件上跑得动。

为什么重要

线路是本领域的"五线谱"：论文、白皮书、新闻配图都以线路表达算法；云平台编程的最终产物也是线路。更现实的是，深度直接对接噪声预算——NISQ 设备的相干时间有限（kp-020），深度超限则结果退化为噪声。会不会读线路、会不会估算深度，决定你能否判断"这个实验是真突破还是宣传图"。

前置知识

kp-010–kp-012（单比特门、CNOT、门集概念）。本节不引入新数学，侧重规范与工程判断。

核心概念

读图规范：每条水平线是一个量子比特（左端标初态），门依时间从左到右作用；同一竖线上的门同时执行。
宽度（width）：线路使用的量子比特数；对应硬件需求下限。
深度（depth）：任意一条比特时间线上串联的最大门数；对应运行时长与噪声累积。
测量与经典线：测量盒 + 双线经典导线；经典比特可再控制后续操作（条件逻辑）。
线路等价：交换互不相交的门、消去对合门（HH=I）、利用恒等式（HZH=X）化简。
编译（transpile）：把算法线路翻译成目标设备的原生门集 + 拓扑（比特连接图），并插入 SWAP 弥补连接缺失。

直观类比

把线路想成工厂流水线的甘特图：宽度是工位数，深度是最忙那条工线的工序数——工期由最忙者决定。硬件连接图则是车间的"工位相邻关系"：如果工序 q0–q3 需要对接而工位不相邻，就得加"转运"（SWAP），每转运一次都是成本。NISQ 的现实是：流水线太长（深度大），产品在完工前就变质（退相干，kp-020）。

原理与机制

深度为何关键：每个门都有错误率 p_gate，深度 d 的线路总错误近似 1−(1−p)^d·n_eff，随 d 指数劣化；同时线路必须跑在相干时间 T₂ 之内，d·t_gate ≪ T₂ 才有意义。超导平台单门约 20–40 ns、T₂ 约 100–300 μs，粗算深度上限千级；离子阱门慢（μs 级）但保真度高、全连接省 SWAP——这是 kp-021/kp-022 平台对比的量化起点。等价变换为何重要：化简能直接降深度。例如相邻的 HH 抵消；HZH 换成 X（深度 3→1）；把不共享比特的门并行排布压深度。编译器（Qiskit 的 transpile、各云平台后端）自动化上述过程：选映射、插入 SWAP、分解到原生门、做拓扑感知调度——同一段代码在不同设备上的深度可以差数倍。

公式或模型

错误预算近似：F ≈ (1 − p_1q)^n₁ · (1 − p_2q)^n₂，n₁、n₂ 为单/双比特门总数。
时间预算：d · t_gate ≪ T₂（超导：约 10³ 门量级；离子阱：门慢 100 倍但 T₂ 长一个量级以上）。

图示

q0: |0⟩ ──■────────────M──
          │            ║╲
q1: |0⟩ ──⊕──H──■──────M──║ ╲  c0: ═══╩═══
                │           ║  ╲ c1: ═══════
q2: |0⟩ ────────⊕──────M───║
（Bell 对制备 + 第三比特比较；║ 为经典条件线）

实例或案例

判断一条新闻的实用步骤：拿到线路图，先数宽度与双比特门数；再除以设备公开的拓扑与错误率，估算"理论成功概率 = (1−p₂)^#CNOT"。若某 60 比特、含 1000 个 CNOT 的实验宣称高保真，而设备单 CNOT 错误率 1%，则 (0.99)¹⁰⁰⁰ ≈ 4×10⁻⁵——宣传与算术冲突，值得怀疑。这就是线路素养的日常用法。

与其他知识点的关系

kp-019 的变分算法对深度最敏感，浅 ansatz 是其立足点；kp-026 的容错方案通过牺牲宽度（上千物理比特换一个逻辑比特）来无限延长有效深度；kp-030 把本节的标准流程变成可运行的工具链。

常见误区

"宽度是唯一规模指标"：深度与双比特门数往往更决定成败；千比特浅电路与十比特深电路是两种工程问题。
"线路画法唯一"：等价线路无穷多；比较算法优劣应比较化简后的深度/门数，而非图面观感。
"编译是无损翻译"：翻译到受限拓扑通常增加 SWAP，深度上升；跨平台比较必须用各自编译后的结果。

自测题

宽度 5、深度 3 的电路意味着什么？

答案要点：使用 5 个比特；任一比特时间线最多串联 3 层门；最坏运行时长约 3 个门周期。

为什么两个不相交的单比特门可以在同一"层"执行？

答案要点：它们作用在不同比特上，矩阵为张量积关系，物理上可并行脉冲，深度计 1。

估算：单 CNOT 错误率 0.5% 的设备跑 200 个 CNOT 的电路，粗略成功上限？

答案要点：(0.995)²⁰⁰ ≈ e⁻¹ ≈ 37%（只计双比特门），再扣单比特与读出错误只会更低。

延伸阅读

A. Cross 等 (2017) "Open Quantum Assembly Language"（OpenQASM，线路的文本标准）；M. A. Nielsen、I. L. Chuang《Quantum Computation and Quantum Information》4.3–4.4 节。

读懂量子线路：宽度、深度与优化