[論文レビュー] NISQ: Error Correction, Mitigation, and Noise Simulation

Ningping Cao, Junan Lin+4 more|arXiv (Cornell University)|Nov 3, 2021

Quantum Computing Algorithms and Architecture参考文献 17被引用数 14

ひとこと要約

この論文は、NISQデバイスにおける量子エラー緩和（QEM）を、通信理論的視点から、量子エラー訂正（QEC）と対比して包括的に分析している。非可逆なノイズチャネルに対して、Moore-Penrose疑似逆行列の代わりにトレース保存型のDrazin逆行列を導入し、シミュレーションでその安定性を証明している。また、ノイズの知識が不完全な状況下でも期待値の改善が可能となる条件を導出している。

ABSTRACT

Error-correcting codes were invented to correct errors on noisy communication channels. Quantum error correction (QEC), however, may have a wider range of uses, including information transmission, quantum simulation/computation, and fault-tolerance. These invite us to rethink QEC, in particular, about the role that quantum physics plays in terms of encoding and decoding. The fact that many quantum algorithms, especially near-term hybrid quantum-classical algorithms, only use limited types of local measurements on quantum states, leads to various new techniques called Quantum Error Mitigation (QEM). This work examines the task of QEM from several perspectives. Using some intuitions built upon classical and quantum communication scenarios, we clarify some fundamental distinctions between QEC and QEM. We then discuss the implications of noise invertibility for QEM, and give an explicit construction called Drazin-inverse for non-invertible noise, which is trace preserving while the commonly-used Moore-Penrose pseudoinverse may not be. Finally, we study the consequences of having an imperfect knowledge about the noise, and derive conditions when noise can be reduced using QEM.

研究の動機と目的

• QEC（量子エラー訂正）とQEM（量子エラー緩和）の根本的な違いを、古典的および量子通信のパラダイムを通じて明確化すること。
• QEMにおけるノイズの可逆性の役割を調査すること、特に既存の文献でしばしば無視されがちな非可逆なチャネルについての影響を明らかにすること。
• トレース保存性を保証するが、一般的に用いられるMoore-Penrose疑似逆行列とは異なり、非可逆なノイズ付き量子チャネルに対しても適用可能な一般化逆行列としてのDrazin逆行列を提案し、厳密に分析すること。
• ノイズの不完全な特徴付けがQEMの性能に与える影響を定量化し、期待値の改善に必要な十分条件を導出すること。
• QEMの実用的コスト、特にノイズ特徴付けに伴うオーバーヘッドを評価し、マルチレイヤー量子回路における誤差伝搬をモデル化すること。

提案手法

• QEC（物理状態を保存する）とQEM（密度行列のような数学的記述を回復する）を対比する通信理論的フレームワークを用いる。
• 完全正規化トレース保存（CPTP）量子チャネルの一般化逆行列としてDrazin逆行列を導入し、チャネルが非可逆であってもトレース保存性が保たれることを証明する。
• Drazin逆行列とMoore-Penrose疑似逆行列を比較し、後者がトレース保存性を満たさない場合があること、結果としてシミュレーションで物理的に不成立な状態が生じることを示す。
• QEMによる期待値の改善に必要な十分条件を導出し、仮定されたノイズチャネルと実際のノイズチャネルの類縁度に基づく。
• マルチレイヤー量子回路における一次誤差解析を適用し、QEMを適用する前にノイズ特徴付けに要する最小コストを推定する。
• 数値例と類縁度解析を用いて、ノイズモデルの不一致がQEMでさえも結果を悪化させる可能性があることを実証する。

実験結果

リサーチクエスチョン

• RQ1 QECとQEMは、目的と運用原理において根本的にどのように異なるのか？
• RQ2 ノイズの非可逆性がQEMに与える影響は何か？実務的にはどのように対処できるか？
• RQ3 なぜDrazin逆行列は、エラー緩和プロトコルの構築においてMoore-Penrose疑似逆行列よりも優れているのか？
• RQ4 ノイズ知識が不完全な状況下でも、QEMが観測量の期待値を改善できる条件は何か？
• RQ5 マルチレイヤー量子回路における効果的なエラー緩和を保証するための、ノイズ特徴付けに必要な最小コストは何か？

主な発見

• 任意の完全正規化トレース保存（CPTP）チャネルのDrazin逆行列は、トレース保存性が保証されるが、Moore-Penrose疑似逆行列とは異なり、そうは限らない。
• 非可逆なノイズチャネルに対して、Drazin逆行列は、特にシミュレーションにおいて理想的な量子状態の再構築がより安定的かつ物理的に意味のあるものとなる。
• 仮定されたノイズモデルと実際のノイズが著しく異なる場合、QEMは失敗し、結果を悪化させる可能性がある。これは、モデルの不一致が期待値を低下させた事例によって実証されている。
• QEMによる期待値改善に必要な十分条件が導出され、その条件はノイズ特徴付けの精度が実験データの精度を上回っている必要があることを要請する。
• マルチレイヤー回路における一次誤差解析により、ノイズ特徴付けのコストは回路の深さに比例し、QEM全体のコストに組み込む必要があることが示された。
• 理想状態と緩和済み状態の類縁度は、仮定されたノイズと実際のノイズの差の大きさによって下限づけられ、正確なノイズモデル化の重要性が浮き彫りになった。