[논문 리뷰] Quipper: Concrete Resource Estimation in Quantum Algorithms

Jonathan M. Smith, Neil J. Ross외 2명|arXiv (Cornell University)|2014. 12. 01.

Quantum Computing Algorithms and Architecture참고 문헌 14인용 수 9

한 줄 요약

이 논문은 하스켈에 통합된 기능적 양자 프로그래밍 언어인 Quipper를 제시한다. Quipper는 양자 알고리즘에서 구체적인 자원 추정을 위해 설계되었으며, 고수준의 양자 프로그램을 논리 회로로 컴파일함으로써 정확한 게이트 수와 큐비트 수를 제공한다. 일곱 가지 비트리비얼 알고리즘에 대한 적용 사례를 통해, 삼각형 탐색 문제에 대해 1조 개가 넘는 게이트를 추정한 바 있으며, 이는 양자 계산의 실용적 확장성에 대한 중요한 통찰을 제공한다.

ABSTRACT

Despite the rich literature on quantum algorithms, there is a surprisingly small amount of coverage of their concrete logical design and implementation. Most resource estimation is done at the level of complexity analysis, but actual concrete numbers (of quantum gates, qubits, etc.) can differ by orders of magnitude. The line of work we present here is a formal framework to write, and reason about, quantum algorithms. Specifically, we designed a language, Quipper, with scalability in mind, and we are able to report actual resource counts for seven non-trivial algorithms found in the quantum computer science literature.

연구 동기 및 목표

• 양자 알고리즘 설계에서 일반적으로 점근적 복잡도에 의존하는 바에 비해 실제 게이트 수와 큐비트 수가 아닌 구체적인 자원 추정의 부족을 해결하기 위해.
• 실제 자원 추적과 함께 양자 알고리즘의 구현과 추론을 위한 형식적이고 확장 가능한 프레임워크를 제공하기 위해.
• 세부적인 회로 수준의 자원 추정을 생성하여 이론적 양자 알고리즘과 그 물리적 구현 간 격차를 메우기 위해.
• 자동 게이트 수 계산과 회로 분석을 통한 양자 회로 컴파일 최적화 기회를 식별하기 위해.
• 고수준 기술에서 저수준 게이트 시퀀스까지의 종단 간 컴파일을 가능하게 하여 실용적 양자 소프트웨어 개발을 지원하기 위해.

제안 방법

• 하스켈의 타입 시스템과 모나드 의미 체계를 활용하여 회로 기술을 위한 도메인 특화 언어로 Quipper를 설계함.
• 명령형 스타일의 게이트 단위 생성과 조합자 기반의 선언형 스타일의 회로 조작을 지원하는 모나드 기반의 회로 기술 언어를 구현함.
• 두 단계 실행 모델을 도입함: 컴파일 타임의 회로 생성과 런타임의 회로 실행으로, 매개변수와 입력 간 명확한 분리가 이루어짐.
• 템플릿 하스켈을 사용하여 고전적 하스켈 함수에서 자동으로 가역적 양자 오라클을 생성함으로써 복잡한 양자 서브루틴의 효율적 구현을 가능하게 함.
• 보조 큐비트 관리와 서브루틴 추상화를 통한 계층적 회로 지원을 위한 큐비트 초기화 및 종료 추적 기능을 도입함.
• 특정 입력 크기에서의 프로그램 실행을 통해 자동 게이트 수 계산을 구현함으로써 총 게이트 수와 큐비트 요구량 등의 출력을 제공함.

실험 결과

연구 질문

• RQ1 고수준의 양자 알고리즘은 어떻게 정확한 자원 계측과 함께 구체적인 양자 회로로 컴파일될 수 있는가?
• RQ2 클래식적으로 관련이 있는 문제 크기에서 비트리비얼 양자 알고리즘에 실제로 필요한 게이트 수와 큐비트 수는 무엇인가?
• RQ3 Quipper와 같은 기능적 양자 프로그래밍 언어는 확장 가능하고, 조합 가능하며, 최적화 가능한 양자 알고리즘 구현을 지원할 수 있는가?
• RQ4 구체적인 자원 추정을 통한 양자 알고리즘 분석에서 하드웨어 요구사항과 최적화 대상에 대한 통찰은 무엇인가?
• RQ5 자동 게이트 수 계산은 고수준 양자 프로그래밍 프레임워크에 어떻게 통합되어 실용적 양자 소프트웨어 개발을 지원할 수 있는가?

주요 결과

• Quipper는 일곱 가지 비트리비얼 양자 알고리즘을 논리 회로로 성공적으로 컴파일하여 자원 추정을 정밀하게 가능하게 하였다.
• n=15, l=31, r=6 인 삼각형 탐색 알고리즘에 대해 Quipper는 30,189,977,982,990(30조 이상)개의 게이트와 4676개의 큐비트를 산출하였다.
• 삼각형 탐색 알고리즘의 게이트 수 계산 과정은 표준 랩탑에서 두 분 이내에 완료되어 자동 추정의 실용적 타당성을 입증하였다.
• 자원 추정 결과에 따르면 게이트 수가 매우 크며, 실용적 양자 우월성을 달성하기 위해 상당한 최적화가 필수적임을 시사하였다.
• 프레임워크는 복잡한 오라클의 게이트 수 감소 및 보조 큐비트 관리 향상과 같은 구체적인 최적화 대상을 식별하였다.
• Quipper는 입력 크기의 함수로 파arameterized된 회로 패밀리 생성 기능 덕분에 양자 알고리즘 자원 수요의 스케일러블 분석이 가능해졌다.