[논문 리뷰] Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers

Raphael Seidel, Sebastian Böck외 5명|arXiv (Cornell University)|2024. 06. 20.

Quantum Computing Algorithms and Architecture인용 수 11

한 줄 요약

이 논문은 Qrisp를 제시합니다. 이는 고수준 양자 프로그램을 게이트 기반 회로로 컴파일하기 위한 프레임워크로, H 게이트를 포함한 샘플 회로와 sqrt_oracle 및 diffuser와 같은 모듈로 설명됩니다.

ABSTRACT

While significant progress has been made on the hardware side of quantum computing, support for high-level quantum programming abstractions remains underdeveloped compared to classical programming languages. In this article, we introduce Qrisp, a framework designed to bridge several gaps between high-level programming paradigms in state-of-the-art software engineering and the physical reality of today's quantum hardware. The framework aims to provide a systematic approach to quantum algorithm development such that they can be effortlessly implemented, maintained and improved. We propose a number of programming abstractions that are inspired by classical paradigms, yet consistently focus on the particular needs of a quantum developer. Unlike many other high-level language approaches, Qrisp's standout feature is its ability to compile programs to the circuit level, making them executable on most existing physical backends. The introduced abstractions enable the Qrisp compiler to leverage algorithm structure for increased compilation efficiency. Finally, we present a set of code examples, including an implementation of Shor's factoring algorithm. For the latter, the resulting circuit shows significantly reduced quantum resource requirements, strongly supporting the claim that systematic quantum algorithm development can give quantitative benefits.

연구 동기 및 목표

• gate-based 양자 컴퓨터를 위한 컴파일 가능한 고수준 프로그래밍 모델의 필요성 동기화.
• 고수준 양자 프로그래밍과 게이트 수준 하드웨어 표현 간의 다리를 놓는 프레임워크(Qrisp) 제안.
• 컴파일 가능한 회로 내에서 양자 하위루틴(예: 오라클, 확산 연산자)의 구조적 구성을 가능하게 함.
• 추상적 양자 알고리즘을 실행 가능한 게이트 시퀀스로 전환하는 경로 제공.

제안 방법

• 고수준 양자 구성 요소를 게이트 수준 회로와 호환되는 형식으로 매핑하는 프레임워크를 도입.
• 컴파일된 회로 내에서 Hadamard gates, sqrt_oracle 블록, diffuser 블록 등의 회로 구성요소를 시연.
• 하위회로(예: oracle/diffuser 패턴)와 이를 더 큰 회로에 통합하는 컴파일 방법 개요.
• sbp_anc, mul_res와 같은 보조 레지스터가 게이트 수준 표현에 어떻게 포함되는지 논의.
• 고수준 설계에서 저수준 게이트로의 전환을 설명하는 구체적 회로 예시 참조.

실험 결과

연구 질문

• RQ1 고수준 양자 프로그램을 기존의 양자 하드웨어와 호환되는 효율적인 게이트 기반 회로로 어떻게 컴파일할 수 있는가?
• RQ2 모듈식 하위루틴(예: 오라클 및 확산기)이 컴파일 가능 프레임워크에서 어떤 역할을 하며 게이트로 어떻게 매핑되는가?
• RQ3 보조 레지스터 및 다중 레지스터 상호작용을 컴파일 가능한 파이프라인에서 Qrisp는 어떻게 관리하는가?
• RQ4 높은 수준의 구성에서 게이트 시퀀스로의 번역에 어떤 기준(깊이, 게이트 수, Fidelity)이 작용하는가?

주요 결과

• 제공된 발췌에는 Hadamard gates와 sqrt_oracle 및 diffuser로 라벨링된 블록이 포함된 게이트 기반 회로가 나타난다.
• 회로에는 오라클/디퓨저 블록에 연결된 보조 및 결과 와이어(sbp_anc, mul_res)도 포함된다.
• 주어진 텍스트 발췌에는 정량적 결과나 성능 지표가 포함되어 있지 않다.
• 발췌는 경험적 평가를 제시하기보다는 컴파일 가능한 회로의 구조를 시연한다.
• 전반적으로 이 내용은 Qrisp 프레임워크 내에서 고수준 구성 요소를 게이트 수준 회로로 통합하는 것을 보여준다.