[論文レビュー] Estimating the decoherence time using non-commutative Functional Inequalities

Ivan Bardet|arXiv (Cornell University)|Oct 3, 2017

Matrix Theory and Algorithms参考文献 40被引用数 21

ひとこと要約

本稿は、非原始的量子マーヴィン過程（QMS）に非可換ポincareおよび修正ログソボレフ不等式を一般化し、開放系におけるデ coherent 時間の推定を可能にする。デコherence-free（DF）代数構造とディリクレ型形式の $\mathbb{L}_1$-正則性が、修正ログソボレフ定数の正の性質を保証することを確立し、これにより改良された指数的減衰推定が得られる。特に、最適条件下でデコherence時間に $\Omega(\log \log d)$ のスケーリングが成立することを示す、重要な結果を得た。

ABSTRACT

We generalize the notions of the non-commutative Poincaré and modified log-Sobolev inequalities for primitive quantum Markov semigroups (QMS) to not necessarily primitive ones. These two inequalities provide estimates on the decoherence time of the evolution. More precisely, we focus on an algebraic definition of environment-induced decoherence in open quantum systems which happens to be generic on finite dimensional systems and describes the asymptotic behavior of any QMS. An essential tool in our analysis is the explicit structure of the decoherence-free algebra generated by the QMS, a central object in the study of passive quantum error correction schemes. The Poincaré constant corresponds to the spectral gap of the QMS, which implies its positivity, while we prove that the modified log-Sobolev constant is positive under the $\mathbb L_1$-regularity of the Dirichlet form, a condition that also appears in the primitive case. We furthermore prove that strong $\mathbb L_p$-regularity holds for QMS that satisfy a strong form of detailed balance condition for $p\geq1$. The latter condition includes all known cases where this strong regularity was proved. Finally and to emphasize the mathematical interest of this study compared to the classical case, we focus on two truly quantum scenarios, one exhibiting quantum coherence, and the other, quantum correlations.

研究の動機と目的

• 非可換関数不等式（ポincareおよび修正ログソボレフ）を、非原始的量子マーヴィン過程（QMS）に拡張すること。ここで、デコherence-free（DF）代数が非自明であることを想定する。
• 特に、系が一意な不変状態に収束しない状況において、開放系におけるデコherence時間の定量的推定を提供すること。
• 非原始的設定において、修正ログソボレフ定数が正のままである条件を確立すること。これにより、迅速なデコherence推定が可能になる。
• これらの不等式が、特にパassing量子エラー補正およびデコherence-freeサブシステムにおいて、量子情報プロトコルに与える関連性を示すこと。

提案手法

• デコherence-free（DF）代数の構造を組み込むことで、原始的でないQMSに対し非可換ポincareおよび修正ログソボレフ不等式を一般化する。
• QMSの漸近的挙動を特徴付ける中心的対象としてDF代数を用い、原始的ケースにおける一意な不変状態に代わる。
• ディリクレ型形式の $\mathbb{L}_1$-正則性を、修正ログソボレフ定数の正の性質を保証する十分条件として導入する。
• すべての既知の正則性例を含む、強い詳細釣合の強い形を満たすQMSに対して、$p \geq 1$ で強い $\mathbb{L}_p$-正則性を証明する。
• 二部系におけるQMSの情報生成量を定義・分析し、DFログソボレフ定数の推定に用いる。
• Lindbladian $\mathcal{L}_{\mathcal{N}}^{\gamma}(X) = \gamma(E_{\mathcal{N}}(X) - X)$ を持つモデルQMSに不等式を適用する。ここで $E_{\mathcal{N}}$ は $*$-代数 $\mathcal{N}$ への忠実な条件付き期待である。

実験結果

リサーチクエスチョン

• RQ1 非原始的量子マーヴィン過程（QMS）において、デコherence-free代数が非自明な場合に、ポincareおよび修正ログソボレフ不等式を一般化できるか。
• RQ2 非原始的QMSにおいて、修正ログソボレフ定数が正であるための条件は何か。また、DF代数の構造とどのように関係するか。
• RQ3 非原始的QMSにおける関数不等式は、原始的ケースと比較して、デコherence時間の推定をどのように改善するか。
• RQ4 $\mathbb{L}_1$-正則性が、非原始的系における迅速なデコherenceを保証するために果たす役割は何か。
• RQ5 部分的デコherenceを示す系において、QMSの情報生成量がDFログソボレフ定数の推定にどのように利用できるか。

主な発見

• ディリクレ型形式が $\mathbb{L}_1$-正則性を満たす限り、修正ログソボレフ定数は正である。これは原始的ケースを一般化する条件であり、迅速なデコherenceを保証する。
• スペクトルギャップ（ポincare定数）は正のままであり、リンドブラジアンの非ゼロ最小固有値に対応し、DF代数への指数的収束を保証する。
• Lindbladian $\mathcal{L}_{\mathcal{N}}^{\gamma}$ を持つQMSに対して、スペクトルギャップを用いたデコherence時間の推定は $\tau_{\text{deco}} \geq \frac{1}{2\gamma} \log(d \varepsilon^{-2})$ を満たし、$\Omega(\log d)$ のスケーリングを示す。
• 修正ログソボレフ定数を用いることで、デコherence時間の推定は $\tau_{\text{deco}} \geq \frac{1}{\gamma} \log(2 \log d \cdot \varepsilon^{-2})$ に改善され、$\Omega(\log \log d)$ のスケーリングが得られ、顕著な改善となる。
• 強い詳細釣合の強い形を満たすQMSに対して、強い $\mathbb{L}_p$-正則性が成立する。このクラスには、すべての既知の正則性例が含まれる。
• 一方の部分系のみが不可逆的進化を示す二部系において、QMSの情報生成量はDFログソボレフ定数の推定に有効な量であり、量子相関がデコherenceダイナミクスに果たす役割を強調する。