[論文レビュー] Modeling quantum noise for efficient testing of fault-tolerant circuits

Easwar Magesan, Daniel Puzzuoli+2 more|DSpace@MIT (Massachusetts Institute of Technology)|Jun 23, 2012

Quantum Computing Algorithms and Architecture参考文献 3被引用数 13

ひとこと要約

本稿では、一般の量子ノイズチャネルをパウリまたは混合クリフォードチャネルに近似する手法を提案する。この手法は、誤り耐性の保全を過大評価しない忠実かつ保守的な推定を可能にし、ノイズ耐性の過大評価を回避する。このアプローチにより、ゴーテスマン＝クライフォード定理に従い、故障耐性量子回路の効率的なモンテカルロシミュレーションが可能となり、正確さを損なわずにより誠実な閾値推定が得られる。

ABSTRACT

Understanding fault-tolerant properties of quantum circuits is important for the design of large-scale quantum information processors. In particular, simulating properties of encoded circuits is a crucial tool for investigating the relationships between the noise model, encoding scheme, and threshold value. For general circuits and noise models, these simulations quickly become intractable in the size of the encoded circuit. We introduce methods for approximating a noise process by one which allows for efficient Monte Carlo simulation of properties of encoded circuits. The approximations are as close to the original process as possible without overestimating their ability to preserve quantum information, a key property for obtaining more honest estimates of threshold values. We numerically illustrate the method with various physically relevant noise models.

研究の動機と目的

• 量子操作の物理的忠実性を保ちつつ、誤り耐性の過大評価を避けるノイズ近似手法の開発。
• 一般のノイズチャネルをパウリまたは混合クリフォードチャネルに近似することで、符号化された量子回路の効率的古典的シミュレーションを可能にすること。
• パウリツイリングのような従来の手法の限界を解決すること。パウリツイリングはノイズ耐性の過剰な楽観的（不誠実な）推定を生じがちである。
• 非ユニタルおよび多量子ビットノイズモデル、特に相関付きおよび集合的ノイズを含むモデルへの近似フレームワークの拡張。
• ダイヤモンドノルムを用いた厳密で操作的根拠のあるチャネル比較により、保守的な誤り推定を保証すること。

提案手法

• 一般の量子チャネル $\Lambda$ を、ダイヤモンドノルム $\|\Lambda_{\mathcal{A}} - \Lambda\|_{\diamond}$ を最小化するチャネル $\Lambda_{\mathcal{A}}$ で近似する。このとき $\Lambda_{\mathcal{A}}$ が量子情報の保存能力を過大評価しないことを保証する。
• チャネル比較の厳密な指標としてダイヤモンドノルムを用い、量子過程の区別に操作的意味を持つ。
• 1量子ビットチャネルの場合、行列ノルムとベクトル項 ($M_{\Lambda}, \vec{t}$) を用いた条件を導出し、すべての入力状態に対して $\|\vec{r} - M_{\mathcal{A}}\vec{r}\|_2 \geq \|\vec{r} - (M_{\Lambda}\vec{r} + \vec{t})\|_2$ が成り立つようにする。
• $\chi$-行列の対角化を用いてパウリチャネル近似を適用し、ダイヤモンドノルムの差を最小化する。
• 非ユニタルチャネルへの拡張では、シフトベクトル $\vec{t}$ を組み込み、得られる二次形式を解析する。
• 数値的に、多量子ビット集合的ノイズモデル（例：$\exp(-i0.01\sigma_X\otimes\sigma_X)$）に対して手法を検証し、一貫性のある近似品質と対称性の保存を示した。

実験結果

リサーチクエスチョン

• RQ1 一般の量子ノイズチャネルを、効率的なシミュレーションを可能にするパウリまたは混合クリフォードチャネルに近似する方法は何か？ その際、物理的正確性を保ちながらも、量子情報の保存能力を過大評価しない。
• RQ2 近似がノイズチャネルの量子情報保存能力を過大評価しないことを保証する条件は何か？
• RQ3 本手法は、閾値推定における忠実性と信頼性の観点で、パウリツイリングと比べてどのように異なるか？
• RQ4 この近似フレームワークは、非ユニタルおよび多量子ビット相関ノイズモデルへ一般化可能か？
• RQ5 ダイヤモンドノルム誤差とさまざまなノイズモデルにおける一貫性の観点から、近似手法の定量的性能は何か？

主な発見

• 提案手法により、真のチャネル $\Lambda$ に最も近いチャネル $\Lambda_{\mathcal{A}}$ が得られ、1量子ビットのデポラライジングに類似したチャネル $\Lambda^{(1)}$ に対して $\|\Lambda_{\mathcal{A}} - \Lambda\|_{\diamond} = 0.0071$ となる。
• 3量子ビットの集合的ノイズモデル $\Lambda^{(3,0)}$ に対しては、近似誤差が $\|\Lambda_{\mathcal{P}}^{(3,0)} - \Lambda^{(3,0)}\|_{\diamond} = 0.0020$ に留まり、高い忠実性と対称性の保存を示した。
• パウリツイリングによる過剰な楽観的評価を回避し、たとえばツイリングされたチャネルは真のチャネルよりも状態をよりよく保存する可能性があるため、より保守的である。
• 数値結果により、2量子ビットの集合的回転 $\Lambda^{(2q)}$ を含むさまざまなノイズモデルにおいても、近似が保守的であることが確認された。$\|\Lambda_{\mathcal{P}}^{(2q)} - \Lambda^{(2q)}\|_{\diamond} = 0.0281$ であった。
• シフトベクトル $\vec{t}$ を組み込むことで、非ユニタルチャネルへのフレームワークの一般化が可能であり、導出された不等式 $\|\vec{r} - M_{\mathcal{A}}\vec{r}\|_2 \geq \|\vec{r} - (M_{\Lambda}\vec{r} + \vec{t})\|_2$ が保守的な誤り推定を保証する。
• この手法により、ゴーテスマン＝クライフォード定理に従い、符号化回路のスケーラブルなモンテカルロシミュレーションが可能となり、故障耐性閾値をより正確かつ誠実に推定することが可能になった。