1. 课程导入与验证对象界定

量子电路验证与正确性分析，解决的是一个非常具体的问题：我们如何确信一段量子电路在目标硬件或目标编译流程下，仍然实现了我们想要的量子操作？在经典数字电路里，验证通常意味着比对真值表、检查时序约束、跑形式等价工具；而在量子场景中，"正确"不再只有一种含义——它可能是门级网表的逻辑等价，可能是含噪声执行后的概率分布接近，也可能是理想情况下两个酉矩阵在算子范数意义下足够接近。本课程的目标，就是建立一套从验证对象界定、等价判据选择，到具体工具与实验方法的完整能力体系。

一、为什么量子电路验证比经典验证更棘手

经典电路的状态是确定的 0/1 组合，验证可以穷举或符号化。量子电路则有三重困难。第一，状态空间指数增长：n 个量子比特的态向量有 2ⁿ 个复振幅，30 个比特就无法直接存储完整态向量。第二，不可克隆与测量坍缩：我们无法像读寄存器那样反复读取量子态，一次测量只能得到概率性结果，且会破坏原态。第三，噪声与退相干：真实设备上执行的电路与理想电路之间存在系统性偏差，验证必须区分"设计错误"和"硬件噪声"。

因此，量子电路验证不是单一技术，而是一组按对象和判据组织的技术集合。理解这一点，是后续所有章节的出发点。

二、三类验证对象：门级、脉冲级、编译后电路

验证对象决定了我们"对什么做断言"。本课程聚焦三类对象，它们处于量子计算栈的不同层次。

门级电路是最常见的验证对象，由 H、X、CNOT、RZ、RX 等标准门构成，通常以 QASM 或量子线路图表示。门级验证关注的是：门序列是否实现了目标逻辑，例如一个三比特 GHZ 态制备电路是否真的产生 (|000⟩+|111⟩)/√2。这一层的等价判据通常是酉矩阵等价或状态向量等价。

脉冲级描述是门级之下的物理实现层。一个 CNOT 门在超导硬件上可能被展开为若干微波脉冲、磁通脉冲和等待时间，参数包括脉冲幅度、持续时间、相位、耦合强度。脉冲级验证关注的是：给定脉冲序列，在含噪声动力学模型下，实际演化的过程矩阵是否接近目标门。这一层必须引入开放量子系统模型，判据从酉等价扩展为过程保真度或平均门保真度。

编译后电路是介于两者之间的对象。编译器会把逻辑电路映射到硬件拓扑，插入 SWAP、分解非原生门、做门合并与调度。编译后电路的验证要回答：编译变换是否保持了功能等价？例如，一个逻辑 CNOT 在有限连通图上被展开为 CNOT + 若干 SWAP，其整体酉矩阵是否仍等于原 CNOT（在忽略全局相位意义下）。

三、三种正确性定义及其适用边界

功能等价是最直观的定义：两个电路在任意输入态下产生相同的输出态。严格地说，若电路 A 和 B 的酉矩阵满足 U_A = e^{iφ} U_B（φ 为全局相位），则它们在物理上不可区分，因为全局相位不产生可观测效应。功能等价适合门级和编译后电路的验证，可以用矩阵比对、决策图或形式化工具检查。

概率分布等价是更宽松、也更贴近实验的定义：对相同的输入态和测量基，两个电路输出各比特串的概率分布相同。它不要求振幅的相位一致，只要求 |⟨x|U_A|ψ⟩|² = |⟨x|U_B|ψ⟩|²。这一判据适合含测量噪声的场景，例如在真实超导设备上比较编译前后电路的采样结果。需要注意，概率分布等价弱于酉等价：两个电路可能分布相同但酉矩阵不同。

酉矩阵等价是最强的定义，要求两个电路的完整酉矩阵在忽略全局相位后逐元素相等。它适合理想仿真环境下的严格验证，也是形式化等价检查的基础。对于含噪脉冲级电路，严格酉等价通常不成立，此时改用过程保真度 F(χ₁, χ₂) 作为量化判据，例如要求 F ≥ 0.99。

四、整体学习路线

本课程按"对象—判据—方法—工具—案例"的逻辑展开，共 30 章。前几章建立验证对象与正确性定义的基础，随后分别深入门级等价检查、编译变换验证、脉冲级含噪验证三条主线。每条主线都会给出可执行的示例：例如用状态向量仿真验证 GHZ 电路、用 QASM 比对检查编译前后 CNOT 展开、用过程层析估计脉冲级 CNOT 的保真度。后半部分进入工具链与综合案例，包括形式化等价工具、随机化基准测试、影子层析，以及一个从逻辑电路到硬件执行的端到端验证项目。

学习本课程不需要预先掌握量子计算的全部理论，但需要具备基本的线性代数（矩阵乘法、复向量、张量积）和量子门常识（H、X、CNOT、RZ 的作用）。如果你能写出一个两比特电路的 4×4 酉矩阵，并理解测量得到 |00⟩ 的概率是振幅模平方，就足以开始。

五、一个贯穿全课的最小示例

为了让后续章节有共同参照，这里给出一个最小验证任务：验证三比特 GHZ 态制备电路。目标态为 |GHZ⟩ = (|000⟩ + |111⟩)/√2。门级电路为 H(q0) → CNOT(q0,q1) → CNOT(q1,q2)。在理想仿真下，我们可以直接计算状态向量，检查 |000⟩ 和 |111⟩ 的振幅是否均为 1/√2，其余振幅是否为 0。若把该电路编译到线性连通拓扑 q0—q1—q2 上，CNOT(q0,q1) 和 CNOT(q1,q2) 本身已满足邻接约束，无需插入 SWAP，编译后电路应与原电路酉等价。若进一步展开到脉冲级，则需要用含噪模型仿真，观察 |000⟩ 和 |111⟩ 的采样概率是否仍接近 0.5，并用过程保真度量化偏差。

这个示例将在后续章节中反复出现：门级验证用状态向量，编译验证用酉矩阵比对，脉冲验证用保真度与采样分布。三种对象、三种判据、三种手段，正好对应本课程的核心结构。