3. 量子门与线路基础回顾
在进入数据装载与状态制备的具体方法之前,需要把量子线路的“语法”重新梳理一遍。量子算法最终都要落到一条由量子门按时间顺序排列而成的线路上,而状态制备本质上就是“设计一条门序列,把某个简单的初始态变成目标态”。因此,理解单量子比特门、受控门、多量子比特门、逆门、通用门集,以及线路深度与宽度的含义,是后续所有制备技巧的基础。
单量子比特门:旋转与相位
单量子比特门作用在一个量子比特的二维状态空间上,可以用 2×2 酉矩阵表示。最基础的是泡利门:X 门实现比特翻转,把 |0⟩ 与 |1⟩ 互换;Z 门只翻转 |1⟩ 的相位,使 |1⟩→−|1⟩;Y 门则同时引入比特翻转与相位变化。真正用于连续调节的是旋转门 Rx(θ)、Ry(θ)、Rz(θ),它们分别绕布洛赫球的 X、Y、Z 轴旋转角度 θ。
在状态制备中,Ry(θ) 尤其常用,因为它能把 |0⟩ 变成 cos(θ/2)|0⟩+sin(θ/2)|1⟩,直接控制振幅大小。例如要制备单比特态 √0.9|0⟩+√0.1|1⟩,只需令 θ=2·arcsin(√0.1)≈0.6435 rad,施加一个 Ry(0.6435) 即可。相位信息则由 Rz(θ) 或相位门 P(φ) 提供,它不改变测量概率,却决定了后续干涉的结果。Hadamard 门 H 可以看作绕 (X+Z)/√2 轴旋转 π,是产生叠加态最常用的工具。
受控门与多量子比特门
受控门引入条件逻辑:当控制比特处于 |1⟩ 时,才对目标比特施加某个操作。最典型的是 CNOT(受控 X),它把控制比特与目标比特关联起来,是生成纠缠的核心。受控 Z(CZ)在控制与目标都为 |1⟩ 时施加 −1 相位,常用于相位型纠缠制备。更一般地,可以把任意单比特门 U 变成受控 U,记作 CU。
多量子比特门还包括 Toffoli(CCNOT,双控制 X)和 Fredkin(受控交换)。它们并非“更高级的魔法”,而是可以由单比特门与 CNOT 组合分解出来。理解这一点很重要:状态制备时我们往往先用多比特门写出简洁的逻辑,再在实现层面把它拆成硬件支持的门集。
逆门与通用门集
每个酉门 U 都存在逆门 U†,满足 U†U=I。由于量子演化必须可逆,线路中任何一步都能被撤销。逆门在状态制备中的价值在于“试错与回退”:如果某段子线路没有产生预期相位,可以用其逆门抵消,再换一种分解。常见逆门包括 X†=X、H†=H、S†、T†,以及旋转门的 Rz(−θ)。
通用门集是指一组能任意逼近任意多比特酉变换的门集合。一个经典结论是:单比特门加上 CNOT 构成通用门集。硬件上更常见的通用集合是 {H, T, CNOT} 或 {Rx, Ry, Rz, CNOT}。前者是“容错友好”的离散集合,后者是“连续可调”的旋转集合。状态制备时,若目标态精度要求高,通常用连续旋转门直接构造;若面向容错编译,则需把旋转角分解成 H、T 的序列。
线路深度与宽度
线路宽度指线路使用的量子比特数,等于寄存器规模;线路深度指从输入到输出最长路径上的门层数,同一层内可并行执行的门不计入额外深度。深度直接关系到退相干时间:深度越大,线路运行越久,噪声累积越多。因此在状态制备中,一个核心工程目标就是“在保证精度的前提下压缩深度”。
压缩深度的常用手段包括:把可交换的门重排到同一层并行执行;用更高效的分解替换冗长分解;利用目标态的结构(如稀疏性、对称性)跳过不必要的门。例如制备均匀叠加态时,对 n 个比特各施加一个 H 门,深度仅为 1,宽度为 n;而若用逐比特受控旋转去逼近,深度会随 n 线性增长,显然前者更优。
状态制备对门序列的基本要求
把上述概念落到状态制备任务上,一条合格的门序列需要满足四点。第一是正确性:从固定初始态 |0…0⟩ 出发,作用完整序列后得到的态与目标态在允许误差内一致,通常用保真度 F=|⟨ψ_target|ψ_actual⟩|² 衡量,工程上常要求 F≥0.99。第二是可逆性一致:序列中每个门都有明确逆门,便于误差回退与相位校正。第三是深度可控:在目标精度下尽量缩短关键路径。第四是门集匹配:序列最终要能编译到目标硬件支持的门集上,否则再优雅的分解也无法执行。
下面这张图把“目标态 → 门序列 → 线路参数 → 硬件约束”的关系集中呈现出来,帮助建立从数学目标到可执行线路的整体视角。
从图中可以看到,状态制备并不是“随便写几个门”就结束,而是一个从目标态出发、经过分解与编译、受硬件约束、再用保真度验证的闭环。实际动手时,建议先写出目标态的振幅与相位表达式,再判断它是否具有可分解的结构(如均匀叠加、GHZ 型纠缠、稀疏振幅),据此选择单比特旋转、受控门或两者组合。若目标态是 n 比特均匀叠加,直接对每个比特施加 H 门即可,深度为 1;若是 GHZ 态 (|0…0⟩+|1…1⟩)/√2,则用 H 门加一条 CNOT 链,深度为 n,宽度为 n。