Quantum Wasserstein distance and its relation to several types of fidelities

本論文は、分離可能な二部量子状態に対する最適化が（特に量子ビットに対して）ウルマン・ジョザの忠実度およびスーパー忠実度に等しい量を与えることを証明することによって、様々な量子ワッサーシュタイン距離の定義と量子忠実度との間の関連性を確立し、さらに純粋状態に関する特定のケースにおいて三角不等式が成り立つことを示す。

要約

2 つの異なる量子状態間の「距離」を測定しようとしていると想像してください。古典的な世界では、2 つの砂の山（2 つの異なる物質分布を表す）があるとすれば、「ワッセルシュタイン距離」とは、ある砂の山から別の砂の山へ砂を移動させるために必要な最小の作業量のようなものです。これは、2 つのものがいかに異なるかを表す非常に有用な方法です。

量子の世界では、物事は厄介になります。量子状態は、固体の砂の山ではなく、確率の雲のようなものです。科学者たちは、これらの量子雲間の「距離」を測定するいくつかの異なる方法を考案してきましたが、それらはしばしば、雲が単一の不可分な全体であるかのように扱う複雑な数学を用いています。

この論文は、ゲザ・トートとヨージェ・ピトリックによって書かれ、シンプルながら深遠な問いを投げかけています：もし、これらの量子雲を不可分な全体として扱うのをやめ、代わりに単純で分離した部分の集合として眺めるなら、何が起こるのでしょうか？

以下に、日常の比喩を用いた彼らの発見の概要を示します。

1. 2 つの主要なアプローチ：「全体としてのケーキ」対「分離したスライス」

著者らは、量子距離の既存の定義を検討しました。

• 「全体としてのケーキ」アプローチ： いくつかの定義は、2 つの量子状態が複雑に絡み合った（ケーキを切ることができないような）「もつれた」状態でリンクしていると仮定します。これが標準的で複雑なやり方です。
• 「分離したスライス」アプローチ： 著者らは、「もし距離の計算に『分離可能』な状態のみを強制的に用いるとしたらどうなるか？」と問いかけました。分離可能状態とは、互いに接着されていないが隣り合って置かれた 2 つのケーキのようなものです。それらは、単に独立したスライスの混合に過ぎません。

2. 大きな発見：点と点を結ぶ

著者らは、数学にこれらの「分離したスライス」を用いるよう強制すると、多くの複雑で見た目も異なる距離の公式が、実は同じものであることが判明しました。

• 比喩： 3 つの異なるケーキのレシピを持っていると想像してください。1 つは「小麦粉」、1 つは「小麦粉の粉末」、1 つは「挽いた穀物」を要求します。これらは聞こえは異なります。しかし、小麦粉、小麦粉の粉末、挽いた穀物がすべて同じ材料の異なる名称に過ぎないと気づけば、3 つのレシピが実際には全く同じケーキを作っていることに気づくでしょう。
• 結果： この論文は、いくつかの異なる量子距離の公式が「分離可能」な状態に単純化されると、数学的に同一であることを証明しています。これにより、以前は無関係に見えていた量子物理学の異なる分野がつながりました。

3. 「自己距離」の謎

古典物理学では、物体とその物体自身の間の距離は常にゼロです。自宅から自宅までの距離を測れば、0 マイルです。

しかし、いくつかの量子定義では、状態からそれ自身への距離はゼロではありません。自宅が自分自身から 5 マイル離れていると言っているようなものです。

• 論文は、「分離したスライス」法を用いると、2 種類の結果が得られることを示しています。
  1. 非ゼロの自己距離： 状態は自分自身から「遠い」（これは、系の感度を測定する「量子フィッシャー情報」と呼ばれるものに関連します）。
  2. ゼロの自己距離： 状態は自分自身と完全に近い（これは「トレース距離」と「SWAP フィデリティ」に関連します）。

著者らは、これら 2 つの異なる結果が、「分離したスライス」の数学を少し異なる方法で設定することから生じることを示しました。

4. 「魔法の鏡」（フィデリティ）

量子物理学で最も有名なツールの 1 つにフィデリティがあります。これは、2 つの量子状態間の「類似度スコア」のようなものです。スコアが 1 なら同一、0 なら完全に異なります。

著者らは、このスコアを計算する驚くべき新しい方法を見つけました。彼らは、「類似度スコア」（具体的には、ウールマン・ヨツァのフィデリティの平方根）が、状態を「分離したスライス」に分解するすべての可能な方法を検討し、最良の一致を見つけることで計算できることを証明しました。

• 比喩： 2 つの複雑な絵画がどの程度似ているかを知りたいと想像してください。キャンバス全体を見る代わりに、両方の絵画を数千の小さな分離した筆致に分解します。次に、絵画 A の筆致を、絵画 B の最もよく合う筆致とペアリングしようとします。著者らは、これを完璧に行えば、最も複雑で高レベルな方法と同じ正確な類似度スコアが得られることを証明しました。

5. 三角形の規則

幾何学において、「三角形不等式」は、点 A から点 B へ行き、その後 B から C へ行く場合、A から C へ直接行く距離よりも総距離が短くなることはあり得ないと言います。（3 番目の点で止まることで近道はできません）。

著者らは、これらの新しい「分離可能」な距離測度のいくつかについて、この規則が状態の 1 つが「純粋」である場合（ピアノの単一の明確な音のような、単純で混合されていない状態）に成り立つことを証明しました。状態がごちゃごちゃした混合である場合、この規則の証明はより困難ですが、著者らはそこでもおそらく成り立つという強力な証拠を見つけました。

6. 量子ビット（2 準位系）の特別な場合

最も単純な量子系（量子ビット、つまり表と裏、またはその両方の混合になり得るコインのようなもの）については、著者らは完全な一致を見つけました。

• 彼らは、量子ビットの場合、「分離可能」な距離測度が、標準的な「類似度スコア」（フィデリティ）と完全に等しいことを示しました。
• 比喩： これは、小さく単純な物体については、複雑な「砂を移動させるのに必要な作業量」の公式が、単純な「どの程度似ているか」の公式と全く同じであることを発見したようなものです。

まとめ

この論文は本質的に、統合プロジェクトです。それは、「量子距離」のいくつかの複雑で高レベルな定義を取り上げ、それらを「分離可能状態」（単純で非もつれた部分）というレンズを通して眺めると、それらがいくつかの基本的で同一の概念に収束することを示しています。

• 彼らは、輸送コストである量子ワッセルシュタイン距離を、類似度スコアである量子フィデリティと結びつけました。
• 彼らは、単純な系（量子ビット）では、これらの概念が数学的に同一であることを示しました。
• 彼らは、複雑な量子状態をより単純で分離可能な部分に分解することで、これらの距離を計算する新しい、より簡単な方法を提供しました。

著者らは、この論文で医療応用や将来の技術については議論していません。彼らの目的は、量子の差異を測定するこれらの異なる方法間の数学的関係を明確にすることだけでした。

技術概要

技術的サマリー：量子ワッサーシュタイン距離と複数の忠実度との関係

問題提起
本論文は、量子最適輸送の中心的な概念である量子ワッサーシュタイン距離の定義の氾濫に対処する。文献には、量子チャネルに基づくもの（De Palma および Trevisan）、静的解釈に基づくもの（Golse, Mouhot, Paul, Caglioti）、SWAP 演算子または反対称コストを含むコスト関数に基づくものなど、様々なアプローチが存在する。重要な課題は、これらの異なる定義が本質的に関連しているのか、あるいは統合可能なのかを決定することである。具体的には、著者らは、これらの距離定義における最適化を、すべての物理的 2 部量子状態の集合から分離可能状態の部分集合に制限したときに得られる量を調査する。本論文は、これらのアプローチを結びつけ、それらが基本的なタイプに帰着するかどうかを決定し、確立された量子情報量である忠実度や量子フィッシャー情報との関係を探究することを目的としている。

手法
著者らは、一般の状態ではなく分離可能状態上で最適化を行うことで、量子ワッサーシュタイン距離のいくつかの定義を体系的に分析する。手法は以下の通りである：

1. 定義の再定式化: 既存の定義（例：De Palma-Trevisan 型、SWAP 忠実度に基づくもの）をとり、制約集合を分離可能 2 部状態（$\varrho_{12} \in \text{Sep}$）のみを含むように修正する。
2. 凸屋根解析: 得られる量を、混合状態の純粋積状態のアンサンブルへの分解に関する最適化として表現する。これは凸および凹の屋根の数学的構造を利用する。
3. 解析的証明: 新しい分離可能状態量と、Uhlmann-Jozsa 忠実度、Bures 距離、スーパー忠実度などの標準的な測定値との間の等式および不等式を証明する。
4. 特殊ケースの分析: 状態のいずれかが純粋状態である場合、完全な観測量の集合（$SU(d)$の生成子）が使用される場合、および量子ビットシステム（$d=2$）の場合などの特定のシナリオを分析する。
5. 数値検証: 半正定値計画（SDP）を用いてランダムな状態に対するこれらの距離を計算する。2 量子ビットの場合、部分転置正（PPT）状態の集合が分離可能状態の集合と一致するという事実を利用することで、厳密な数値解を得る。

主要な貢献と結果

• アプローチの統合: 本論文は、分離可能状態上で最適化を行うことが、主に 2 つの種類の量をもたらすことを示している：

  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 忠実度とスーパー忠実度が等しいという結果の帰結である。

• 三角不等式: 本論文は、関与する 3 つの状態のいずれかが純粋状態であるという特定のケースにおいて、（分離可能状態最適化に基づく）修正された量子ワッサーシュタイン距離に対して三角不等式が成り立つことを証明する。これは、純粋状態に対する距離が三角不等式を満たすという事実を利用し、凸屋根構造を通じてこれを拡張することによって確立される。

• 量子フィッシャー情報との接続: 分離可能状態最適化された De Palma-Trevisan 距離の自己距離は、量子フィッシャー情報（QFI）と関連していることが示される。単一の演算子の場合、自己距離は $F_Q/4$ に等しい。本論文は、Wigner-Yanase 歪み情報、QFI、および自己距離を関連付ける境界を確立する。

• 他の発散との関係: 著者らは、新しい分離可能状態距離と Bures 距離、スーパー忠実度、および様々な量子発散（Jensen、Bregman、Tsallis）を結びつける境界を導き出し、これらの距離がしばしばこれらの他の量に対する上限または下限として機能することを示す。

意義と主張
本論文は、分離可能状態に制限すると、様々な量子ワッサーシュタイン距離の定義がしばしば同じ量に帰着することを示すことで、それらを理解するための統合された枠組みを提供すると主張する。

• 量子ワッサーシュタイン距離と量子フィッシャー情報との直接的なリンクを確立し、最適輸送理論と量子計測学を結びつける。
• Uhlmann-Jozsa 忠実度を分離可能状態上での最適化として定式化できることを示し、この基本的な測定値に対する新たな視点を提供する。
• 量子ビットの場合、分離可能状態 SWAP 忠実度が Uhlmann-Jozsa 忠実度に等しいという結果は、2 準位システムにおけるこれらの距離の計算を簡素化する。
• 純粋状態を含む場合の三角不等式の証明は、これらの量のメトリック的な性質を支持するが、本論文は任意の混合状態に対する一般的な三角不等式は未解決の問題であり（数値的証拠は支持するが、すべてのケースで厳密に証明されていない）、と指摘している。

著者らは、これらの発見が、分離可能状態の幾何学を通じて多くの距離測定が本質的に関連していることを明らかにすることで、最適輸送、エンタングルメント理論、量子計測学など、一見無関係な量子物理学の分野を結びつけることを結論付けている。