2. 量子比特与量子门基础

数字量子模拟的最终执行载体是量子线路,而量子线路由量子比特和量子门构成。要理解哈密顿量演化如何被“翻译”成可运行的量子程序,必须先建立量子比特表示、单比特门、受控门以及线路模型的基本图像。本节从表示方式出发,逐步过渡到门操作与线路约束,最后落到数字量子模拟对量子门的具体要求。

量子比特的表示

经典比特只能处于 0 或 1,量子比特则处于二维复向量空间中的单位向量。取计算基 |0⟩ 与 |1⟩,任意单量子比特纯态可写为

|ψ⟩ = α|0⟩ + β|1⟩,  α, β ∈ ℂ,  |α|² + |β|² = 1

其中 α、β 称为概率幅,|α|² 与 |β|² 分别是测量得到 0 和 1 的概率。由于全局相位不可观测,单比特纯态也可用布洛赫球上的一个单位向量表示:极角 θ 与方位角 φ 决定

|ψ⟩ = cos(θ/2)|0⟩ + e^{iφ} sin(θ/2)|1⟩

|0⟩ 位于北极,|1⟩ 位于南极,|+⟩=(|0⟩+|1⟩)/√2 与 |−⟩=(|0⟩−|1⟩)/√2 位于赤道。布洛赫球的价值在于:单比特门就是球面上的旋转,旋转轴与旋转角直接对应门的参数。多量子比特系统则用张量积描述,例如两比特基为 |00⟩、|01⟩、|10⟩、|11⟩,态向量维度为 2ⁿ。这一指数增长正是经典方法难以直接模拟量子系统的原因,也是数字量子模拟存在的意义。

单比特门

单比特门是作用在单个量子比特上的酉变换,满足 U†U = I。常见门及其作用如下:

  • Pauli 门:X 实现比特翻转(|0⟩↔|1⟩),Y 同时引入相位与翻转,Z 实现相位翻转(|1⟩→−|1⟩)。
  • Hadamard 门 H:把 |0⟩ 变为 |+⟩,把 |1⟩ 变为 |−⟩,是产生叠加态的基本工具。
  • 相位门 S、T:S 对 |1⟩ 加 i 相位,T 加 e^{iπ/4} 相位,T 门是通用量子计算中的关键非 Clifford 资源。
  • 旋转门 Rx(θ)、Ry(θ)、Rz(θ):分别绕 x、y、z 轴旋转 θ 角,是数字量子模拟中构造 e^{−iHt} 的核心积木。

以 Ry(θ) 为例,其矩阵为

Ry(θ) = [[cos(θ/2), −sin(θ/2)],
         [sin(θ/2),  cos(θ/2)]]

若输入 |0⟩,输出为 cos(θ/2)|0⟩ + sin(θ/2)|1⟩。取 θ = π/2,则得到等幅叠加态,测量得到 0 与 1 的概率各为 0.5。这说明旋转角直接控制概率幅分配,是后续参数化线路的基础。

受控门与纠缠

受控门由控制比特和目标比特组成:仅当控制比特为 |1⟩ 时,才对目标比特施加相应操作。最典型的是 CNOT 门,其作用为 |00⟩→|00⟩、|01⟩→|01⟩、|10⟩→|11⟩、|11⟩→|10⟩。CNOT 能把乘积态变成纠缠态:对 (|0⟩+|1⟩)/√2 ⊗ |0⟩ 作用 CNOT,得到 (|00⟩+|11⟩)/√2,即 Bell 态。纠缠是多体量子系统关联的核心,也是数字量子模拟必须保留的物理特征。

受控旋转门 CRz(θ) 在控制比特为 |1⟩ 时对目标施加 Rz(θ),常用于把哈密顿量中的相互作用项映射为线路。多控制门可进一步分解为单比特门与 CNOT 的组合,因此实际硬件只需实现少量原生门即可。

量子线路模型

量子线路模型把计算表示为:初始化量子比特 → 依次施加量子门 → 测量。线路按时间从左到右排列,每条横线代表一个量子比特,门用方框或符号表示,CNOT 用控制点与目标点之间的竖线连接。线路必须满足两个约束:一是所有门都是酉操作,保证演化可逆;二是测量通常放在末端,测量后态坍缩,不可继续作为相干计算使用。

下面用一张结构图概括本节的核心对象及其关系:量子比特表示、单比特门、受控门如何共同构成量子线路,并最终服务于数字量子模拟。

量子比特 · 量子门 · 量子线路与数字量子模拟的关系 量子比特表示 |ψ⟩ = α|0⟩ + β|1⟩ |α|² + |β|² = 1 布洛赫球:θ, φ 多比特:张量积 2ⁿ 维 概率幅 → 测量概率 量子门(酉变换 U†U=I) 单比特:X, Y, Z, H, S, T 旋转:Rx(θ), Ry(θ), Rz(θ) 受控:CNOT, CRz(θ) CNOT 产生纠缠 Bell 态 旋转角 θ 控制概率幅 量子线路模型 初始化 → 门序列 → 测量 横线 = 量子比特 方框 = 门,竖线 = 控制 约束:酉性、测量坍缩 时间从左到右 数字量子模拟对量子门的要求 通用性 单比特 + CNOT 可近似任意酉 精度 Trotter 步长与门误差控制 深度与连通性 硬件拓扑限制两比特门 相干时间 门时长需远小于退相干 可分解性 e^{−iHt} 拆为原生门序列 可扩展性 门数量随比特数增长可控

数字量子模拟对量子门的要求

数字量子模拟的目标是近似实现 e^{−iHt}。哈密顿量通常写成若干项之和 H = Σₖ Hₖ,每一项对应一个可高效实现的门或门序列。以横场 Ising 模型为例,H = −J Σ⟨ij⟩ ZᵢZⱼ − h Σᵢ Xᵢ,其中 ZᵢZⱼ 项可用 CNOT 与 Rz 组合实现,Xᵢ 项用 Rx 实现。若采用一阶 Trotter 分解,则

e^{−iHt} ≈ [ Πₖ e^{−iHₖ t/r} ]^r

其中 r 为 Trotter 步数。步数越大,误差越小,但线路深度和门数量随之增加。因此数字量子模拟对量子门提出以下要求:

  • 通用性:门集合必须能近似任意酉操作。单比特旋转门加 CNOT 即构成通用门集,这是把 Hₖ 映射为线路的前提。
  • 精度:每个门的物理误差与 Trotter 截断误差共同决定模拟精度。示例中若单门误差约 10⁻³、步数 r=10,则总误差需按门数量和步数累积估算,不能只看单门指标。
  • 深度与连通性:硬件通常只允许相邻比特间的两比特门。若 Hₖ 作用在远距离比特上,需要插入 SWAP 网络,这会显著增加深度,因此线路映射必须考虑拓扑。
  • 相干时间:门时长乘以总门数必须远小于退相干时间。若单门 20 ns、总门数 10⁴,则线路时长约 200 μs,需与硬件 T₂ 比较判断是否可行。
  • 可分解性:e^{−iHt} 必须能拆成原生门序列。多体项通常先分解为两体项,再分解为 CNOT 与旋转门。
  • 可扩展性:门数量应随比特数多项式增长,避免指数级资源消耗。
判断一条模拟线路是否可行,可按“门集是否通用 → 每项 Hₖ 是否可分解 → 拓扑是否需要 SWAP → 总门数与相干时间是否匹配 → Trotter 步数是否满足精度”的顺序检查。任一环节不满足,都需要调整分解方式或步数。

综上,量子比特提供状态空间,单比特门与受控门提供操作手段,量子线路模型提供组织方式,而数字量子模拟则对门集提出通用、精确、浅深度、可分解、可扩展的综合要求。理解这四者之间的关系,是后续学习哈密顿量演化线路构造的直接基础。