[論文レビュー] A polynomial-time classical algorithm for noisy quantum circuits

Thomas Schuster, Chao Yin+2 more|arXiv (Cornell University)|Jul 17, 2024

Quantum Computing Algorithms and Architecture被引用数 6

ひとこと要約

本論文は、ノイズの影響で指数的に減衰する高ウェイトのパウリ演算子の寄与を切り捨てることにより、一般的なノイズ付き量子回路の出力を期待値として計算し、出力をサンプルするための古典的アルゴリズムを多項式時間 (および準多項式時間) で実現する方法を示し、誤り緩和と量子優位性テストへの幅広い含意を示す。

ABSTRACT

We provide a polynomial-time classical algorithm for noisy quantum circuits. The algorithm computes the expectation value of any observable for any circuit, with a small average error over input states drawn from an ensemble (e.g. the computational basis). Our approach is based upon the intuition that noise exponentially damps non-local correlations relative to local correlations. This enables one to classically simulate a noisy quantum circuit by only keeping track of the dynamics of local quantum information. Our algorithm also enables sampling from the output distribution of a circuit in quasi-polynomial time, so long as the distribution anti-concentrates. A number of practical implications are discussed, including a fundamental limit on the efficacy of noise mitigation strategies: for constant noise rates, any quantum circuit for which error mitigation is efficient on most input states, is also classically simulable on most input states.

研究の動機と目的

• ノイズが量子優位性を束縛する仕組みと、いつ古典的シミュレーションが実現可能になるかを理解する動機づけ。
• 現実的なノイズモデル下でノイズ回路の期待値を計算する古典的アルゴリズムを開発する。
• 反集中化の仮定の下でノイズ付き回路の出力分布からサンプルする方法を開発する。
• 効率的にシミュレート可能な回路を超えてスケールしない量子誤り緩和の境界を確立する。
• 量子優位性テストおよび非ユニタリノイズのシナリオへの影響を論じる。

提案手法

• パウリ基底で時間発展する可観測量を表現し、パウリ経路からの寄与を追跡する。
• 低ウェイト経路のみを保持し、ノイズ因子により高ウェイト経路を減衰させるパウリ経路切り捨て手法を導入する。
• 均一ノイズの場合のアルゴリズム1を提供し、総ウェイト ≤ ℓ のパウリ経路を総和し、経路を e^{-γ w[·]} で重み付けする。
• ゲートベースノイズの場合のアルゴリズム2を提供し、レイヤ間で低ウェイトパウリ部分空間内のハイゼンベルクの進化を追跡する。
• パウリ木構造分解とウェイト基準ノルムの境界を用いた誤差境界を証明し、切り捨てた和が真の観測量を近似することを保証する。
• 反集中化の下でノイズ付き回路からのサンプリングへこの枠組みを拡張し、準多項式時間のサンプリングを得る。

Figure 1: (a) Schematic of a noisy quantum circuit. The input state $\rho$ is acted on by a circuit of arbitrary two-qubit gates (pink) and local noise channels (dots), and concludes with measurement of an observable $O$ . In the gate-based noise model, the noise only acts on a qubit when a gate is

実験結果

リサーチクエスチョン

• RQ1 ノイズ付き量子回路は、実用的な入力系に対して観測値の期待値計算とサンプリングを多項式時間で古典的にシミュレートできるか。
• RQ2 ノイズのタイプ（均一 vs ゲートベース）は古典的シミュレーションの実現可能性と実行時間にどう影響するか。
• RQ3 ノイズ下で高ウェイトパウリ演算子の寄与に関する境界をどの程度証明でき、これらの境界が切り捨てをいかに有効にするか。
• RQ4 これらのシミュレーションが量子誤り緩和と量子優位性を証明する基準設定に与える影響は何か。

主な発見

• 均一ノイズの場合、パラメータ γ と ε に依存する因子と共に poly(n) 時間で期待値を計算する古典アルゴリズムが存在する。O がパウリ演算子の和の場合と一般の O の場合で異なる境界。
• ゲートベースノイズの場合、古典アルゴリズムは準多項式時間で動作し、任意の観測量 O に対して境界 O(d · n^{(1/γ) log(√(d+1)/ε) − 1}) を持つ。
• 高ウェイトル Pauli 成分はノイズによって指数関数的に減衰し、誤差を制御しつつ扱いやすい経路または演算子の集合にトランケーションできる。
• アルゴリズムは反集中化仮定の下、出力分布からのサンプリングを準多項式時間で可能にする。
• 根本的な限界が確立されている：効率的にスケールする量子誤り緩和は古典的にシミュレート可能な回路に対応することを意味し、ノイズ感度に基づく量子優位性のテストを示唆する。
• このアプローチはノンユニタリノイズのシナリオにも拡張可能だが、ノイズが十分に非構造的でノーゴ結果を生じさせない場合に限り、非ユニタルノイズのシナリオにも拡張可能。

Figure 2: (a) The Pauli tree framework used to prove Theorem 1 , which groups Pauli paths according to their weight $w_{t}$ at each circuit layer $t$ . Our algorithm truncates paths with a summed weight above $\ell$ . We group these truncations into ${\ell\choose d}$ individual truncations (red scis