[논문 리뷰] Classically estimating observables of noiseless quantum circuits

Armando Angrisani, Alexander Schmidhuber외 4명|arXiv (Cornell University)|2024. 09. 03.

Quantum Mechanics and Applications인용 수 7

한 줄 요약

본 논문은 합리적인 조건 하에서 다항식/준다항식 시간복잡도와 바운딩된 오차를 이용하여 저가중 Pauli 전파를 통해 다양한 아키텍처에 걸친 대부분의 무잡음 양자 회로에서 관측가능량의 기대값을 추정하는 고전 알고리즘을 증명한다.

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.

연구 동기 및 목표

• 무잡음 조건에서 광범위한 양자 회로 클래스에 대한 고전 시뮬레이빌리티 연구를 고무한다.
• 로컬 스크램블링 집합 내의 대부분 회로에 대해 관측가능량의 기댓값을 추정하는 실행 가능한 고전 알고리즘을 개발한다.
• 오차 경계와 실행 시간을 정량화하고, 대안적인 시뮬레이션 방법과 비교한다.
• 입력 상태나 관측가능량이 고전적 그림자(classical shadows)로 고전적으로 시뮬레이블되지 않는 시나리오에 방법을 확장한다.
• 엄밀히 증명된 범위를 넘어 실용성을 뒷받침하는 수치적 증거를 제시한다.

제안 방법

• 대상 관측가능량 O를 Pauli 기저로 표현하고 가중치가 k를 넘는 Pauli 항을 잘라내어 저가중 근사 O^(k)을 계산한다.
• 헤네스틱 표현에서 각 회로 층을 통해 Pauli 연산자를 전파하고 가중치 k에서 잘라 각 층 j에 대해 O_j^(k)을 얻는다.
• 잘린 최종 관측가능량 O_U^(k)을 구성하고 f_U^(k)(O)=Tr[O_U^(k) ρ]를 평가한다.
• Pauli 경로 전개를 사용하여 f_U(O)를 계수 Φ_γ(U)와 초기 데이터 d_γ = Tr[s_γ ρ]를 갖는 Pauli 경로의 합으로 표현한다.
• 평균 제곱 오차 경계 E_U[Δf_U^(k)(O)] ≤ (2/3)^{k+1} ||O||_{Pauli,2}^2 를 증명하고 Markov 부등식을 통해 확률적 보장을 도출한다.
• 입력이나 관측가능량이 알려지지 않거나 시뮬레이션 불가능한 경우에 대해 고전적 그림자를 이용하여 Theorem 3으로 f_U(O)를 얻는 확장을 제공한다.

실험 결과

연구 질문

• RQ1 무잡음 조건에서 광범위한 양자 회로 클래스에 대해 고전 시뮬레이션으로 관측가능량의 합산 오차와 함께 추정이 가능한가?
• RQ2 로컬 스크램블링 회로 층에서 저가중 Pauli 전파 접근법을 사용할 때의 오차 및 실행 시간 보장은 무엇인가?
• RQ3 브루트 포스 라이트-콘 시뮬레이션과 집중 관측의 Regime에서의 naively zero-estimation과의 비교는 어떠한가?
• RQ4 고전적 그림자를 통해 입력 상태나 관측가능량이 알려지지 않은 경우에도 접근법을 확장하고 효율적 스케일링을 유지할 수 있는가?
• RQ5 비지역적으로 스크램블링되거나 상관된 매개변수 회로에서의 한계와 실제 성능은 어떠한가?

주요 결과

• k ≥ 0인 경우, 평균 제곱 오차는 E_U[Δf_U^(k)(O)] ≤ (2/3)^{k+1} ||O||_{Pauli,2}^2.
• Ln^{O(log(ε^{-1}δ^{-1}))} 시간에 실행되고 |α−f_U(O)| ≤ ε||O||_{Pauli,2}를 확률 ≥ 1−δ로 출력하는 고전 알고리즘이 존재한다.
• 회로의 기하학적 차원 D가 있을 때, 동일한 오차 보장으로 L^{O(D log(ε^{-1}δ^{-1}))} 시간에 실행된다.
• 양자 그림자를 사용할 때, 초기 데이터 수집 단계를 거친 후 알고리즘은 n^{O(log(ε^{-1}δ^{-1}))} 시간에 실행되며 |α−f_U(O)| ≤ ε||O||_{Pauli,2}를 확률 ≥ 1−δ로 달성한다.
• 프로젝터에 대해 접근법은 지수적으로 작은 오차를 산출한다: E_U[Δf_U^(k)(|ψ⟩⟨ψ|)] ≤ (1/2^n)(2/3)^{k+1}.
• 수치 실험은 64-퀀비 2D 그리드 회로에서 k가 작을 때(예: k=3) 실질적인 정확도 향상을 보여주고, 병리적 케이스는 강한 잘림 이점을 보여준다.