Bosonic quantum communication beyond the thermal threshold

技术摘要：超越热阈值的玻色子量子通信

问题陈述
对于带有环境热噪声（$\nu > 0$）的玻色子热衰减信道 $\Phi_{\eta, \nu}$，其量子容量 $Q(\mathcal{N})$（定义为正则化相干信息）目前仍是未知的。虽然纯损耗信道（$\nu=0$）的容量由于其可降解性（degradability）而已知，但热衰减信道通常是非可降解的。

从历史上看，关于 $Q(\Phi_{\eta, \nu})$ 最好的已知下界是由 Holevo 和 Werner（1999）利用热输入态建立的。当透射率 $\eta$ 低于“热阈值” $\eta_G(\nu)$ 时，该界限会消失。相反，该信道仅在 $\eta \leq \eta_{AD}(\nu)$ 时被认为是反降解的（antidegradable），从而导致容量为零。这留下了一个中间区域 $\eta_{AD}(\nu) < \eta \leq \eta_G(\nu)$，在该区域内，热态下界为零，但信道并非反降解的。本文旨在解决的核心问题包括：

1. 单模高斯态是否最大化了热衰减信道的相干信息？
2. 在热态下界为零的中间区域内，量子容量是否严格大于零？

方法论
作者结合了解析证明和计算机辅助数值认证的方法：

1. 高斯类中的热态最优性： 作者首先证明，在所有单模高斯态（包括挤压态）中，相干信息的上确界在无限能量极限下由热态实现。这证实了 Holevo–Werner 界是高斯子类中的精确最优值。
2. 构建非高斯见证者： 为了反驳高斯最优性，作者构造了特定的、支撑在有限数量 Fock 能级上的秩为 2 的非高斯态。这些状态是具有特定奇偶性质（例如，模 4 和模 5 结构）的 Fock 态正交叠加的混合。
3. 有限维逼近与认证： 由于热衰减信道作用于无限维希尔伯特空间，作者引入了一个“截断-擦除”（cutoff-erasure）信道 $T_M$，该信道将输出截断至前 $M$ 个 Fock 能级，并将更高能级标记为擦除。通过数据处理不等式，截断信道的相干信息为原始信道提供了一个严格的下界。
4. 严格区间算术： 为了将数值估计转化为数学证明，作者利用了区间算术。他们将矩阵项表示为经过认证的区间，并利用变换基底下的 Gershgorin 定理来限制所得密度矩阵的特征值。这确保了舍入误差不会导致相干信息的正定性失效。

主要贡献与结果

• 对高斯最优性的反驳： 本文证明了单模高斯态上的相干信息上确界严格小于所有态的上确界。具体而言，在热阈值点 $(\eta=0.8, \nu=1)$ 处，任何单模高斯输入的相干信息均为零，而一个特定的非高斯态却产生了严格大于零的值。
• 显式非高斯见证者： 作者定义了一个支撑在六个 Fock 能级（具体为能级 0, 4, 8, 1, 5, 9）上的秩为 2 的状态 $\rho_\star$。他们严格认证了对于 $\Phi_{0.8, 1}$，其相干信息满足 $I_c(\rho_\star, \Phi_{0.8, 1}) \geq 4.7 \times 10^{-4}$ 比特/信道使用。
• 扩展正容量区域： 通过对非高斯态族进行优化，作者确定了一个量子容量严格大于零的区域。
  • 在 $\nu=1$ 时，他们认证了 $Q(\Phi_{\eta, 1}) > 0$ 直至 $\eta = 0.7841$。
  • 这具有重要意义，因为反降解阈值 $\eta_{AD}(1) = 0.75$。因此，本文在 $0.75 < \eta \leq 0.7841$ 这一区间内建立了可靠的量子通信，而在该区间内，先前的界限暗示容量为零。
• 数值与认证界限： 虽然认证的下界较为保守（$4.7 \times 10^{-4}$），但在类似的非高斯族上进行的数值优化表明，在同一参数点处，数值值可达 $8.4 \times 10^{-3}$。这表明所使用的认证见证者远非最优，但足以证明存在正向间隙。

意义
本文从根本上改变了对高噪声环境下玻色子量子通信的理解。它表明，如果仅限于高斯态进行优化，不足以确定热衰减信道的量子容量。研究结果证明，只要采用非高斯编码策略，在低于热阈值的参数区域内仍然可以实现可靠的量子通信。

这项工作意味着，完整的噪声玻色子量子通信理论必须考虑非高斯输入，从而超越此前在其他玻色子信道中成立的“高斯优化器”猜想。作者指出，AI（特别是 ChatGPT 5.6 Sol）在识别作为反例的特定非高斯态族方面发挥了关键作用，尽管数学证明和认证仍由作者负责。