3. 量子计算模型与线路基础
量子计算模型的核心,是把一个物理量子系统抽象成可编程的计算资源。与经典比特只能处于 0 或 1 不同,量子比特(qubit)可以处于基态 |0⟩ 和 |1⟩ 的叠加态:|ψ⟩ = α|0⟩ + β|1⟩,其中 α、β 为复数振幅,满足 |α|² + |β|² = 1。测量时,系统以 |α|² 的概率坍缩到 |0⟩,以 |β|² 的概率坍缩到 |1⟩。这意味着量子线路的输出天然带有概率性,必须通过多次运行(shots)统计频率来估计概率分布。
多量子比特系统通过张量积组合。两个量子比特的联合态空间维数为 4,基为 |00⟩、|01⟩、|10⟩、|11⟩。n 个量子比特的态空间维数为 2ⁿ,振幅向量长度随比特数指数增长,这正是量子并行性的来源,也是经典模拟量子线路困难的根本原因。
量子门与线路
量子门是对量子态进行的酉变换 U,满足 U†U = I,因此量子门可逆且保内积。单比特门中,Pauli 门 X、Y、Z 分别对应比特翻转、带相位翻转和相位翻转;Hadamard 门 H 把 |0⟩ 变为 (|0⟩+|1⟩)/√2,是制造叠加的关键;相位门 S、T 只改变 |1⟩ 的相位。绕任意轴旋转可由 Rx(θ)、Ry(θ)、Rz(θ) 描述,例如 Rx(θ) = cos(θ/2)I − i sin(θ/2)X。
两比特门中,受控非门 CNOT 是最常用的纠缠源:当控制位为 |1⟩ 时翻转目标位。把 H 作用在控制位、再执行 CNOT,可制备 Bell 态 (|00⟩+|11⟩)/√2,这是最典型的纠缠资源。量子线路就是按时间顺序排列的量子门序列,从左到右表示时间推进,每条水平线代表一个量子比特,末端通常接测量操作。
通用门集与编译
并非任意门集都能实现任意酉变换。若一个门集能以任意精度逼近任意多比特酉操作,则称其为通用门集。常见选择是 Clifford+T 门集:Clifford 门(H、S、CNOT)易于容错实现,T 门提供非 Clifford 资源。Solovay–Kitaev 定理表明,有限通用门集可以高效逼近目标门,但逼近精度 ε 与门数呈多项式对数关系。实际编译时,先把算法分解为单比特旋转和 CNOT,再把旋转分解为 H、T 序列,最后映射到硬件拓扑上允许的耦合边。
量子并行性与纠缠资源
量子并行性来自线性叠加:对 n 个比特施加 H 门后,系统同时处于 2ⁿ 个基态的等幅叠加。若再作用一个函数求值门 U_f: |x⟩|y⟩ → |x⟩|y⊕f(x)⟩,一次调用即可同时计算所有输入的 f(x)。但并行性不等于可直接读出所有结果,测量只能得到一个基态。Deutsch–Jozsa、Grover、Shor 等算法正是通过干涉,把目标答案的振幅放大、把错误答案的振幅抵消,从而在测量时以高概率得到所需结果。
纠缠是另一类关键资源。以 Bell 态为例,两个比特的测量结果完全关联,无法写成各自状态的乘积。纠缠使量子线路能够表达经典线路无法高效表达的关联结构,也是量子隐形传态、超密集编码和量子纠错的基础。在资源估算中,通常用 T 门数量、CNOT 数量和纠缠比特数来衡量线路代价。
一个可复现的示例:制备 Bell 态并统计
下面用 Qiskit 风格伪代码给出一个最小线路,目标是在 q₀、q₁ 上制备 (|00⟩+|11⟩)/√2,并统计测量结果。示例参数为 shots = 4096,属于教学假设,实际运行会因硬件噪声略有偏差。
from qiskit import QuantumCircuit, Aer, execute
qc = QuantumCircuit(2, 2)
qc.h(0) # q0: |0> -> (|0>+|1>)/√2
qc.cx(0, 1) # 纠缠:控制 q0,目标 q1
qc.measure([0, 1], [0, 1])
backend = Aer.get_backend('qasm_simulator')
result = execute(qc, backend, shots=4096).result()
counts = result.get_counts()
print(counts)
# 理想输出近似:{'00': 2048, '11': 2048}
判断结果是否正确的依据是:只出现 00 和 11,且两者频率接近 0.5;若出现 01 或 10 且比例显著,说明 CNOT 未正确纠缠或存在读出错误。若在真实硬件上运行,还需扣除读出误差,常用方法是先跑校准线路得到混淆矩阵,再对 counts 做修正。
从线路到硬件:拓扑与映射
真实超导或离子阱设备并非全连接。例如某设备耦合图为 q₀–q₁、q₁–q₂、q₂–q₃ 的线形拓扑,若算法需要在 q₀ 和 q₃ 之间执行 CNOT,就必须插入 SWAP 门把量子态搬运到相邻位置。SWAP 由三个 CNOT 组成,会显著增加门数和错误率。因此编译阶段要做的关键决策是:选择初始映射、插入最少的 SWAP、并在必要时改变线路中门的顺序以降低深度。评估指标通常包括线路深度、CNOT 总数和估计保真度。
综合来看,量子计算模型可以概括为:量子比特提供指数级状态空间,量子门实现酉演化,量子线路组织计算过程,通用门集保证可编程性,量子并行性提供一次性遍历多输入的能力,纠缠则提供经典资源难以复制的关联。理解这五者的分工与代价,是后续学习量子线性系统算法、HHL 和量子奇异值变换的基础。