[논문 리뷰] Several natural BQP-Complete problems

Paweł Wocjan, Shengyu Zhang|ArXiv.org|2006. 06. 21.

Quantum Computing Algorithms and Architecture참고 문헌 30인용 수 29

한 줄 요약

이 논문은 두 가지 새로운 자연스러운 BQP-완전 문제인 국소 해밀토니안 고유값 샘플링(LHES)과 위상 추정 샘플링(PES)을 제안하며, 특정 분포 하에서 국소 해밀토니안 또는 유니터리 행렬의 고유값을 샘플링하는 것이 양자 컴퓨터로 해결할 수 있는 어떤 문제보다 어렵다는 것을 보여준다. 이러한 결과는 이러한 기본적인 선형 대수 문제들이 BQP에 대해 완전하다는 것을 입증하여, 이전의 존스 다항식 근사와 같은 문제들보다 더 깊이 있는 양자 계산의 난이도를 이해하는 데 기여한다.

ABSTRACT

A central problem in quantum computing is to identify computational tasks which can be solved substantially faster on a quantum computer than on any classical computer. By studying the hardest such tasks, known as BQP-complete problems, we deepen our understanding of the power and limitations of quantum computers. We present several BQP-complete problems, including Local Hamiltonian Eigenvalue Sampling and Phase Estimation Sampling. Different than the previous known BQP-complete problems (the Quadratically Signed Weight Enumerator problem [KL01] and the Approximation of Jones Polynomials [FKW02, FLW02, AJL06]), our problems are of a basic linear algebra nature and are closely related to the well-known quantum algorithm and quantum complexity theories.

연구 동기 및 목표

• 양자 선형 대수학에서 자연스럽고 기본적인 문제들 중 BQP-완전인 문제들을 특정하여, 양자 계산의 능력과 한계를 더 깊이 이해하는 데 기여하고자 한다.
• BQP-완전성의 개념을 위상 추정과 해밀토니안 시뮬레이션과 같은 잘 알려진 양자 프레임워크에 기반하여, 추상적인 양자 복잡도 클래스와 실제 양자 알고리즘 사이의 격차를 메우고자 한다.
• 최소 고유값을 근사하는 것보다 자연스러운 분포 하에서 고유값을 샘플링하는 것이 양자 회로의 전체 계산 능력을 포괄한다는 것을 보여주고자 한다.
• 양자 물리학과 양자 알고리즘 설계에서 고유값 관련 작업의 복잡도론적 기반을 마련하고자 한다.
• 이러한 문제들의 유도되지 않은 변형, 예를 들어 모든 계산 기저 상태에 대한 균일한 샘플링 등의 복잡도를 탐구하고자 한다.

제안 방법

• 계산 기저 상태의 고유상태에서의 제곱된 진폭에 따라 분포되는 고유값을 샘플링하는 국소 해밀토니안 고유값 샘플링(LHES) 문제를 정의한다.
• 주어진 상태와 해당 고유공간의 겹침을 가중치로 사용하여 유니터리 행렬의 고유값 위상의 샘플링을 수행하는 위상 추정 샘플링(PES) 문제를 정의한다.
• 기존의 BQP-완전 문제(예: 이차적 부호 가중치 추정기)를 양자 회로 시뮬레이션과 고유상태 준비를 통해 LHES와 PES로 감소시켜 BQP-난이도를 증명한다.
• 효율적인 양자 알고리즘을 구성하여 BQP에 속한다는 것을 입증한다: PES에 대해서는 위상 추정을, LHES에 대해서는 해밀토니안 시뮬레이션을 사용하며, 체르노프 유사정리와 유사한 농도 불등식을 통해 오차 범위를 제어한다.
• LUAE(Local Unitary Average Eigenvalue Estimation) 문제의 경우, SWAP 테스트를 적용하여 ⟨b|U|b⟩의 기댓값을 추정하며, 내적의 실수부와 허수부를 효율적으로 샘플링할 수 있도록 보장하는 보조정리를 활용한다.
• 분산 한계와 체르노프의 부등식을 사용하여, O(1/ε² log(1/δ))개의 샘플로 표본 평균이 진짜 평균 고유값과 ε 이내에 있을 확률가 최소 1−δ가 되도록 보장한다.

실험 결과

연구 질문

• RQ1 존재하는 추상적이거나 위상수학적 불변량(예: 존스 다항식)과 같은 문제들 외에, 자연스럽고 기본적인 선형 대수 문제들 중 BQP-완전인 것이 존재하는가?
• RQ2 특히 국소 해밀토니안 또는 유니터리 행렬의 고유값을 샘플링하는 문제들이 양자 계산의 전체 능력을 포괄할 수 있는가?
• RQ3 기존의 양자 알고리즘에 핵심적인 위상 추정 프레임워크가, PES의 완전성에 따라 모든 효율적인 양자 계산을 포함하는 본질적인 개념인가?
• RQ4 이러한 문제들의 유도되지 않은 변형, 예를 들어 모든 계산 기저 상태에 대한 균일한 샘플링의 복잡도는 어떠한가?
• RQ5 고도로 높은 거듭제곱(예: H^m, m이 다항식 크기)을 가진 유니터리 행렬의 평균 고유값은, 개별 행렬 원소가 쉽게 계산될 수 있음에도 불구하고 BQP-완전이 될 수 있는가?

주요 결과

• 국소 해밀토니안 고유값 샘플링(LHES) 문제는 국소 해밀토니안에 제한된 경우에도 BQP-완전이며, 자연스러운 분포 하에서 고유값 샘플링이 BQP 문제의 난이도와 동일하게 어렵다는 것을 보여준다.
• 위상 추정 샘플링(PES) 문제 역시 BQP-완전이며, 이는 위상 추정 프레임워크가 단지 도구가 아니라 양자 계산의 보편적 원리임을 시사한다.
• 국소 유니터리 평균 고유값 추정(LUAE) 문제는 BQP에 속하며, SWAP 테스트를 사용하여 ⟨b|U|b⟩를 ε 이내로 오차 확률 δ 이내로 추정할 수 있으며, 이에 필요한 샘플 수는 O(1/ε² log(1/δ))이다.
• 유도되지 않은 변형(예: 모든 기저 상태에 대한 균일한 샘플링)의 복잡도는 아직 미해결이지만, LUAE_u는 균일한 샘플링을 통해 트레이스를 계산할 수 있으므로 BQP에 속한다는 것이 입증되었다.
• 희박한 해밀토니안을 국소 해밀토니안 대신 사용해도 LHES의 완전성에 영향을 주지 않으며, 이는 희박한 해밀토니안의 효율적 시뮬레이션이 가능하기 때문이다.
• 결과적으로 고유값 샘플링 및 추정 작업은 물리적으로 관련이 있을 뿐 아니라 양자 복잡도 이론의 핵심적인 계산적 요소이기도 하다.