Difference-Set Weyl Channels: Exact Capacity, Optimizer Bifurcation, and Scalable Entanglement Separation

技术摘要：差集 Weyl 信道 (Difference-Set Weyl Channels)

问题陈述
量子信道的经典容量 $C(\Phi)$ 通常是一个正则化量，需要对跨多个信道使用的纠缠码字进行优化。虽然已知纠缠破缺（entanglement-breaking）信道具有加性容量，但非纠缠破缺信道的行为仍然很复杂。具体而言，目前尚不清楚一个保留纠缠（即其 Choi 态具有非正部分转置）的信道是否仍能在每个块长度下都拥有精确的经典最优码，从而使得纠缠和 Wigner 负性对于提高传输速率变得毫无用处。

本文研究了奇数局部维度 $D$ 下的随机 Weyl 信道。这些信道是完全正且保持 Wigner 性质的（CPWP），这意味着它们将 Wigner 非负态映射为 Wigner 非负态。然而，不受限制的输入可能具有带符号的 Wigner 函数，并且在信道使用之间可能存在纠缠。核心挑战在于识别满足何种结构性条件，使得这些信道尽管保留了量子纠缠，却能表现出“刚性”的经典编码特性，并确定其精确容量和优化器结构，而无需正则化。

方法论
作者采用子系统解析的 Weyl 分解来分析张量稳定的输出纯度界限。关键方法论组成部分包括：

1. Wigner 碰撞谱 (Wigner Collision Spectrum)： 分析依赖于 Wigner 核的经典碰撞算符。作者利用了这样一个事实：对于随机 Weyl 信道 $\Phi_p$，其输出纯度受限于概率分布 $p$ 的傅里叶变换的最大平方模 $\kappa(p)$。
2. 组合设计理论 (Combinatorial Design Theory)： 本文将循环差集 (cyclic difference sets) 识别为能够饱和最坏非平凡碰撞模式之通用 Parseval 下界的特定位移支撑集。这建立了量子信道容量与 $\mathbb{Z}_D$ 中特定组合结构之间的联系。
3. 张量幂等式分析 (Tensor-Power Equality Analysis)： 通过将碰撞谱与约化态纯度（通过累积支撑恒等式）相结合，作者推导出了所有张量幂 $n$ 下最小输出 Rényi 熵的精确等式条件。这使得对最优输入态和系综的完整分类成为可能。
4. 插值路径 (Interpolation Paths)： 研究通过在两个等规模的循环差集（$R$ 和 $H$）与均匀分布之间进行插值，构建了一个“平衡”的信道族，从而实现了从非纠缠破缺机制到纠缠破缺机制的连续过渡。

主要贡献与结果

1. 精确容量与优化器刚性 (Exact Capacity and Optimizer Rigidity)：
   对于具有均匀位移支撑集 $R$（大小为 $r$）和满足特定碰撞半径约束的相位分布 $h$ 的位移-相位噪声因子化信道，本文证明了对于所有 $n \ge 1$ 且 $0 \le \alpha \le 2$，其最小输出 Rényi 熵精确为 $S_{\alpha, \min}(\Phi^{\otimes n}) = n \log_2 r$。

   • 容量： 经典容量精确为 $C = \log_2(D/r)$。
   • 优化器结构： 最优输入严格为计算基下的乘积态。即使当信道不是纠缠破缺时，纠缠码字和集体解码也无法提供任何优势。
   • 强反演 (Strong Converse)： 建立了一个具有显式指数的有限块长强反演，证明任何超过 $C$ 的速率都会导致成功概率呈指数级消失，无论是否存在纠缠。

2. 优化器分叉与纠缠分离 (Bifurcation of Optimizers and Entanglement Separation)：
   本文引入了一个平衡插值 $h_\varepsilon = (1-\varepsilon)q_H + \varepsilon u_D$，介于两个差集之间。

   • 恒定容量： 在整个区间 $\varepsilon \in [0, 1]$ 内，无辅助容量保持精确恒定（$\log_2(D/r)$）。
   • 纠缠边界： 信道仅在 $\varepsilon = 1$ 时是纠缠破缺的。对于所有 $\varepsilon < 1$，Choi 态是 NPT（部分转置负定）的，表明存在持续的信道纠缠。
   • 优化器分叉： 在 $\varepsilon = 0$ 时，最小输出态集合发生分叉：每个最优态都是从计算基或傅里叶基（相互正交/互补）中独立选择局部因子的乘积。对于任何 $\varepsilon > 0$，只有计算基乘积保持最优。

3. 可扩展的纠缠辅助优势 (Scalable Entanglement-Assisted Advantage)：
   利用 Singer 差集（其中 $D = q^2 + q + 1$ 且对于素幂 $q$，$r = q + 1$），作者展示了无辅助容量与纠缠辅助容量之间可扩展的分离。

   • 纠缠辅助容量为 $C_E = 2\log_2 D - \log_2 r - H(h_\varepsilon)$。
   • 当 $q \to \infty$ 时，比例 $C_E / C \to 2 - \varepsilon$。这表明，虽然无辅助容量是刚性的且对纠缠破缺转变不敏感，但纠缠辅助速率会发生宏观变化，从而提供可扩展的优势。

4. 恒等-去相位路径与相图 (Identity–Dephasing Path and Phase Diagram)：
   对于恒等-去相位剖面，本文确定了精确的张量幂碰撞熵相图。

   • 在阈值 $\eta^* = \sqrt{\alpha_R}$ 处发生剧烈转变。在此阈值之下，极小值是计算基乘积；在此之上，则是傅里叶基乘达。
   • 作者利用这两个基的代码和碰撞反演提供了严格的容量界限。
   • 他们确定了一个明显的冯·诺依曼交叉点 $\eta_{vN} > \eta^*$，并提出了关于中间区域 $1 \le \alpha < 2$ 时精确张量幂 Rényi 表达式的 猜想 1，该猜想得到了数值诊断的支持，但尚未得到证明。

意义与主张
本文声称，完全 Wigner 正性可以与持续的信道纠缠以及刚性的经典无辅助编码并存。其主要新颖性不在于非纠缠破缺信道的存在，而在于构建了一个特定的信道族，其中：

• 无限制容量是精确加性的，并且与跨使用的纠缠无关。
• 优化器集合在经历结构性分叉（从双基简并到单基刚性）的同时，容量保持不变。
• 纠缠辅助优势是可扩展的，并且与无辅助速率截然不同，即使在信道向纠缠破缺状态过渡时也是如此。

作者明确指出，其结果并不断言对任意第二个信道的强加性，也不声称证明了中间噪声机制下 $\alpha < 2$ 的张量幂 Réни 猜想。其意义在于，在同一个可解析的信道族内，实现了经典编码刚性与量子资源效用（纠缠辅助）之间的操作性分离。