[논문 리뷰] QSystem: bitwise representation for quantum circuit simulations

Evandro C. R. Rosa, Bruno G. Taketani|arXiv (Cornell University)|2020. 04. 07.

Quantum Computing Algorithms and Architecture참고 문헌 3인용 수 4

한 줄 요약

이 논문은 초한계 양자 상태를 극한으로 제한된 초한계를 가진 상태에서 시뮬레이션하는 데 있어 기하급수적인 성능 향상을 달성하기 위해 해시맵과 비트 연산 기반의 새로운 비트 표현 방식을 사용하는 오픈소스 양자 회로 시뮬레이터인 QSystem을 소개한다. 비트 수준의 연산을 통해 비제로 기저 상태만 효율적으로 저장하고 조작함으로써, Qiskit, Cirq, Forest SDK와 비교해도 성능이 뛰어나며, 특히 희박한 양자 상태 상황에서 두드러진 성능 향상을 보인다. 상태의 구조에 대한 사전 지식이 없이도 성능 향상이 가능하다.

ABSTRACT

We present QSystem, an open-source platform for the simulation of quantum circuits focused on bitwise operations on a Hashmap data structure storing quantum states and gates. QSystem is implemented in C++ and delivered as a Python module, taking advantage of the C++ performance and the Python dynamism. The simulators API is designed to be simple and intuitive, thus streamlining the simulation of a quantum circuit in Python. The current release has three distinct ways to represent the quantum state: vector, matrix, and the proposed bitwise. The latter constitutes our main results and is a new way to store and manipulate both states and operations which shows an exponential advantage with the amount of superposition in the systems state. We benchmark the bitwise representation against other simulators, namely Qiskit, Forest SDK QVM, and Cirq.

연구 동기 및 목표

• 제한된 초한계를 가진 양자 상태를 효율적으로 처리하여 메모리 및 시간 비용을 줄이는 양자 회로 시뮬레이터를 개발하는 것.
• 기존의 양자 시뮬레이터가 기하급수적으로 자원을 소모하는 문제를 해결하기 위해 비트 연산 기반의 새로운 데이터 표현 방식을 도입하는 것.
• 고성능이며 오픈소스인 시뮬레이션 플랫폼을 제공하여 C++의 빠른 성능과 Python의 사용 편의성을 결합한 양자 알고리즘 개발 환경을 마련하는 것.
• 다양한 양자 회로 워크로드 하에서 신규 비트 표현 방식을 기존의 주요 시뮬레이터들과 비교 평가하는 것.
• 관련 기저 상태에 대한 사전 지식 없이도 기하급수적인 성능 향상이 달성될 수 있음을 입증하는 것. 이는 오직 상태의 희박성에 의존한다.

제안 방법

• 비트 표현 방식은 기저 상태 인덱스(정수)를 키로, 복소수 진폭을 값으로 사용하는 해시맵으로 양자 상태를 저장함으로써 희박한 저장을 가능하게 한다.
• 양자 게이트는 XOR과 같은 비트 논리 연산과 비트 시프트를 사용하여 직접적으로 상태 인덱스를 조작함으로써 전체 행렬 연산 없이도 구현할 수 있다.
• 성능 향상을 위해 C++ 커널을 사용하고, 사용자 편의성을 위해 Python API를 제공함으로써 양자 컴퓨팅 용어를 사용한 직관적인 회로 구성이 가능하다.
• 세 가지 표현 방식을 지원한다: 벡터(밀도 상태), 행렬(오차 모델링용 밀도 행렬), 그리고 제안된 비트 표현 방식(비트 연산을 사용한 희박한 상태).
• 측정 과정은 각 큐비트에 대해 알고리즘 4를 순차적으로 적용하여 상태를 붕괴시키고, 해시맵에서 확률적 샘플링을 통해 측정 결과를 추출한다.
• 프레임워크는 임의의 기저 상태를 지원하며, 현재는 파울리 Z 연산자로 정의된 계산 기저 상태를 사용하고 있지만, 매트릭스 곱 상태에서 사용되는 바이스 등 다른 기저로도 확장 가능하다.

실험 결과

연구 질문

• RQ1 해시맵과 비트 연산을 사용한 비트 표현 방식이 초한계가 제한된 상태에 대해 기하급수적인 성능 향상을 달성할 수 있는가?
• RQ2 다양한 회로 복잡도와 상태의 희박성 조건에서 Qiskit, Cirq, Forest SDK와 같은 기존 시뮬레이터와 비교했을 때 비트 표현 방식의 성능은 어떠한가?
• RQ3 관측된 성능 향상은 관련 기저 상태에 대한 사전 지식에 의존하는가, 아니면 관련 상태가 알려지지 않은 경우에도 효과적인가?
• RQ4 고도로 얽힌 상태를 준비하는 경우, 예를 들어 GHZ 상태처럼 비트 표현 방식이 얽힘의 영향을 받지 않고 기하급수적 스케일링 이점을 유지할 수 있는가?
• RQ5 이 방법은 계산 기저를 초월해 다른 데이터 구조나 기저 집합으로 일반화될 수 있는가?

주요 결과

• 비트 표현 방식은 이론 모델이 예측한 바와 같이, 소수의 알려지지 않은 기저 상태만 필요한 양자 상태에 대해 시뮬레이션 시간에서 기하급수적인 성능 향상을 달성한다.
• GHZ 상태 준비에 대한 벤치마킹 결과, QSystem의 비트 표현 방식은 Qiskit, Cirq, Forest SDK보다 큐비트 수가 증가함에 따라 시간 증가율이 훨씬 낮게 나타나 성능 면에서 뚜렷한 우월성을 보였다.
• 측정 연산에서는 동시 측정 최적화를 하지 않았음에도 불구하고 Cirq보다 오버헤드를 한 단계 이상 감소시켰다.
• 밀도 상태 시뮬레이션과 같이 성능 향상이 예상되지 않는 경우에도 기하급수적 스케일링 이점이 관측되어, 다양한 상태 유형에 대해 강건함을 입증했다.
• 관련 기저 상태에 대한 지식 없이도 상태 표현의 희박성에만 기반하여 성능 향상을 달성했다.
• 프레임워크는 GHZ 상태와 같은 얽힌 상태를 높은 효율성으로 성공적으로 시뮬레이션하여, 얽힘 자체가 성능 향상의 한계가 되지 않으며, 오히려 상태의 희박성이 성능 향상의 결정 요소임을 입증했다.