[論文レビュー] Matrix Optimal Mass Transport: A Quantum Mechanical Approach

Yongxin Chen, Tryphon T. Georgiou+1 more|arXiv (Cornell University)|Oct 10, 2016

Geometric Analysis and Curvature Flows参考文献 8被引用数 9

ひとこと要約

本稿では、量子力学的原則、特に Lindblad 方程式と行列値最適輸送を用いて、密度行列に対する Wasserstein-2 距離の非可換一般化を導入する。量子エントロピーの勾配流が対数平均行列乗算のもとで線形熱方程式に還元されることを示し、量子情報力学の幾何的枠組みを提供する。

ABSTRACT

In this paper, we describe a possible generalization of the Wasserstein 2-metric, originally defined on the space of scalar probability densities, to the space of Hermitian matrices with trace one, and to the space of matrix-valued probability densities. Our approach follows a computational fluid dynamical formulation of the Wasserstein-2 metric and utilizes certain results from the quantum mechanics of open systems, in particular the Lindblad equation. It allows determining the gradient flow for the quantum entropy relative to this matricial Wasserstein metric. This may have implications to some key issues in quantum information theory.

研究の動機と目的

• 古典的 Benamou-Brenier 形式化を、量子力学における密度行列の非可換設定に拡張すること。
• 量子流体力学と Lindblad 形式の微分方程式を用いて、エルミート的で正定値かつトレースが1の行列の空間にリーマン計量を定義すること。
• 提案された行列 Wasserstein 距離に関して、量子エントロピーの勾配流を特徴付けること。
• 行列最適輸送と量子情報理論との間の関係を確立すること、特にエントロピー散逸と量子ダイナミクスの文脈において。
• リッチ曲率の境界といった古典的結果の幾何的類似物を、行列値設定において探求すること。

提案手法

• 時間に依存する密度行列の流れを用いて、最適輸送の Benamou-Brenier 流体的定式化を行列値密度に適応する。
• 運動量場と速度流れを含む行列値作用積分を導入し、連続性および境界条件の下で作用を最小化する。
• 非可換微積分を用いて行列勾配と発散を定義し、特に対数平均と反交換子の形を用いる。
• 開いた量子系をモデル化し、勾配流の散乱部を導出するために Lindblad 方程式を用いる。
• 式 $ \dot{\rho} = -\nabla_L^* \nabla_L \rho $ を用いて、線形熱方程式を量子エントロピーの勾配流として導出する。
• 異なる行列乗算規則が異なるダイナミクスをもたらすことを示し、勾配流を $ \dot{\rho} = -\nabla_L^* M_\rho(\nabla_L \log \rho) $ で確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的 Benamou-Brenier 形式化を、量子力学における行列値確率密度にどのように一般化できるか？
• RQ2 Wasserstein-2 距離を一般化する密度行列の空間に適切なリーマン計量を定義するにはどうすればよいか？
• RQ3 提案された行列 Wasserstein 距離のもとで、量子エントロピーの勾配流はどのように振る舞うか？
• RQ4 行列最適輸送フレームワークは、スカラーの場合と同様に、線形熱方程式を勾配流として回復できるか？
• RQ5 このフレームワークの幾何的および情報理論的意味は何か、特にリッチ曲率の境界と量子情報力学との関係において。

主な発見

• 行列 Wasserstein 距離 $ W_{2,b} $ に対する量子エントロピーの勾配流は、対数平均行列乗算を用いることで線形熱方程式 $ \dot{\rho} = \Delta_L \rho $ に還元される。
• 対数平均を用いて勾配流方程式 $ \dot{\rho} = -\nabla_L^* \nabla_L \rho $ が導出され、スカラーの場合と類似した線形進化が得られる。
• 反交換子に基づく定式化は、古典的ケースと類似した最適性条件を持つ凸最適化問題をもたらす。
• 行列値勾配流は Lindblad 方程式の構造を保存しており、散乱部が量子エントロピーの最も急な降下方向に対応していることが示される。
• このフレームワークにより、量子系におけるエントロピー散逸の幾何的解釈が可能となり、量子情報やネットワークダイナミクスへの応用が期待される。
• 本稿では、Lott と Villani の結果を拡張する形で、この行列フレームワークにおいてヘッセ行列に基づくリッチ曲率の境界の類似物を定義可能であると示唆している。