2. 量子测量基础与标准量子极限定义

要评估一个量子测量方案是否“接近极限”,首先必须把测量本身说清楚。量子测量不是被动读取一个预先存在的数值,而是用一组算符对量子态做统计意义上的分解。最基础的是投影测量:用一组满足 \(\sum_m \Pi_m = I\)、\(\Pi_m\Pi_{m'}=\delta_{mm'}\Pi_m\) 的正交投影算符描述,测量结果 \(m\) 的概率为 \(p_m=\langle\psi|\Pi_m|\psi\rangle\)。投影测量对应可观测量的本征分解,是理想化的强测量,测量后态被完全投影到对应本征子空间。

但真实探测器往往做不到理想投影,于是引入POVM(正算符值测度):一组满足 \(\sum_m E_m = I\)、\(E_m \ge 0\) 的正算符,结果概率为 \(p_m=\mathrm{Tr}(\rho E_m)\)。POVM 不要求算符正交,因此能描述有噪声、有损耗、有重叠响应的探测过程,也能刻画“最小扰动”或“信息最优”的测量。评估标准量子极限时,POVM 是更贴近实验的语言:探测器效率、暗计数、模式失配都可以吸收进 \(E_m\) 中。

从海森堡极限到标准量子极限

设待估参数为 \(\theta\),测量得到结果分布 \(p_m(\theta)\)。经典估计理论给出克拉美–罗下界(CRLB):无偏估计的方差满足 \(\mathrm{Var}(\hat\theta)\ge 1/(N F)\),其中 \(N\) 为独立重复次数,\(F=\sum_m \frac{1}{p_m}(\partial_\theta p_m)^2\) 为单次测量的经典费舍尔信息。量子层面把 \(F\) 对所有 POVM 取最大,得到量子费舍尔信息 \(F_Q\),于是 \(\mathrm{Var}(\hat\theta)\ge 1/(N F_Q)\),这就是量子 CRLB。

对相位估计,若用 \(N\) 个独立粒子(如光子)各自携带相位,最优策略下 \(F_Q \propto N\),不确定度按 \(1/\sqrt{N}\) 下降,称为标准量子极限(SQL),也叫散粒噪声极限。若利用纠缠或压缩等量子资源,可使 \(F_Q \propto N^2\),不确定度按 \(1/N\) 下降,称为海森堡极限(HL)。因此三者的关系是:海森堡极限是量子力学允许的终极标度,标准量子极限是“无量子关联、仅用相干态或独立粒子”时的基准标度,而散粒噪声极限正是 SQL 在相干态探测中的具体表现。

辨析要点:散粒噪声极限描述的是相干态/独立粒子输入下泊松统计导致的噪声底;标准量子极限是这一标度在参数估计中的一般表述;海森堡极限则是引入纠缠或压缩后突破 SQL 的标度。三者常被混用,但在评估报告中应明确所指。
量子测量描述 → 估计下界 → 极限标度 投影测量 Πₘ 正交、ΠₘΠₘ'=δΠₘ pₘ=⟨ψ|Πₘ|ψ⟩ 理想强测量、态被投影 POVM Eₘ≥0,ΣEₘ=I pₘ=Tr(ρEₘ) 含效率、损耗、暗计数 克拉美–罗下界 Var(θ̂) ≥ 1/(N·F) F=Σ(∂θpₘ)²/pₘ F_Q=max F,量子CRLB Var ≥ 1/(N·F_Q) 标准量子极限 SQL F_Q ∝ N,Δθ ∝ 1/√N 相干态/独立粒子基准 即散粒噪声极限 海森堡极限 HL F_Q ∝ N²,Δθ ∝ 1/N 纠缠/压缩等量子资源 量子力学允许的终极标度 评估口径:先固定测量算符(投影或POVM)→ 写出 pₘ(θ) → 计算 F 或 F_Q → 与 1/√N(SQL)和 1/N(HL)两条基准线比较。 若实测不确定度贴近 1/√N 曲线,说明处于散粒噪声极限;显著低于该曲线才可宣称突破 SQL。

灵敏度与不确定度指标

评估报告里最常用的两个量是灵敏度与不确定度。灵敏度通常定义为响应斜率 \(\partial\langle m\rangle/\partial\theta\),单位是“每单位参数引起的信号变化”;不确定度则用估计量的标准差 \(\sigma_\theta\) 表示。二者通过误差传播联系:\(\sigma_\theta \approx \sigma_m/|\partial\langle m\rangle/\partial\theta|\)。在量子计量中更常用的是相位灵敏度 \(\Delta\phi\),以及归一化指标 \(\Delta\phi/\sqrt{N}\) 或相对于 SQL 的噪声因子 \(\xi=\Delta\phi/\Delta\phi_{\mathrm{SQL}}\)。当 \(\xi<1\) 时表示优于散粒噪声极限,\(\xi\) 越小越接近海森堡标度。

实际评估时还要区分统计不确定度与系统不确定度:前者随重复次数 \(N\) 按 \(1/\sqrt{N}\) 下降,后者(如标定误差、探测器非线性、模式失配)不随 \(N\) 下降,必须在报告中单列。一个常见的错误是把总不确定度直接与 SQL 比较,却未扣除系统项,导致“虚假突破”。

一个可操作的评估示例

假设用相干态干涉仪估计相位,单次测量光子数均值 \(\bar n=10^4\),理想探测下 \(\Delta\phi_{\mathrm{SQL}}=1/\sqrt{\bar n}=0.01\ \mathrm{rad}\)。若实测 100 次重复得到相位标准差 \(0.012\ \mathrm{rad}\),则 \(\xi=1.2\),说明当前方案略差于 SQL,应检查探测效率与暗计数;若采用压缩态使 \(\Delta\phi=0.003\ \mathrm{rad}\),则 \(\xi=0.3\),可认为已突破 SQL,但仍需与 HL 的 \(1/\bar n=10^{-4}\ \mathrm{rad}\) 比较,判断距离终极极限还有多远。评估时建议固定以下口径:明确测量算符类型、给出 \(p_m(\theta)\) 或响应曲线、报告 \(N\) 与重复次数、单列系统误差、同时给出 \(\Delta\theta\)、\(\xi\) 和对应的 SQL/HL 基准值。

注意:SQL 与 HL 都是渐近标度结论,依赖大 \(N\) 与最优估计器。小样本、非高斯噪声或存在损耗时,实际下界可能偏离 \(1/\sqrt{N}\) 或 \(1/N\),报告中应说明适用条件,避免把标度公式当作精确预测。