Precision Limits and Non-Gaussian Advantage in Optical Phase Estimation under Preparation Constraints

技术摘要：制备约束下光学相位估计的精度极限与非高斯优势

问题陈述
在光学量子计量学中，量子费舍尔信息（QFI）$F_\theta$ 是评估估计精度的标准基准，受量子克拉美-罗界限限制。虽然高斯探测器（例如压缩真空态）在平均光子数 $\langle \hat{n} \rangle$ 下可以实现海森堡定标（$F_\theta \propto \langle \hat{n} \rangle^2$），但理论上已确定，非高斯探测器即使在固定的平均光子数下，也可以表现出任意大的 QFI。这产生了一个悖论：传统的以平均光子数作为唯一资源度量的做法，无法为精度提供有限的普适界限。作者认为，这种度量方式掩盖了与状态中稀有的、高激发分量相关的资源，导致对计量资源的统计不完整。核心问题在于，识别出使这些发散状态无法实现的物理约束，并建立一个严谨的资源框架，从而得出有限的精度极限。

方法论
作者提出了一个基于源自状态生成物理限制的制备约束框架。他们不再仅仅依赖于平均光子数，而是引入了一个光子数分布包络 $(g_n)_n$，该包络作为允许的光子数概率 $q_n = |\langle n|\psi\rangle|^2$ 的上界。

1. 包络定义： 包络定义为：当 $1 \le n \le N_{\text{max}}$ 时，$g_n = 1$（“自由窗口”）；当 $n > N_{\text{max}}$ 时，$0 \le g_n \le 1$，且满足二阶矩收敛条件（$\sum_{n \ge N_{\text{max}}} n^2 g_n < \infty$）。这模拟了物理现实，例如有限的泵浦或受限的压缩，即填充高能 Fock 态的概率不能比光源自身的分布衰减得更慢。
2. 资源量化： 基于此包络，作者定义了一个新的资源量：均方根（RMS）光子预算 $N_{\text{RMS}}(g)$。其定义为允许的包络内最大可能二阶矩的平方根：
   $$N_{\text{RMS}}(g) := \left( \max_{q \in Q_g} E_q[\hat{n}^2] \right)^{1/2}$$
   其中 $Q_g$ 是所有受 $g$ 限制的可选分布集合。
3. 比较分析： 作者推导了针对一般可容许探测器以及受相同包络约束的特定高斯探测器的 QFI 上界。他们分析了具有代数衰减和指数衰减特征的包络族，以比较 $F_\theta$ 相对于 $N_{\text{RMS}}$ 的定标关系。
4. 物理模型： 为了使框架落地，作者将其应用于一个使用通用光学门集（位移、压缩、旋转和克尔门）的制备模型，通过量化总压缩量和位移量来确定由此产生的包络。

主要贡献与结果

• 有限的海森堡极限： 作者推导出任何可容许探测器的有限 QFI 上界：$F_\theta \le 4 N_{\text{RMS}}^2(g)$。这在 terms of RMS 预算方面恢复了海森堡定标，解决了此前在固定平均光子数下观察到的 QFI 发散问题。此前在“重尾”或“非对称叠加”态中观察到的发散现象，被证明需要 $N_{\text{RMS}}$ 的无界增加，从而揭示了隐藏的资源成本。
• 非高斯优势判据： 论文确立了在相同的制备约束下，非高斯探测器优于所有可容许高斯探测器的充分条件：
  • 代数尾部： 对于具有代数衰减 $g_n \propto n^{-p}$ ($p>3$) 的包络，非高斯与高斯 QFI 之比仅在特定的窄范围内（$3 < p < 2 + \sqrt{8/7}$）且在足够大的 $N_{\text{max}}$ 时会超过 1。至关重要的是，这种优势表现为常数因子级的提升，而非在 $N_{\text{RMS}}(g)$ 上的定标分离。
  • 指数尾部： 对于具有指数衰减（由尾部长度 $\ell_g$ 表征）的包络，作者证明了一个根本性的分离。高斯探测器的 QFI 被限制在 $F_\theta(\psi_G) \le 2\ell_g^2 + 4(1+2\ell_g)N_{\text{RMS}}$，其增长最多与 $N_{\text{RMS}}$ 成线性关系。相比之下，最优的非高斯探测器可以实现二次定标（$F_\theta \propto N_{\text{RMS}}^2$）。
• 优势机制： 这种优势源于包络约束限制了高斯态可达到的压缩参数（通过尾部的衰减速率），但同时仍允许通过非高斯叠加实现较大的二阶矩。因此，在固定的指数衰减下，高斯探测器被限制在相对于 $N_{\text{RMS}}$ 的类射噪声定标，而非高斯探测器可以达到海森堡定标。
• 通用门模型应用： 在通用门集的背景下，作者展示了实验资源（总位移和压缩量）直接决定了包络参数（$N_{\text{max}}$ 和衰减速率）。他们表明，非高斯态（例如位移猫态或真空与高 Fock 态的叠加）可以实现 $F_\theta \sim N_{\text{RMS}}^2$，而压缩真空态则会面临随压缩量和容差要求增加而减小的前因子。

意义与主张
本文声称，通过引入一个受物理驱动的约束，解决了使用平均光子数作为资源度量的歧义性，该约束将可容许态与物理上不可达的态区分开来。通过定义 RMS 光子预算，作者提供了一个有限的、可实现的海森堡极限，该极限考虑了探测器的能量方差。

其主要意义在于证明了制备约束可以使得非高斯性成为实现海森堡定标的必要条件。具体而言，在具有固定指数尾部衰减的约束下，高斯探测器在本质上被限制在相对于资源预算的线性定标，而非高斯探测器可以实现二次定标。这项工作表明，“非高斯优势”不仅是一个理论上的奇闻轶事，而且是当旨在追求极致精度时，由物理制备限制所要求的必然结果。作者总结道，他们的框架将抽象的计量界限与实际的光学装置能力联系起来，提供了基于可用制备资源的基准。