[論文レビュー] Reversing quantum dynamics with near-optimal quantum and classical fidelity

Howard Barnum, Emanuel Knill|arXiv (Cornell University)|Apr 23, 2000

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本稿では、量子もつれや参照系との古典的相関を保存する、近似的に最適な逆転操作を導入する。初期状態およびノイズチャネルに適応することで、最適誤差の2倍以内の忠実度を達成し、量子エラー訂正やオракルクエリ複雑度における理論的境界と実用的応用を可能にする。

ABSTRACT

We consider the problem of reversing quantum dynamics, with the goal of preserving an initial state's quantum entanglement or classical correlation with a reference system. We exhibit an approximate reversal operation, adapted to the initial density operator and the ``noise'' dynamics to be reversed. We show that its error in preserving either quantum or classical information is no more than twice that of the optimal reversal operation. Applications to quantum algorithms and information transmission are discussed.

研究の動機と目的

• 環境ノイズによって損なわれた量子ダイナミクスを逆転する課題に、参照系との量子的もつれまたは古典的相関を保存しながら対処すること。
• 初期密度演算子およびノイズチャネルの作用に適応する逆転操作を開発すること。
• ノイズのあるダイナミクスを伴う量子情報処理タスクにおける達成可能な忠実度の理論的境界を確立すること。
• 量子エラー訂正およびオラクルクエリアルゴリズムの性能分析と比較に使えるツールを提供すること。

提案手法

• 逆転操作は、ノイズチャネルのKraus作用素の随伴を用いて定義され、初期状態の固有基底およびチャネル構造に応じて調整される。
• この手法はKraus作用素の極分解を活用し、初期状態へのノイズチャネル作用の逆を基にした逆転写像を構築する。
• ブロック行列解析とユニタリ不変性を用いて、行列 $A^\t{dagger}A$ の非対角ブロックの $L_1$-ノルムに基づき誤差を評価する。
• 性能評価には、量子もつれ忠実度と古典的忠実度を含む一般化された忠実度測度を用いる。
• 特に正定値半定値ブロック行列におけるFrobeniusノルムと $L_1$ ノルムの関係を用いた行列ノルム不等式を用いて理論的境界を導出する。
• この手法は符号化理論の安定化子コードおよび量子オラクル問題に適用され、達成可能な忠実度の上界を導出する有効性を示している。

実験結果

リサーチクエスチョン

• RQ1 初期量子状態およびノイズチャネルに適応する逆転操作を構築可能か。その際、量子的もつれまたは古典的相関を保存できるか。
• RQ2 初期状態およびノイズが既知である場合、量子ダイナミクスの逆転における最小達成可能誤差は何か。
• RQ3 提案された逆転操作の忠実度は、可能な最適忠実度と比べてどの程度か。
• RQ4 この逆転手法を用いて、量子エラー訂正およびオラクルクエリ問題における性能の理論的上界を導出可能か。
• RQ5 ノイズチャネルの行列表現における非対角ブロックの $L_1$-ノルムと逆転誤差との関係は何か。

主な発見

• 提案された逆転操作 ${\cal R}_{{\cal A},\rho}$ は、量子的もしくは古典的情報を保存する際の誤差が、最適逆転操作の誤差の2倍以内であることを保証する。
• 忠実度の上界は、特に行列 $A^\dagger A$ の非対角ブロックのFrobeniusノルムとその平方の $L_1$-ノルムとの関係を用いた行列ノルム不等式によって導出される。
• 初期状態の構造とチャネルのKraus分解を活用することで、ノイズチャネルが完全に可逆でない場合でも、近似的に最適性を達成できる。
• 古典的忠実度 $F_{\text{cl}}(\rho, {\cal A})$ は、平均もつれ忠実度の特別な場合として回復され、古典的情報保存の観点からも本手法の妥当性が裏付けられる。
• この逆転操作は、安定化子コードにおける最尤復号などの実用的エラー訂正方式の評価の理論的ベンチマークを提供する。
• 本手法により、隠れ部分群問題の文脈で示されるように、量子オラクル問題におけるクエリ複雑度の上界を導出可能である。