[논문 리뷰] Quantum computing with Qiskit

Ali Javadi-Abhari, Matthew Treinish외 10명|arXiv (Cornell University)|2024. 05. 14.

Quantum Computing Algorithms and Architecture인용 수 170

한 줄 요약

요약: 이 논문은 IBM의 오픈 소스 양자 소프트웨어 툴킷인 Qiskit을 소개하며, 설계 철학, 아키텍처, 문제 인코딩에서 양자-고전 실행까지의 엔드-투-엔드 워크플로우를 다루고, 다이내믹 회로와 하드웨어 재타겟팅 가능성, 응축 물질 물리학의 예를 포함한다.

ABSTRACT

We describe Qiskit, a software development kit for quantum information science. We discuss the key design decisions that have shaped its development, and examine the software architecture and its core components. We demonstrate an end-to-end workflow for solving a problem in condensed matter physics on a quantum computer that serves to highlight some of Qiskit's capabilities, for example the representation and optimization of circuits at various abstraction levels, its scalability and retargetability to new gates, and the use of quantum-classical computations via dynamic circuits. Lastly, we discuss some of the ecosystem of tools and plugins that extend Qiskit for various tasks, and the future ahead.

연구 동기 및 목표

• Qiskit의 설계 철학과 양자 소프트웨어 스택 내 범위를 설명한다.
• 회로, 트랜스파일, 타깃 및 프리미티브를 포함한 핵심 아키텍처를 기술한다.
• 양자 컴퓨터에서 응축 물질 문제를 해결하는 엔드-투-엔드 워크플로우를 시연한다.
• 다이나믹 회로와 하드웨어 재타겟성과 같은 Qiskit 생태계와 개념을 강조한다.

제안 방법

• 문제 인코딩, 트랜스파일링, 프리미티브를 통한 실행, 후처리의 네 단계 워크플로우를 기술한다.
• 플러그인 인터페이스와 외부 확장을 통한 모듈성 및 확장 가능성을 설명한다.
• 회로 최적화 및 번역 인프라로서의 Pass Manager 및 트랜스파일러 아키텍처를 상세히 설명한다.
• 프리미티브(샘플러와 에스티메이터)와 양자-고전 워크로드를 위한 런타임 통합을 소개한다.
• 여러 추상화 수준에서의 회로 표현과 하드웨어 재타겟성을 보여주기 위한 엔드-투-엔드 Ising-모델 헐리토니안 시뮬레이션을 제시한다.
• Qiskit 내에서 시각화 도구와 텐서 순서 규칙과 같은 사용되는 도구를 논의한다.

Figure 1: The quantum computing software stack at various abstraction levels. Qiskit’s scope spans the middle-end from (b) to (d), which includes all the tools and algorithms needed to efficiently represent and compile circuits. a) A representation of the problem and the observable to be measured, f

실험 결과

연구 질문

• RQ1 Qiskit은 고전 문제를 추상화 수준 전반에 걸쳐 어떻게 양자 회로로 인코딩하는가?
• RQ2 트랜스파일러의 패스 매니저는 서로 다른 하드웨어 명령 세트를 위해 회로를 어떻게 최적화하고 재타겟하는가?
• RQ3 양자-고전 통합 및 다이나믹 회로가 실제 양자 계산에서 어떤 역할을 하는가?
• RQ4 회로 작성에서 측정 및 후처리까지 실제 하드웨어에서 엔드-투-엔드 워크플로우를 Qiskit은 어떻게 지원하는가?
• RQ5 논문이 Qiskit의 실용성과 생태계에 대해 어떤 증거를 제시하는가(예를 들어 성능, 재타겟 가능성, 다이나믹 회로 등)?

주요 결과

• Qiskit은 문제 매핑에서 하드웨어 실행까지의 엔드-투-엔드 워크플로우를 가능하게 하며, 다이나믹 회로 및 하드웨어 인지 재타겟팅을 포함한다.
• 네 단계 워크플로우(문제→트랜스파일→실행→후처리)는 유연한 API로 지원되는 핵심 패턴이다.
• 재타겟 가능한 트랜스파일링은 새로운 하드웨어 게이트(예: 부분 ZX) 도입과 회로 지속 시간 단축을 가능하게 한다.
• 다이나믹 회로와 맞춤형 스케줄링(예: 다이내믹 디커플링)은 회로 깊이를 줄이고 신뢰성을 향상시킬 수 있다.
• 논문은 IBM 하드웨어에서 Ising-모형 해밀토니안 시뮬레이션을 시연하며 다계층 회로 표현과 최적화 기법을 보여준다.
• Qiskit은 핵심 툴킷 외의 기능을 확장하는 도구 및 플러그인 생태계를 지원한다.

Figure 2: Qiskit’s software architecture.