想象你有一群朋友，你想知道他们是否都能就一种单一的“秘密语言”（一个共同基底）达成一致，从而毫无混淆地进行交流。在量子世界中，这种“秘密语言”是一种观察系统的特定方式，其中一切清晰且呈对角化（没有隐藏的叠加）。

如果你的这群朋友（量子态）都能说同一种秘密语言，它们就是“集合非相干的”（它们完美相处）。如果它们无法就一种语言达成一致，并且 constantly 在互相错过对话，它们就是“集合相干的”（它们拥有一种关系量子资源）。

问题是：你不被允许直接看到他们的真面目或听到他们的声音。你只能要求他们执行特定的、棘手的数学把戏，涉及他们自身的反射和重叠。这些数学把戏被称为Bargmann 不变量。

本文提出了一个简单的问题：我们需要执行多少个这样的数学把戏，才能确切地知道这群人是否能就一种秘密语言达成一致？

以下是作者发现的层级结构，用日常类比进行解释：

1. “双头”测试（量子比特 / 2 维）

想象你有两个人。为了看看他们是否能就一种语言达成一致，你需要检查两件事：

每个人个体有多“纯”或独特。
当他们站在一起时，他们有多少重叠。

结果： 对于简单 2 维世界（如硬币翻转，正面或反面）中的两个人，检查这两件事就足够了。如果数学以某种方式成立，你就知道他们能就一种语言达成一致。如果不能，他们就不能。这就像检查两个箭头是否指向完全相同的直线；如果它们指向相同，它们就是兼容的。

2. “三头”测试（量子三态 / 3 维）

现在，想象世界变得稍微复杂一些（3 维）。你仍然只有两个人，但他们有更多的移动方式。

第 2 次测试失效： 仅检查他们的个体纯度和重叠不再足够。他们可能在表面上看起来兼容，但在他们的第三维度中存在隐藏的分歧。
第 3 次测试有效： 如果你增加第三层数学（观察它们在特定 3 步序列中如何相互作用），你最终可以判断它们是否达成一致。在这个 3 维世界中，知道它们的“形状”（谱）以及它们如何相互缠绕，就足以解开这个谜题。

3. “四头”陷阱（4 维及以上）

世界变得更大（4 维）。

第 3 次测试再次失效： 即使你检查了所有 3 步相互作用，你仍然可能被愚弄！作者发现了一个巧妙的例子，其中两组态在每一个 3 步测试中看起来都相同，但其中一组实际上就一种语言达成了协议，而另一组则在暗中争斗。
教训： 在更高维度中，仅观察“它们有多少重叠”和“它们如何在 3 步中缠绕”不足以发现分歧。

4. 通用的“顺序敏感”测试（第 4 阶解决方案）

作者找到了一个终极解决方案，适用于任何规模的群体，无论维度多么复杂。

他们意识到，为了发现分歧，你需要检查事件发生的顺序。

想象两个人，爱丽丝和鲍勃。
测试 A： 爱丽丝说话，然后鲍勃说话，然后爱丽丝说话，然后鲍勃说话（ $A \to B \to A \to B$ ）。
测试 B： 爱丽丝说话，然后爱丽丝说话，然后鲍勃说话，然后鲍勃说话（ $A \to A \to B \to B$ ）。

在一个所有人都就一种语言达成一致的世界里，顺序并不重要；结果是相同的。但如果他们在争斗（不对易），顺序就确实重要。

突破： 本文证明，这两个特定的 4 步序列之间的差异是一个完美的、通用的探测器。

如果差异为零，它们可以就一种秘密语言达成一致。
如果差异是任何其他值，它们就不能。

层级结构总结

本文构建了一个复杂性阶梯来解决这个谜题：

第 2 级（简单）： 适用于 2 维对。（就像检查两个箭头是否平行）。
第 3 级（中等）： 适用于 3 维对。（就像检查 3 维物体的形状和缠绕）。
第 4 级（通用）： 适用于一切。它通过比较操作顺序来检测“非对易性”（即争斗）。

为什么这很重要

作者表明，你不需要知道量子态的完整、复杂的细节就能知道它们是否兼容。你只需要运行这些特定的、低阶的数学“把戏”（Bargmann 不变量）。

对于小群体（2 维）： 简单的检查就足够了。
对于中等群体（3 维）： 你需要稍微深入的检查。
对于大群体（4 维及以上）： 你必须检查事件的顺序（第 4 阶测试）才能绝对确定。

这提供了一个“低阶层级”，意味着一旦达到第 4 阶，我们就可以停止寻找更复杂的数据。这是一套完整的、与基底无关的规则手册，用于决定一组量子态是否永远能就一种共同语言达成一致。

技术摘要：用于集合相干性的低阶 Bargmann 不变量层级

问题陈述

量子相干性通常是相对于一个固定的参考基定义的。然而，单个密度算符本身并不具有内在的、与基无关的相干性，因为它总可以在其自身的本征基下对角化。当考虑有限族量子态 $\vec{\rho} = (\rho_1, \dots, \rho_n)$ 时，会产生一种非平凡的、与基无关的概念。如果这些态不能在同一个基下同时对角化，则称该属性为集合相干性。反之，如果存在这样一个公共基，则该族是集合非相干的，这在数学上等价于族中所有态的两两对易（ $[\rho_i, \rho_j] = 0$ ）。

本文解决的核心问题是确定判定一族态是否具有集合相干性所需的最小与基无关的数据量。具体而言，作者研究了Bargmann 不变量（态的乘积的循环迹）的“阶”必须低到什么程度，才能在不同的希尔伯特空间维度（ $d$ ）下完全表征集合相干性。目标是识别能够区分对易（集合非相干）与非对易（集合相干）族数据的最低阶数据，而无需重构密度矩阵或选择参考基。

方法论

本文采用了Bargmann 场景的框架，其中场景 $W$ 是一个有限词集（态标签的序列），定义了一组广义 Bargmann 不变量：
$\Delta_w(\vec{\rho}) = \text{Tr}(\rho_{i_1}\rho_{i_2}\cdots\rho_{i_m})$
这些不变量在同时幺正共轭下保持不变。作者分析了特定场景 $W$ 在维度 $d$ 下的完备性。如果一个场景生成的由集合非相干族产生的不变量集合（ $C_d(W)$ ）与由集合相干族产生的不变量集合（ $I_d(W)$ ）不相交，则该场景是完备的。

分析通过构建基于词序（迹乘积中态的数量）的场景层级进行：

二阶（ $W_2$ ）： 包括纯度（ $\text{Tr}(\rho^2)$ ）和重叠（ $\text{Tr}(\rho\sigma)$ ）。
三阶（ $W_3$ ）： 包括所有长度 $\le 3$ 的循环词（例如 $\text{Tr}(\rho^3)$ ， $\text{Tr}(\rho^2\sigma)$ ）。
四阶（ $W_4$ ）： 包括长度为 4 的有序敏感词，具体比较 $\text{Tr}(\rho^2\sigma^2)$ 和 $\text{Tr}(\rho\sigma\rho\sigma)$ 。

作者构建了显式的反例（具有相同低阶不变量但对易性不同的态对）以证明不完备性，并为特定维度下的完备性提供了代数证明。

主要贡献与结果

1. 针对两个态的维度依赖层级

本文确立了关于两个态 $(\rho, \sigma)$ 低阶数据充分性的严格层级：

量子比特（ $d=2$ ）： 二阶数据（ $W_2$ ）是完备的。希尔伯特 - 施密特范数长度和重叠足以确定对易性，因为在布洛赫表示中，对易性等价于布洛赫矢量的共线性，而这完全由它们的长度和内积决定。
量子三态（ $d=3$ ）： 二阶数据是不完备的。虽然它们能确定谱和重叠，但无法捕捉决定对易性所需的相对本征基结构。然而，三阶数据（ $W_3$ ）对于量子三态是完备的。在维度 3 中，前三个矩决定了密度算符的特征多项式（从而确定谱）。 $W_3$ 中的混合矩对本征空间的相对排列施加了足够的约束，如果不变量与对易态对匹配，则强制对易性。
四维及以上（ $d \ge 4$ ）： 三阶数据是不完备的。作者构建了一个反例，其中一对对易态和一对非对易态共享相同的 $W_3$ 不变量。通过直和嵌入，这种失效对所有 $d \ge 4$ 均成立。

2. 通用四阶判据

主要的理论贡献是识别了一个适用于任意有限维度 $d$ 的通用两两判据。

场景 $W_4 = \{1122, 1212\}$ ，由词 $\text{Tr}(\rho^2\sigma^2)$ 和 $\text{Tr}(\rho\sigma\rho\sigma)$ 组成，对所有 $d$ 都是完备的。
作者证明了恒等式：
$\Gamma(\rho, \sigma) := \text{Tr}(\rho^2\sigma^2) - \text{Tr}(\rho\sigma\rho\sigma) = \frac{1}{2} \| [\rho, \sigma] \|_2^2$
其中 $\| \cdot \|_2$ 是希尔伯特 - 施密特范数。
因此， $\Gamma(\rho, \sigma) = 0$ 当且仅当 $[\rho, \sigma] = 0$ 。
该结果推广到任意有限族：一族是集合非相干的，当且仅当对所有对 $i < j$ 都有 $\Gamma(\rho_i, \rho_j) = 0$ 。

3. Bargmann 间隙

量 $\Gamma(\rho, \sigma)$ 被称为Bargmann 间隙。它是一个可靠的、与基无关的非对易性指标。

谱解释： 在 $\rho$ 的本征基中，间隙由 $\sum_{i<j} (\lambda_i - \lambda_j)^2 |\sigma_{ij}|^2$ 给出。它精确地检测 $\sigma$ 在 $\rho$ 具有不同本征值的本征空间之间的相干性。
噪声鲁棒性： 对于去极化态，间隙按已知的乘性因子 $(1-p)^2(1-q)^2$ 缩放，使得信号抑制是透明的。

4. 扩展到多态族

附录表明，低阶数据的局限性在 $n > 2$ 个态的族中依然存在。

两两二阶数据不足以用于量子三态族（ $n \ge 2$ ）。
两两三阶数据（所有长度 $\le 3$ 的词）不足以用于四维族。
这证实了四阶要求并非两态设置的产物，而是关系资源的基本属性。

意义

本文提供了一个严格的低阶层级，将循环迹不变量与阻止公共非相干基存在的非对易性联系起来。

它阐明了虽然低阶数据（二阶和三阶）由于特定的谱约束（例如在 $d=3$ 中前三个矩决定特征多项式）在低维下可能是充分的，但这些机制在更高维度下会失效。
它确定了四阶、有序敏感不变量作为集合相干性的第一个通用两两判据。
这项工作提供了一种紧凑的、与基无关的集合相干性判定规则，不需要完整的态层析或参考系选择，而是依赖于可通过多副本或干涉协议操作获取的量。

作者指出，虽然最近发现了一篇涉及单个四阶等式的关于对易性的相关文章，但本文确立了特定的层级以及作为关系资源定量度量的"Bargmann 间隙”。

A low order Bargmann invariant hierarchy for set coherence