2. 玻色模式与量子谐振子
在进入玻色编码与猫码之前,必须先建立一个清晰的物理图像:一个玻色模式本质上就是一个量子谐振子。无论是超导微波腔中的电磁场、光学腔中的光场,还是机械振子的某个振动模式,只要它满足玻色对易关系,就可以用同一套数学语言描述。本节从单模玻色子出发,依次建立光子数态、相干态、压缩态,并给出相位空间表示,为后续“把量子信息编码进谐振子”打下基础。
一、单模玻色子与产生、湮灭算符
单模玻色子只有一个模式,其哈密顿量为 H = ħω(a†a + 1/2),其中 a† 为产生算符,a 为湮灭算符,满足对易关系 [a, a†] = 1。定义光子数算符 n = a†a,其本征态 |n⟩ 满足 n|n⟩ = n|n⟩,n = 0,1,2,…。产生与湮灭算符作用为:
a|n⟩ = √n |n-1⟩
a†|n⟩ = √(n+1) |n+1⟩
a|0⟩ = 0
这里 |0⟩ 是真空态,能量为 ħω/2,即零点能。光子数态 |n⟩ 是能量本征态,光子数完全确定,但相位完全不确定——这正是后续相位空间表示中“圆环”形状的来源。
二、相干态:最接近经典的光场
相干态 |α⟩ 是湮灭算符的本征态:a|α⟩ = α|α⟩,其中 α 为复数,可写为 α = |α|e^{iθ}。它可由真空态经位移算符生成:|α⟩ = D(α)|0⟩,D(α) = exp(αa† − α*a)。相干态的光子数服从泊松分布,平均光子数 n̄ = |α|²,方差也为 |α|²。在相位空间中,相干态表现为一个最小不确定度圆,圆心位于 (Re α, Im α),半径由真空涨落决定。
相干态是激光场和微波驱动场的理想化模型,也是玻色编码中“逻辑零”和“逻辑一”的常见载体。例如在猫码中,逻辑比特就编码在两个相位相反的相干态的叠加 |0_L⟩ ∝ |α⟩ + |−α⟩ 上。
三、压缩态:把噪声“挤”到一边
压缩态通过压缩算符 S(ξ) = exp[(ξ*a² − ξa†²)/2] 作用于真空态得到,其中 ξ = re^{iφ},r 为压缩幅度,φ 为压缩方向。压缩后,某一个正交分量的噪声被压低到真空噪声以下,代价是另一个正交分量的噪声被放大,但整体仍满足海森堡不确定关系。定义正交分量 X = (a + a†)/2、P = (a − a†)/(2i),则压缩态满足 ΔX·ΔP ≥ 1/4(取 ħ=1)。
压缩态在量子计量和连续变量量子信息中极为重要,也是玻色编码中抑制错误、提升纠错阈值的关键资源。例如在 GKP 码中,压缩真空态被用来构造近似正交的编码态。
四、相位空间表示:把量子态画出来
相位空间表示把无限维的玻色态映射到二维平面上,最常用的是维格纳函数 W(x,p)。对真空态,W 是原点处的高斯圆;对相干态,W 是平移后的高斯圆;对压缩态,W 是椭圆;对猫码,W 则出现两个高斯峰和干涉条纹。维格纳函数可写为:
W(x,p) = (1/π) ∫ dy ⟨x − y|ρ|x + y⟩ e^{2ipy}
其中 ρ 为密度矩阵。维格纳函数在相位空间中的负值区域是量子非经典性的直接标志,猫码的干涉条纹正是这种非经典性的体现。
五、从相位空间看玻色编码的直觉
把上述四种态放在同一张相位空间图上,可以直观理解玻色编码的核心思想:真空态和相干态都是“圆”,压缩态是“椭圆”,而猫码是“两个圆加干涉条纹”。纠错的任务,就是当这些图形因噪声发生平移、旋转或形变时,能够识别并把它拉回原来的位置。例如,光子丢失会使相干态 |α⟩ 向原点收缩,维格纳函数整体变小;而猫码的干涉条纹对相位翻转极为敏感,这正是其纠错能力的来源。
X、P 轴和关键参数 α、r、φ。这一步能显著降低后续理解“错误如何映射到相位空间”的难度。