4. 玻色信道与错误模型

玻色编码之所以需要纠错,根本原因在于:任何真实的物理实现都不可能把量子谐振子与外界完全隔离。微波腔、光纤、超导传输线等玻色模式,总会与热库、放大器、控制线路发生耦合,从而引入连续变量层面的错误。与离散量子比特的比特翻转、相位翻转不同,玻色模式的错误表现为光子数改变、相位随机化或两者叠加。本节把最常见的四类玻色高斯信道——损耗、增益、热噪声、退相位——放在同一框架下分析,说明它们如何作用于量子态,以及为什么它们决定了猫码纠错策略的设计方向。

一、玻色高斯信道的基本描述

玻色高斯信道是一类把高斯输入态映射为高斯输出态的完全正定保迹映射。在相空间(以正交分量 x 与 p 为坐标)中,它可以用两个参数刻画:一个是作用在态上的位移或增益/衰减因子,另一个是叠加的噪声协方差矩阵。对于单模玻色系统,若用湮灭算符 a 表示模式,则信道在 Heisenberg 表象下可写成:

a_out = √η · a_in + √(1-η) · e

其中 η 是透射率或增益系数,e 是环境引入的噪声算符。当 e 处于真空态时,对应纯损耗;当 e 处于热态时,对应热噪声;当 η>1 时,对应增益。退相位则不同,它不改变平均光子数,只让相干性随相位随机化而衰减。理解这四类信道的差异,是判断猫码能否有效纠错的前提。

四类玻色高斯信道对量子信息的作用对比 输入量子态 |ψ⟩ = α|0⟩ + β|2⟩ 猫码逻辑态 光子损耗 a → √η a + √(1-η) e_vac η < 1,光子数减少 增益 a → √G a + √(G-1) e† G > 1,光子数增加 热噪声 a → √η a + √(1-η) e_th n_th > 0,方差增大 退相位 ρ → ∫ p(φ) D(φ)ρD†(φ)dφ 光子数不变,相干性衰减 逻辑态保真度下降 |α|² 衰减,奇偶性模糊 可被猫码部分纠正 放大自发辐射 引入额外噪声,破坏编码 需增益补偿与滤波 热光子混入 错误率随 n_th 线性上升 低温冷却是关键 相位信息丢失 猫码相位翻转错误 需相位稳定与反馈 核心结论:损耗与增益改变光子数,热噪声增加方差,退相位破坏相干性——猫码通过奇偶性测量同时对抗两类主导错误

二、光子损耗:最典型的错误来源

光子损耗是玻色模式中最常见的错误。光纤传输、腔体泄漏、探测器效率不足都会导致光子以一定概率丢失。在 Heisenberg 表象下,损耗信道把输入算符变换为 a_out = √η a_in + √(1-η) e,其中 e 是真空噪声算符,η 是透射率。若输入是平均光子数为 n̄ 的相干态,输出平均光子数变为 η n̄,方差也相应缩小。对于猫码而言,损耗最直接的后果是:原本由 |α⟩ 与 |−α⟩ 叠加构成的逻辑态,其两个相干分量的振幅同时衰减,导致奇偶性测量的区分度下降。

设猫码逻辑态为 |0_L⟩ ∝ |α⟩ + |−α⟩,|1_L⟩ ∝ |α⟩ − |−α⟩。经过透射率 η 的损耗后,振幅变为 α' = √η α。当 α' 小到与热噪声水平相当时,两个逻辑态的奇偶性分布发生重叠,纠错失败概率急剧上升。因此,猫码设计中的一个关键参数是“编码增益”:只有当 α² 足够大,使得损耗后的奇偶性峰仍然可分辨,纠错才能有效。实际系统中,通常要求 η 在 0.9 以上,α² 在 4~8 之间,才能获得明显的纠错增益。

三、增益与热噪声:噪声的两种“加法”

增益信道可以看作损耗的“反向”过程:a_out = √G a_in + √(G−1) e†,其中 G>1。它把真空涨落也一并放大,产生放大自发辐射噪声。在量子通信中,增益常出现在放大器环节;在超导量子计算中,参量放大器若增益过高,会引入额外热光子。增益对猫码的威胁在于:它使两个相干分量的振幅同时增大,但噪声也同步增大,信噪比未必改善,反而可能让奇偶性峰变宽。

热噪声则是损耗与热环境的结合:a_out = √η a_in + √(1−η) e_th,其中 e_th 处于平均热光子数为 n_th 的热态。热噪声的方差为 (1−η)(2n_th+1)。当 n_th 从 0 增加到 0.1 时,猫码的纠错阈值会明显下降。在稀释制冷机中,若腔体温度约为 20 mK,对应 n_th 约 0.01~0.05;若温度升到 100 mK,n_th 可超过 0.2,此时热噪声将成为主导错误。因此,低温环境与低损耗腔体设计是猫码实验的两大硬件前提。

四、退相位:不丢光子却丢相干性

退相位信道与前三者不同,它不改变平均光子数,而是让相位随机化。其作用可写成 ρ → ∫ p(φ) D(φ) ρ D†(φ) dφ,其中 D(φ) 是位移算符,p(φ) 是相位扩散分布。若相位扩散服从方差为 σ² 的高斯分布,则退相位速率与 σ² 成正比。对猫码而言,退相位直接破坏 |α⟩ 与 |−α⟩ 之间的相干叠加,使逻辑态向混合态退化。猫码的奇偶性测量对相位错误并不敏感,因为奇偶性只依赖于光子数的奇偶,而不依赖于相位。但退相位会降低逻辑态的保真度,并影响后续的纠错反馈。

在实际系统中,退相位主要来自激光相位噪声、腔体频率抖动以及控制脉冲的不完美。例如,若腔体频率漂移 δω,则相位扩散方差约为 σ² ≈ (δω·t)²。对于 t = 1 μs、δω = 2π×1 kHz 的情况,σ² ≈ (2π×10⁻³)² ≈ 4×10⁻⁵,退相位影响较小;但若 δω 达到 2π×100 kHz,σ² 将增大四个数量级,退相位成为主要错误。因此,频率稳定与相位锁定是猫码实验中不可忽视的工程环节。

五、四类信道的组合与纠错策略

真实系统往往同时存在多种信道。一个典型的超导猫码实验可能同时经历:腔体损耗(η ≈ 0.95)、热噪声(n_th ≈ 0.03)、退相位(σ² ≈ 10⁻⁴)以及读取链路的增益噪声。此时,总错误模型可近似为复合高斯信道。猫码纠错的核心思路是:利用奇偶性测量把光子数奇偶错误投影出来,再通过反馈控制纠正。对于损耗和热噪声,奇偶性测量能有效区分“丢失一个光子”与“没有丢失”;对于退相位,则需要额外的相位稳定手段。

下表给出四类信道在典型参数下的影响对比,可作为实验设计的参考:

信道类型 关键参数 对光子数的影响 对相干性的影响 猫码应对方式
光子损耗 透射率 η 平均光子数 × η 振幅衰减,奇偶性模糊 奇偶性测量 + 反馈
增益 增益 G 平均光子数 × G 噪声同步放大 增益补偿 + 滤波
热噪声 热光子数 n_th 方差增加 (1−η)(2n_th+1) 相干性下降 低温冷却 + 奇偶性测量
退相位 相位方差 σ² 不变 相干性指数衰减 频率稳定 + 相位锁定
实验判断依据:若奇偶性测量中两个峰的间距小于峰宽的 2 倍,则纠错增益基本消失。此时应优先降低 n_th 或提高 η,而不是单纯增大 α²,因为增大 α² 也会放大增益噪声和退相位影响。