Absorption capacity of separable noise: Bell-mixing thresholds on separability and teleportation

技术摘要：可分噪声的吸收容量

问题陈述
本文研究了受噪声影响的双比特系统中纠缠动力学与量子隐形传态效用的问题。具体而言，它调查了沿“贝尔混合线”（Bell-mixing line）发生的转变，该线定义为固定的贝尔参考态 $|\Phi^+\rangle$ 与可分噪声态 $\sigma$ 的凸组合：
$$\rho_\lambda = \lambda |\Phi^+\rangle\langle\Phi^+| + (1-\lambda)\sigma, \quad \lambda \in [0, 1].$$
文中确定了沿此线上的两个关键操作阈值：

1. 可分性阈值 ($\lambda^*$)： 使 $\rho_\lambda$ 变为纠缠态的最小 $\lambda$ 值（等价于在双比特情形下状态失去正部分转置性质，即 PPT 性质）。
2. 隐形传态阈值 ($\lambda_F$)： 使最大隐形传态保真度 $F(\rho_\lambda)$ 超过经典界限 $2/3$ 的最小 $\lambda$ 值。

虽然这些阈值在特定情况（如 Werner 态）下是众所周知的，但本文旨在寻求一个统一的框架，以确定一般可分噪声态 $\sigma$ 的这些数值，并追踪它们在局部噪声通道作用下如何随 $\sigma$ 的演化而变化。

方法论
作者引入了一种“固定参考”视角，将关注点从“多少噪声破坏了一个固定的纠缠态”转向“一个固定的可分背景可以‘吸收’多少贝尔参考，直到发生转变”。这通过两个吸收容量进行了形式化定义：

1. 纠缠吸收容量 ($C_{abs}(\sigma)$)： 定义为使得混合后的部分转置保持正定的最大混合参数 $\eta$ 的上确界：
   $$C_{abs}(\sigma) := \sup \{ \eta \ge 0 : \sigma^{TB} + \eta Q \succeq 0 \},$$
   其中 $Q = (|\Phi^+\rangle\langle\Phi^+|)^{TB}$ 且 $\sigma^{TB}$ 是噪声态的部分转置。
2. 保真度吸收容量 ($C_F(\sigma)$)： 定义类似，但其停止条件是全纠缠分量 $f(\rho_\eta)$ 保持在或低于 $1/2$（等价于 $F \le 2/3$）：
   $$C_F(\sigma) := \sup \{ \eta \ge 0 : f(\rho_\eta) \le 1/2 \}.$$

本文建立了一个将这些容量与操作阈值联系起来的 Möbius 变换：
$$\lambda^*(\sigma) = \frac{C_{abs}(\sigma)}{1 + C_{abs}(\sigma)}, \quad \lambda_F(\sigma) = \frac{C_F(\sigma)}{1 + C_F(\sigma)}.$$

研究方法通过为两类具有结构的 separable 噪声推导闭式表达式来展开：

• 乘积噪声 ($\sigma = A \otimes B$)： 独立的局部退相干。
• 可分 X 态（Separable X States）： 在计算基下的对角线和反对角线上具有非零项的状态。

此外，本文利用分解证书（decomposition certificates），通过将容量分解为已求解的分量（乘积态或 X 态），利用容量的凹性为一般可分态提供下界。

主要贡献与结果

1. 乘积噪声的闭式阈值：

   • 纠缠吸收容量仅取决于局部边缘纯度：
     $$C_{abs}(A \otimes B) = \sqrt{(1 - \text{Tr} A^2)(1 - \text{Tr} B^2)}.$$
     这意味着可分性阈值 $\lambda^*$ 仅由局部不纯度决定，且独立于特定的极大纠缠参考框架。
   • 保真度吸收容量 $C_F$ 既取决于局部纯度，也取决于乘积态相对于贝尔参考的取向（特别是布洛赫矢量的对齐情况）。因此，$\lambda_F$ 可能不同于 $\lambda^*$，从而产生一个状态已纠缠但尚未具备隐形传态效用的区间。
   • 对于任意纯态参考 $|\psi\rangle$ 及其并发度 $C_\psi$，容量具有通用的缩放律：$C_{abs}(A \otimes B; \psi) = C_{abs}(A \otimes B) / C_\psi$。

2. X 态的闭式阈值：

   • 本文推导了四种贝尔框架（$\Phi^\pm, \Psi^\pm$）下可分 X 态的 $C_{abs}$ 和 $C_F$ 的显式公式。
   • 对于 $|\Phi^+\rangle$ 框架，$C_{abs}$ 取决于反对角线相干项 $u$ 以及 $\Psi$ 块的布居数 $b, c$：
     $$C_{abs}(\sigma_X; \Phi^+) = -2 \text{Re}(u) + 2\sqrt{bc - (\text{Im}(u))^2}.$$
   • 隐形传态容量 $C_F$ 具有类似的结构，但取决于布居之和 $(b+c)$。
   • 一个关键结果是显式表征了间隙 $\lambda_F - \lambda^*$。当中间布居数相等（$b=c$）时，该间隙消失（即纠缠与隐形传态效用同时出现）。否则，存在一个“无用纠缠”区间。

3. 退相干轨迹：

   • 该框架被应用于局部振幅阻尼（amplitude-damping）和去相位（dephasing）通道，这两类通道均保持 X 态结构。
   • 通过将随时间变化的项代入闭式公式，本文生成了显式的阈值轨迹 $\lambda^*(t)$ 和 $\lambda_F(t)$。
   • 结果表明，虽然去相位会导致单调的阈值变化，但振幅阻尼可能导致非单调行为（由于对角线布居的瞬时重新分布，阈值会上升并下降）。

4. 分解证书：

   • 本文证明了两种容量在凸分解下都是凹的。这使得通过将一般可分噪声分解为乘积或 X 分量，可以计算出阈值的认证下界，从而在某些情况下避免了全面的数值优化。

意义与主张
本文声称提供了一个统一的解析框架，用于定位沿贝尔混合线的纠缠与隐形传态转变。其主要意义在于：

• 解析控制： 超越了在特定点进行 PPT 或保真度数值检查的方法，提供了一套可以被界定、微分并在通道中追踪的闭式公式。
• 方向特异性： 明确地将噪声态视为输入并将参考态固定，这使这些容量区别于方向无关的纠缠度量。
• 操作洞察： 清楚地识别了状态已纠缠但无法提供量子优势（隐形传态）的参数区间（“无用纠缠”区间），并量化了噪声取向和类型（乘积型 vs. X 型）如何影响该间隙。
• 纯参考态的扩展： 为乘积噪声提供了一个简单的缩放律，该律仅取决于参考态的并发度。

作者指出，对于没有特殊结构的通用可分态，精确阈值需要求解一个小型的半正定规划（SDP），但所推导的乘积态和 X 态的闭式解，结合分解证书，为许多物理相关的噪声模型提供了一种实用且解析可处理的方法。