[논문 리뷰] $Q|SI angle$: A Quantum Programming Environment

Shusen Liu, Xin Wang외 6명|arXiv (Cornell University)|2017. 10. 26.

Quantum Computing Algorithms and Architecture참고 문헌 25인용 수 3

한 줄 요약

이 논문은 .NET 프레임워크 기반으로 구축된 $Q|SI\rangle$라는 양자 프로그래밍 환경을 소개한다. 이 환경은 양자 확장 while-언어를 통해 양자 프로그래밍을 지원하며, 컴파일러, 양자 회로 최적화, 시뮬레이션, 종료성, 런타임, 불변식 분석과 같은 새로운 분석 도구를 제공하여 피드백 기반 양자 어셈블리 언어(f-QASM)를 활용한 고수준의 검증 가능한 양자 알고리즘 개발을 가능하게 한다.

ABSTRACT

This paper describes a quantum programming environment, named $Q|SI angle$. It is a platform embedded in the .Net language that supports quantum programming using a quantum extension of the $\mathbf{while}$-language. The framework of the platform includes a compiler of the quantum $\mathbf{while}$-language and a suite of tools for simulating quantum computation, optimizing quantum circuits, and analyzing and verifying quantum programs. Throughout the paper, using $Q|SI angle$ to simulate quantum behaviors on classical platforms with a combination of components is demonstrated. The scalable framework allows the user to program customized functions on the platform. The compiler works as the core of $Q|SI angle$ bridging the gap from quantum hardware to quantum software. The built-in decomposition algorithms enable the universal quantum computation on the present quantum hardware.

연구 동기 및 목표

• 알고리즘 개발을 위해 양자 회로의 세부 사항을 추상화하는 고수준이고 확장 가능한 양자 프로그래밍 환경을 제공하는 것.
• 형식적 의미론과 분석 도구를 통합하여 양자 프로그램의 작성, 검증, 최적화 과제를 해결하는 것.
• 피드백 기반 어셈블리 언어(f-QASM)를 통해 양자 소프트웨어와 현재의 양자 하드웨어 사이의 격차를 메우는 것.
• 측정 기반 루프와 케이스 문과 같은 복잡한 제어 흐름을 포함한 양자 알고리즘의 스케일러블 시뮬레이션과 검증을 가능하게 하는 것.
• BB84 및 그로버 검색과 같은 실제 프로토콜을 위한 확장 가능하고 사용자 정의 가능한 구성 요소를 통해 실용적인 양자 애플리케이션 개발을 지원하는 것.

제안 방법

• 대규모 양자 알고리즘을 표현하기 위해 측정 기반 케이스 및 while 구조를 갖춘 양자 확장 while-언어를 중심으로 플랫폼을 설계한다.
• 컴파일러가 양자 while-프로그램을 f-QASM로 번역하며, 이는 측정 기반 제어 흐름을 효율적으로 구현할 수 있도록 피드백 강화된 QASM의 확장이다.
• 내장된 분해 알고리즘을 사용하여 게이트 수를 줄이고 회로 깊이를 향상시키는 양자 회로 최적화기능을 포함한다.
• 양자 시뮬레이터를 통해 고전적 환경에서 양자 프로그램을 에뮬레이션하며, 측정 연산에 대해 의사난수 샘플링을 사용한다.
• 반복 불변식을 위한 준선형계획법(SDP)을 사용하여 종료 확률과 평균 실행 시간을 계산하는 프로그램 분석기.
• IBM의 양자 하드웨어 및 LIQUi|>와 같은 외부 도구 및 플랫폼과의 통합을 지원하며, 크로스플랫폼 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 측정 기반 제어 흐름 구조(예: 케이스 문 및 while 루프)를 지원하는 고수준 양자 프로그래밍 언어는 어떻게 설계할 수 있는가?
• RQ2 피드백 지원을 갖춘 실행 가능한 양자 회로로 양자 while-프로그램을 번역하기 위해 필요한 컴파일러 기법은 무엇인가?
• RQ3 준선형계획법을 사용하여 양자 프로그램의 종료성과 평균 실행 시간을 어떻게 형식적으로 분석하고 검증할 수 있는가?
• RQ4 현재 하드웨어 제약 조건 하에서 효율적인 고전적 에뮬레이션을 가능하게 하는 시뮬레이션 및 최적화 전략은 무엇인가?
• RQ5 이 플랫폼은 다양한 양자 소프트웨어 스택과 실제 양자 하드웨어와의 통합을 어떻게 확장할 수 있는가?

주요 결과

• $Q|SI\rangle$ 플랫폼은 양자 while-프로그램을 최적화된 f-QASM 시퀀스로 성공적으로 컴파일하여 현재의 양자 하드웨어에서 피드백 지원을 통해 실행할 수 있도록 했다.
• Qloop 사례에서의 양자 워크 유사 행동 시뮬레이션은 예측된 측정 확률을 정확히 반영하며, 정상적인 동작을 보였다.
• BB84 프로토콜 시뮬레이션을 통해 채널 노이즈, 샘플링 속도, 패킷 길이가 열 분배 성공률에 상당한 영향을 미치며, $Q|SI\rangle$를 통해 최적 성능을 위한 파rameter 조정이 가능함을 확인했다.
• 다중 해가 존재하는 상황에서 그로버 검색 알고리즘은 오류율이 증가하는 경향을 보였으며, 이러한 환경에서는 알고리즘 수정이 필요함을 시사했다.
• SDP 기반 불변식 생성을 통해 프로그램 분석기가 종료 확률과 평균 실행 시간을 성공적으로 계산하여 양자 루프의 형식적 검증을 가능하게 했다.
• 플랫폼는 모듈러이고 확장 가능한 방식으로 양자 애플리케이션 개발을 가능하게 하며, 복잡한 프로토콜 및 확장 가능한 회로 최적화를 지원한다.