4. 纠缠门与电路建模

在量子电路建模中,单比特门负责改变单个量子比特的态,而真正让量子计算具备指数级状态空间能力的,是纠缠门。纠缠门把两个或多个量子比特的态耦合起来,使系统从可分离态进入纠缠态。本节围绕四类常见纠缠门展开:CNOT、CZ、iSWAP 和 Mølmer-Sørensen(MS)门,重点说明它们的矩阵表示、电路符号,以及在建模时如何选择与组合。

一、纠缠门的共同特征与建模约定

纠缠门都是多比特酉操作,其矩阵维度为 2n×2n。在电路建模中,我们通常采用以下约定:

  • 基矢顺序为 |00⟩、|01⟩、|10⟩、|11⟩,即第一个比特为高位、第二个比特为低位;
  • 矩阵按行、列分别对应输入、输出基矢;
  • 电路图中时间从左向右流动,控制比特用实心圆点表示,目标比特用 ⊕ 或方框表示;
  • 所有门默认是理想酉操作,实际硬件中的退相干、门误差在后续章节单独处理。

这些约定必须在整个建模流程中保持一致,否则矩阵与电路符号会错位,导致仿真结果与预期不符。

二、CNOT 门:最常用的受控翻转

CNOT(Controlled-NOT)是最基础的纠缠门。当控制比特为 |1⟩ 时,目标比特翻转;控制比特为 |0⟩ 时,目标比特保持不变。其矩阵表示为:

CNOT =
[1 0 0 0]
[0 1 0 0]
[0 0 0 1]
[0 0 1 0]

从矩阵可以看出,CNOT 对 |00⟩、|01⟩ 保持不变,而把 |10⟩ 映射为 |11⟩、|11⟩ 映射为 |10⟩。电路符号上,控制比特画实心圆点,目标比特画 ⊕,两者用竖线连接。CNOT 是自逆门,连续作用两次等于恒等操作,这一点在电路化简和错误抵消中非常有用。

在建模时,CNOT 常用于制备 Bell 态。例如对 |00⟩ 先作用 H 门,再作用 CNOT,得到 (|00⟩+|11⟩)/√2。这个例子说明:纠缠门本身不产生叠加,但能把已有的叠加“传递”为纠缠。

三、CZ 门:对称的受控相位

CZ(Controlled-Z)门在控制比特和目标比特都为 |1⟩ 时,给态加上一个 −1 相位,其余态不变。其矩阵为:

CZ =
[1 0 0 0]
[0 1 0 0]
[0 0 1 0]
[0 0 0 -1]

CZ 与 CNOT 的关系是:CZ = (I⊗H)·CNOT·(I⊗H)。也就是说,在目标比特两侧各加一个 H 门,CNOT 就变成 CZ。CZ 的电路符号是两个实心圆点之间用竖线连接,没有 ⊕ 符号。由于 CZ 完全对称,控制与目标角色可以互换,这在硬件映射时提供了灵活性。

在超导量子硬件中,CZ 往往比 CNOT 更容易直接实现,因此很多编译流程会优先把 CNOT 转换为 CZ 加单比特 H 门的形式。

四、iSWAP 门:交换并附加相位

iSWAP 门把 |01⟩ 和 |10⟩ 互换,同时给这两个态加上虚数相位 i,其余态不变。其矩阵为:

iSWAP =
[1 0 0  0]
[0 0 i  0]
[0 i 0  0]
[0 0 0  1]

iSWAP 在超导量子比特中非常自然,因为两个相邻比特的交换相互作用直接对应 iSWAP 型耦合。电路符号通常用两个方框之间带 × 的连线表示,或者直接标注 “iSWAP”。iSWAP 本身不是最大纠缠门,但通过调节作用时间可以得到 √iSWAP,再配合单比特门就能构造 CNOT。

建模时要注意:iSWAP 的相位 i 会影响后续干涉结果,不能忽略。如果只关心布居数,可能看不出差别;但一旦涉及相位敏感测量,就必须保留这个虚数因子。

五、Mølmer-Sørensen 门:离子阱中的全局纠缠

Mølmer-Sørensen(MS)门是离子阱量子计算中的核心纠缠门。它通过激光或微波场与离子链的集体运动模式耦合,实现多个离子之间的纠缠。两比特 MS 门的常见形式为:

MS(θ) =
[cos(θ/2)      0          0      -i sin(θ/2)]
[0        cos(θ/2)  -i sin(θ/2)      0      ]
[0       -i sin(θ/2)  cos(θ/2)       0      ]
[-i sin(θ/2)    0          0       cos(θ/2)]

当 θ = π/2 时,MS 门等价于一个最大纠缠门,配合单比特旋转可以实现任意两比特门。MS 门的电路符号通常画成两个比特之间带 “MS” 标记的方框,或者用带参数的菱形表示。与 CNOT 不同,MS 门天然作用于多个比特,且作用时间、激光相位和失谐量都会影响 θ 的取值。

在建模时,MS 门的关键参数是 θ,它由激光脉冲面积决定。实际标定中,我们通过 Rabi 振荡或 parity 扫描来确定 θ 与脉冲时长的关系,再把标定结果写入电路模型。

六、四类门的对比与选择

下表从矩阵结构、电路符号、硬件亲和性和典型用途四个角度对四类门进行对比:

门 矩阵特征 电路符号 硬件亲和性 典型用途
CNOT 受控翻转,自逆 实心点 + ⊕ 通用,需分解 Bell 态、通用门集
CZ 受控相位,对称 双实心点 超导直接实现 相位门、簇态
iSWAP 交换 + i 相位 × 连线或方框 超导交换耦合 √iSWAP 构造 CNOT
MS(θ) 参数化纠缠 MS 方框/菱形 离子阱全局耦合 多比特纠缠、GHZ 态

选择哪类门,取决于目标硬件和编译策略。超导平台常以 CZ 或 iSWAP 为原生门,离子阱平台以 MS 门为核心,而 CNOT 则作为跨平台的通用描述语言。

四类纠缠门的电路符号与矩阵结构对照 CNOT 控制=1 时翻转目标 自逆门 |10⟩↔|11⟩ CZ |11⟩ 加 −1 相位 控制/目标对称 CZ = H·CNOT·H iSWAP × |01⟩↔|10⟩ 加 i 交换耦合原生门 √iSWAP → CNOT MS(θ) MS 参数化纠缠 离子阱全局耦合 θ 由脉冲面积决定 门之间的转换关系与建模选择 CNOT CZ iSWAP MS(θ) H 共轭 √ 分解 多比特扩展 超导平台:CZ / iSWAP 为原生门,CNOT 需编译转换 离子阱平台:MS 门为核心,配合单比特旋转实现通用门集 建模时统一基矢顺序与相位约定,避免矩阵与符号错位

七、建模实操:从矩阵到电路

假设我们要在建模工具中实现一个两比特电路:先对第一个比特加 H 门,再作用 CNOT,最后测量。具体步骤如下:

  1. 初始化两比特态为 |00⟩,对应列向量 [1,0,0,0]T;
  2. 对第一个比特作用 H 门,得到 (|00⟩+|10⟩)/√2;
  3. 作用 CNOT,控制比特为第一个比特,目标为第二个比特,得到 (|00⟩+|11⟩)/√2;
  4. 测量两个比特,理想情况下应等概率得到 00 和 11,且无 01、10 结果。

如果仿真结果出现 01 或 10,说明 CNOT 的控制方向或基矢顺序写反了。这是建模中最常见的错误之一。建议在每次添加纠缠门后,先检查矩阵是否与电路符号一致,再用小规模态矢量仿真验证。

建模提示:在编写电路时,先固定基矢顺序,再写矩阵;电路符号与矩阵必须一一对应。对于参数化门(如 MS(θ)),要把 θ 作为显式参数传入,而不是硬编码在矩阵里。
常见错误:把 CZ 的控制和目标当成不对称门来画,或者把 iSWAP 的虚数相位 i 丢掉。前者会导致电路符号错误,后者会在干涉测量中产生系统性偏差。

总结来说,CNOT、CZ、iSWAP 和 MS 门各有其矩阵结构和电路符号。建模时,先明确基矢顺序和相位约定,再根据目标硬件选择原生门,最后通过小规模仿真验证矩阵与符号的一致性。掌握这些纠缠门的表示方法,是后续构建多量子比特纠缠电路的基础。