CNOT 与受控操作:纠缠的制造者
一句话定义
受控非门(CNOT/CX)以第一个比特为条件翻转第二个比特:控制位为 |1⟩ 时目标位执行 X,控制位为 |0⟩ 时目标位不动——它是双比特门,也是制备纠缠的最小工具。
为什么重要
单比特门再丰富也造不出纠缠:两个独立的单比特演化只能张成可分离态。纠缠的"制造工序"必须有跨比特的非局部操作,CNOT 是其中最便宜、最通用的一个。算法里的相位回踢(kp-015)、隐形传态的 Bell 测量(kp-014)、纠错码的校验子提取(kp-025)全部以 CNOT 为主力。同时它也是硬件上最昂贵的门——双比特门错误率通常是单比特的 5–20 倍(kp-020、kp-026 的核心矛盾)。
前置知识
kp-009(张量积与两比特基矢)、kp-010(X 门与矩阵写法)。本节首次写 4×4 矩阵,会给出完整展开。
核心概念
- 真值表:|00⟩→|00⟩,|01⟩→|01⟩,|10⟩→|11⟩,|11⟩→|10⟩——只在控制位为 1 时翻转目标。
- 矩阵形式:4×4 酉矩阵,对计算基是置换矩阵。
- 作用于叠加态:对 (|00⟩+|10⟩)/√2 作用得 (|00⟩+|11⟩)/√2——输出不可分离,纠缠诞生。
- 反向视角:CNOT 同时把控制位"标记"了目标的值(XOR 入控制位),因此也是可逆计算的基石(Toffoli 是它的三比特推广)。
- 受控 U 的一般形式:控制位为 1 时执行任意 U;CNOT 即受控 X。
直观类比
CNOT 像一个"联动的开关排":拨动目标开关前,先偷看控制开关——若控制为开,就把目标拨到相反位置。对确定的开/关组合,这就是普通复制逻辑;但面对"半开半合"(叠加)的控制位,量子规则要求整体演化:目标不是被拨到某个确定位置,而是和控制位一起进入谁也拆不开的联合状态。这一点使 CNOT 与经典复制机有本质区别(呼应 kp-005 的不可克隆)。
原理与机制
矩阵与纠缠推导。CNOT 的 4×4 矩阵(基序 |00⟩,|01⟩,|10⟩,|11⟩):
[[1,0,0,0],[0,1,0,0],[0,0,0,1],[0,0,1,0]]。
Bell 态制备:H⊗I 把 |00⟩ 变成 (|00⟩+|10⟩)/√2(只有控制位叠加,可分离);CNOT 把两项分别映射为 |00⟩ 与 |11⟩,得 (|00⟩+|11⟩)/√2。按 kp-009 的判据,系数满足 ac=bd=1/√2、ad=bc=0,无解——不可分离,纠缠成立。换个角度理解:CNOT 实现了"把第一个比特的信息写入两比特的联合奇偶性",而奇偶性不属于任何一个比特——这正是纠缠的代数面目。反向电路:CNOT 是自逆的(真值表两次应用还原),H 也是自逆,所以 Bell 制备电路倒着走一遍就回到 |00⟩——这个可逆性在 kp-014 的 Bell 测量中直接被利用。
公式或模型
CNOT|c,t⟩ = |c, t⊕c⟩(⊕ 为异或)。
纠缠制备:(H⊗I)|00⟩ = (|00⟩+|10⟩)/√2 → CNOT → (|00⟩+|11⟩)/√2。
对任意受控 U 的块矩阵:controlled-U = |0⟩⟨0|⊗I + |1⟩⟨1|⊗U——用 kp-007 的外积记法一行写尽。
图示
实例或案例
kp-030 的入门实验"Bell 态 + 两个方向测量":运行上述电路并分别在 Z 基与 X 基测量,前者得完美关联(00 与 11 各半),后者同样全关联——两次测量联合起来已能在真机上窥见 kp-004 的贝尔关联雏形。工业层面,IBM/Google 处理器的双比特门错误率约 0.3%–1%(2023–2024 公开数据量级),而单比特错误率约 0.01%–0.1%——比值决定了纠错的成本结构(kp-026)。
与其他知识点的关系
kp-009 提供两比特态空间与纠缠判据;kp-014 的隐形传态电路含两个 CNOT;kp-015 的相位回踢把 CNOT 用在 |−⟩ 目标上;kp-025 的校验子提取就是一排 CNOT。
常见误区
- "CNOT 复制了控制位":只对计算基成立;对 |+⟩|0⟩ 得到纠缠态而非 |+⟩|+⟩,与不可克隆定理一致。
- "CNOT 对称":控制与目标角色不可交换;CNOT(a→b) 与 CNOT(b→a) 配合 H 可相互转换,但本身不同。
- "CNOT 很便宜":数学上它是一个 4×4 矩阵,物理上却是最难做好的门——跨比特相互作用需要介质(声子、耦合器、里德堡阻塞),介质即噪声源。
自测题
- 写出制备 (|01⟩+|10⟩)/√2 的电路。
- CNOT 作用在 |+⟩|1⟩ 上结果是什么?是否纠缠?
- 为什么说 CNOT 是自逆的,这有什么用?
答案要点:X 作用在 q1 得 |01⟩,接 H⊗I(作用 q0)与 CNOT:|01⟩ → (|01⟩+|11⟩)/√2 → CNOT → (|01⟩+|10⟩)/√2。
答案要点:( |01⟩ + |10⟩ )/√2,是纠缠态(kp-009 判据)。
答案要点:真值表为对合置换,两次作用还原;可用于构造 Bell 测量(kp-014)与线路化简(kp-013)。
延伸阅读
M. A. Nielsen、I. L. Chuang《Quantum Computation and Quantum Information》4.2 节;N. D. Mermin《Quantum Computer Science》第 2 章关于受控门的系统论述。