[논문 리뷰] 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참고 문헌 23인용 수 153

한 줄 요약

LIQUi|⟩는 F#에 통합된 모듈식 도메인 특화 양자 프로그래밍 언어로, 다양한 하드웨어 백엔드에서 고수준의 양자 알고리즘 개발, 시뮬레이션 및 최적화를 가능하게 한다. 이는 14 큐비트 인스턴스(예: 8193의 인수 분해)까지 샤오어 알고리즘의 완전한 시뮬레이션을 지원하며, 32GB 메모리만으로도 31 큐비트 시뮬레이션에 700만 개의 게이트를 적용하여 확장 가능한 양자 회로 시뮬레이션을 실현한다. 이는 게이트 성장 및 메모리 최적화된 선형 대수 기법을 포함한 고급 최적화 기법을 통해 달성된다.

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)를 제공하여 양자 회로 프로그래밍을 직관적으로 가능하게 한다.
• 다양한 백엔드에서 효율적인 시뮬레이션, 최적화 및 하드웨어 내보내기를 가능하게 한다.
• 소음 모델링 및 오류 수정을 포함한 알고리즘 작성에서 검증에 이르는 종단 간 워크플로우를 지원한다.
• 고전적 제어를 갖춘 양자 알고리즘을 특정 양자 하드웨어 아키텍처에 매핑할 수 있도록 한다.

제안 방법

• F# 내에 양자 도메인 특화 언어(DSL)를 통합하여 유형 안정성과 고수준 추상화를 제공함으로써 양자 연산을 위한 기반을 마련한다.
• 모듈식 소프트웨어 아키텍처를 활용하여 양자 연산, 회로 조작, 시뮬레이션, 백엔드 컴파일링을 분리한다.
• 두 가지 시뮬레이션 백엔드를 사용한다: 작은 회로에 대한 전체 상태 벡터 시뮬레이션과, 더 큰 회로에 대한 진폭 샘플링.
• 연속된 제어 연산을 병합함으로써 게이트 수를 줄이는 게이트 성장 기법을 적용하여 시뮬레이션 성능을 크게 향상시킨다.
• 외부 도구 및 하드웨어 컴파일링을 위한 회로 내보내기를 지원하여 양자 시뮬레이터 및 실제 장치와의 상호 운용성을 확보한다.
• 고전적 제어 논리 통합 및 회로의 수반 연산 지원을 통해 복잡한 알고리즘의 모듈식 설계를 가능하게 한다.

실험 결과

연구 질문

• RQ1 일반 목적의 기능형 언어인 F#에 고수준의 유형 안정성 있는 양자 프로그래밍 언어를 어떻게 통합할 수 있는가?
• RQ2 어떤 시뮬레이션 기법이 고전적 하드웨어에서 대규모 양자 회로를 효율적으로 실행하는 데 기여하는가?
• RQ3 게이트 성장과 같은 양자 회로 최적화 기법을 자원 오버헤드를 줄이기 위해 체계적으로 적용하는 방법은 무엇인가?
• RQ4 양자 소프트웨어 스택에서 확장성과 하드웨어 독립성을 보장하는 아키텍처 패턴은 무엇인가?
• RQ5 고전적 제어를 갖춘 양자 알고리즘은 어떻게 조합하고 검증하며 특정 양자 하드웨어 제약 조건에 매핑할 수 있는가?

주요 결과

• LIQUi|⟩는 14비트 수(8193)에 대해 샤오어 알고리즘의 시뮬레이션을 성공적으로 수행하였으며, 이는 31 큐비트와 700만 개의 게이트를 요구했고, 메모리는 32GB만 사용하였다.
• 14큐비트 인스턴스의 시뮬레이션은 43,384분(약 30.1일)이 소요되었으며, 당시까지 양자 시뮬레이터에서 완전히 분해된 가장 큰 수였다.
• 게이트 성장 기법을 적용함으로써 라운드당 게이트 수를 50만 개에서 18,000개로 줄여 시뮬레이션 효율을 극적으로 향상시켰다.
• 수학 패키지의 메모리 사용 최적화 및 내부 루프 강화로 인해 13비트 인스턴스의 시뮬레이션 시간이 3년에서 4일로 단축되었다.
• 시스템은 종단 간 시뮬레이션, 최적화 및 회로 내보내기를 지원하여 다양한 하드웨어 및 소프트웨어 플랫폼 간 검증 및 배포를 가능하게 한다.
• LIQUi|⟩는 약 30 큐비트까지 확장 가능한 시뮬레이션을 가능하게 하여 대규모 알고리즘 개발의 실현 가능성을 입증한다.