[論文レビュー] Quantum Optimal Transport

Sam Cole, Michał Eckstein+2 more|arXiv (Cornell University)|May 14, 2021

Quantum Information and Cryptography参考文献 77被引用数 11

ひとこと要約

本稿では、固定された縮約密度行列をもつ双粒子結合状態上で量子輸送コストを最小化することにより、量子最適輸送フレームワークを導入する。最小コストは半正定値計画法を用いて有効に計算可能であることが示される。主な貢献として、コスト行列が正定値であり、対称行列上でのみ0となる場合、コストの平方根が量子 Wasserstein-2 距離を定義する。この距離は、単一キュービット状態に対して半解析的公式を用いて明示的に計算可能である。

ABSTRACT

We analyze a quantum version of the Monge--Kantorovich optimal transport problem. The quantum transport cost related to a Hermitian cost matrix $C$ is minimized over the set of all bipartite coupling states $ρ^{AB}$ with fixed reduced density matrices $ρ^A$ and $ρ^B$ of size $m$ and $n$. The minimum quantum optimal transport cost $ T^Q_{C}(ρ^A,ρ^B)$ can be efficiently computed using semidefinite programming. In the case $m=n$ the cost $ T^Q_{C}$ gives a semidistance if and only if $C$ is positive semidefinite and vanishes exactly on the subspace of symmetric matrices. Furthermore, if $C$ satisfies the above conditions, then $\sqrt{ T^Q_{C}}$ induces a quantum analogue of the Wasserstein-2 distance. Taking the quantum cost matrix $C^Q$ to be the projector on the antisymmetric subspace, we provide a semi-analytic expression for $ T^Q_{C^Q}$ for any pair of single-qubit states and show that its square root yields a transport distance on the Bloch ball. Numerical simulations suggest that this property holds also in higher dimensions. Assuming that the cost matrix suffers decoherence and that the density matrices become diagonal, we study the quantum-to-classical transition of the Earth mover's distance, propose a continuous family of interpolating distances, and demonstrate that the quantum transport is cheaper than the classical one. Furthermore, we introduce a related quantity -- the SWAP-fidelity -- and compare its properties with the standard Uhlmann--Jozsa fidelity. We also discuss the quantum optimal transport for general $d$-partite systems.

研究の動機と目的

• ヘルミートコスト行列を用いたモンジュ＝カンタロヴィチ最適輸送問題の量子版を定式化すること。
• 量子輸送コストが半距離を定義する条件を確立し、特に Wasserstein-2 距離の量子アナログを特定すること。
• コスト行列のデコherenceを調べることで、量子から古典への輸送の遷移を分析し、量子および古典的 Earth mover's distance を比較すること。
• SWAP-忠実度を新たな量子状態類似性測度として導入し、標準的な Uhlmann–Jozsa 忠実度と対比すること。
• 一般の d-粒子量子系へフレームワークを拡張し、最適結合の構造的性質を導出すること。

提案手法

• 双粒子結合状態 ρ^AB に対するヘルミートコスト行列 C のトレースを最小化する形で、量子最適輸送問題を定式化する。このとき、縮約密度行列 ρ^A および ρ^B は固定される。
• 凸最適化技術を活用し、半正定値計画法（SDP）を用いて最小量子最適輸送コスト T^Q_C(ρ^A,ρ^B) を有効に計算する。
• コスト行列 C が正定値であり、対称行列の部分空間でのみ0となる条件を同定し、このとき T^Q_C が半距離を定義し、√T^Q_C が量子 Wasserstein-2 距離を定義することを示す。
• C^Q が反対称部分空間への射影演算子である場合、特に単一キュービット状態に対して最適輸送コスト T^Q_{C^Q} の半解析的表現を導出する。
• コスト行列のデコherenceを調べることで、量子から古典への遷移を分析し、量子輸送コストが古典的対応物よりも厳密に小さいことを示す。
• SWAP-忠実度を新たな量子忠実度測度として導入し、Uhlmann–Jozsa 忠実度とその性質を比較する。

実験結果

リサーチクエスチョン

• RQ1 コスト行列 C がどのような条件下で、量子最適輸送コスト T^Q_C(ρ^A,ρ^B) が密度行列の空間上で半距離を定義するか？
• RQ2 量子最適輸送コストの平方根 √T^Q_C は、古典的 Wasserstein-2 距離の量子アナログとして機能可能か？ また、どのような条件下で距離関数として成立するか？
• RQ3 コスト行列が対角化（デコherence）された場合、量子最適輸送コストは古典的 Earth mover's distance よりも小さいか？
• RQ4 コスト行列が反対称部分空間への射影演算子である場合、単一キュービット状態における最適結合の解析的構造は何か？
• RQ5 新たに導入された SWAP-忠実度は、単調性および状態変換下での幾何的性質において、標準的 Uhlmann–Jozsa 忠実度とどのように異なるか？

主な発見

• 最小量子最適輸送コスト T^Q_C(ρ^A,ρ^B) は半正定値計画法を用いて有効に計算可能であり、量子系において計算的に実行可能であることが示された。
• コスト行列 C が正定値であり、対称行列の部分空間でのみ0となる場合、T^Q_C は半距離を定義し、√T^Q_C は量子 Wasserstein-2 距離を誘導する。
• 単一キュービット状態に対しては、C^Q が反対称部分空間への射影である場合、最適輸送コスト T^Q_{C^Q} は半解析的公式を有し、その平方根はブロッホ球上で有効な距離関数を定義する。
• 数値的シミュレーションにより、量子 Wasserstein-2 距離の構造がキュービットを越えて高次元系へも拡張可能であることが示唆された。
• コスト行列がデコherenceを受ける場合、量子最適輸送コストは古典的 Earth mover's distance よりも厳密に小さいことが確認され、輸送効率における量子優位性が裏付けられた。
• SWAP-忠実度は、単調性および状態変換下での幾何的挙動において、Uhlmann–Jozsa 忠実度とは異なる特徴を示す有効な量子忠実度測度であることが示された。