Quantum Wasserstein distance and its relation to several types of fidelities

想象一下，你试图测量两个不同量子态之间的“距离”。在经典世界中，如果你有两堆沙子（代表两种不同的物质分布），“沃瑟斯坦距离”就像是将沙子从一堆移动到另一堆所需的最小工作量。这是一种非常有用的方式来描述两个事物有多不同。

在量子世界中，情况变得棘手。量子态更像是概率云，而不是实体的沙堆。科学家们发明了多种不同的方法来测量这些“量子云”之间的“距离”，但它们通常使用复杂的数学，将这些云视为单一、不可分割的整体。

这篇由 G´eza T´oth 和 J´ozsef Pitrik 撰写的论文提出了一个简单却深刻的问题：如果我们不再将这些量子云视为不可分割的整体，而是将它们看作简单、独立部分的集合，会发生什么？

以下是他们发现的分解，使用了日常类比：

1. 两种主要方法：“整块蛋糕”与“独立切片”

作者考察了现有的量子距离定义。

“整块蛋糕”方法：某些定义假设两个量子态以复杂的方式相互“纠缠”（就像一块无法切割的蛋糕）。这是标准的、复杂的做法。
“独立切片”方法：作者问道：“如果我们强制距离计算仅使用‘可分’态会怎样？”将可分态想象为两块并排摆放但未粘合在一起的蛋糕。它们仅仅是独立切片的简单混合。

2. 重大发现：串联要点

作者发现，当你强制数学使用这些“独立切片”时，许多看似不同的复杂距离公式实际上变成了同一回事。

类比：想象你有三种不同的蛋糕食谱：一种需要“面粉”，一种需要“小麦粉”，另一种需要“磨碎的谷物”。听起来它们不同。但如果你意识到面粉、小麦粉和磨碎的谷物只是同一种原料的不同名称，你就会明白这三种食谱实际上是在制作完全相同的蛋糕。
结果：该论文证明，当简化为“可分”态时，几种不同的量子距离公式在数学上是等同的。这连接了之前看似无关的量子物理分支。

3. “自距离”之谜

在经典物理中，一个物体与自身的距离总是零。如果你测量从你家到你家的距离，那是 0 英里。

然而，在某些量子定义中，一个态与自身的距离不为零。这就像说你的家离你自己有 5 英里远。

论文表明，如果你使用“独立切片”方法，可以得到两种结果：
1. 非零自距离：该态与自身“相距甚远”（这与称为“量子费舍尔信息”的东西有关，它衡量系统对变化的敏感度）。
2. 零自距离：该态与自身完美接近（这与“迹距离”和"SWAP 保真度”有关）。

作者表明，这两种不同的结果源于设置“独立切片”数学的两种略有不同的方式。

4. “魔镜”（保真度）

量子物理中最著名的工具之一是保真度。它就像两个量子态之间的“相似度得分”。得分为 1 表示它们完全相同；0 表示它们完全不同。

作者发现了一种令人惊讶的计算该得分的新方法。他们证明，“相似度得分”（具体而言，Uhlmann-Jozsa 保真度的平方根）可以通过查看所有将态分解为“独立切片”的可能方式并找到最佳匹配来计算。

类比：想象你想知道两幅复杂画作的相似度。与其看整块画布，不如将两幅画都分解成千上万个小而独立的笔触。然后，你尝试将画作 A 的笔触与画作 B 中最佳匹配的笔触配对。作者证明，如果你完美地这样做，你会得到与最复杂、最高级方法完全相同的相似度得分。

5. 三角形法则

在几何学中，“三角不等式”指出，如果你从点 A 走到点 B，再从 B 走到 C，总距离不能短于直接从 A 到 C 的距离。（你不能通过停在第三个点来走捷径）。

作者证明，对于这些新的“可分”距离度量中的某些，如果其中一个态是“纯”态（一种简单的、非混合态，就像钢琴上的一个清晰音符），则该规则成立。如果态是混乱的混合体，证明该规则会更困难，但他们发现了强有力的证据表明该规则在那里也很可能成立。

6. 量子比特（二能级系统）的特例

对于最简单的量子系统（称为量子比特，就像可以是正面、反面或两者混合的硬币），作者发现了一个完美的匹配。

他们表明，对于量子比特，“可分”距离度量恰好等于标准的“相似度得分”（保真度）。
类比：这就像发现对于小型简单物体，复杂的“移动沙子所需工作量”公式恰好与简单的“它们看起来有多像”公式相同。

总结

这篇论文本质上是一个统一项目。它取了几种复杂的、高层的“量子距离”定义，并表明，如果你通过“可分态”（简单的、非纠缠的片段）的视角来看待它们，它们会坍缩为几个基本的、相同的概念。

他们将量子沃瑟斯坦距离（一种运输成本）与量子保真度（一种相似度得分）联系起来。
他们表明，对于简单系统（量子比特），这些概念在数学上是等同的。
他们提供了一种新的、更简单的方法来计算这些距离，通过将复杂的量子态分解为更简单的、可分离的部分。

作者在这篇论文中没有讨论医疗应用或未来技术；他们的目标纯粹是阐明这些不同测量量子差异方式之间的数学关系。

技术摘要：量子 Wasserstein 距离及其与多种保真度的关系

问题陈述
本文探讨了量子 Wasserstein 距离定义的泛滥问题，该距离是量子最优传输中的核心概念。文献中存在多种方法，包括基于量子通道的方法（De Palma 和 Trevisan）、静态解释（Golse、Mouhot、Paul、Caglioti）以及涉及 SWAP 算符或反对称成本函数的成本函数。一个关键挑战在于确定这些不同的定义是否在根本上相互关联，或者是否可以统一。具体而言，作者研究了当这些距离定义中的优化从所有物理双体量子态集合限制到可分态子集时所得到的量。本文旨在连接这些方法，确定它们是否简化为基本类型，并探讨它们与已建立的量子信息度量（如保真度和量子 Fisher 信息）之间的关系。

方法论
作者通过在可分态而非一般态上执行优化，系统地分析了多种量子 Wasserstein 距离的定义。方法论包括：

定义的重构：采用现有定义（例如 De Palma-Trevisan 型、基于 SWAP 保真度的定义），并将约束集修改为仅包含可分双体态（ $\varrho_{12} \in \text{Sep}$ ）。
凸包络分析：将所得量表示为混合态分解为纯积态系综的优化。这利用了凸包络和凹包络的数学结构。
解析证明：证明新的可分态量与标准度量（如 Uhlmann-Jozsa 保真度、Bures 距离和超保真度）之间的等式和不等式。
特例分析：分析特定场景，例如当其中一个态为纯态时、当使用完整可观测量集（$SU(d) $的生成元）时，以及针对量子比特系统（$ d=2$）的情况。
数值验证：利用半定规划（SDP）计算随机态的这些距离，利用两个量子比特的情况下，正部分转置（PPT）态集合与可分态集合重合这一事实，从而获得精确的数值解。

主要贡献与结果

方法的统一：本文证明，在可分态上进行优化会导致两类主要量：
1. 基于标准 De Palma-Trevisan 成本函数的量，其自距离可能非零。
2. 基于修改后的成本函数（减去自距离）的量，其产生零自距离。
  作者证明，对于完整可观测量集，在可分态上优化的修改版 De Palma-Trevisan 距离等于基于迹距离和可分态优化的 SWAP 保真度的距离。
与保真度的关系：
- Uhlmann-Jozsa 保真度：证明 Uhlmann-Jozsa 保真度的平方根 $\sqrt{F(\varrho, \sigma)}$ 可表示为可分态上的优化（定理 1）。具体而言，它是分解中纯态重叠的凸包络。
- SWAP 保真度：证明在可分态上优化的 SWAP 保真度 $F_{S,sep}$ 是纯态重叠平方的凸包络。
- 量子比特等式：对于量子比特（ $d=2$ ），作者证明在可分态上优化的 SWAP 保真度精确等于 Uhlmann-Jozsa 保真度（ $F_{S,sep} = F$ ）。这是量子比特情况下 Uhlmann-Jozsa 保真度与超保真度相等这一事实的推论。
三角不等式：本文证明，在涉及三个态中有一个为纯态的特定情况下，基于可分态优化的修改版量子 Wasserstein 距离满足三角不等式。这是通过利用纯态的距离满足三角不等式这一事实，并通过凸包络结构将其扩展而建立的。
与量子 Fisher 信息的联系：可分态优化的 De Palma-Trevisan 距离的自距离被证明与量子 Fisher 信息（QFI）相关。对于单个算符，自距离等于 $F_Q/4$ 。本文建立了 Wigner-Yanase 偏斜信息、QFI 与自距离之间的界限关系。
与其他散度的关系：作者推导了将新的可分态距离与 Bures 距离、超保真度以及各种量子散度（Jensen、Bregman、Tsallis）联系起来的界限，表明这些距离通常作为这些其他量的上界或下界。

意义与主张
本文声称，通过展示各种量子 Wasserstein 距离定义在限制于可分态时往往简化为相同的量，提供了一个理解这些定义的统一框架。

它建立了量子 Wasserstein 距离与量子 Fisher 信息之间的直接联系，将最优传输理论与量子计量学连接起来。
它证明了Uhlmann-Jozsa 保真度可以表述为可分态上的优化，为这一基本度量提供了新的视角。
关于量子比特情况下可分态 SWAP 保真度等于 Uhlmann-Jozsa 保真度的结果，简化了双能级系统中这些距离的计算。
涉及纯态情况的三角不等式证明支持了这些量的度量类性质，尽管本文指出，任意混合态的一般三角不等式仍是一个未解决的问题（有数值证据支持，但尚未对所有情况严格证明）。

作者得出结论，这些发现通过揭示许多距离度量在根本上通过可分态的几何结构相互关联，将量子物理中看似不相关的领域（如最优传输、纠缠理论和量子计量学）联系在了一起。