Quantifying mixed-state entanglement via partial transpose and realignment moments

技术摘要：通过部分转置与重组矩量量化混合态纠缠

问题陈述
量化混合量子多体系统中的纠缠仍然是一个极其困难的问题，特别是在噪声使得状态变为混合态的含噪声中等规模量子（NISQ）设备背景下。虽然纯态纠缠可以通过纠缠（Rényi）熵等度量进行良好表征，但将这些方法扩展到混合态面临着显著障碍。标准的度量——部分转置（PT）负性（或对数负性）——需要对部分转置进行全对角化，其计算成本呈指数级增长。此外，实验测量 PT 负性通常需要进行全态层析（full-state tomography）。以往的研究侧重于使用低阶矩量或正映射进行二元纠缠检测，但这些方法缺乏在大型噪声系统中表征纠缠程度或纠缠维度的定量能力。

方法论
作者引入了一系列基于部分转置矩量和重组矩阵（realignment matrix）的定量纠缠见证器。这些见证器定义为：

1. $p_\alpha$-负性 ($E_\alpha$)：源自 PT 矩量 $p_\alpha = \text{tr}((\rho^\Gamma)^\alpha)$。具体而言，$E_\alpha(\rho) = \frac{1}{2-\alpha}[\ln(\tilde{p}_\alpha) + (\alpha-1)S_2(\rho)]$，其中 $\tilde{p}_\alpha = \text{tr}(|\rho^\Gamma|^\alpha)$，而 $S_2$ 是 2-Rényi 熵。
2. $r_\alpha$-负性 ($C_\alpha$)：源自重组矩量 $r_\alpha = \text{tr}((R_\rho^\dagger R_\rho)^{\alpha/2})$，其中 $R_\rho$ 是重组矩阵。

作者重点讨论了 $\alpha=4$ 的情况（$E_4$ 和 $C_4$），证明了这些量可以在量子硬件上通过 SWAP 测试或在常数个副本（2 或 4 个副本）上进行 Bell 测量来高效测量，而无需进行全态层析。该框架通过将密度矩阵分解为电荷扇区（例如在全局 $U(1)$ 或 $\mathbb{Z}_2$ 对称性下）扩展到了**对称性解析（SR）**见证器，从而收紧了界限并提升了检测能力。

此外，作者还开发了高效的经典算法，用于计算矩阵乘积态（MPS）和矩阵乘积算符（MPO）的这些矩量，其计算成本随系统尺寸和键维（bond dimension）呈多项式级增长。

核心贡献与结果

1. 定量见证与界限：

   • $p_\alpha$-负性和 $r_\alpha$-负性充当了定量见证器。对于 $\alpha \ge 1$，它们分别提供了 PT 负性 ($E$) 和 CCNR 负性 ($C$) 的严格下界。
   • 至关重要的是，它们还提供了对纠缠鲁棒性和施密特数（纠缠维度）的下界估计。
   • 对于纯态，这些见证器会退化为标准的纠缠 Rényi 熵，从而有效地将其推广到混合态。

2. 高效纠缠测试：

   • 作者提出了一种高效算法，用于区分混合态具有低纠缠（$O(\log n)$）还是高纠缠（$\omega(\log n)$），前提是该状态具有有界的 2-Rényi 熵（$S_2 = O(\log n)$）。这推广了仅在纯态中已知的结论。
   • 研究还提供了测试施密特秩（使用 2-副本测量）和算符施密特秩（使用 4-副本测量）的高效算法。

3. 电路深度认证：

   • 这些见证器能够实现对制备特定状态所需的最小电路深度的稳健认证，即使在存在噪声的情况下（假设最终状态是弱混合的，即 $S_2 = O(\log n)$）。这扩展了以往的无噪声认证协议。

4. 伪纠缠与密码学：

   • 本文建立了关于伪纠缠（低纠缠态模仿高纠缠态的能力）的严格限制。
   • 研究表明，对于低熵（$S_2 = O(\log n)$）的混合态，伪纠缠间隙在根本上受限于 $f(n) = \Theta(n)$ 与 $g(n) = \omega(\log n)$。
   • 结果意味着熵是安全隐藏纠缠信息的必要资源；要实现最大间隙（$g(n)=0$），状态必须是高度混合的（$S_2 = \omega(\log n)$）。

5. 纠缠相图：

   • 作者展示了仅通过计算 $p_4$-负性，即可完全建立 Haar 随机态的纠缠相图（包含 PPT、最大纠缠和纠缠饱和相），从而绕过了对所有 PT 矩量进行解析延拓的需求。
   • 该结果适用于任何 4-设计（4-design） 态。令人惊讶的是，稳定器态（虽然不构成 4-设计）被证明与 Haar 随机态具有完全相同的纠缠相图。
   • $p_4$-负性即使在指数级强的全局去极化噪声下，也能有效捕捉 Haar 随机态中的体积律纠缠。

6. 多体应用：

   • 在横场伊辛模型（TFIM）和 XXZ 模型上的数值结果表明，这些见证器（尤其是对称性解析版本）能有效检测受噪声和有限温度影响的基态中的纠缠。
   • 研究表明，SR 见证器比非 SR 见证器更具鲁棒性，能够在标准见证器失效的机制（如不连通划分或临界点附近）中检测到纠缠。

意义
本文声称为量化大型且嘈杂的量子系统开辟了新途径。通过引入 $p_\alpha$ 和 $r_\alpha$ 负性，作者提供了一种具有定量能力的、实用的、实验可及的 PT 负性替代方案。这项工作弥合了纯态纠缠理论（通过 Réни 熵）与混合态物理之间的鸿沟，提供了表征纠缠维度、认证电路深度以及理解伪纠缠复杂性的工具。通过 MPS/MPO 算法高效计算这些见证器，并利用 SWAP 测试进行测量的能力，使其可以直接应用于当前的及未来的量子硬件，解决了为标定 NISQ 设备提供基准测试的关键需求。