No-Go Theorem for Norm-Based Nonclassicality Certification with Linear Functionals

技术摘要：基于线性泛函的范数度量非经典性认证之“无果定理”（No-Go Theorem）

问题陈述
识别并量化光学非经典性（定义为无法用正定 Sudarshan–Glauber $P$ 函数表示的状态）仍然是量子信息科学中的一个核心挑战。虽然现有的表述通常依赖于基于 Hahn–Banach 定理的距离度量，但大多数方法都需要对经典状态集进行计算量巨大的优化过程。相反，避免优化的度量方法往往缺乏实际可行性，或者无法在一般情况下捕捉到非经典性。本文旨在探讨一个基本问题：是否可以利用基于范数的距离和线性泛函，构建一种通用的、无需优化的非经典性资源理论度量？

方法论
作者开发了一个无需调用优化的量化非经典性的通用框架。其核心方法包括：

1. 经典化通道（Classicalization Channels）： 定义一个映射 $\mathcal{C}$，通过使用非负函数 $f$ 对 $P$ 函数进行平滑处理，将任何量子态 $\rho$ 转换为经典态 $\mathcal{C}(\rho)$。
2. 线性泛函（Linear Functionals）： 利用由位移旋转不变算符（$G_\eta = D(\eta)G_0 D^\dagger(\eta)$）生成的线性泛函类 $F_L$，其中 $[G_0, R(\theta)] = 0$。这确保了该度量对于位移和旋转等经典相空间操作具有独立性。
3. 基于范数的度量（Norm-Based Measure）： 将非经典性度量 $N_{p, F_L}^{\mathcal{C}}(\rho)$ 定义为将泛函应用于量子态与其经典对应物之间的 $L_p$ 范数距离：
   $$N_{p, F_L}^{\mathcal{C}}(\rho) = \| F_L(\rho) - F_L[\mathcal{C}(\rho)] \|_p$$
   作者证明该度量满足凸性、在自由选择操作下的强单调性和弱单调性。随后定义了一个资源理论度量 $M(\rho)$，通过减去真空态（相干态 $|0\rangle$）的值，以确保 $M(\rho) > 0$ 表示非经典性。

主要贡献与结果
本文的主要贡献在于从解析上确立了一个针对此类度量中一个广泛使用的特定子类的无果定理（No-Go Theorem）。

• 无果定理： 作者证明，对于使用 $s$-阶准分布（$W_s$）和通用高斯经典化通道（$\mathcal{C}_g$，对应于高斯噪声添加或光子损耗）定义的度量，不存在通用的、无需优化的认证器。具体而言，存在真正的非经典态（其 $P$ 函数为负），对于这些状态，该度量给出的值低于真空态的值（即 $N_{p, W_s}^{\mathcal{C}_g}(\rho) < N_{p, W_s}^{\mathcal{C}_g}(|0\rangle)$），从而未能检测出非经典性。
• 解析证明： 该证明利用了一个“减去真空的热态”（$\rho_{neg}^{test}$），该状态是通过热态与真空态的线性组合构建的。该状态被证明是显而易见的非经典态（其 $P$ 函数具有负的 $\delta$ 脉冲），但却满足该范数度量低估其非经典性的条件。
• 显式示例： 理论结果通过两个具体的案例得到了证实，分别使用了 $L_1$ 范数和 Wigner 函数（$s=0$）：
  1. 高斯情况： 对于挤压热态，在某些理论上为非经典态的挤压强度范围内，该度量未能识别出其非经典性。
  2. 非高斯情况： 对于光子数态（$|0\rangle, |1\rangle, |2\rangle$）的随机混合，作者确定了特定的概率分布，这些状态虽然具有 Wigner 负性（非经典性的标志），却被该范数度量归类为“经典”状态。
• 失效机制： 本文将这种失效归因于高斯通道 $\mathcal{C}_g$ 的“过度平滑”特性。虽然 $\mathcal{C}_g$ 代表了使某些纯非高斯态变为正值所需的最小平滑程度，但它有效地抑制了混合非高斯态和某些高斯态的量子特征，导致对非经典性的低估。

意义与主张
本文声称解决了这样一个问题：能否仅依靠 $s$-阶分布和高斯经典化通道构建一个通用的、无需优化的、基于范数的非经典性认证器。答案是否定的。作者证明，这类度量是不忠实的（not faithful）；它们无法在不进行优化的前提下，普遍区分非经典态与经典态。

作者对该结果的适用范围保持了审慎态度。虽然无果定理在 $L_p$ 范数、$s$-阶分布和高斯通道 $\mathcal{C}_g$ 这一特定组合下已得到解析确立，但对于任意经典化通道 $\mathcal{C}$ 和一般线性泛函 $F_L$ 是否存在无果条件仍是一个开放性问题。作者提供了一个广义判据（公式 17），用于判断在减去真空的经典态下何时会出现此类失效，但指出证明存在满足该判据的态对于一般通道而言仍有待建立。

总之，这项工作提供了一个基于范数的非经典性认证的统一形式化框架，但同时也划定了其基本局限性，证明了对于依赖高斯平滑和 $s$-阶分布的特定度量子类，无法保证其通用性。