[논문 리뷰] Lecture Notes on Quantum Algorithms for Scientific Computation

Lin Lin|arXiv (Cornell University)|2022. 01. 20.

Quantum Computing Algorithms and Architecture인용 수 30

한 줄 요약

이 노트는 과학 계산과 밀접하게 관련된 양자 알고리즘을 조사하며 Grover의 알고리즘, 양자 위상 추정, 선형 시스템용 HHL, 해밀토니안 시뮬레이션 등의 주제와 블록 인코딩 및 큐비타이제이션 같은 기초 도구를 다룹니다.

ABSTRACT

This is a set of lecture notes used in a graduate topic class in applied mathematics called ``Quantum Algorithms for Scientific Computation'' at the Department of Mathematics, UC Berkeley during the fall semester of 2021. These lecture notes focus only on quantum algorithms closely related to scientific computation, and in particular, matrix computation. The main purpose of the lecture notes is to introduce quantum phase estimation (QPE) and ``post-QPE'' methods such as block encoding, quantum signal processing, and quantum singular value transformation, and to demonstrate their applications in solving eigenvalue problems, linear systems of equations, and differential equations. The intended audience is the broad computational science and engineering (CSE) community interested in using fault-tolerant quantum computers to solve challenging scientific computing problems.

연구 동기 및 목표

• 과학 계산과 행렬 계산의 도전적인 문제에 대해 양자 컴퓨터의 활용을 고무한다.
• 과학 및 공학과 관련된 핵심 양자 알고리즘 도구에 대한 응집된 소개를 제공한다.
• 선형 시스템, 미분 방정식 및 고유값 문제를 해결하기 위한 기초 방법(예: 위상 추정, 해밀토니안 시뮬레이션, 블록 인코딩)을 제시한다.
• 향후 오류 허용 가능한 장치에 대비한 추상적 양자 알고리즘과 실제 작동 프레임워크를 연결한다.
• 노트의 범위와 한계에 대해 더 넓은 양자 알고리즘 풍경 속에서 맥락을 제공한다.

제안 방법

• 양자 계산의 직관을 구축하기 위해 양자역학의 포스트들 및 상태벡터 형식을 검토한다.
• 복잡한 알고리즘을 구축하기 위한 양자 회로 표기법과 범용 게이트 집합을 소개한다.
• 밀도 연산자와 측정을 설명하여 혼합 상태와 관측가능량을 다룬다.
• 비가역적 계산을 통해 효율적인 고전-양자 변환을 가능하게 하는 언컴퓨테이션을 제시한다.
• 블록 인코딩과 큐비타이제이션을 행렬 함수 방법과 선형代数 작업의 프레임워크로 개발한다.
• 양자 위상 추정, HHL, 해밀토니안 시뮬레이션과 같은 응용을 논의하고 이들의 과학 계산에서의 역할을 설명한다.

실험 결과

연구 질문

• RQ1 양자 위상 추정 및 관련 기법을 실제로 어떻게 활용하여 선형 시스템, 고유값 문제 및 미분 방정식을 해결할 수 있는가?
• RQ2 과학적 응용을 위한 확장 가능 행렬 계산을 가능하게 하는 필수 양자 알고리즘 원시(예: 블록 인코딩, 큐비타이제이션)는 무엇인가?
• RQ3 오류 허용, 범용 게이트 집합, 그리고 비가역 계산이 과학을 위한 양자 알고리즘의 실용성에 어떤 영향을 미치는가?
• RQ4 양자 알고리즘 이론(QSVT, 양자 특이값 변환)과 포아송 방정식이나 열 방정식과 같은 구체적 과학 계산 작업 간의 관계는 무엇인가?
• RQ5 일반적인 과학 계산 문제를 해결하기 위한 현재 양자 알고리즘의 한계와 범위는 무엇인가?

주요 결과

• 노트는 과학 계산과 가장 관련이 깊은 양자 알고리즘을 위상 추정, 선형 시스템, 해밀토니안 시뮬레이션과 같은 구조화된 주제로 정리한다.
• 블록 인코딩과 큐비타이제이션과 같은 필수 도구를 도입하여 해르미트 행렬 및 일반 행렬에 대한 행렬-함수 기법을 가능하게 한다.
• 포아송 방정식과 열 방정식 같은 구체적 과학 문제를 예시로 삼아 기초 양자 계산 개념을 실제 세계 문제와 연결한다.
• 오류 증가 억제, 게이트 집합의 보편성, 알고리즘 설계를 위한 측정 및 밀도 연산자의 실용적 함의를 다룬다.
• 노트가 이 분야의 다양성을 인정하고 향후 에디션에 적합한 주제를 개요하며, 변화적 및 변분적 접근법도 포함한다.