[논문 리뷰] LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing

Dave Wecker, Krysta M. Svore|arXiv (Cornell University)|2014. 02. 18.

Quantum Computing Algorithms and Architecture인용 수 8

한 줄 요약

LIQUi|⟩는 F#에 통합된 모듈식 도메인 특화 양자 프로그래밍 언어로, 다양한 하드웨어 백엔드에서 고수준의 양자 알고리즘 개발, 시뮬레이션, 최적화를 가능하게 한다. 이는 회로 추출, 최대 30 큐비트의 시뮬레이션, 14비트 수(8193 = 3 × 2731)에 대한 쇼어 알고리즘의 완전한 시뮬레이션을 포함한 종단 간 양자 알고리즘 설계를 지원하며, 당시까지 양자 시뮬레이터에서 인지된 가장 큰 수를 인수분해한 것으로 기록되어 있다.

ABSTRACT

Languages, compilers, and computer-aided design tools will be essential for scalable quantum computing, which promises an exponential leap in our ability to execute complex tasks. LIQUi|> is a modular software architecture designed to control quantum hardware. It enables easy programming, compilation, and simulation of quantum algorithms and circuits, and is independent of a specific quantum architecture. LIQUi|> contains an embedded, domain-specific language designed for programming quantum algorithms, with F# as the host language. It also allows the extraction of a circuit data structure that can be used for optimization, rendering, or translation. The circuit can also be exported to external hardware and software environments. Two different simulation environments are available to the user which allow a trade-off between number of qubits and class of operations. LIQUi|> has been implemented on a wide range of runtimes as back-ends with a single user front-end. We describe the significant components of the design architecture and how to express any given quantum algorithm.

연구 동기 및 목표

• 확장 가능한 소프트웨어 아키텍처를 제공하여 대규모 양자 알고리즘 개발을 가능하게 하기 위해.
• 특정 양자 하드웨어에 종속되지 않는 코어 시뮬레이션 및 최적화를 가능하게 하기 위해.
• 알고리즘 작성에서 회로 내보내기 및 하드웨어 배포에 이르기까지 종단 간 워크플로우를 지원하기 위해.
• 통합된 도구를 통해 양자 노이즈, 오류 수정, 회로 분해 연구를 촉진하기 위해.
• 클래식 하드웨어에서 대규모 양자 알고리즘(예: 쇼어 알고리즘)의 효율적 시뮬레이션을 가능하게 하기 위해.

제안 방법

• F#의 타입 시스템과 메타프로그래밍 기능을 활용하여 일반 목적의 기능형 언어 내에 도메인 특화 언어(DSL)를 통합한다.
• 고립된 런타임을 갖춘 모듈식 소프트웨어 아키텍처를 제공하여 기반 하드웨어에서의 추상화를 가능하게 한다.
• 큐비트 수와 연산 클래스 간의 트레이드오프를 고려한 두 가지 시뮬레이션 환경을 제공하여 확장 가능한 시뮬레이션을 가능하게 한다.
• 최적화, 렲시, 외부 도구나 하드웨어로의 번역을 위해 회로 데이터 구조를 생성하고 노출한다.
• 게이트 성장 기법과 최적화된 선형 대수 기법을 활용하여 게이트 수를 감소시키고 시뮬레이션 성능을 향상시킨다.
• 다양한 백엔드와 시뮬레이터를 제공하여 클래식 및 양자 환경에서의 배포 및 테스트를 가능하게 한다.

실험 결과

연구 질문

• RQ1 일반 목적의 기능형 언어에 고수준의 도메인 특화 언어를 어떻게 통합하여 양자 알고리즘 개발을 단순화할 수 있는가?
• RQ2 클래식 하드웨어에서 대규모 양자 회로를 효율적으로 실행하기 위한 시뮬레이션 기법은 무엇인가?
• RQ3 목표 하드웨어에 종속되지 않는 방식으로 양자 회로를 어떻게 추상화하고 최적화할 수 있는가?
• RQ4 설계에서 배포에 이르기까지 종단 간 양자 알고리즘 개발을 지원하기 위해 필요한 아키텍처 구성 요소는 무엇인가?
• RQ5 양자 오류 수정, 노이즈 모델링, 클래식 제어를 어떻게 통합된 소프트웨어 스택에 통합할 수 있는가?

주요 결과

• LIQUi|⟩는 14비트 수(8193 = 3 × 2731)에 대해 쇼어 알고리즘의 시뮬레이션을 성공적으로 수행하였으며, 이는 31 큐비트와 700만 개의 게이트를 요구하여 당시까지 양자 시뮬레이터에서 인지된 가장 큰 수의 인수분해 기록을 수립하였다.
• 수학 패키지 최적화와 메모리 사용량 절감을 통해 13비트 인스턴스의 시뮬레이션 시간을 3년에서 4일로 단축시켰다.
• 게이트 성장 기법을 통해 라운드당 게이트 수를 50만 개에서 18,000개로 감소시켜 시뮬레이션 효율성을 크게 향상시켰다.
• 단지 32GB의 RAM만으로 약 30 큐비트까지의 시뮬레이션을 지원하여 대규모 양자 회로 탐색을 가능하게 하였다.
• 단일 데스크톱에서 쇼어 알고리즘의 전체 종단 간 시뮬레이션(양자 연산 및 클래식 후처리 포함)을 1분 이내에 완료하였다.
• LIQUi|⟩는 광범위한 최적화를 통해 복잡하고 대규모 양자 알고리즘의 시뮬레이션 가능성을 입증하였으며, 향후 하드웨어 인식 컴파일러 및 설계의 길을 열었다.