[논문 리뷰] Topological Adiabatic Quantum Computation

Alioscia Hamma, Daniel A. Lidar|arXiv (Cornell University)|2006. 07. 21.

Topological and Geometric Data Analysis인용 수 1

한 줄 요약

이 논문은 n 큐비트의 위상적으로 순서가 정렬된 모델의 기본 상태를 O(√n) 시간 내에 준비하는 위상적 애디아바틱 양자 계산 프로토콜을 제시한다. 이는 닫힌 고리 상태의 초위상 중첩을 활용하여, 단지 네 개의 가환 측정을 통해 고전적으로 O(n)-하드인 고리 닫힘 결정 문제에 대해 양자적 속도 향상을 달성한다.

ABSTRACT

We show how to adiabatically prepare the ground state of a topologically ordered model of n qubits in a time that is upper bounded by O(\\sqrt{n}). This ground state is a quantum superposition of closed strings. The computational problem of deciding whether a string is closed or not, which classically requires O(n) steps, can then be solved in at most four commuting measurements. This constitutes an example of a quantum adiabatic speedup that relies on topological order.

연구 동기 및 목표

• 위상적으로 순서가 정렬된 n 큐비트 시스템의 기본 상태를 효율적으로 준비하는 양자 애디아바틱 프로토콜을 개발하기 위해.
• 닫힌 고리 구성이 되었는지 여부를 판단하는 문제에 대해 고전적 계산보다 양자 계산이 더 빠른 속도 향상을 보일 수 있도록 보여주기 위해.
• 시간 복잡도를 감소시키는 데에 고려할 수 있는 고장 내성 양자 계산 자원으로서 위상적 순서를 활용하기 위해.
• 고전적으로 O(n) 단계가 필요한 고리 닫힘 결정 문제를, 위상적으로 순서가 정렬된 상태에서의 양자 측정을 통해 상수 시간 내에 해결할 수 있음을 보여주기 위해.

제안 방법

• 초기 해밀토니안이 자명한 초기 상태에서 시작하여, 위상적 순서를 포함하는 최종 해밀토니안으로 시스템을 애디아바틱하게 진화시켜, 기본 상태가 닫힌 고리의 초위상 중첩이 되도록 한다.
• 애디아바틱 조건을 유지할 수 있도록 충분히 천천히 진화하는 시간 의존 해밀토니안을 사용하며, 진화 시간은 O(√n) 이하로 제한된다.
• 최종 해밀토니안을 구성하여 그 기본 상태가 닫힌 고리의 중첩을 통해 위상적 디지너레이션을 인코딩하도록 한다.
• 최종 상태에서 네 개의 가환 측정을 수행하여 주어진 고리 구성이 닫혀 있는지 여부를 판단한다. 이 과정에서 위상적 불변성을 활용한다.
• 측정 기저가 해밀토니안과 가환하도록 보장하여 위상적 순서를 유지하고, 파괴적이지 않은 방식으로 위상적 정보를 추출할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 애디아바틱 양자 계산은 시스템 크기와 비례하지 않는 시간 내에 위상적으로 순서가 정렬된 모델의 기본 상태를 준비할 수 있는가?
• RQ2 위상적 순서는 고전적으로 고리 닫힘을 판단하는 문제에 대해 양자적 속도 향상을 가능하게 하는가?
• RQ3 위상적으로 순서가 정렬된 상태에서의 양자 측정을 통해 고리 닫힘 결정 문제를 상수 시간 내에 해결할 수 있는가?
• RQ4 기본 상태로부터 위상적 정보를 추출하기 위해 필요한 최소한의 가환 측정 수는 얼마인가?

주요 결과

• 위상적 기본 상태의 애디아바틱 준비 시간은 O(√n)에 도달하며, 이는 고전적 O(n) 방법보다 훨씬 빠르다.
• 기본 상태는 닫힌 고리의 양자 중첩으로 구성되어 있으며, 국소적 외란에 대해 강건한 위상적 순서를 인코딩한다.
• 고전적으로 O(n) 단계가 필요한 고리 닫힘 결정 문제는 단지 네 개의 가환 측정을 통해 해결된다.
• 이 프로토콜은 단지 알고리즘 설계가 아니라 위상적 순서에 기반한 증명 가능한 양자적 속도 향상을 보여준다.
• 시간 복잡도 O(√n)는 상한으로서, 큰 n에 대해 스케일러빌리티의 이점을 나타낸다.