Fixed-Boost Wigner Noise: Strict Trace-Distance Contraction without Quantum Degradability

技术摘要：固定提升（Fixed-Boost）维格纳噪声与迹距离收缩

问题陈述
本文探讨了相对论量子信息领域中的一个基本问题：在固定的洛伦兹提升（Lorentz boost）下，所有可观测自旋对比度（迹距离）的减少，是否必然意味着所得的噪声信道是原始信道的后处理（退化）过程？具体而言，如果一个目标制备在同一提升下的每一个校准轴上，都产生比源制备更小的自旋态可区分性，那么是否存在一个与状态无关的完全正迹保（CPTP）映射 $\Lambda$，使得 $\Phi_{target} = \Lambda \circ \Phi_{source}$？

以往的研究已经证实，由于维格纳旋转（Wigner rotations）的存在，减缩后的自旋态取决于观察者的提升以及动量分布。虽然简单的去相干模型通常可以通过单一的相干参数进行排序，但本文研究了一个更复杂的情景：即维格纳旋转轴在横向平面内发生变化，从而产生了非对易的分支旋转。其核心的操作性问题在于，分量级阻尼（即所有布洛赫坐标的收缩）是否足以保证量子统计上的后处理序关系。

方法论
作者采用严谨的几何与解析方法，对由单一固定观察者提升所生成的减缩自旋信道进行了表征。

1. 模型构建： 研究假设一个自主乘积制备 $\rho_{SP} = \rho_S \otimes \rho_P$，其中动量态 $\rho_P$ 是一个迹类算符。自旋动力学通过洛伦兹变换的动量迹（momentum trace）产生的随机幺正信道来描述。
2. 几何表征： 作者推导了在具有反转对称横向动量分布的情况下，由固定提升所能实现的布洛赫矩阵的精确凸锥。这涉及分析在垂直于提升轴的平面上，对维格纳旋转 $R_n(\pm \theta)$ 进行的平均化处理。
3. 解析族： 在该锥体内，作者构造了一个特定的泡利对角信道族，由权重 $u$ 和 $v$（代表相反动量对的概率质量）进行参数化。这些信道定义为：
   $$M_\alpha = \text{diag}(1-\alpha, 1-\alpha, 1-2\alpha)$$
   其中 $\alpha$ 是维格纳角和动量权重的函数。
4. 优化与验证： 本文解决了寻找目标信道与任何物理转换器作用于源信道之间的最小钻石范数（diamond-norm）距离的优化问题。作者利用 Fujiwara-Algoet 不等式和 Choi 特征值分析来测试完全正性。
5. 鲁棒性分析： 将理想化的“尖锐动量分支”模型扩展到纯的、可归一化的波包。作者提供了显式的扰动界限和有限采样层析成像证书，以证明这些结果对于具有有限动量展宽的物理可实现态依然成立。

主要贡献与结果

• 无退化性的严格迹距离收缩： 主要结果是构造了一个反例：对于 $0 < u < v < 1/2$，目标信道 $\Phi_v$ 与源信道 $\Phi_u$ 相比，严格收缩了所有不同自旋态之间的两两迹距离。尽管存在这种严格的观测对比度排序，但不存在任何 CPTP 映射 $\Lambda$ 满足 $\Phi_v = \Lambda \circ \Phi_u$。
• 精确锥体表征： 本文提供了“固定提升对称锥”的精确描述。一个实矩阵 $M$ 属于该锥体，当且仅当它具有如下形式：
  $$M = \begin{pmatrix} I_2 - D & 0 \\ 0 & 1 - \text{Tr} D \end{pmatrix}$$
  其中 $D \succeq 0$ 且 $\text{Tr} D \leq s$（其中 $s$ 与维格纳角相关）。这揭示了一个更简单的三轴模型所忽略的运动学约束：纵向亏损必须等于横向亏损矩阵的迹。
• 定量缺陷： 作者计算了精确的有向 CPTP 缺陷（即到物理转换器的最小钻石范数距离）：
  $$\delta_\diamond(\beta|\alpha) = \frac{\alpha(\beta - \alpha)}{2 - 3\alpha} \quad \text{对于 } \alpha < \beta < 1/2$$
  这量化了任何物理后处理都无法弥补的“间隙”。
• Choi 特征值见证： 所需的将源映射到目标的唯一线性因子 $T = M_\beta M_\alpha^{-1}$ 被证明具有负的归一化 Choi 特征值：
  $$\lambda_{\min} = -\frac{s^2 u(v-u)}{2(1-su)(1-2su)} < 0$$
  这证明了该因子不是完全正的。
• 马尔可夫障碍： 本文证明了该族中非恒等成员无法嵌入到齐次泡利对角 Lindblad 语义群中。它们违反了 Lindblad 语义群所需的不等式 $\lambda_z \geq \lambda_x \lambda_y$，这表明相对论噪声并非标准耗散过程的简单正时间点。
• 稳定性与层析成像： 结果被证明对于可归一化波包依然有效。作者推导了显式的“认证排除邻域”界限，证明即使存在有限测量误差和有限动量展宽，也可以通过层析成像在实验上验证这种非退化性。

意义与主张
本文声称证明了：对所有未经辅助的自旋可区分性的排序，并不决定量子统计上的后处理序关系。

• 操作性含义： 分量级阻尼不足以作为相对论环境下信息丢失的代理指标。一个信道可以在每一个可观测层面（更小的迹距离、更小的奇异值）都表现得“噪声更大”，但在量子信息意义上却仍是“不可比的”，因为所需的变换违反了完全正性。
• 结构性洞察： 退化性的失效源于固定提升运动学所强加的三种观测收缩之间的特定耦合。纵向收缩相对于横向收缩变得过强，以至于无法容纳在 CPTP 四面体内。
• 主张的审慎性： 作者明确指出，他们并不声称表征了由任意自旋-动量关联产生的所有信道，也不表征了所有洛伦兹波包。该结果针对的是具有反转对称横向动量的“固定提升”实现情况。本文侧重于展示存在一个由物理生成的开放集，其中的信道对在标准直觉（较小距离 $\implies$ 后处理）失效的情况下，呈现出非退化性，而非对所有相对论噪声进行完整分类。

总之，这项工作确立了对于单个固定洛伦兹提升而言，减缩自旋信道的集合构成了一种结构：其中恒等映射支配所有成员，但所有正噪声成员都构成了一个 Blackwell 反链（Blackwell antichain）：它们在迹距离上是全序的，但在 CPTP 后处理下是两两不可比的。