[논문 리뷰] Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions

Aleks Kissinger, John van de Wetering외 1명|arXiv (Cornell University)|2022. 01. 01.

Quantum Computing Algorithms and Architecture인용 수 3

한 줄 요약

이 논문은 클래식 시뮬레이션 방법을 제안하며, 클리포드+T 양자 회로를 위한 ZX-계산법을 활용해 얽힌 비정 stabiliser 상태—특히 고양이 상태(cat states)를 식별하고 분해함으로써, 모든 회로 크기에서 점점 더 낮아지는 안정자 등급 스케일링 2^0.396t를 달성한다. 이 방법은 소비자용 랩톱에서 50 큐비트 회로에 1400개의 T-게이트를 적용한 경우에도 분석을 몇 분 내로 수행할 수 있게 하여, 이전 방법들보다 훨씬 더 빠르고 일관된 성능을 보인다.

ABSTRACT

Recent developments in classical simulation of quantum circuits make use of clever decompositions of chunks of magic states into sums of efficiently simulable stabiliser states. We show here how, by considering certain non-stabiliser entangled states which have more favourable decompositions, we can speed up these simulations. This is made possible by using the ZX-calculus, which allows us to easily find instances of these entangled states in the simplified diagram representing the quantum circuit to be simulated. We additionally find a new technique of partial stabiliser decompositions that allow us to trade magic states for stabiliser terms. With this technique we require only $2^{αt}$ stabiliser terms, where $α\approx 0.396$, to simulate a circuit with T-count $t$. This matches the $α$ found by Qassim et al., but whereas they only get this scaling in the asymptotic limit, ours applies for a circuit of any size. Our method builds upon a recently proposed scheme for simulation combining stabiliser decompositions and optimisation strategies implemented in the software QuiZX. With our techniques we manage to reliably simulate 50-qubit 1400 T-count hidden shift circuits in a couple of minutes on a consumer laptop.

연구 동기 및 목표

• 비정 stabiliser 상태인 얽힌 상태를 활용해, 개별 T 상태보다 더 낮은 안정자 등급을 갖는 클리포드+T 회로의 클래식 시뮬레이션을 향상시키기 위해.
• 이전의 안정자 분해 방법에서 관찰된 불규칙한 실행 시간 행동을 극복하기 위해, 고양이 상태와 같은 구조적이고 그래픽적으로 식별 가능한 상태를 사용하기 위해.
• T-카운트를 점진적으로 줄이는 부분 안정자 분해 기법을 개발하여, 이론적 점근적 한계가 아닌 유한한 회로 크기에서 2^0.396t 안정자 등급 경계를 달성하기 위해.
• 표준 소비자 하드웨어에서 대규모 양자 회로—예를 들어 1400개의 T-게이트를 가진 50 큐비트 히든-시프트 회로—의 실용적 시뮬레이션을 가능하게 하기 위해.

제안 방법

• ZX-계산법을 사용해 양자 회로를 표현하고 단순화함으로써, 고양이 상태와 같은 얽힌 비정 stabiliser 상태를 그래픽적으로 식별할 수 있도록 한다.
• 이러한 얽힌 상태에 대해 새로운 안정자 분해 기법을 적용하여, α ≈ 0.25의 지수적 스케일링을 달성함으로써, T-상태의 텐서 곱에 비해 표준 α ≈ 0.396보다 훨씬 우수한 성능을 달성한다.
• T-카운트를 점진적으로 줄이는 부분 안정자 분해 전략을 도입함으로써, 이론적 점근적 한계가 아닌 실제 유한한 회로 크기에서 2^0.396t 안정자 등급 경계를 달성할 수 있도록 한다.
• 분해와 함께 반복적인 ZX-계산법 단순화를 통합하여, 전체 시뮬레이션 과정 내내 안정자 항목의 수를 최소화한다.
• QuiZX 소프트웨어 프레임워크에 이 방법을 구현하여 최적화 및 분해 전략을 통합해 효율적인 시뮬레이션을 가능하게 한다.
• 랜덤 클리포드+T 및 히든-시프트 회로에서의 실증적 벤치마킹을 통해 이전 방법들—예를 들어 BSS 분해—와의 성능 비교를 수행한다.

실험 결과

연구 질문

• RQ1 고양이 상태와 같은 얽힌 비정 stabiliser 상태를 사용하면, 개별 T 상태보다 더 낮은 안정자 등급 분해를 달성할 수 있는가?
• RQ2 ZX-다이어그램에서 그래픽적으로 식별 가능한 얽힌 상태를 사용할 경우, 표준 분해 기법에 비해 더 일관되고 더 빠른 시뮬레이션 시간을 얻을 수 있는가?
• RQ3 부분 안정자 분해 전략을 통해, 점근적 한계가 아닌 실제 유한한 회로 크기에서 2^0.396t 안정자 등급 경계를 달성할 수 있는가?
• RQ4 고양이 상태 기반 분해를 사용할 경우, 대규모 양자 회로 시뮬레이션에서 실행 시간 변동성과 시뮬레이션 성공률에 어떤 영향을 미치는가?

주요 결과

• 이 방법은 모든 회로 크기에서 안정자 등급 스케일링 2^0.396t를 달성하며, Qassim 등 [16]의 점근적 경계와 동일하지만, 이론적 한계가 아닌 즉각적인 적용이 가능하다.
• 1400개의 T-게이트를 가진 50 큐비트 히든-시프트 회로의 경우, 98%의 시뮬레이션이 5분 이내에 완료되었으며, 모든 시뮬레이션이 6분 이내에 완료되었다. 이는 이전 방법의 5분 이내 성공률 17%와 대비된다.
• 고양이 상태 기반 분해로 인해 실행 시간 변동성(σ² ≈ 0.523)이 BSS 방법(σ² ≈ 3.02)보다 훨씬 낮아져, 훨씬 더 안정적인 성능을 보였다.
• 이 방법은 소비자용 랩톱에서 1400개의 T-게이트를 가진 회로를 몇 분 내로 안정적으로 시뮬레이션할 수 있게 하여, 이전 방법이 약 64개의 T-게이트를 초과하면 어려움을 겪던 것과 비교해 큰 향상이다.
• 랜덤 20 큐비트 회로에서 T-카운트가 43 이하일 경우, 시뮬레이션 시간을 최대 한 단계 낮출 수 있었으며, 이는 강력한 실용적 확장성의 증거이다.
• ZX-다이어그램에서 그래픽적 안정자 분해를 사용함으로써, 더 낮은 분해 비용을 갖는 얽힌 상태를 발견하고 활용할 수 있었으며, 이는 속도 향상과 일관성 향상에 기여했다.