[논문 리뷰] Exponentially tighter bounds on limitations of quantum error mitigation

Yihui Quek, Daniel Stilck França외 3명|arXiv (Cornell University)|2022. 10. 20.

Quantum Computing Algorithms and Architecture참고 문헌 57인용 수 22

한 줄 요약

이 논문은 양자 오류 보정에 필요한 표본 복잡도에 대해 기하급수적으로 더 날카로운 하한을 확립하며, 심지어 얕은 회로조차도 최악의 경우에 기하급수적 표본이 필요하다고 보여준다. 저자들은 오류 보정을 통계적 추론 문제로 재구성함으로써, 노이즈에 의한 상태의 혼란이 이전에 생각했던 것보다 기하급수적으로 작은 깊이에서 발생함을 증명하며, 이는 대규모 양자 장치에서 현재의 보정 기법의 확장성에 심각한 제약을 가한다.

ABSTRACT

Quantum error mitigation has been proposed as a means to combat unwanted and unavoidable errors in near-term quantum computing without the heavy resource overheads required by fault tolerant schemes. Recently, error mitigation has been successfully applied to reduce noise in near-term applications. In this work, however, we identify strong limitations to the degree to which quantum noise can be effectively `undone' for larger system sizes. Our framework rigorously captures large classes of error mitigation schemes in use today. By relating error mitigation to a statistical inference problem, we show that even at shallow circuit depths comparable to the current experiments, a superpolynomial number of samples is needed in the worst case to estimate the expectation values of noiseless observables, the principal task of error mitigation. Notably, our construction implies that scrambling due to noise can kick in at exponentially smaller depths than previously thought. They also impact other near-term applications, constraining kernel estimation in quantum machine learning, causing an earlier emergence of noise-induced barren plateaus in variational quantum algorithms and ruling out exponential quantum speed-ups in estimating expectation values in the presence of noise or preparing the ground state of a Hamiltonian.

연구 동기 및 목표

• 근접한 양자 장치에서 양자 오류 보정의 기본 한계를 철저히 분석하는 것.
• 과도한 표본 요구로 인해 오류 보정이 실패하는 최악의 경우를 규명하는 것.
• 이전의 하한을 개선하기 위해 회로 폭(n)과 비유니타리 노이즈(예: T1 붕괴)를 통합하는 것.
• 가상의 정련, ZNE, PEC, CDR와 같은 주요 오류 보정 프로토콜들을 통합된 이론적 프레임워크 아래에서 통합 분석하는 것.
• 일정한 회로 깊이에서도 기하급수적 표본 비용이 발생함을 보여주며, 현재의 보정 전략의 확장성에 도전하는 것.

제안 방법

• 노이즈 없는 회로의 고전적 기술과 노이즈 있는 측정 결과를 사용하여 오류 보정을 통계적 추론 문제로 공식화하는 것.
• 기대값 추정(약한 보정)과 노이즈 없는 상태에서의 표본 추출(강한 보정)을 구분하는 것.
• 양자 채널 순수도와 수축 계수를 기반으로 한 프레임워크를 도입하여 노이즈 하에서 상태의 구별 가능성 정도를 정량화하는 것.
• 채널 매개변수 qn과 rn를 사용하여 가상 정련의 성공 확률에 대한 하한을 유도하며, 채널이 유니타리이거나 재설정 채널이 아닐 경우 기하급수적 감소가 일어남을 보여주는 것.
• 비유니타리 노이즈(예: T1 붕괴)를 분석하고, 이러한 노이즈가 얕은 회로조차도 보정 프로토콜의 성공 확률을 기하급수적으로 감소시킴을 보여주는 것.
• 정보 이론적 도구, 특히 양자 추정 이론과 수축 계수를 활용하여 표본 복잡도에 대한 보편적인 하한을 도출하는 것.

실험 결과

연구 질문

• RQ1 대규모 양자 회로에서 오류 보정에 필요한 최악의 표본 복잡도는 무엇인가?
• RQ2 회로 폭(n)과 노이즈 유형(비유니타리 대비 유니타리)은 오류 보정의 확장성에 어떻게 영향을 미치는가?
• RQ3 노이즈에 의한 혼란이 오류 보정을 비가능하게 만들기 시작하는 회로 깊이는 어느 정도인가?
• RQ4 기존 프로토콜인 제로노이즈 외삽 또는 확률적 오류 보정이 일반적인 경우에 초수학적 스케일링을 달성할 수 있는가?
• RQ5 현재의 오류 보정 기법들이 노이즈와 통계적 추론에 의해 제약받는 이론적 한계에 얼마나 가까이 도달하는가?

주요 결과

• 일정한 회로 깊이에서도 오류 보정은 최악의 경우 초수학적 수준의 회로 실행 횟게가 필요하다.
• 노이즈 채널이 유니타리이거나 재설정 채널이 아닐 경우, 가상 정련의 성공 확률은 시스템 크기와 함께 기하급수적으로 감소한다.
• 비유니타리 노이즈, 예를 들어 T1 붕괴는 얕은 회로조차도 보정 프로토콜의 성공 확률을 기하급수적으로 감소시킨다.
• 노이즈에 의한 혼란은 이전에 생각했던 것보다 기하급수적으로 작은 깊이에서 발생하며, 오류 보정의 실현 가능한 범위를 제한한다.
• 이 하한은 노이즈 조건 하에서 기대값 추정이나 기본 상태 준비 시 기하급수적 양자 슈퍼포화를 배제한다.
• 결과적으로 현재의 오류 보정 기법은 일반적인 설정에서 거의 최적임을 시사하며, 효율성을 달성하기 위해서는 특수한 회로 구조를 활용해 설계를 재고해야 한다.