Relations between different definitions of the quantum Wasserstein distance for qubits

本文证明，对于量子比特，当成本函数涉及单个算符时，Golse 等人以及 De Palma 和 Trevisan 定义的量子 Wasserstein 距离是重合的，这意味着在此情形下的自距离等于 Wigner-Yanase 偏斜信息。

要点

想象一下，你试图测量两个不同量子态之间的“距离”。在经典世界中，如果你有一堆沙子，想要将其重塑为新形状，“沃瑟斯坦距离”（通常称为地球搬运工距离） simply 是将沙粒从第一种形状移动到第二种形状所需的最小功。如果两个形状完全相同，所需的功为零。

但在量子世界中，情况变得诡异。量子态是模糊的、概率性的，并且可以处于“纠缠”状态。因此，物理学家发明了多种不同的方法来计算这种量子距离。不妨将这些不同方法想象成不同团队制图师试图绘制同一座神秘岛屿的地图。他们使用不同的工具和规则，因此往往会产生略有不同的地图。

本文关注的是两支特定的制图师团队：

1. GMPC 团队：由 Golse、Mouhot、Paul 和 Caglioti 领导。
2. DPT 团队：由 De Palma 和 Trevisan 领导。

这两支团队都在尝试测量两个量子态（我们称之为“态 A"和“态 B"）之间的距离。他们都在寻找一种特殊的“桥梁”（一种称为耦合的数学对象），以最小的“代价”连接这两个态。然而，他们对“代价”的定义略有不同。

重大发现：在单量子比特上达成一致

本文作者 Géza Tóth 和 József Pitrik 聚焦于最简单的量子系统：量子比特。你可以将量子比特想象成一枚量子硬币，它可以是正面、反面，或是两者的模糊叠加。

他们提出了一个简单的问题：如果我们仅处理单个量子比特，并且仅基于一条特定“规则”（一个算符）来测量距离，这两支不同的团队是否会得到相同的答案？

答案是肯定的。

本文证明，对于单个量子比特，如果你使用单一规则来测量距离，GMPC 地图与 DPT 地图是完全相同的。两种不同的量子距离定义坍缩为一种。

为何这令人惊讶？（“自距离”谜题）

在经典世界中，一个点到其自身的距离总是零。如果你站在巴黎，从巴黎到巴黎的距离就是零。

然而在量子世界中，一个态可以具有非零的“自距离”。这就像说，如果你试图将一枚量子硬币从其当前的模糊态移动到完全相同的模糊态，仍然需要付出某种“功”。

本文揭示了一个有趣的联系：

• DPT 团队此前已经发现，这种“自距离”在数学上等于一个称为Wigner-Yanase 偏斜信息的量。你可以将其理解为该态中关于特定规则所隐藏的“量子不确定性”或“信息”的度量。
• 由于作者证明了这两支团队在单量子比特上达成一致，他们现在可以断言：GMPC 团队的“自距离”也等于这一 Wigner-Yanase 偏斜信息。

魔法技巧：使一切变为实数

他们是如何证明这一点的？他们使用了一个巧妙的数学“魔法技巧”。

想象量子态和规则（算符）是用涉及虚数的复杂语言书写的。作者表明，对于单个量子比特，你总可以旋转整个系统（就像旋转地球仪一样），使得所有数字都变为“实数”（不含虚部）。

一旦所有东西都变为“实数”，这两支团队使用的两种不同定义在数学上就变得完全相同。这就像意识到两个人在描述一栋建筑——一人使用蓝图，另一人使用三维模型——实际上，一旦你意识到他们都在观察建筑的同一侧，他们描述的正是完全相同的结构。

这对本文其余部分意味着什么？

作者还指出了这对研究自旋链（长串量子磁体）的物理学家具有的实际意义。由于现在已知这两种距离定义在单量子比特上是相同的，物理学家可以使用其中一支团队更简单的公式来计算这些磁性系统的能量。具体而言，他们可以将系统的最小能量与 Wigner-Yanase 偏斜信息联系起来，而无需担心通常会使数学复杂化的复杂“转置”操作。

总结

• 问题：物理学家有两种不同的方法来测量量子世界中的距离，但尚不清楚它们是否一致。
• 解决方案：对于最简单的量子对象（单个量子比特）和单一测量规则，这两种方法完全相同。
• 结果：这证实了量子态移动到其自身所需的“代价”是量子信息的一个基本度量（Wigner-Yanase 偏斜信息），无论你使用哪种数学定义。
• 局限：这种一致性仅被证明适用于具有单一算符的单个量子比特。本文并未声称这适用于复杂的多量子比特系统或多个算符。

简而言之，本文统一了量子输运的两种不同语言，针对最简单的情况表明，它们只是以不同方式表达同一件事。

技术摘要

技术摘要：不同量子沃瑟斯坦距离定义之间的关系（针对量子比特）

问题陈述
量子最优传输领域已衍生出多种不同的量子沃瑟斯坦距离定义，每种定义均源于不同的物理诠释（例如半经典极限、自由概率、动力学诠释或量子信道形式）。其中两个突出的定义是：

1. GMPC 距离：由 Golse、Mouhot、Paul 和 Caglioti（GMPC）定义，基于在具有固定边缘态的双部分态上优化成本函数。
2. DPT 距离：由 De Palma 和 Trevisan（DPT）定义，同样基于在双部分态（耦合态）上的优化，但利用了一个涉及矩阵转置的不同成本函数。

虽然已知 DPT 定义下的自距离（即一个态到其自身的距离）等于 Wigner–Yanase 偏斜信息之和，但 GMPC 与 DPT 定义之间的关系仍不明确。具体而言，尚不清楚这两个定义是否对一般量子态重合，若重合，则在何种条件下重合。先前的结果确立了基于可分态的量子沃瑟斯坦距离可作为两者的上界，但直接的等价性尚未得到证明。

方法论
作者研究了平方 GMPC 距离 $D_{GMPC}^2(\varrho, \sigma)$ 与平方 DPT 距离 $D_{DPT}^2(\varrho, \sigma)$ 之间的关系，具体针对量子比特系统（单量子比特态）以及成本函数中的单个算符（$N=1$）。

其方法论的核心依赖于包含在引理 1中的幺正变换论证。作者证明，对于任意单量子比特厄米算符 $H$ 和任意单量子比特密度矩阵 $\varrho$，存在一个幺正算符 $U$，使得变换后的算符 $H' = UHU^\dagger$ 和变换后的态 $\varrho' = U\varrho U^\dagger$ 均为实矩阵。

利用该引理，作者证明了定义这两种距离的优化问题可以相互映射。他们利用了实矩阵在成本函数结构背景下转置操作等价于恒等操作这一性质，从而弥合了两种定义之间的差距——DPT 公式中因包含转置而有所不同。

主要贡献与结果

1. 量子比特的等价性：本文的主要结果（定理 1）确立，对于单量子比特态 $\varrho$ 和 $\sigma$ 以及单个算符 $H_1$，两种方法定义的平方距离是相同的：
   $$D_{DPT}^2(\varrho, \sigma) = D_{GMPC}^2(\varrho, \sigma)$$
   该等式对量子比特普遍成立，而不仅限于特定子集的态。

2. 对自距离的推论：作为这一等价性的直接结果，GMPC 定义下的自距离（当 $N=1$ 时）被证明等于 Wigner–Yanase 偏斜信息 $I_\varrho(H_1)$。这证实了 GMPC 距离与 DPT 定义中发现的量子估计理论有着深刻的联系。

3. 自旋链能量关系：作者推导出了对自旋链计算的推论。他们表明，具有单个算符 $H_1$ 和给定边缘态的铁磁模型的基态能量，可通过以下公式直接与 Wigner–Yanase 偏斜信息相关联：
   $$\min_{\varrho_{12}} \text{Tr}[-(H_1 \otimes H_1)\varrho_{12}] = I_\varrho(H_1) - \langle H_1^2 \rangle_\varrho$$
   值得注意的是，该公式不需要矩阵转置，从而简化了量子比特情形下能量最小化与偏斜信息之间的联系。

意义与主张
本文声称解决了在具有单个成本算符的量子比特这一特定但基础的情形下，两种主要量子沃瑟斯坦距离定义之间的歧义。通过证明它们的等价性，该工作统一了该机制下的静态诠释（GMPC）与量子信道诠释（DPT）。

作者强调，这一结果将量子沃瑟斯坦距离与量子物理和估计理论中的基本量（特别是 Wigner–Yanase 偏斜信息）联系起来。他们指出，虽然经典最优传输中的自距离始终为零，但量子情形下的非零自距离（等于偏斜信息）是量子最优传输的一个显著特征。本文适度将其范围限定在量子比特和单个算符上，承认对于 $N \geq 2$ 或更高维系统，关系可能有所不同，且先前涉及量子费舍尔信息的界限仍然相关。该工作并未提出新的实验装置，而是澄清了现有定义的理论格局。