[논문 리뷰] Introduction to Coding Quantum Algorithms: A Tutorial Series Using Pyquil

Daniel Koch, Laura Wessing외 1명|arXiv (Cornell University)|2019. 03. 07.

Quantum Computing Algorithms and Architecture참고 문헌 5인용 수 11

한 줄 요약

이 튜토리얼 시리즈는 초보자를 대상으로 양자 물리학이나 프로그래밍 경험이 거의 없는 사용자도 Pyquil, 양자 컴퓨팅을 위한 파이썬 라이브러리로 양자 알고리즘 개발을 체계적으로 소개합니다. 양자 회로 구성, 게이트 연산, 핵심 알고리즘(데우이트-조자, 그로버 검색, 양자 푸리에 변환 포함)을 단계적으로 학습하며, 코드 기반으로 이를 구현하는 방법을 보여주며, 핵심 기여는 시뮬레이터 기반 접근 방식을 통해 기초 양자 알고리즘을 익히는 실용적이고 코드 중심의 길을 제공한다는 데 있습니다.

ABSTRACT

As the field of Quantum Computing continues to grow, so too has the general public's interest in testing some of the publicly available quantum computers. However, many might find learning all of the supplementary information that goes into quantum algorithms to be a daunting task, and become discouraged. This tutorial is a series of lessons, aimed to teach the basics of quantum algorithms to those who may have little to no background in quantum physics and/or minimal knowledge of coding in python. Each lesson covers select physics/coding topics needed for writing quantum algorithms, eventually building up a toolset for tackling more and more challenging quantum algorithms. This tutorial series is designed to provide readers from any background with two services: 1) A concise and thorough understanding of some of the most popular/academically important quantum algorithms. 2) A fluent understanding of how to write code for quantum algorithms, using Rigetti's publicly available Pyquil.

연구 동기 및 목표

• 양자 물리학이나 프로그래밍에 대한 배경 지식이 거의 없는 독자에게 초보자에게 친화적인 코드 중심의 양자 알고리즘 소개를 제공하기 위해.
• Pyquil를 사용해 실질적인 코딩을 통해 점진적으로 양자 컴퓨팅 개념을 가르치는 체계적인 튜토리얼 시리즈를 구축하기 위해.
• 데우이트-조자, 그로버 검색, 양자 푸리에 변환 등의 주요 양자 알고리즘을 실행 가능한 코드를 통해 구현하고 이해할 수 있도록 하기 위해.
• 이론적 양자 알고리즘과 실제 시뮬레이터(QVM) 및 Pyquil 프레임워크를 사용한 실행 구현 간 격차를 메우기 위해.

제안 방법

• Pyquil의 Program 클래스를 사용해 양자 회로를 정의하고, QVMConnection을 사용해 양자 상태를 시뮬레이션하고 측정하기 위해.
• 단계별 코딩 예제를 통해 하다마드, CNOT, Rϕ와 같은 양자 게이트 연산과 측정 방법을 가르치기 위해.
• 양자 푸리에 변환(QFT)과 같은 복잡한 연산을 추상화하기 위해 사용자 정의 함수와 회로 템플릿을 도입하기 위해.
• 모듈러 코딩을 통해 핵심 양자 알고리즘(예: 데우이트, 버너스타인-바지라니, 시몬의 알고리즘, 그로버의 알고리즘)을 구현하고, 파동함수 출력을 시각화하기 위해.
• 그로버 알고리즘에서 하드마드 변환을 QFT 기반 반사로 대체함으로써 QFT의 역할을 설명하기 위해.
• wavefunction()을 사용해 양자 상태의 진화를 점검하고 검증하여, 회로 구성의 각 단계에서 정확성을 확보하기 위해.

실험 결과

연구 질문

• RQ1 양자 물리학이나 프로그래밍 경험이 전혀 없는 초보자에게 양자 알고리즘을 효과적으로 가르치는 방법은 무엇인가요?
• RQ2 Pyquil은 양자 알고리즘 구현 학습을 위한 접근성 있고 상호작용적인 플랫폼으로 얼마나 유용한가요?
• RQ3 양자 알고리즘에 적용했을 때 QFT와 하드마드 변환 간의 구조적 및 기능적 차이는 무엇인가요?
• RQ4 그로버의 검색 알고리즘에서 QFT를 하드마드 게이트의 타당한 대체로 사용할 수 있으며, 이는 상태 진화에 어떤 영향을 미치나요?
• RQ5 코드 기반 튜토리얼에서 양자 게이트, 회로, 알고리즘을 도입하는 데 가장 효과적인 교육적 순서는 무엇인가요?

주요 결과

• 튜토리얼은 데우이트-조자, 버너스타인-바지라니, 시몬의 알고리즘, 그로버 검색 등 핵심 양자 알고리즘을 Pyquil를 사용해 초보자도 성공적으로 구현하고 이해할 수 있음을 입증했습니다.
• 양자 푸리에 변환(QFT)은 등가 초월 상태를 생성하는 능력에서 하드마드 변환과 기능적으로 유사하지만, 더 강력한 알고리즘 기능을 위해 추가적인 단계 조절 기능을 제공합니다.
• 그로버 알고리즘에서 하드마드 게이트를 QFT와 역QFT로 대체함으로써, 알고리즘의 핵심 반사 메커니즘 유지하는 데 성공한 대체 구현 방식을 제시했습니다.
• QFT의 구조를 분해하면, 하드마드 게이트와 제어된 단계 회전(Rϕ)의 계층적 순서가 드러나며, 마지막 큐비트에는 단지 하드마드 게이트만 적용됩니다.
• 튜토리얼은 QFT가 |0⟩ 상태를 모든 기저 상태의 등가 초월 상태로 매핑함을 확인했으며, 하드마드 게이트와 마찬가지로 동일한 결과를 낼 수 있지만, 더 복잡한 진폭 증폭을 가능하게 하는 고유한 단계 관계를 가진다는 점을 확인했습니다.
• 양자 가상 머신(QVM)의 사용은 정확하고 실시간으로 파동함수를 시각화할 수 있게 해주어, 학습자가 각 단계에서 회로 행동을 디버깅하고 검증할 수 있도록 했습니다.