技术摘要：$n$-wise 测量可模拟性、相容结构与多副本相容性之间的严格层级关系

问题陈述

测量不相容性（即某些量子可观测量无法进行联合测量）是量子信息中的一种基本资源。虽然标准的不相容性（联合可测量性）已得到充分理解，但近期的文献提出了各种泛化方法，旨在量化一个测量集合（由 $m$ 个测量组成）中究竟包含“多少个”真实的测量。这些泛化包括测量可模拟性、相容结构（或 $n$-wise 相容性）以及多副本不相容性。

目前，这些概念被孤立地使用，缺乏对其相互关系的清晰理解。该领域缺乏一个统一的框架来确定这些不同的定义是在描述相同的测量集，还是不同的子集。这种模糊性导致了研究现状的“混乱”状态，即竞争性的概念在未意识到其操作或数学差异的情况下被应用。本文旨在通过在这些泛化之间建立严格的层级关系，并澄清它们的计算与几何差异来解决这一问题。

研究方法

作者结合了操作性定义、测量集合的几何分析以及凸优化技术（特别是半正定规划，SDP）来进行研究。

1. 操作性定义： 本文严格定义了三种主要的泛化：

   • 测量可模拟性 ($SIM_n$)： $m$ 个测量是否可以利用 $n$ 个测量通过经典的前处理和后处理进行模拟？作者区分了确定性前处理 ($SIM_n^{Det}$) 和概率性前处理 ($SIM_n$)。
   • 相容结构 ($JM_n^{conv}$)： 该集合是否可以分解为若干个测量集合的凸组合，其中每个集合的大小为 $n$ 且是联合可测量的？这通过相容超图在几何上进行定义。
   • 多副本相容性 ($Copy_n$)： $m$ 个测量的统计特性是否可以通过对 $n$ 个输入态进行单次联合测量来重现？

2. 集合包含关系分析： 核心方法论涉及证明这些定义之间的严格集合包含关系。作者分析了这些集合的凸性性质，并利用数值优化（SDP）结合 $\epsilon$-net 网格方法，在难以进行解析证明的情况下建立严谨的界限。

3. 克隆连接： 对于多副本情况，作者利用联合可测量性与最优量子克隆（特别是 Werner 克隆映射）之间的联系，推导出了针对纯输入态的通用界限。

主要贡献与结果

1. 集合包含层级

主要贡献在于建立了对于由 $n$ 个测量模拟 $m$ 个测量的测量集合的严格包含层级关系 ($1 < n < m$)：
$$JM \subset SIM_n^{Det} \subset SIM_n \subset \text{Conv}(SIM_n) \equiv JM_n^{conv} \subset Copy_n \subset All_m$$
其中：

• $JM$：标准联合可测量性。
• $SIM_n^{Det}$：具有确定性前处理的 $n$-可模拟性。
• $SIM_n$：具有一般概率性前处理的 $n$-可模拟性。
• $\text{Conv}(SIM_n)$：$n$-可模拟集合的凸包。
• $JM_n^{conv}$：$n$-wise 相容测量（来自相容结构）的集合。
• $Copy_n$：$n$-副本联合可测量测量的集合。

2. 具体结果

• 结果 1（确定性前处理的不足之处）： 具有概率性前处理的 $n$-可模拟测量集合 ($SIM_n$) 严格大于具有确定性前处理的集合 ($SIM_n^{Det}$)。作者提供了一个显式的三比特测量示例（Pauli $\sigma_x, \sigma_z$ 以及 Hadamard 测量），该示例可以使用概率性前处理由两个测量模拟，但无法通过确定性前处理实现。
• 结果 2（$SIM_n$ 的非凸性）： $n$-可模拟测量集合是非凸的。通过展示一组特定的噪声 Pauli 测量位于 2-可模拟测量的凸包内，但其本身并非 2-可模拟，从而证明了这一点。这意味着 $SIM_n \subsetneq \text{Conv}(SIM_n)$。
• 结果 3（与相容结构的对应关系）： $n$-可模拟测量的集合与其凸包完全等同于 $n$-wise 相容测量集合 ($JM_n^{conv}$)。这建立了操作性概念（带有共享随机性）与几何概念（相容结构）之间的联系。
• 结果 4（与多副本的联系）： $n$-wise 相容测量集合严格包含在 $n$-副本联合可测量测量集合之内 ($JM_n^{conv} \subsetneq Copy_n$)。这确立了多副本相容性是已知泛化中最强（集合最大）的一个。
• 结果 5（通用下界）： 推导出了任何 $m$ 个在纯态上的测量的 $n$-副本联合可测量性的临界可见度 ($\eta^*$) 的通用下界：
  $$\eta^* \geq \frac{n(d+m)}{m(d+n)}$$
  其中 $d$ 是系统的维度。这扩展了以往针对标准联合可测量性 ($n=1$) 的界限。

意义与影响

本文声称提供了一个广义测量不相容性的通用框架，通过对先前相互竞争的概念进行排序，解决了该领域的歧义。

• 概念澄清： 这项工作表明，这些泛化不仅仅是对同一现象的不同操作性解释，而且描述了数学上截然不同的测量子集。例如，选择使用 $n$-可模拟性还是 $n$-wise 相容性，取决于用户是要求模拟在操作上能够精确地使用恰好 $n$ 个测量来实现（可模拟性），还是允许通过概率混合策略（在实践中可能需要更多测量）来实现（凸包/相容结构）。
• 认证协议的精细化： 这些结果对于测量数量的半设备无关（semi-device-independent）和设备无关（device-independent）认证具有直接影响。具体而言，作者指出，通过使用 $n$-wise 相容性 ($JM_n^{conv}$) 来近似 $n$-可模拟性（如先前研究中所做的那样），可以实现更精细的认证。这为在保持计算效率（通过 SDP）的同时，认证真实的测量资源提供了更紧致的临界可见度界限。
• 操作性与几何性的权衡： 本文强调了一种权衡：$n$-可模拟性在操作上定义明确但具有非凸性且难以表征；而 $n$-wise 相容性在几何上清晰且是凸的，但可能需要一些在严格模拟语境下看似违反直觉的操作资源（例如使用无噪声测量来模拟有噪声的测量）。

作者总结道，他们的工作通过澄清哪些泛化适用于特定应用，并识别开放性问题（如 $n$-副本不相容性的设备无关认证以及是否存在其他具有操作相关性的泛化），为未来的研究指明了方向。