4. 贝尔态制备电路
量子隐形传态的第一步,也是最容易被低估的一步,是制备一个最大纠缠的贝尔态。整个协议能否成功,取决于发送方和接收方共享的这对纠缠比特是否足够“纯”、足够“纠缠”。本节我们聚焦于最基础的实现方式:从计算基态 |00⟩ 出发,用一个 Hadamard 门和一个受控非门(CNOT)构造四种贝尔态,并分析电路结构、输出态验证方法以及实际制备中的误差来源。
四种贝尔态与电路结构
贝尔基由四个最大纠缠态组成,通常记为:
- |Φ⁺⟩ = (|00⟩ + |11⟩)/√2
- |Φ⁻⟩ = (|00⟩ − |11⟩)/√2
- |Ψ⁺⟩ = (|01⟩ + |10⟩)/√2
- |Ψ⁻⟩ = (|01⟩ − |10⟩)/√2
这四个态构成两比特希尔伯特空间的一组正交完备基。从 |00⟩ 出发,只需两步即可得到 |Φ⁺⟩:先对第一个比特施加 H 门,得到 (|0⟩+|1⟩)/√2 ⊗ |0⟩ = (|00⟩+|10⟩)/√2;再以第一个比特为控制位、第二个比特为目标位施加 CNOT,|10⟩ 分量中的目标位翻转,得到 (|00⟩+|11⟩)/√2,即 |Φ⁺⟩。这是最标准的制备路径。
要得到另外三个贝尔态,只需在制备 |Φ⁺⟩ 之后,对其中一个比特追加一个单比特门。具体来说:在第一个比特上追加 Z 门,|11⟩ 分量获得 −1 相位,得到 |Φ⁻⟩;在第二个比特上追加 X 门,|00⟩→|01⟩、|11⟩→|10⟩,得到 |Ψ⁺⟩;若同时追加 Z(第一比特)和 X(第二比特),则得到 |Ψ⁻⟩。这一“H + CNOT + 局域修正”的结构,正是贝尔态制备电路的核心骨架。
输出态验证:从理想态到可观测量
电路画出来只是第一步,真正要确认“制备成功”,必须把输出态与目标贝尔态做比对。理想情况下,|Φ⁺⟩ 在计算基下只出现 |00⟩ 和 |11⟩ 两个结果,各占 50%,且两者相位一致。因此最直接的验证手段是:对两个比特同时做计算基测量,统计大量重复实验的联合计数。若结果只落在 00 和 11 上、且计数接近 1:1,说明布居数分布正确;但这还不足以区分 |Φ⁺⟩ 与 |Φ⁻⟩,因为两者在计算基下的概率分布完全相同,差别只在相位。
要区分相位,需要引入干涉测量。常用做法是对其中一个比特先施加 H 门再做测量,或者直接测量两比特的宇称算符 ZZ 与 XX。以 |Φ⁺⟩ 为例,⟨ZZ⟩ = +1、⟨XX⟩ = +1;而 |Φ⁻⟩ 的 ⟨ZZ⟩ = +1、⟨XX⟩ = −1。通过测量这两个关联量,就能把四个贝尔态区分开。在超导或离子阱平台上,这通常通过联合色散读出或联合门+单发读出实现。实际判据可以写成:联合计数中 00 与 11 的占比之和接近 1(理想为 1),且 XX 关联的期望值符号与目标态一致。
制备误差来源分析
理想电路只有两个门,但真实器件上误差会从多个环节渗入。第一类是单比特门误差:H 门由微波脉冲或激光脉冲实现,脉冲面积标定不准、频率失谐、脉冲泄漏到非计算态,都会让旋转角偏离 π/2。第二类是两比特门误差:CNOT 在超导平台上通常分解为交叉共振或参数化 iSWAP 类门,其条件相位积累对磁通偏置和耦合强度非常敏感,容易出现约 1%–5% 的条件相位偏差,直接破坏 |11⟩ 分量的相位关系。第三类是退相干:T₁ 弛豫让 |11⟩ 分量衰减,T₂ 退相位让叠加态的相位随机化,二者都会降低纠缠保真度。第四类是读出误差:即便态制备正确,联合读出的串扰和分辨不足也会让统计结果偏离理想分布。
一个实用的诊断思路是分层排查。先单独标定 H 门:制备 |+⟩ 态,做 H 后再测量,观察 |0⟩ 与 |1⟩ 是否各占 50%;若偏离,说明旋转角或读出有偏。再单独标定 CNOT:输入 |10⟩ 和 |11⟩,检查目标位是否按控制位正确翻转,并测量条件相位。最后把两者串起来,测量贝尔态保真度 F = ⟨Φ⁺|ρ|Φ⁺⟩。若 F 明显低于单门误差所预期的水平,问题多半出在两比特门的相位积累或串扰上,而不是单比特门。
电路实现中的结构选择
在具体实现时,还有两个结构层面的选择值得注意。其一是“先 H 后 CNOT”与“先 CNOT 后 H”并不等价:前者从 |00⟩ 得到 |Φ⁺⟩,后者得到的是 |Ψ⁺⟩ 类态,控制位与目标位的角色也随之交换。其二是局域修正门的位置:Z 门加在 q₀ 还是 q₁ 上,会改变相位落在哪个分量上,但不会改变纠缠度;工程上通常选择串扰更小、标定更成熟的那条比特链来施加修正门。对于隐形传态协议,发送方和接收方各自持有哪个比特,决定了后续贝尔测量与经典通信的方向,因此制备阶段就应把比特分配固定下来,避免中途交换导致线路重映射引入额外误差。
把以上内容串起来看,贝尔态制备电路虽小,却完整覆盖了“结构—验证—误差”三个层面:H 与 CNOT 给出纠缠骨架,局域修正门扩展出四种贝尔态,联合测量与关联算符提供可判读的验证手段,而单比特门、两比特门、退相干与读出四类误差则构成实际制备中需要逐项压制的对象。理解这一节,是后续贝尔测量与经典纠错能够正确衔接的前提。