[論文レビュー] Classically estimating observables of noiseless quantum circuits

Armando Angrisani, Alexander Schmidhuber+4 more|arXiv (Cornell University)|Sep 3, 2024

Quantum Mechanics and Applications被引用数 7

ひとこと要約

本論文は、アーキテクチャを超えてほとんどのノイズのない量子回路に対して、誤差を有界に抑える低重みパウリ伝搬を用い、合理的条件下で多項式/準多項式の実行時間で、観測量の期待値を推定する古典的アルゴリズムを示す。

ABSTRACT

We present a classical algorithm based on Pauli propagation for estimating expectation values of arbitrary observables on random unstructured quantum circuits across all circuit architectures and depths, including those with all-to-all connectivity. We prove that for any architecture where each circuit layer is randomly sampled from a distribution invariant under single-qubit rotations, our algorithm achieves a small error $\varepsilon$ on all circuits except for a small fraction $δ$. The computational time is polynomial in qubit count and circuit depth for any small constant $\varepsilon, δ$, and quasi-polynomial for inverse-polynomially small $\varepsilon, δ$. Our results show that estimating observables of quantum circuits exhibiting chaotic and locally scrambling behavior is classically tractable across all geometries. We further conduct numerical experiments beyond our average-case assumptions, demonstrating the potential utility of Pauli propagation methods for simulating real-time dynamics and finding low-energy states of physical Hamiltonians.

研究の動機と目的

• ノイズのない領域における広範な量子回路クラスの古典的シミュレーション可能性の研究を動機づける。
• 局所的にスクランブルされる集団内のほとんどの回路について、観測量の期待値を推定する扱いやすい古典アルゴリズムを開発する。
• 誤差限界と実行時間を定量化し、代替のシミュレーション手法と比較する。
• 古典シャドウを用いても古典的にシミュレーションできない入力状態や観測量がある場合にも適用範囲を拡張する。
• 厳密に証明された領域を超える実用性を支持する数値的証拠を提供する。

提案手法

• 標的観測量 O をパウリ基底で表現し、重み > k のパウリ項を切り捨てて低重み近似 O^(k) を計算する。
• ハイゼンベルグ図表示で各回路層を通してパウリ演算子を伝搬させ、重み k で切り捨てて各層 j に対して O_j^(k) を得る。
• 切り捨てられた最終観測量 O_U^(k) を構築し、f_U^(k)(O)=Tr[O_U^(k) ρ] を評価する。
• Pauli-path 展開を用いて f_U(O) をパウリ経路の和として、係数 Φ_γ(U) および初期データ d_γ = Tr[s_γ ρ] を用いて表現する。
• 平均二乗誤差の上界 E_U[Δf_U^(k)(O)] ≤ (2/3)^{k+1} ||O||_{Pauli,2}^2 を証明し、マルコフ不等号による確率的保証を導出する。
• 古典的シャドウを用いて f_U(O) を得ることで未知または非シミュレート可能な入力に対する拡張を提供し、定理3とともに適用する。）

実験結果

リサーチクエスチョン

• RQ1 広範なノイズレスな量子回路のクラスの古典的シミュレートが、観測量の期待値を小さな加法誤差で推定することができるか？
• RQ2 局所的にスクランブルされる回路層で低重みパウリ伝搬アプローチを用いた場合の誤差と実行時間の保証はどうなるか？
• RQ3 ブレ brute-force light-cone シミュレーションや、濃度の領域（枯れたプレート状）でのゼロ推定と比較して、方法はどうか？
• RQ4 未知の入力状態や観測量にも古典的シャドウを介して適用でき、かつ効率的なスケーリングを維持できるか？
• RQ5 非局所スクランブリングや相関パラメータ回路に対する制約と実用的な性能はどうか？

主な発見

• k ≥ 0 に対して、平均二乗誤差は E_U[Δf_U^(k)(O)] ≤ (2/3)^{k+1} ||O||_{Pauli,2}^2 を満たす。
• 時間 Ln^{O(log(ε^{-1}δ^{-1}))} で動く古典アルゴリズムが存在し、確率≥1−δ で |α−f_U(O)| ≤ ε||O||_{Pauli,2} を出力する。
• 回路の幾何次元を D とすると、同じ誤差保証で L^{O(D log(ε^{-1}δ^{-1}))} の時間で動く。
• 量子シャドウを使用すると、初期データ収集フェーズの後、アルゴリズムは n^{O(log(ε^{-1}δ^{-1}))} の時間で動作し、確率≥1−δ で |α−f_U(O)| ≤ ε||O||_{Pauli,2} を達成する。
• この手法は射影子に対して指数的に小さい誤差を生み出す： E_U[Δf_U^(k)(|ψ⟩⟨ψ|)] ≤ (1/2^n)(2/3)^{k+1}。
• 数値実験では、64量子ビットの2D格子回路で k が小さいと大きな精度向上がみられ、病的なケースは切り捨ての利点を強く示す（例: k=3）ことを示す。