Folded optimal transport and its application to separable quantum optimal transport

本論文は、長考理論（Choquet theory）を用いてコスト関数を極限境界から凸集合全体へと拡張することで、古典的な最適輸送を一般化し、純粋状態から導出される密度行列上の可分な量子ワッサースタイン距離の構築を可能にする統一的枠組みである「折り畳み最適輸送（folded optimal transport）」を導入するものである。

要約

全体像：単純なものから複雑なものへの移動

想像してみてください。あなたは純粋で完璧な材料（例えば、一粒の塩、一滴の水、あるいは純粋な色）のセットを持っています。物理学の世界では、これらは「純粋状態」と呼ばれます。また、これらの材料の混合物（例えば、塩と胡椒が混ざったもの、あるいは灰色の一種）もあります。これらは「混合状態」と呼ばれます。

この論文は、根本的な問いを投げかけています。もしある純粋な材料から別の純粋な材料へ移動するための「距離」や「コスト」が分かっている場合、混合物全体を別の混合物へ移動させるためのコストをどのように計算すればよいのでしょうか？

通常、古典物理学（リンゴの箱を運ぶような場合）では、混合物は単なる単純な平均なので、これは簡単です。しかし、量子物理学では、物事は奇妙になります。混合物は「もつれ（エンタングルメント）」の状態（日常の世界には存在しないような方法で互いに絡み合った状態）になることがあり、それによって混合物を移動させるための数学的計算が非常に困難になります。

この論文は、この問題を解決するために、「折り畳み最適輸送（Folded Optimal Transport）」と呼ばれる新しい数学的ツールを紹介しています。

---

比喩 1：「折り畳まれた」地図

凸集合（集合内の任意の2点を結ぶ線が、その集合内に留まるような形）を、折り畳まれた地図だと考えてください。

• エッジ（端）： この地図の「極限境界」は、純粋状態を表します。これらは図形の角にあたります。
• 中央： 図形の内部は、混合状態を表します。これらは単に角の部分を組み合わせたものです。

標準的な数学では、地図の中央にあるある点から別の点へ移動したい場合、通常は新しいルールを考案しなければなりません。しかし、この論文はこう言います。**「新しいルールを作る必要はない。ただ、角（コーナー）を見ればいいのだ」**と。

この手法は次のように機能します：

1. 持ち上げ（Lift）： 混合状態を取り出し、それらがどのような純粋な角から作られたのか、あらゆる可能性へと「展開（アンフォールド）」することを想像してください。
2. 輸送（Transport）： 標準的なルールを用いて、純粋な角同士を移動させるコストを計算します。
3. 折り畳む（Fold）： 地図を再び「折り畳み」ます。混合状態を移動させるコストは、それらを作る基礎となる純粋な角を移動させるための、最も「安い」方法となります。

著者らはこれを、複雑な混合状態の状態を、単純なエッジへと展開し、計算を行い、そして再び折り畳むことから、**「折り畳み最適輸送」**と呼んでいます。

比喩 2：「最短ルート」対「直接ルート」

この論文では、この折り畳まれた世界における距離の測定方法について、2つの違いを区別しています。

1. 「折り畳みカントロヴィッチ（Folded Kantorovich）」距離（直接ルート）：
   混合した砂の山（状態A）を別の砂の山（状態B）へ移動させたいと想像してください。あなたは砂の山のすべての粒を調べ、合計の歩行距離を最小にするように、状態Bの中の最適な相手を見つけ出します。

   • 落とし穴： 時として、AからBへ直接ルートを取ろうとすると、数学的に計算がうまく合わないことがあります。例えば、A → B → C と進んだとき、コストが A → C ＋ C → B と等しくならないことがあります。これは、三角不等式（最短経路は直線であるというルール）が崩れてしまう地図のようなものです。これは**「半距離（semi-distance）」**と呼ばれます。

2. 「折り畳みワッサースタイン（Folded Wasserstein）」距離（ベストルート）：
   この壊れた三角ルールを修正するために、著者らはこう言います。「よし、もし直接ルートが奇妙なら、回り道をすることを許可しよう」と。
   もし、AからCへ行きたいけれど、直接の経路が高価すぎたり壊れていたりする場合、A → B → C という経路を取ることを認めます。この連鎖全体のコストを計算し、絶対的に最も安い連鎖を選び出します。

   • 結果： これにより、私たちが日常生活で使う距離（例えば、都市から都市へのドライブ）と全く同じように振る舞う、完璧で信頼できる**「距離（メトリック）」**が生まれます。

量子の応用：可分（セパラブル）か、もつれ（エンタングル）か

この論文は、これを特に量子力学に適用しています。

• 問題： 量子物理学において、粒子は「もつれ」ていることがあり、それは通常の論理を超えた方法で互いに結びついていることを意味します。2つの量子状態の間の距離を計算するには、通常、これらの奇妙な「もつれ」を考慮する必要があり、これは計算上の悪夢となります。
• 解決策（可分輸送）： 著者らは、**「可分（Separable）」**な量子輸送に焦点を当てています。これは、粒子が奇妙な方法で互いに「もつれて」おらず、単なる単純な混合物である場合のみを考慮することを意味します。
• 結果： 彼らの「折り畳み」手法を用いることで、純粋状態間の距離のみに基づいた、量子状態（密度行列）の間の距離を測るための、新しい信頼できる方法を構築することに成功しました。

彼らは、自分たちの新しい「折り畳みワッサースタイン」距離が以下の特性を持つことを見出しました：

• 信頼性： 幾何学のすべてのルール（三角不等式）に従います。
• 連続性： 量子状態の小さな変化は、距離の小さな変化をもたらします。
• 過去との繋がり： 彼らの手法は、他の科学者（BeattyとStilck-França）によって提案された以前の手法と非常によく似ていますが、彼らの「折り畳み」アプローチはその手法がなぜ機能するのかを説明し、数学的な不備を修正しています。

驚くべき繋がり：半古典的な架け橋

論文は、素晴らしい「エウレカ（発見）」の瞬間で締めくくられます。彼らは、物理学者のGolseとPaulが量子状態と古典物理学を比較するために使用した有名な複雑な公式（Golse–Paulコストと呼ばれるもの）が、実は彼らの「折り畳み最適輸送」の特殊なケースであることを示しています。

簡単に言えば： 彼らは、非常に複雑な量子公式が、実は単純なコスト関数の特定の種類の「折り畳み」に過ぎないことを発見したのです。これにより、以下の3つの異なる世界が統合されました：

1. 古典的（確率の雲の移動）。
2. 半古典的（量子と古典の架け橋）。
3. 量子（もつれのない量子状態の移動）。

まとめ

この論文は、新しい物理法則や新しい機械を発明したわけではありません。代わりに、**「新しい数学的なレンズ」**を発明したのです。

それはこう言っています。「複雑で混合したもの（量子状態など）の間の距離を測りたいなら、その混合物を直接測ろうとしてはいけない。それらを純粋な構成要素へと展開（アンフォールド）し、そこで距離を測り、そして結果を折り畳め（フォールド）」と。

これにより、古典的な確率、半古典物理学、そして特定の種類の量子物理学において機能する、統一された信頼できるフレームワークが構築され、「移動する」量子状態の数学がより明確で一貫したものになりました。

技術概要

技術要約：折り畳み最適輸送（Folded Optimal Transport）とその分離型量子最適輸送への応用

問題提起
本論文は、凸集合の極端境界（純粋状態）で定義されたコスト関数や距離を、集合全体（混合状態）へと拡張するという課題に取り組んでいる。古典的な最適輸送において、状態空間は確率測量の単体であり、その極端境界はディラック質量に対応する。標準的なワッサースタイン距離は、基底となる空間上の計量を測度空間へと自然に拡張する。しかし、量子設定では、状態空間は密度行列（作用素の凸集合）であり、極端境界は純粋状態（ランク1の射影演算子）に対応する。凸構造を尊重しつつ、純粋状態上の計量を混合状態へと拡張する意味のある「量子ワッサースタイン距離」を定義することは、様々な定式化（非分離型対 分離型結合など）が存在する中で、長年の未解決問題であった。本研究の具体的な動機は、凸拡張理論を用いて、境界からの距離を混合状態へと拡張する、特にエンタングルメントを考慮しない「分離型」のケースに焦点を当てた統一的な枠組みを提供することである。

手法
著者は、ショエ（Choquet）理論と標準的な最適輸送ツールに依拠した、**折り畳み最適輸送（Folded Optimal Transport）**と呼ばれる一般的な数学的構成を導入している。その手法は以下の3つの段階で進行する：

1. ショエ理論による凸識別： 本論文は、ショエ・ビショップ・ド・ルー（Choquet–Bishop–De Leeuw）の定理を利用して、コンパクトな凸集合 $C$ を、その極端境界 $E$ 上のラドン確率測量の集合を、重心を共有するという同値関係によって商取ったもの（$C \cong P(E)/\sim$）として識別する。
2. リフティングと接着（Lifting and Gluing）：
   • リフティング： 極端境界 $E$ 上に定義された距離 $d$ を、標準的なワッサースタイン-$p$ 距離 $W_p$ を用いて確率測量の空間 $P(E)$ へと持ち上げる（リフトする）。
   • 接着： リフトされた距離を、同値類上で最小化することにより、元の凸集合 $C$ へと射影する。これにより、「折り畳みカントロヴィッチ半距離（folded Kantorovich semi-distance）」$\bar{D}_p$ が得られる。
   • 商化： 三角不等式（劣加法性）を保証するために（$\bar{D}_p$ はこれを欠く可能性がある）、著者は、商距離としての折り畳みワッサースタイン擬距離（folded Wasserstein pseudo-distance） $D_p$ を定義する。これは、$C$ 内の2点間を繋ぐあらゆる可能な連鎖（chain）にわたって $\bar{D}_p$ コストを最小化することを含む。
3. 量子系への適用： この一般的な構成を、$C$ が密度行列の集合 $S_1^+$ であり、$E$ が純粋状態の集合 $P_H$ である有限次元量子設定に適用する。得られる距離は、量子折り畳みワッサースタイン距離と呼ばれる。

主要な貢献と結果

• 統一的枠組み： 本論文は、凸集合が単体である場合、標準的な最適輸送は本フレームワークの特殊なケースであることを確立している。これにより、古典的、半古典的、および分離型量子最適輸送を、折り畳み最適輸送という単一の概念の下に統一している。
• 計量特性：
  • 元の境界上の距離 $d$ がノルムに対して下限条件（$d(x,y) \geq \|x-y\|$）を満たす場合、折り畳みワッサースタイン距離 $D_p$ は凸集合 $C$ 上の真の距離（三角不等式を満たすもの）であることを証明している。
  • $D_p$ は凸集合上に自然なトポロジーを誘導し、特定の条件（境界が測地線的であり $p>1$ の場合）の下で、得られる空間は測地線的となる。
  • 距離 $D_p$ は、凸集合上のノルム距離の上界を与える。
• Beatty–Stilck-Françaとの関係： 本論文は、Beatty–Stilck-França 半距離（既知の分離型量子輸送計量）が、まさに折り畳みカントロヴィッチ半距離 $\bar{D}_p$ と等価であることを示している。
  • 重要な知見として、Beatty–Stilck-França 半距離が真の距離となるのは、それが折り畳みワッサースタイン距離 ($D_p$) と一致する場合のみである。
  • また、Beatty–Stilck-França 半距離の劣加法性に関する十分条件を提示している。
• 最適計画の有限支持： 線形計画法の理論に基づき、折り畳みカントロヴィッチ半距離に対する最適な表現輸送計画が存在し、かつ有限の支持を持つことを証明している。具体的には、次元 $d$ の量子状態に対して、最適な計画は高々 $2d^2 - 1$ 個のアトム（原子）を持つ。
• 半古典的接続： 量子密度行列と古典的確率密度を比較するために用いられる、Golse–Paul の半古典的コストが、折り畳みカントロヴィッチ・コストとして再定式化できることを示している。

意義と主張
本論文は、凸屋根（convex roofs）とショエ表現のより広い理論に結びつけることで、「分離型量子最適輸送」の厳密な理論的基礎を提供することを主張している。その主な意義は以下の通りである：

1. 異なる量子輸送の定式化間の関係を明確化すること： 特に、Beatty–Stilck-França 半距離と、凸屋根およびショエ表現のより広範な理論との関連付けを行っている。
2. Beatty–Stilck-França 半距離の計量としての地位を解決すること： それは、連鎖の最小化を通じて三角不等式を強制する折り畳みワッサースタイン距離と一致する場合にのみ、真の距離となることが示されている。
3. 統一： 古典的輸送、Golse–Paul の半古典的コスト、および分離型量子輸送を包含する単一の数学的言語（折り畳み最適輸送）を提供しており、これらがバラバラの理論ではなく、境界の計量を凸集合へと拡張するという特定の事例であることを示唆している。

著者は、Beatty–Stilck-França 半距離は（有限支持の計画により）計算可能である一方で、折り畳みワッサースタイン距離 $D_p$（三角不等式を保証するもの）は直接的な計算が不明瞭であることを述べているが、両者が一致する条件についても論じている。本研究は新しい実験プロトコルを提案するものではなく、既存の量子輸送計量の数学的な定義と性質を精緻化するものである。