[논문 리뷰] Lecture notes on quantum computing

Anton Frisk Kockum, Ariadna Soro외 5명|arXiv (Cornell University)|2023. 11. 14.

Quantum Computing Algorithms and Architecture인용 수 6

한 줄 요약

이 논문은 석사 수준의 양자 컴퓨팅 수업을 위한 종합적인 강의 노트를 제시한다. 이는 양자 알고리즘(쇼어 알고리즘, 그로버 알고리즘, QAOA, VQE), 양자 오류 수정(표면 코드, 안정자 형식), 그리고 대체 모델(단절적, 측정 기반, 연속 변수 양자 컴퓨팅)을 포함한 이론적 기초를 다룬다. 노트는 회로 모델 형식을 중심으로 하며 기하학적 및 대수적 통찰을 제공하고, QuTiP를 사용한 수치 시뮬레이션과 Quantikz를 통한 양자 회로 시각화를 포함한다.

ABSTRACT

These are the lecture notes of the master's course "Quantum Computing", taught at Chalmers University of Technology every fall since 2020, with participation of students from RWTH Aachen and Delft University of Technology. The aim of this course is to provide a theoretical overview of quantum computing, excluding specific hardware implementations. Topics covered in these notes include quantum algorithms (such as Grover's algorithm, the quantum Fourier transform, phase estimation, and Shor's algorithm), variational quantum algorithms that utilise an interplay between classical and quantum computers [such as the variational quantum eigensolver (VQE) and the quantum approximate optimisation algorithm (QAOA), among others], quantum error correction, various versions of quantum computing (such as measurement-based quantum computation, adiabatic quantum computation, and the continuous-variable approach to quantum information), the intersection of quantum computing and machine learning, and quantum complexity theory. Lectures on these topics are compiled into 12 chapters, most of which contain a few suggested exercises at the end, and interspersed with four tutorials, which provide practical exercises as well as further details. At Chalmers, the course is taught in seven weeks, with three two-hour lectures or tutorials per week. It is recommended that the students taking the course have some previous experience with quantum physics, but not strictly necessary.

연구 동기 및 목표

• 석사 수준 학생들에게 하드웨어 구체적 구현을 제외한 엄밀한 양자 컴퓨팅 이론적 기초를 제공하기 위해.
• 회로 모델, 단절적, 측정 기반, 연속 변수 모델 등 다양한 양자 컴퓨팅 철학을 하나의 교육적 프레임워크 안에서 통합하기 위해.
• 체계적인 강의와 연습을 통해 양자 알고리즘, 오류 수정, 양자 복잡도 이론을 연결하기 위해.
• 양자 정보, 양자 광학, 양자 머신러닝의 개념을 통합함으로써 다학제적 학습을 지원하기 위해.
• 기초 양자 물리학 지식을 가진 학생들이 단계적 유도와 실습 문제를 통해 고급 주제에 참여할 수 있도록 하기 위해.

제안 방법

• 강의를 12개 장과 4개의 연습문제로 구성하여 이론적 설명과 실습 문제를 결합한다.
• 세부적인 단일 및 다중 큐비트 게이트, 얽힘, 보편성에 대한 다루기 위해 회로 모델을 중심 프레임워크로 사용한다.
• 양자 회로에서 보편 게이트 세트의 근사화를 정당화하기 위해 소로바이–키타에 정리를 적용한다.
• 기하적 직관(예: 그로버 알고리즘을 힐베르트 공간 내의 회전으로 간주)과 대수적 형식을 통해 양자 알고리즘을 도입한다.
• 특히 연속 변수 시스템을 위해 Wigner 함수 플롯과 고양이 상태의 진화를 시뮬레이션하기 위해 QuTiP를 사용한 수치 시뮬레이션을 구현한다.
• Wigner 함수와 밀도 행렬을 사용하여 양자 상태를 시각화하며, 비가우시안 상태(예: 고양이 상태)를 시뮬레이션할 때의 상호 등가성과 계산적 이점을 강조한다.

실험 결과

연구 질문

• RQ1 쇼어 알고리즘과 그로버 알고리즘과 같은 양자 알고리즘은 어떻게 회로 모델 내에서 기하학적으로 유도되고 이해될 수 있는가?
• RQ2 표면 코드와 안정자 형식의 맥락에서 양자 오류 수정의 기본 원리와 한계는 무엇인가?
• RQ3 회로 기반, 단절적, 측정 기반, 연속 변수 모델 간의 양자 컴퓨팅 모델은 보편성과 물리적 구현 측면에서 어떻게 비교될 수 있는가?
• RQ4 밀도 행렬에 비해 Wigner 함수는 어떤 방식으로 특정 연속 변수 양자 시스템의 더 효율적인 고전적 시뮬레이션을 가능하게 하는가?
• RQ5 고양이 상태와 그 초위상은 논리 큐비트 인코딩에서 어떤 역할을 하는가? 그리고 한 광자 손실 오류를 탐지하고 수정하는 데 어떻게 활용될 수 있는가?

주요 결과

• 세 큐비트 비트-플립 및 단계-플립 코드는 冗餘성과 심호 측정을 통해 비트-플립 및 단계-플립 오류를 수정할 수 있음을 보여준다.
• 아홉 큐비트 쇼어 코드는 비트-플립 및 단계-플립 코드를 조합하여 임의의 단일 큐비트 오류를 성공적으로 수정함으로써 논리 큐비트 보호를 달성한다.
• 표면 코드는 두 가지 차원의 큐비트 격자에서 위상적 오류 탐지 기능을 통해 고장 내성 양자 계산을 실현하며 스케일러블한 논리 연산을 가능하게 한다.
• Wigner 함수 형식은 비가우시안 상태(예: 고양이 상태)를 가우시안의 합으로 분해함으로써 밀도 행렬 전체의 진화보다 계산 비용을 줄여 효율적인 고전적 시뮬레이션을 가능하게 한다.
• 코herent 상태의 초위상(예: |0L⟩ = |C+α⟩ + |C+iα⟩)은 한 광자 손실에 대해 강건한 논리 큐비트를 생성하며, 기수 측정을 통해 짝수와 홀수 광자 수 기수를 구분할 수 있다.
• QuTiP를 사용한 수치 시뮬레이션은 한 광자 손실이 |0L⟩을 홀수 광자 수 기수를 가진 상태(|0L⟩⊥)로 변환함을 확인하며, 기수 측정을 통한 오류 탐지 가능성을 입증한다.