Instrument-based quantum resources: quantification, hierarchies and towards constructing resource theories

技术摘要：基于仪器的量子资源：量化、层级以及构建资源理论的研究

问题陈述
量子资源理论（QRTs）为量化在信息论和热力学任务中优于经典理论的量子特性提供了严谨的框架。虽然针对基于态的资源（如纠缠、相干性）和基于测量的资源（如测量不相容性）已有广泛研究，但基于仪器的资源理论在很大程度上仍未得到充分探索。量子仪器是基本设备，它们既产生经典测量结果，也产生测量后的量子态，这使得它们在顺序和多方场景（如量子网络）中至关重要。本文旨在解决缺乏一个用于量化和表征量子仪器固有资源的综合框架的问题。

方法论
作者采用了一个由“自由对象”（缺乏特定资源的仪器）和“自由变换”（将自由对象映射为自由对象的操作）组成的资源理论框架。核心方法论包括：

1. 距离度量： 本文基于钻石范数（$D^\diamond$）定义了量子仪器的距离度量。一个仪器 $I = \{\Phi_a\}$ 与作用在扩展希尔伯特空间上的量子信道 $\hat{\Gamma}_I$ 相关联。两个仪器之间的距离被定义为其相关信道的钻石距离。该距离被证明在后处理和超信道（super-channels）作用下具有收缩性。
2. 资源度量： 文中构建了两种主要的资源度量：
   • 鲁棒性（Robustness, $R$）： 将一个具有资源的仪器与噪声（自由仪器）混合，使其变为自由仪器的所需最小噪声量。
   • 权重（Weight, $W$）： 将一个给定的仪器分解为自由仪器混合物时，所需的具有资源的仪器的最小权重。
   • 扩展度量： 作者定义了考虑在扩展希尔伯特空间（与辅助系统张量积）上进行资源度量的变体（$\mathcal{R}$ 和 $\mathcal{W}$），并证明它们在自由变换下满足单调性。
3. 计算框架： 作者将基于距离的资源度量的计算表述为半正定规划（SDP）问题，确保其具有高效的可计算性。
4. 操作解释： 本文建立了资源度量与特定信息论任务（状态判别/猜谜游戏）中所获优势之间的联系，表明该资源度量为优于最佳自由仪器的性能优势提供了下界。

主要贡献与结果
本文构建并分析了五种特定的基于仪器的资源理论，定义了它们的自由对象、自由变换及层级结构：

1. 信息可保存性（Information Preservability）：

   • 自由对象： 丢弃并制备（trash-and-prepare）型仪器（即丢弃输入信息并输出固定态的仪器）。
   • 结果： 构建了一个以能够保存信息作为资源的资源理论。证明了该距离度量在特定的自由变换下具有单调性。

2. 纠缠可保存性（Entanglement Preservability）：

   • 强纠缠可保存性： 自由对象是纠缠破坏型仪器（其中每个结果通道都会破坏纠缠）。
   • 纠缠可保存性（弱）： 自由对象是弱纠缠破坏型仪器（其中总信道破坏纠缠，但单个结果可能不破坏）。
   • 结果： 本文证明对于量子比特而言，纠缠破坏型仪器是弱纠缠破坏型仪器的严格子集。文中构建了针对这两种变体的资源理论，并证明其度量是有效的。

3. 不相容性可保存性（Incompatibility Preservability）：

   • 强不相容性可保存性： 自由对象是不相容性破坏型仪器（即该仪器使任何一组输入测量变得相容）。
   • 不相容性可保存性（弱）： 自由对象是弱不相容性破坏型仪器（其中总信道破坏不相容性）。
   • 结果： 与纠缠情况类似，本文展示了一个严格的层级结构，其中不相容性破坏型仪器是弱不相容性破坏型仪器的子集。针对这两种情况均构建了资源理论。

4. 传统不相容性（Traditional Incompatibility）：

   • 自由对象： 传统的相容仪器集合（通过共享一个通过经典后处理恢复输出的联合仪器来实现相容）。
   • 结果： 基于文献 [21]，作者确认了钻石距离在自由可编程仪器设备（PID）超映射下的单调性。

5. 并行不相容性（Parallel Incompatibility）：

   • 自由对象： 并行相容的仪器集合（通过共享一个通过在张量积空间上取部分迹来恢复输出的联合仪器来实现相容）。
   • 结果： 本文为并行不相容性构建了资源理论，定义了自由变换，并证明了距离度量的单调性。

层级与关系
本文确立了自由对象集合之间的层级关系，这直接意味着资源度量之间的层级关系。具体而言：

• 丢弃并制备 $\subset$ 纠缠破坏 $\subset$ 弱纠缠破坏 $\subset$ 弱不相容性破坏。
• 丢弃并制备 $\subset$ 纠缠破坏 $\subset$ 不相容性破坏 $\subset$ 弱不相容性破坏。
• 因此，资源度量满足如下不等式关系：$R_{IP} \geq R_{EP} \geq R_{SEP} \geq R_{SMIP}$，其中 $IP$代表信息可保存性，$EP$代表纠缠可保存性，$SEP$代表强纠缠可保存性，$SMIP$ 代表强不相容性可保存性。

意义
本文声称提供了对多种基于仪器的量子资源进行详细资源理论表征的首次尝试。其意义在于：

• 统一性： 它提供了一个量化基于仪器的量子资源的统一框架，弥合了基于态的理论与基于测量的理论之间的鸿沟。
• 操作相关性： 通过将资源度量与信息论任务（特别是猜谜游戏）中的优势联系起来，这项工作将其抽象度量落实到了操作效用中。
• 计算可行性： SDP 公式化允许对这些资源进行实际的数值评估。
• 基础洞察： 本文阐明了在仪器语境下，“强”与“弱”变体资源（例如纠缠和不相容性破坏）之间的区别与层级，揭示了后处理可以改变这些资源的“弱”性质。

作者总结道，这项工作为未来的研究开辟了道路，包括单次（one-shot）与渐近（asymptotic）资源转换、催化作用（catalysis）以及研究仪器相容性中的“经典性层级”。