Explicit channels with unbounded gains in classical communication using entangled inputs

技术摘要：使用纠缠输入在经典通信中实现具有无界增益的显式信道

问题陈述
本文探讨了量子信息论中关于量子信道上经典通信容量可加性的基本问题。具体而言，它研究了通过纠缠独立使用的量子信道的输入，是否能使可实现的经典通信速率超过使用积态（product-state）编码字所能达到的速率。

对于记忆无信道 $\Phi$，使用积态的最优渐近速率由单次 Holevo 信息 $\chi_{\max}(\Phi)$ 给出。经典容量 $C(\Phi)$ 允许在 $n$ 次使用中采用纠缠编码字，定义为 $C(\Phi) = \sup_{n \ge 1} \frac{1}{n}\chi_{\max}(\Phi^{\otimes n})$。“可加性问题”在于探究是否存在 $C(\Phi) > \chi_{\max}(\Phi)$，或者等价地，最小输出熵是否是非可加的。虽然 Hastings (2009) 利用涉及 Haar 随机幺正矩阵的概率方法证明了此类信道的存在性，但一个长期存在的开放问题仍然是：能否构造出一个显式的有限维信道族来展示这种超加性，并且这种增益能否被设定为无界？

方法论
作者通过结合确定性的拟度量（qudit）Clifford 幺正算符与特定的测量及经典前馈过程，构造了一个显式的有限维量子信道族 $\Psi_N$。这种方法是对 Hastings 概率构造的一种去随机化。

1. 信道结构： 基本信道 $\Psi^{(k)}_{n,H}$ 被定义为一个混合幺正信道 $\Psi_0$ 与一个完全去极化信道的凸组合，该组合受测量算符 $H$ 控制：
   $$\Psi^{(k)}_{n,H}(\rho) = \Psi_0(H\rho H) + \text{Tr}[(I_n - H^2)\rho] \frac{I_k}{k}$$
   这里，$\Psi_0$ 是一个均匀混合幺正信道，其中的幺正算符 $U_I$ 是量子加法器电路的张量积。

2. 确定性幺正算符： 作者没有使用 Haar 随机幺正算符，而是使用了由模 $Q = 2^q$ 的算术量子加法器电路构造的显式幺正算符。具体而言，他们利用了电路 $|a, b\rangle \mapsto |a+2b, b\rangle$ 和 $|a, b\rangle \mapsto |a, b+2a\rangle$。这些是相对于广义 Pauli 算符的 Clifford 算符。幺正算符集 $\{U_I\}$ 是由这些基于加法器的置换的张量积构成的。

3. 测量与前馈 (MFF)： 算符 $H$ 定义为 $H^2 = \gamma(I_n + F)^{-1}$，其中 $F$ 是一个由用于控制输出熵的幺正算符构成的正算符。该信道通过二进制测量 $\{H^2, I_n - H^2\}$ 实现。如果测量结果对应于 $H^2$，则状态通过 $\Psi_0$；否则，状态被替换为最大混合态。

4. 通过矩估计进行熵界定： 核心技术创新在于利用矩估计（moment estimates）而非依赖于随机矩阵的强收敛性或测度集中性，来推导单副本和双副本输出熵的界限。

   • 单副本（下界）： 通过界定算符范数 $\| H A(W) H\|$ 来建立最小输出熵 $H_{\min}(\Psi)$ 的下界，其中 $A(W)$ 涉及 $U_I^\dagger U_J$ 的求和。这依赖于这些 Clifford 幺正算符的具体代数结构。
   • 双副本（上界）： 通过分析 $F$ 的迹来推导 $H_{\min}(\Psi \otimes \Psi)$ 的上界。作者表明，对于他们选择的特定 $F$（即 $A(V)$ 的高次幂之和），通过选择足够大的参数 $Q$ 和 $L$，可以使 $\text{Tr}(F)/n$ 变得任意小。这种微小的迹确保了双副本输出熵显著低于两倍的单副本熵。

主要贡献与结果
本文提出了定理 1，该定理确立了一个具有以下性质的显式量子信道族 $\Phi_N$（由 $N$ 参数化）：

• 维度： 输出维度 $k$ 关于 $N$ 指数级增长，而输入维度 $n$ 关于 $N$ 双指数级增长。
• 无界增益： 单次 Holevo 信息 $\chi_{\max}(\Phi_N)$ 严格小于 $1/N$，而双副本 Holevo 信息 $\chi_{\max}(\Phi_N^{\otimes 2})$ 超过 $N$。
• 超加性： 因此，经典容量满足 $C(\Phi_N) \ge \frac{1}{2}\chi_{\max}(\Phi_N^{\otimes 2}) \gg \chi_{\max}(\Phi_N)$。

双副本容量与单次容量之间的差距随参数 $r$（其中 $N$ 与 $r$ 相关）线性增长，而输入维度随 $r$ 双指数级增长。这证明了随着信道族参数的增加，每使用一次信道的加性违反程度是无界的。

意义与主张
作者声称解决了关于可加性问题的三个具体问题：

1. 显式性： 他们提供了一个由代数公式（Clifford 置换和特定测量与前馈过程）定义的信道，并从解析上证明了其 Holevo 信息是严格超加性的，从而消除了对概率存在性证明的需求。
2. 量级： 他们展示了每使用一次信道的增益 $\frac{1}{2}\chi_{\max}(\Phi^{\otimes 2}) - \chi_{\max}(\Phi)$ 可以无界增长。
3. 维度界限： 他们提供了实现预设增益所需的输入和输出维度的显式界限。

本文将此工作定位为一种“原理证明”。作者承认目前的维度在实际中尚无法实现，且所选用的幺正算符并非唯一。他们建议，寻找更简单、更小规模的量子电路仍是未来工作的开放课题。其数学证明已通过 Lean 定理证明器进行了验证。这项工作通过使用确定性的 Clifford 置换取代随机幺正算符，并利用精心设计的测量与前馈过程通过矩估计来控制熵界，从而实现了对 Hastings 构造的去随机化。