[論文レビュー] Ricci curvature of quantum channels on non-commutative transportation metric spaces

Li Gao, Cambyse Rouzé|arXiv (Cornell University)|Aug 24, 2021

Geometric Analysis and Curvature Flows参考文献 65被引用数 5

ひとこと要約

本稿では、非可換輸送コスト距離に基づく非可換トランスポートメトリクスを用いて、量子チャネルにおけるオリヴィエの粗いリッチ曲率の非可換一般化を導入し、さまざまな量子ワッサープシュタイン距離を統一的に扱う。粗いリッチ曲率の下界が、ポンカラの不等式および輸送コスト不等式を示すことを確立し、ギブズサンプリング、ビームスプリッタ、パウリチャネルなどの主要な量子チャネルに対して明示的な正の曲率下界を導出する。

ABSTRACT

Following Ollivier's work, we introduce the coarse Ricci curvature of a quantum channel as the contraction of non-commutative metrics on the state space. These metrics are defined as a non-commutative transportation cost in the spirit of [N. Gozlan and C. Léonard. 2006], which gives a unified approach to different quantum Wasserstein distances in the literature. We prove that the coarse Ricci curvature lower bound and its dual gradient estimate, under suitable assumptions, imply the Poincaré inequality (spectral gap) as well as transportation cost inequalities. Using intertwining relations, we obtain positive bounds on the coarse Ricci curvature of Gibbs samplers, Bosonic and Fermionic beam-splitters as well as Pauli channels on n-qubits.

研究の動機と目的

• 古典的マコフ連鎖におけるオリヴィエの粗いリッチ曲率概念を、非可換メトリック空間上の量子チャネルへと拡張すること。
• 最適輸送理論にインspiredされた非可換輸送コストメトリクスを用いて、量子ワッサープシュタイン距離の統一的フレームワークを定義すること。
• 粗いリッチ曲率の下界が、ポンカラ不等式や輸送コスト不等式を含む主要な関数不等式を示すことを確立すること。
• パウリチャネル、ギブズサンプリング、ボソン的・フェルミオン的ビームスプリッタを含む物理的に重要な量子チャネルに対して、明示的な正の粗いリッチ曲率下界を計算すること。
• 非可換設定における曲率推定に、相互作用関係と勾配推定がどのように役立つかを示すこと。

提案手法

• 量子系の状態空間上に非可換輸送コストメトリクスを定義し、古典的ワッサープシュタイン距離を非可換設定に一般化すること。
• このメトリクスのチャネル作用による収縮率として、量子チャネルの粗いリッチ曲率を定義する。非可換リプシッツセミノルムの双対となるワッサープシュタイン-1距離を用いる。
• 双対性およびモンジュ＝カンタロフイの定式化を用いて、粗いリッチ曲率の下界と双対勾配推定の間の同値性を確立する。
• チャネルとその微分写像の間の相互作用関係を用いて、特にパウリチャネルおよび対称量子チャネルに対して曲率下界を導出する。
• 曲率下界を用いて、ジャンプ汎関数および固定点へのトレースノルムとワッサープシュタイン距離を用いて、指数的収束レートを導出する。
• パウリ行列の構造およびその交換関係を活用し、セミノルム $\|x\|_{\partial,\infty} = \max_{\alpha} \|\partial_\alpha x\|$ を用いて明示的な曲率下界を計算する。

実験結果

リサーチクエスチョン

• RQ1 オリヴィエの粗いリッチ曲率は、非可換最適輸送メトリクスを用いて量子チャネルへ一般化可能か？
• RQ2 量子設定における粗いリッチ曲率の下界が、ポンカラ不等式や輸送コスト不等式などの関数不等式を示すか？
• RQ3 パウリチャネル、ビームスプリッタ、ギブズサンプリングなどの物理的に重要な量子チャネルに対する明示的な粗いリッチ曲率下界は何か？
• RQ4 チャネルとその微分写像の間の相互作用関係は、非可換設定における曲率推定をどのように支援するか？
• RQ5 提案されたメトリクスは、既存の量子ワッサープシュタイン距離の概念をどの程度統一的に扱えるか？

主な発見

• 量子チャネルの粗いリッチ曲率は、非可換ワッサープシュタイン-1距離の収縮率として定義され、パウリチャネルでは曲率下界 $\kappa = 2\min_{\beta \in \mathcal{I}} \lambda_\beta$ を有する。
• 粗いリッチ曲率の下界は、双対勾配推定を介してポンカラ不等式および輸送コスト不等式を示す。
• パウリチャネル $\mathcal{P}(x) = \sum_{\alpha \in \mathcal{I}} \lambda_\alpha \sigma_\alpha x \sigma_\alpha$ に対して、粗いリッチ曲率は $2\min_{\beta \in \mathcal{I}} \lambda_\beta$ で下から抑えられ、$\lambda\_\alpha > 0$ かつ $\mathbf{0} \in \mathcal{I}$ を満たす。
• 固定点 $E_{\mathcal{I}}(\rho)$ への $\mathcal{P}^k(\rho)$ のトレースノルム収束は、$\|\mathcal{P}^k(\rho) - E_{\mathcal{I}}(\rho)\|_1 \leq \frac{(1 - 2\min \lambda_\beta)^k}{2\min \lambda_\beta} \mathcal{J}_{\partial,\infty}(\rho)$ で抑えられ、指数的収束が示される。
• 相互作用関係および微分技法を用いて、ギブズサンプリング、ボソン的・フェルミオン的ビームスプリッタ、一般の $n$-キュービットパウリチャネルに対し、正の曲率下界が得られる。
• 非可換メトリクス $W_{\partial,\infty}$ は、$\|\cdot\|_{\partial,\infty}$ の双対として、$\frac{1}{2}\|\rho - \sigma\|_1 \leq W_{\partial,\infty}(\rho, \sigma)$ を満たし、トレース距離とワッサープシュタイン距離を結びつける。