Wasserstein distances and divergences of order $p$ by quantum channels

この論文は、量子チャネルを輸送手段とする量子最適輸送問題の非二次的な一般化を導入し、それに基づいた$p$-ワッサースタイン距離およびダイバージェンスを定義して、その幾何学的性質や特定の条件下での三角不等式の成立を証明したものです。

要約

1. 背景：量子力学の「もやもや」をどう測るか？

想像してみてください。あなたは、**「霧（きり）の中に浮かぶ、形が定まらない雲」**の2つの状態を比較したいと考えています。

普通の数学（古典的な世界）では、雲の形が違えば、その中心点や広がりを測ることで「これくらい離れているね」と簡単に計算できます。しかし、量子力学の世界では、雲は単なる形ではなく、**「確率のゆらぎ」**そのものです。雲は常に形を変え、どこにいるか確定していません。

これまでの研究では、この「もやもやした雲」同士の距離を測る方法（量子ワッサーシュタイン距離）が提案されてきましたが、それには「計算が複雑すぎる」とか「距離のルール（三角不等式）がうまく成り立たないことがある」といった課題がありました。

2. この論文のアイデア： 「運び屋（量子チャネル）」のコスト

この論文の著者たちは、距離を測る方法をガラリと変えました。

彼らは、**「雲Aを、雲Bの形に変形させるための『運び屋』を雇う」**という考え方を導入しました。

• 雲A： 今ある状態
• 雲B： 目標の状態
• 運び屋（量子チャネル）： 雲を形作るためのプロセス
• コスト： 運び屋に支払う「運賃」

「雲Aを雲Bに変形させるのに、一番安上がりな運び屋は誰か？」を計算し、その**「最小の運賃」を、2つの雲の間の「距離」と定義**したのです。

さらに、これまでの研究は「2乗のコスト（平方コスト）」に頼りすぎていました。今回の論文では、もっと自由に、「3乗でも、1.5乗でも、好きなルールで運賃を決めていいよ！」という、より汎用的な（$p$次）ルールを作りました。

3. この研究のすごいところ（3つのポイント）

① 「運賃ルール」の自由度を広げた

これまでは「距離の2乗」という決まったルールでしか測れませんでしたが、この論文は「もっと極端なルール（$p$次）」でも計算できるようにしました。これにより、より多様な現象を分析できるようになります。

② 「三角不等式」の謎を解いた

数学の世界には、「AからBへの距離」＋「BからCへの距離」は、必ず「AからCへの距離」以上になるという、当たり前のようなルール（三角不等式）があります。これが成り立たないと、「ものさし」として使い物になりません。

著者たちは、**「もし、比較する雲のうちどれか一つでも『純粋な状態（霧が全くなく、形がハッキリ決まっている状態）』であれば、このルールはちゃんと守られる」**ということを証明しました。

③ 量子ビット（最小単位）での法則を発見

コンピュータの最小単位である「量子ビット」の世界では、特定の条件（$p \ge 2$）を満たしていれば、どんな複雑な雲同士でも、この「ものさし」が完璧に機能することを明らかにしました。

---

まとめ：この研究が意味すること

この論文は、**「量子力学という、形が定まらない不思議な世界において、いかに正確に、かつ自由に『違い』を数値化するか」**という、新しい測定基準の設計図を描いたものです。

例えるなら、「形がコロコロ変わる魔法の粘土」同士がどれくらい違うかを、最も効率的な変形方法（運賃）を使って測るための、新しい万能定規を作った、というようなお話です。これが進むことで、将来的に量子コンピュータの性能評価や、量子データの分類がより正確に行えるようになることが期待されます。

技術概要

論文要約：量子チャネルによる次数 $p$ のワッサーシュタイン距離およびダイバージェンス

1. 背景と問題設定 (Problem)

古典的な最適輸送理論（Optimal Transport）は、確率分布間の距離を測るための強力な枠組みを提供しており、確率論、偏微分方程式、機械学習など多岐にわたる分野で応用されています。量子力学の文脈では、非可換（non-commutative）な対象である量子状態（密度演算子）に対して、どのように最適輸送を拡張するかが重要な研究課題となっています。

先行研究（De Palma and Trevisan, 2021）では、量子チャネルを輸送手段として用いる二次（quadratic）の量子ワッサーシュタイン距離が導入されました。しかし、古典的なワッサーシュタイン距離が $L^p$ ノルムに基づき、任意の $p > 0$ に対して定義可能であるのと同様に、量子系においても非二次（non-quadratic）な一般化が求められていました。

本論文の主な目的は、コスト関数を $p$ 次のノルムに基づいたものへと一般化し、それに対応する量子ワッサーシュタイン距離およびダイバージェンスの幾何学的性質を解明することです。

2. 手法 (Methodology)

著者らは、以下の2つのアプローチで量子最適輸送問題を定式化しています。

A. 独立なコピーを用いた定式化 (i.i.d. case)

有限個の観測可能量（Observables）の集合 $\mathcal{A} = \{A_1, \dots, A_K\}$ を設定します。量子状態 $\rho$ と $\omega$ の間の結合（coupling）を、量子チャネルによって実現される状態 $\Pi \in \mathcal{S}(\mathcal{H} \otimes \mathcal{H}^*)$ として定義します。
コスト関数として、古典的な $L^q$ ノルムの $p$ 乗を模倣したコスト演算子 $C_{\mathcal{A}, p, q}$ を導入し、以下の最適化問題を解きます。
$$\min_{\Pi \in \mathcal{C}(\rho, \omega)} \text{tr}[(\Pi \otimes \dots \otimes \Pi) C_{\mathcal{A}, p, q}]$$

B. 位置演算子を用いた定式化 (Correlated case)

位置演算子 $Q$ を用いることで、複数の粒子間の相関を許容する、より一般的な量子最適輸送問題を定式化しています。これは、特定の条件下で古典的な最適輸送問題に帰着できる性質を持ちます。

3. 主な貢献と結果 (Key Contributions & Results)

① $(p, q)$-ワッサーシュタイン距離の導入

コスト関数を $c(x, y) = (\sum |x_k - y_k|^q)^{p/q}$ としたときの、量子 $(p, q)$-ワッサーシュタイン距離 $D_{\mathcal{A}, p, q}(\rho, \omega)$ を定義しました。特に $p=q$ の場合、コスト演算子が簡潔な形式（演算子の差の $p$ 乗の和）で記述できることを示しました。

② ダイバージェンスの定義と非負性の限界

二次形式のダイバージェンスを一般化した $(A, p)$-ワッサーシュタイン・ダイバージェンス $d_{\mathcal{A}, p}(\rho, \omega)$ を提案しました。

• 重要な発見: $p > 2$ の場合、このダイバージェンスが負の値を取り得ることを証明しました（Proposition 3）。これは、古典的な直感とは異なる量子特有の現象であり、ダイバージェンスの定義における $p$ の範囲の重要性を示唆しています。

③ コスト演算子の集合に関する構造的解析

異なる $p$ の値に対して、生成されるコスト演算子の集合 $\mathcal{C}_p(\mathcal{H})$ がどのように変化するかを解析しました。

• $p=1$ が最小の集合を生成すること（Proposition 4）。
• 2レベル系（qubit）においては、任意の $p, p' > 0$ に対してコスト演算子の集合が一致すること（Corollary 6）。
• $p$ が増加するにつれて、コスト演算子の集合が単調に増加するという予想（Conjecture 9）を提示しました。

④ 三角不等式の成立条件

本論文の技術的なハイライトの一つは、三角不等式の成立条件に関する証明です。

• 定理 20: 二次ワッサーシュタイン・ダイバージェンス $d_{\mathcal{A}, 2}$ について、**「関与する3つの状態のうち少なくとも1つが純粋状態（pure state）である」**という条件下で三角不等式が成立することを証明しました。
• これは、後年（論文執筆後）にMelchior Wirthが示した「全状態に対して三角不等式が成立する」という完全な一般化結果に対する、重要な中間的・幾何学的なアプローチを提供しています。

4. 意義 (Significance)

本研究は、量子最適輸送理論を「二次形式」という限定的な枠組みから、より広範な「$p$ 次形式」へと拡張した点に大きな意義があります。

1. 理論的深化: 量子状態間の距離尺度として、非可換な代数構造と古典的な輸送理論の間の複雑な関係（特に $p$ の値による性質の変化）を明らかにしました。
2. 幾何学的理解: 量子ダイバージェンスが必ずしも非負でない可能性や、純粋状態が幾何学的な「境界」として三角不等式の成立に寄与する役割を浮き彫りにしました。
3. 基盤構築: 量子情報理論や量子統計力学における、状態間の「近さ」を測る新しい、より柔軟な道具立てを提供しました。