2. 量子光学基础回顾

连续变量压缩光态模型仿真的第一步，不是急着写代码，而是把"我们到底在描述什么"这件事说清楚。连续变量量子信息的物理载体是电磁场的正交分量，而正交分量的统计性质又由场的量子态决定。因此本节把四个基础概念串成一条逻辑链：电磁场量子化 → 正交算符 → 福克态与相干态 → 连续变量描述框架。理解这条链，后续的压缩算符、协方差矩阵和零差探测仿真才有落脚点。

一、电磁场量子化：把场变成算符

单模电磁场在量子化之后，电场算符可以写成两个共轭分量的组合：

Ê(t) = E₀ · [ â · e^(−iωt) + ↠· e^(iωt) ]

其中 E₀ 是单光子场幅，â 与 ↠分别是湮灭算符和产生算符，满足对易关系 [â, â†] = 1。这个对易关系是整个量子光学不确定性的根源：它直接导致两个正交分量不能同时具有确定值。在仿真中，我们通常取 ħ = 1、E₀ = 1 的归一化单位，把注意力集中在算符代数与统计性质上，而不是绝对场强。

多模情形下，每个模式对应一组独立的 (âk, â†k)，模式之间满足 [âj, â†k] = δjk。连续变量系统通常关心一个"时间上连续"的边带模式集合，这正是"连续变量"一词的来源之一：信息编码在连续取值的正交分量上，而非离散的单光子计数。

二、正交算符：连续变量的"坐标轴"

定义两个厄米正交算符：

x̂ = (â + â†) / √2
p̂ = (â − â†) / (i√2)
[x̂, p̂] = i

它们类似经典谐振子的位置与动量，但满足海森堡不确定性关系 Δx̂ · Δp̂ ≥ 1/2（归一化单位）。真空态下 Δx̂ = Δp̂ = 1/√2，称为散粒噪声极限（SNL），这是连续变量实验中最基本的参考基准。

实际实验中，零差探测测量的是广义正交分量 x̂θ = x̂ cosθ + p̂ sinθ，θ 为本振光相对信号光的相位。改变 θ 就能扫描相空间的不同方向，这也是判断压缩方向的关键手段。仿真时若采用协方差矩阵描述，正交分量的方差与协方差就构成 2×2 矩阵，压缩态表现为某一个方向的方差低于 1/2、共轭方向高于 1/2，而最小不确定度关系仍然满足。

三、福克态与相干态：两类基准态

福克态 |n⟩ 是光子数算符 n̂ = â†â 的本征态，光子数完全确定，但相位完全不确定。真空态 |0⟩ 是最重要的福克态，也是所有连续变量态的"底噪"。在仿真中，福克态常用其光子数分布 P(n) 与正交分量概率分布（涉及厄米多项式）来描述，计算量随截断维数增长，因此连续变量仿真更常用相空间方法而非福克基展开。

相干态 |α⟩ 由位移算符作用于真空得到，是最接近经典场的量子态：

|α⟩ = D̂(α)|0⟩,  D̂(α) = exp(α↠− α*â)
⟨x̂⟩ = √2·Re(α),  ⟨p̂⟩ = √2·Im(α)
Δx̂ = Δp̂ = 1/√2

相干态在相空间中是一个最小不确定度圆，中心位于 (√2Re α, √2Im α)。它有两个重要用途：一是作为"经典参考"，任何低于其噪声水平的方差都意味着非经典性；二是作为压缩态、位移压缩态等更复杂态的构造起点。仿真中常用复振幅 α 作为可调参数，例如取 α = 2 时平均光子数 |α|² = 4，可直接用于验证位移算符实现是否正确。

四、连续变量描述框架：三种等价语言

把上述概念组织起来，连续变量量子信息有三套常用描述语言，仿真时应根据任务选择：

  • 算符语言：直接用 â、â†、x̂、p̂ 及其对易关系推导，适合解析验证与小规模数值计算。
  • 态矢/密度矩阵语言：用 |ψ⟩ 或 ρ̂ 描述态，福克基截断后做矩阵运算，适合含光子数分辨探测的场景，但维数随截断增长很快。
  • 相空间语言：用 Wigner 函数 W(x, p) 或协方差矩阵 (均值向量 + 协方差矩阵) 描述，高斯态只需有限参数，是压缩光仿真最主流的框架。

三者的关系可以用一张图概括：算符代数给出基本对易关系，福克态与相干态提供基准与构造单元，相空间描述则把无限维态矢压缩为可计算的低维参数。下图展示了这条从场量子化到连续变量描述框架的结构关系。

电磁场量子化 Ê(t) = E₀[â e^(−iωt) + ↠e^(iωt)] [â, â†] = 1 正交算符 x̂ = (â+â†)/√2, p̂ = (â−â†)/(i√2) [x̂, p̂] = i, Δx̂·Δp̂ ≥ 1/2 福克态 |n⟩ n̂ = â†â 本征态，光子数确定 真空态 |0⟩：Δx̂ = Δp̂ = 1/√2 适合光子数分辨场景 相干态 |α⟩ |α⟩ = D̂(α)|0⟩，最小不确定度圆 ⟨x̂⟩ = √2Re α, ⟨p̂⟩ = √2Im α 压缩态、位移压缩态的构造起点 连续变量描述框架（三种等价语言） 算符语言：â, â†, x̂, p̂ 态矢/密度矩阵：|ψ⟩, ρ̂ 相空间：W(x,p) / 协方差矩阵 高斯态仅需均值向量 + 协方差矩阵，是压缩光仿真的主流表示

五、落到仿真：从概念到可计算参数

把上述框架转成仿真输入时，需要明确几个约定。第一，单位约定：取 ħ = 1，正交分量方差以散粒噪声为单位，真空方差记为 1/2，压缩态报告为"低于散粒噪声多少 dB"，换算关系为 dB = −10·log₁₀(2·Var)。例如 Var(x̂) = 0.25 对应 −3 dB 压缩。第二，相位约定：零差探测角 θ 从 x̂ 轴起算，压缩椭圆的短轴方向即压缩角，仿真中应显式记录 θ 的参考零点，避免与后续章节的相位扫描结果对不上。第三，截断约定：若用福克基，需给出截断维数 N，并检查平均光子数远小于 N，否则截断误差会污染方差计算。

建议在仿真工程中固定一份"约定说明"：单位制、正交分量定义式、方差基准、相位零点、福克截断维数。后续所有压缩度、保真度和协方差矩阵结果都引用同一份约定，可避免不同模块之间符号与基准不一致。

一个可直接用于自检的小例子：构造相干态 α = 1 + i，理论上 ⟨x̂⟩ = √2、⟨p̂⟩ = √2、两方向方差均为 0.5。若你的仿真代码算出的均值偏离 √2 或方差明显偏离 0.5，说明位移算符的归一化系数或正交分量定义写错了。这类基准态校验应在引入压缩算符之前完成，因为压缩态的协方差矩阵是在相干态基准上做辛变换得到的，基准错了，后续所有结果都会系统性偏移。

至此，连续变量量子信息的基本描述框架已经建立：场量子化给出算符代数，正交算符提供可测量的相空间坐标，福克态与相干态提供基准与构造单元，相空间/协方差描述则把问题压缩成有限维可计算对象。后续的压缩算符、分束器模型与零差探测仿真，都将在这个框架内展开。

← 上一章 📖 返回目录 下一章 →