[論文レビュー] Energy preserving evolutions over Bosonic systems

Paul Gondolf, Tim Möbus+1 more|arXiv (Cornell University)|Jul 25, 2023

Quantum Computing Algorithms and ArchitectureComputer Science被引用数 3

ひとこと要約

本稿は、連続変数系におけるSobolev型モーメントバインディングを保存する量子マコフ半群の生成定理を確立し、エネルギー制約付きダイナミクスの厳密な摂動解析を可能にする。GKSL形式の生成子に多項式型ジャンプ演算子と制御されたモーメント成長を課すことにより、トレース保存半群を生成することを証明し、エネルギー制約付き容量および量子オーランシュタイン・ウーレンブルクおよびCATキュービット系の定常状態の定量的連続性バインディングを導出する。

ABSTRACT

The exponential convergence to invariant subspaces of quantum Markov semigroups plays a crucial role in quantum information theory. One such example is in bosonic error correction schemes, where dissipation is used to drive states back to the code-space - an invariant subspace protected against certain types of errors. In this paper, we investigate perturbations of quantum dynamical semigroups that operate on continuous variable (CV) systems and admit an invariant subspace. First, we prove a generation theorem for quantum Markov semigroups on CV systems under the physical assumptions that (i) the generator is in GKSL form with corresponding jump operators defined as polynomials of annihilation and creation operators; and (ii) the (possibly unbounded) generator increases all moments in a controlled manner. Additionally, we show that the level sets of operators with bounded first moments are admissible subspaces of the evolution, providing the foundations for a perturbative analysis. Our results also extend to time-dependent semigroups and multi-mode systems. We apply our general framework to two settings of interest in continuous variable quantum information processing. First, we provide a new scheme for deriving continuity bounds on the energy-constrained capacities of Markovian perturbations of quantum dynamical semigroups. Second, we provide quantitative perturbation bounds for the steady state of the quantum Ornstein-Uhlenbeck semigroup and the invariant subspace of the photon dissipation used in bosonic error correction.

研究の動機と目的

• モーメントバインディングおよび不変部分空間を保存する連続変数系における量子マコフ半群の厳密な数学的枠組みを確立すること。
• 非有界な設定において標準的なGKSL形式が失敗することを補うために、生成子にモーメント制御条項を課すこと。
• ボソン系におけるエネルギー制約付き量子チャネルおよび定常状態の摂動解析を可能にすること。
• Lindbladian摂動下でのエネルギー制約付き容量および定常状態のずれに対する定量的バインディングを導出すること。
• 時間に依存する発展および多モード系への理論の拡張を図り、量子エラー訂正および量子情報処理への応用を支援すること。

提案手法

• 消滅/生成演算子における多項式型ジャンプ演算子を有するGKSL形式生成子を用いて、ボソン系における強連続量子マコフ半群の生成定理を証明する。
• 生成子がすべてのモーメントを制御された方法で増加させることを保証するモーメント制御条項を導入し、Sobolev空間の保存を可能にする。
• 一階モーメントが有界である演算子のレベル集合としての許容的部分空間を定義し、その発展下で不変集合を形成する。
• 補題6.5を用いて、エネルギー制約付きダイヤモンドノルムと重み付きSobolevノルムの等価性を確立し、チャネル距離をSobolev作用素ノルムに結びつける。
• ガウス型および非ガウス型半群に摂動理論を適用し、摂動されたチャネル間のダイヤモンドノルム距離に対するバインディングを導出する。
• この枠組みを用いて、エネルギー制約付き容量および量子オーランシュタイン・ウーレンブルクおよび光子散逸ダイナミクスにおける定常状態収束の連続性バインディングを導出する。

実験結果

リサーチクエスチョン

• RQ1 非有界なジャンプ演算子を有するGKSL形式生成子が、連続変数系におけるトレース保存量子マコフ半群を生成するための条件は何か？
• RQ2 生成子のモーメント成長をどのように制御すればSobolev型モーメントバインディングが保たれるか？
• RQ3 Lindbladian摂動下でのエネルギー制約付き量子チャネル容量の定量的連続性バインディングは何か？
• RQ4 摂動は、量子オーランシュタイン・ウーレンブルク半群およびCATキュービットコード空間の定常状態にどのように影響を与えるか？
• RQ5 この枠組みは、時間に依存する半群および不変部分空間を有する多モードボソン系へと拡張可能か？

主な発見

• 連続変数系における量子マコフ半群のための新しい生成定理が証明され、多項式型ジャンプ演算子および制御されたモーメント成長を有するGKSL生成子がトレース保存発展を生成することを示した。
• 一階モーメントが有界である演算子のレベル集合は許容的部分空間を形成し、それら部分空間に制限されたダイナミクスの摂動解析を可能にする。
• 量子オーランシュタイン・ウーレンブルク半群のガウス型摂動に対して、元のチャネルと摂動されたチャネル間のダイヤモンドノルム距離は、$ (1+E) u imes C( u) imes ext{max}"](1, D( u)) $ で有界であることが示された。ここで $ u $ は摂動強度である。
• エネルギー制約付きダイヤモンドノルム距離が、差のチャネルの重み付きSobolevノルムに等価であることが示され、補題6.5で形式化された。
• CATキュービット誤り訂正に用いられる光子散逸半群の定常状態に対する摂動バインディングが導出され、小さな摂動下でも収束が保証された。
• この枠組みにより、マコフ的摂動におけるエネルギー制約付き容量の連続性バインディングが得られ、量子通信およびセンシングへの応用が可能となった。