A $k$-entanglement measure complying with the many-body resource theory and its evaluation

技术摘要：一种符合多体资源理论的 $k$-纠缠度量及其评估

问题陈述
本文针对研究混合态 $k$-纠缠（由特定划分指数 $k$ 表征的纠缠，其范围从 $k=2$ 的真多体纠缠到 $k=n$ 的全多体纠缠）时面临的三个基本瓶颈进行了探讨：

1. 缺乏公理化框架： 现有的 $k$-纠缠度量公理化框架（忠实性、LOCC 单调性和置换对称性）未能纳入多体资源理论的要求。具体而言，这些框架既没有规定如何量化分配给同一多体态之子系统的纠缠，也没有强制要求部分系统的纠缠量不能超过整体系统的纠缠量。
2. 缺乏合适的度量： 目前尚无已知的显式度量能够满足这些多体资源理论的要求。
3. 计算不可行性： 现有 $k$-纠缠度量在处理混合态时的数值评估极其困难，特别是对于那些通过凸包扩展（convex-roof extensions）构建的度量，这使得在高维或混合态下的计算变得几乎不可能。

方法论
作者提出了一个三管齐下的解决方案：

1. 公理化重构：
   利用“子划分”（sub-repartitions，即子系统的部分分组）的概念，作者在对 $(k, \mathcal{P})$ 对（其中 $k$ 为纠缠指数，$\mathcal{P}$ 为子划分）的关系上定义了一个偏序关系。作者引入了两个新公理来补充标准的三个公理：

   • 统一条件（Unification Condition）： 定义了如何通过将约化态视为其各自子空间内的多体态来测量部分系统的纠缠。
   • 层级条件（Hierarchy Condition）： 将层级较低的系统（部分系统）的纠缠强度不得超过层级较高的系统（整体或更大的部分）的纠缠强度的约束形式化，前提是两者之间的指数和划分满足特定的排序关系。
     一个满足所有五个条件（忠实性、LOCC 单调性、对称性、统一性和层级性）的度量被定义为“真 $k$-纠缠度量”。

2. 基于观测量的构造度量 ($E^{(k,n)}_w$)：
   对于每一个 $2 \le k \le n$，作者基于 $k$-纠缠观测量构建了一个显式度量 $E^{(k,n)}_w$。

   • 该度量定义为 $|\min\{\text{Tr}(W\rho), 0\}|$ 在一组容许观测量集合 $W = \lambda I - L$ 下的上确界，其中 $L$ 是一个正算符，且 $\lambda$ 受函数 $g^{(k)}_n(L)$（$L$ 在 $k$-可分纯态上的最大期望值）限制。
   • 至关重要的是，这种构造避免了凸包扩展，因此适用于有限维和无限维系统。
   • 作者证明了 $E^{(k,n)}_w$ 满足所有五个公理，以及凸性和次可加性。

3. 数值评估方案：
   为了克服评估混合态的困难，作者提出了一种基于数据库驱动的方法：

   • 数据库构建： 对有限的正算符集 ($L$) 进行采样。对于每个 $L$，通过针对所有有效 $k$-划分的积态优化来计算其对应的 $g^{(k)}_n(L)$ 值。这些值被存储在一个可重复使用的数据库中。
   • 状态评估： 对于给定的状态 $\rho$，通过在有限数据库上最大化 $\text{Tr}(L\rho) - g^{(k)}_n(L)$ 来近似该度量。
   • 软件实现： 开发了一个软件工具来实现该方案，用于处理高达四个量子比特的系统，并利用了包含 $3 \times 10^4$ 个采样正算符的数据库。

主要结果

• 理论验证： 本文证明了 $E^{(k,n)}_w$ 是一个真 $k$-纠缠度量，从而在所提出的框架内将 $k$-纠缠（包括 GME 和 ME）确立为一种多体量子资源。
• 准确性与可靠性： 对两量子比特系统的数值测试表明，该软件的结果与纠缠负性（一种已知的两量子比特精确度量）高度一致，随着样本量的增加，正检测计数（positive detection counts）的相对差异降至 1% 以下。
• 已知态的基准测试： 该软件成功恢复了 Werner 态、W 态、线性簇态（linear-cluster）、Dicke 态和单态型（singlet-type）态在 $n=2, 3, 4$ 情况下的已知 $k$-纠缠阈值。在某些情况下（例如 4-量子比特 W 态和 Dicke 态），该软件改进了现有的充分判据，能在比以往建立的更低的噪声水平下检测到纠缠。
• 泛化能力： 该方法成功检测了在各种分组方式下 $n$-部分 $m$-量子比特系统（$n < m$）中的纠缠，证明了该度量能够适应不同的子系统结构。
• PPT 纠缠检测： 该软件成功检测出了四量子比特双体系统中存在纠缠的 PPT（正部分转置）态，而这正是 PPT 判据失效的任务。
• 性能： 在完成初始数据库构建后，在标准工作站上评估四量子比特状态的耗时报告少于 200 秒。

意义与主张
本文声称提供了第一个严格遵循多体资源理论要求的“真 $k$-纠缠度量”，特别解决了多体相关性的层级性质问题。通过避开凸包扩展，这项工作为量化混合态的纠缠提供了一种计算可行的方法，而此前这被认为是对于一般 $k$-纠缠而言难以实现的。

作者强调，其软件作为一个实用的工具，可以：

1. 高效地检测 $k$-纠缠并描述其强度。
2. 恢复已知判据并可能发现新的纠缠态。
3. 为比较不同子系统分组间的纠缠提供一个一致的框架。

论文也谦虚地指出，虽然该方法适用于任意有限维系统，但扩展到更大规模的系统需要更高效的算符采样和优化方法。同时，作者也提出了开放性的理论问题，例如该度量是否满足与层级条件相兼容的特定多体单配性（monogamy）关系。作者表示，$E^{(k,n)}_w$ 是目前已知唯一的真 $k$-纠缠度量。