Exact certification of a positive-order Rényi additivity violation for an explicit channel pair

技术摘要：正阶 Rényi 可加性违反的精确认证

问题陈述
本文探讨了量子信道最小输出 Rényi 熵的可加性问题，其定义为 $S_{\min}^p(\mathcal{N}) = \min_\rho S_p(\mathcal{N}(\rho))$。虽然对于许多阶数，可加性猜想 $S_{\min}^p(\mathcal{N}_1 \otimes \mathcal{{N}}_2) = S_{\min}^p(\mathcal{N}_1) + S_{\min}^p(\mathcal{N}_2)$ 已知是不成立的，但在由 Cubitt, Harrow, Leung, Montanaro, 和 Winter (CHLMW) 构建的特定显式信道对中，仍存在一个特定的间隙。CHLMW 在 $p=0$ 时展示了违反现象，并报告了在正阶（约 $p \approx 0.11$）下的违反数值证据。然而，正如 Leung, Lovitz, 和 Wu 所指出的，对于这一显式信道对，尚未建立起一个严格、可验证的端点；此前的结论依赖于半正定规划论证，但未印出端点或证明证书。

方法论
作者提供了一个计算机可验证的严格证明，证明对于所有实数阶 $0 < p \leq 1/22$，CHLMW 信道对均违反可加性。该方法依赖于初等线性代数和区间算术，在最终的验证步骤中避免了复杂的优化求解器。证明结构由三个主要部分组成：

1. 特征值界限（下限与上限）：
   作者为单个信道的输出态特征值建立了严格的有理数界限。通过使用“见证矩阵”（小的有理数埃尔米特矩阵），作者证明了对于任何输入态 $\rho$，输出 $\mathcal{N}_T(\rho)$（其中 $T \in \{R, \bar{S}\}$）的每一个特征值 $\lambda$ 都落在区间 $[\ell, u]$ 内，其中：

   • $\ell = 301/100000$
   • $u = 2/3$
     这些界限是通过涉及偏转置（partial transposes）的分解引理导出的，确保了输出谱远离 0 和 1。

2. 单信道下界：
   利用已建立的特征值界限以及函数 $f(t) = t^p$ 在 $0 < p < 1$ 时的凹性，作者推导出了输出幂迹 $\text{Tr}(\mathcal{N}_T(\rho)^p)$ 的下界。他们定义了一个“极端容许谱” $e = (u, 1-u-\ell, \ell)$，并证明对于任何有效的输出谱 $\lambda$，均有 $\sum \lambda_i^p \geq \sum e_i^p$。由此得到了单信道熵的下界 $A(p)$。

3. 联合输入上界：
   作者构造了一个单一的显式纠缠输入态 $\Psi$（源自 CHLMW 子空间的逆输入边缘归一化）。他们计算了联合输出 $(\mathcal{N}_R \otimes \mathcal{N}_{\bar{S}})(\Psi\Psi^*)$ 的精确有理数谱，该谱的秩为 8。这提供了联合最小输出熵的上界 $B(p)$。

关键结果
核心结果是证明了如下严格不等式：
$$S_{\min}^p(\mathcal{N}_R \otimes \mathcal{N}_{\bar{S}}) < S_{\min}^p(\mathcal{N}_R) + S_{\min}^p(\mathcal{N}_{\bar{S}})$$
对于所有 $0 < p \leq 1/22$ 均成立。

这是通过证明在整个区间内 $A(p)^2 > B(p)$ 来实现的。对这一超越不等式的验证被简化为有限的整数比较。作者采用了两种独立的论证来认证该区间：

• 阶梯论证（The Staircase Argument）： 将区间 $[0, 1/22]$ 划分为有理子区间，并利用 $x^p$ 的单调性来限制函数 $A(p)$ 和 $B(p)$ 在端点的值。
• 导数论证（The Derivative Argument）： 将函数 $D(p) = A(p)^2 - B(p)$ 及其导数包含在有理区间内，以证明 $D(p)$ 在整个区间内均为正且递减。

贡献与主张
本文明确指出，其新颖性仅限于认证和显式常数，而非底层的现象或特征值下限机制，后两者归功于 CHLMW。具体贡献包括：

• 首个严格端点： 为 CHLMW 显式对提供了第一个印出的、计算机可验证且经过严格认证的正阶端点（$p = 1/22$）。
• 显式证书： 提供了小的有理数见证矩阵和一个有理数谱，使得任何读者都可以通过一段短程序或针对单一阶数进行手工计算来验证该证明。
• 独立性： 证明依赖于精确算术（整数比较）而非数值近似。见证矩阵是通过 AI 辅助搜索找到的，但搜索过程本身并不参与证明；证明仅使用这些结果作为证书。

意义
本文填补了文献中关于 CHLMW 示例的一个特定空白，将研究从“数值证据”和“未印出的半正定论证”提升到了完全显式、可检查的证明。作者指出，端点 $1/22$ 并不一定是最优的；该方法受限于当前的认证下限和上限值，若要将区间向数值观察到的 $0.11$ 扩展，需要更精细的界限而非更细的区间划分。这项工作为使用初等、可验证证书对量子信息论不等式进行严格认证提供了范本。