每个 PPT 信道都具有有限的纠缠破坏指数。

Every PPT channel has finite entanglement-breaking index

arXiv: 2608.13551v1

论文信息

标题: Every PPT channel has finite entanglement-breaking index

作者: Sang-Jun Park

发布日期: 2026-08-13

arXiv ID: 2608.13551v1

PDF 链接: 下载 PDF

3 分钟速览

  • 研究问题：这篇论文要解决 “任意 PPT（正部分转置）线性映射是否最终变成纠缠破坏（EB）” 这一开放问题，即是否每个 PPT 映射都有有限的纠缠破坏指数。
  • 核心方法：利用 Perron–Frobenius 特征矩阵的支撑分解，把奇异支撑情形拆成两个更低维度的 PPT 映射，再用归纳法证明；同时通过低秩 Kraus 分解和 qubit/qutrit 复合机制，给出一类映射的与维度无关的指数上界。
  • 关键结果：定理 1.1 证明每个 PPT 映射 Md→MdM_d\to M_d 的纠缠破坏指数都有限；定理 1.2 证明若 PPT 映射属于 DSP2\mathcal{DSP}_2，则其纠缠破坏指数不超过 3，且该上界不依赖维度。
  • 主要局限：论文没有给出所有 PPT 映射统一的、与维度无关的有限上界；DSPk\mathcal{DSP}_k 是否覆盖全部 PPT 映射仍未知，因此 PPT 立方猜想仍未完全解决。
  • 适合读者：量子信息理论、算子代数、数学物理方向的研究者，尤其是熟悉 Choi 矩阵、Schmidt 数、PPT 映射和纠缠破坏信道概念的读者。

论文背景和研究动机

在量子信息中，一个线性映射 Φ:Md→Md\Phi:M_d\to M_d 被称为 PPT，如果它既完全正（CP），又完全余正（co-CP）。等价地，它的 Choi 矩阵在部分转置下仍保持正性。另一个重要概念是纠缠破坏（EB）映射：其 Choi 矩阵是可分离态。PPT 映射不一定 EB，但一个著名猜想——PPT 平方猜想——认为任意两个 PPT 映射的复合会变成 EB；其等因子版本问：是否任意 PPT 映射的平方都是 EB。

此前已有若干部分结果。Lami 和 Giovannetti 系统引入了纠缠破坏指数 nEB(Φ)n_{\rm EB}(\Phi)，定义为 Φn∈EB\Phi^n\in\mathcal{EB} 的最小 nn。Kennedy、Manor 和 Paulsen 证明了幺正或保迹 PPT 映射的迭代渐近进入 EB 锥；Rahaman、Jaques 和 Paulsen 证明了幺正 PPT 信道有有限 EB 指数；Hanson、Rouzé 和 Stilck França 将有限时间纠缠破坏推广到忠实的 PPT 信道，以及左右 Perron 特征矩阵正定的 PPT CP 映射。三位作者还独立证明了 qutrit 情形下的 PPT 平方猜想。

本文的动机之一，就是去掉上述 “全秩 Perron 特征矩阵” 的限制。该限制来自正映射的 Perron–Frobenius 理论：正映射的谱半径是特征值，并且存在非零半正定的右、左特征矩阵。已知结论只覆盖这些特征矩阵严格正定的情形。本文要处理的，正是某个 Perron 特征矩阵奇异的情形。

核心方法和技术细节

论文的核心技巧是 “Perron–Frobenius 支撑分裂”。设 Φ:Md→Md\Phi:M_d\to M_d 是 PPT 映射，并且存在 ρ≥0\rho\ge 0、λ>0\lambda>0 使得 Φ(ρ)=λρ\Phi(\rho)=\lambda\rho。令 Πρ\Pi_\rho 为 ρ\rho 的支撑投影，Hρ=Ran⁡(ρ)H_\rho=\operatorname{Ran}(\rho)。论文第 3 节证明了一个关键支撑关系（见论文引理 3.1 和命题 3.3）：

Φ(∣u⟩⟨u∣)=ΠρΦ(∣u⟩⟨u∣)Πρ,u∈Hρ.\Phi(|u\rangle\langle u|)=\Pi_\rho \Phi(|u\rangle\langle u|)\Pi_\rho,\qquad u\in H_\rho.

更一般地，若 u∈Hρu\in H_\rho 或 w∈Hρw\in H_\rho，则 Φ(∣u⟩⟨w∣)\Phi(|u\rangle\langle w|) 在矩阵块结构中也只出现在 Πρ\Pi_\rho 对应的块内。这个性质来自正性加上完全余正性，而不只是正性。

利用这一点，论文把 Choi 矩阵 CΦC_\Phi 按 (Cd)⊗2=(Hρ⊗Cd)⊕(Hρ⊥⊗Cd)(\mathbb{C}^d)^{\otimes 2}=(H_\rho\otimes\mathbb{C}^d)\oplus(H_\rho^\perp\otimes\mathbb{C}^d) 写成 2×22\times 2 块矩阵。通过 Schur 补，论文构造了两个 CP 映射 A,B\mathcal{A},\mathcal{B}，使得

Φ=A+B,B∘A=0.\Phi=\mathcal{A}+\mathcal{B},\qquad \mathcal{B}\circ\mathcal{A}=0.

其中 A\mathcal{A} 的输出支撑在 Πρ\Pi_\rho，而 B\mathcal{B} 只读取 Πρ⊥\Pi_\rho^\perp 角落的输入。论文进一步定义了更低维的角映射

Φρ=Ad⁡Vρ∗∘Φ∘Ad⁡Vρ,Φρ⊥=Ad⁡Vρ⊥∗∘Φ∘Ad⁡Vρ⊥,\Phi_\rho=\operatorname{Ad}_{V_\rho^*}\circ\Phi\circ\operatorname{Ad}_{V_\rho},\qquad \Phi_{\rho^\perp}=\operatorname{Ad}_{V_{\rho^\perp}^*}\circ\Phi\circ\operatorname{Ad}_{V_{\rho^\perp}},

它们都是 PPT，且作用在维度严格小于 dd 的空间上。命题 3.6 把 Ap\mathcal{A}^p 和 Bp\mathcal{B}^p 与 Φρp−1\Phi_\rho^{p-1}、Φρ⊥p−1\Phi_{\rho^\perp}^{p-1} 联系起来，从而得到（见论文推论 3.7）：

nEB(Φ)≤nEB(Φρ)+nEB(Φρ⊥)+1.n_{\rm EB}(\Phi)\le n_{\rm EB}(\Phi_\rho)+n_{\rm EB}(\Phi_{\rho^\perp})+1.

这正是归纳证明的关键。论文第 4 节对维度做归纳：d=2d=2 时所有 PPT 映射都 EB；若谱半径为零，由 Cayley–Hamilton 得 Φd2=0∈EB\Phi^{d^2}=0\in\mathcal{EB}；若右 Perron 特征矩阵奇异，用上述支撑分裂和归纳假设；若右 Perron 特征矩阵满秩但左 Perron 特征矩阵奇异，对 Φ∗\Phi^* 使用同样论证；若左右都满秩，则归入已知的全支撑情形。这样完成了定理 1.1 的证明。

另一个重要中间结果是定理 3.8：PPT 映射的 Choi 矩阵 Schmidt 数满足

SN⁡(CΦ)≤max⁡{rank⁡ρ,d−rank⁡ρ}.\operatorname{SN}(C_\Phi)\le \max\{\operatorname{rank}\rho,d-\operatorname{rank}\rho\}.

当 ρ\rho 奇异时，右端严格小于 dd，因此 Φ∈SPd−1\Phi\in\mathcal{SP}_{d-1}。这为归纳提供了额外的纠缠维度控制。

论文第二部分引入了更宽的锥 DSPk=SPk+⊤∘SPk\mathcal{DSP}_k=\mathcal{SP}_k+\top\circ\mathcal{SP}_k，其中 SPk\mathcal{SP}_k 是 kk-superpositive 映射，即 Choi 矩阵 Schmidt 数不超过 kk 的 CP 映射。每个 Λ∈DSPk\Lambda\in\mathcal{DSP}_k 可以写成

Λ=∑αAd⁡Kα+∑β⊤∘Ad⁡Lβ,\Lambda=\sum_\alpha \operatorname{Ad}_{K_\alpha}+\sum_\beta \top\circ\operatorname{Ad}_{L_\beta},

且所有 Kα,LβK_\alpha,L_\beta 的秩不超过 kk。对 k=2k=2，将每个秩不超过 2 的矩阵分解为 d×2d\times 2 矩阵的乘积，论文证明任意 Φ2∘Λ∘Φ1\Phi_2\circ\Lambda\circ\Phi_1 都是若干 “经过 qubit 中间代数” 的 PPT 复合之和。引用 qubit 中间代数定理（PPT composition through a qubit is EB），得到

PPT∘DSP2∘PPT⊆EB.\mathcal{PPT}\circ\mathcal{DSP}_2\circ\mathcal{PPT}\subseteq\mathcal{EB}.

由此推出：若 Φ∈DSP2\Phi\in\mathcal{DSP}_2 且 PPT，则 Φ3∈EB\Phi^3\in\mathcal{EB}。对 k=3k=3 的论证类似，但中间会出现作用在 M3M_3 上的 PPT 映射，此时利用 qutrit PPT 映射都是 2-superpositive 的事实，再套用 k=2k=2 的结果，得到五重复合 EB（见论文定理 5.5）。

创新点和贡献

本文的第一个贡献是完全解决了 PPT 映射的定性 “最终纠缠破坏” 问题。之前的有限指数结果要么要求保迹/幺正，要么要求忠实的全支撑 Perron 特征矩阵。定理 1.1 去掉了所有这些额外条件，证明任意有限维 PPT 映射都有有限 EB 指数。这表明从极限角度看，PPT 复合不会无限期保持非 EB 性质。

第二个贡献是支撑分裂构造本身。它把奇异支撑情形显式拆成两个更小维度上的 PPT 映射，并给出指数递推界。这个工具不仅证明了有限性，还可能用于定量估计某些具体映射的 EB 指数。

第三个贡献是引入 DSPk\mathcal{DSP}_k 这一族锥，并给出与维度无关的绝对上界。论文例 5.4 说明，约化映射 R(X)=Tr⁡(X)Id−XR(X)=\operatorname{Tr}(X)I_d-X 属于 DSP2\mathcal{DSP}_2，但它甚至不是 2-positive；同时恒等映射 idd\mathrm{id}_d 除非 k=dk=d 否则不属于 DSPk\mathcal{DSP}_k。这说明 DSP2\mathcal{DSP}_2 已经包含相当非平凡的 PPT 映射，而不是一个只由低 Schmidt 数 CP 映射构成的窄类。

这些结果也为 PPT 立方猜想提供了证据。如果某个与维度无关的 kk 能满足 DSPk⊇PPT\mathcal{DSP}_k\supseteq\mathcal{PPT}，则 PPT 立方猜想对相应维数成立。作者在论文中明确把这个问题列为开放问题（见论文问题 5.6）。

实验结果分析

本文是纯理论工作，没有数值实验或数据集。主要结果都是形式化定理和证明，因此不存在实验可复现性问题。定理 1.1 和定理 1.2 的结论在论文第 4 节和第 5 节中给出完整证明，其依据是已有的 Perron–Frobenius 定理、Choi 矩阵工具、Schur 补分解以及 qubit/qutrit 中间代数定理。

局限与待解决问题

尽管定理 1.1 证明所有 PPT 映射都有有限 EB 指数，但该结果并不给出与维度无关的统一上界。论文问题 4.3 明确指出：对于 d≥4d\ge 4，是否存在一个仅依赖维度的 n(d)n(d)，使得所有 Md→MdM_d\to M_d 的 PPT 映射都满足 Φn(d)∈EB\Phi^{n(d)}\in\mathcal{EB}，仍然未知。也就是说，有限性证明可能得到的指数界会随具体映射变化，无法立即排除指数随维度增长而任意增大的可能性。

更关键的开放问题是：最小的 kk 使 DSPk⊇PPT\mathcal{DSP}_k\supseteq\mathcal{PPT} 是什么？论文问题 5.6 指出这一点未知。作者还说明，DSP2\mathcal{DSP}_2 是否包含所有 PPT 映射等价于对偶问题：是否每个 2-positive 且 2-copositive 的映射都可分解。论文作者并引述了一个更强的开放问题：是否每个 2-entanglement-breaking 映射都可分解。如果这些问题得到肯定回答，可能会直接导出 PPT 立方猜想，但论文本身没有解决这些问题。

因此，尽管本文给出了一个完整定性结果和若干非平凡的绝对界，PPT 平方、PPT 立方猜想的完全解决仍然需要新的工具。论文的价值在于把 “有限 EB 指数” 这个定性问题彻底关闭，并为后续定量研究提供了支撑分裂和 DSPk\mathcal{DSP}_k 两类可操作对象。