[논문 리뷰] Quantum Complexity: restrictions on algorithms and architectures

D. J. Shepherd|arXiv (Cornell University)|2010. 05. 09.

Quantum Computing Algorithms and Architecture참고 문헌 63인용 수 7

한 줄 요약

이 박사학위논문은 최소 제어를 갖는 모델—예를 들어 일차원 양자 세포자동자와 끝점만 접근 가능한 스핀 체인—에서 양자 알고리즘과 아키텍처의 근본적 한계와 설계 원칙을 조사한다. 이러한 제약 조건 하에서 효율적인 보편 양자 계산이 가능함을 보이며, IQP 오라클 모델을 도입하여 시간적 순서가 없는 양자 계산조차도 일정 깊이의 회로를 통해 BQP 능력을 달성할 수 있음을 보여준다. 이는 양자 우월성 테스트 및 고전적 시뮬레이션 한계에 대한 함의를 지닌다.

ABSTRACT

A dissertation submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy (PhD) in the Faculty of Engineering, Department of Computer Science, July 2009.

연구 동기 및 목표

• 공간적 또는 운영적 제약 조건이 있는 아키텍처에서 보편 양자 계산을 달성하기 위한 최소 제어 요구 조건을 조사한다.
• ‘한 개의 청정 큐비트’ 모델의 계산 능력과 그 복잡도 클래스, 특히 ⊕L 및 P와의 관계를 탐구한다.
• 시간적 깊이 없이 양자 우월성을 연구할 수 있는 프레임워크로 IQP(Instantaneous Quantum Polynomial) 오라클 모델을 개발하고 분석한다.
• 제한된 계산 깊이를 갖는 양자 장치를 테스트하기 위한 실용적 프로토콜을 제안하며, 양자 특화 복잡도를 활용한다.
• 시간적 구조가 없는 상황에서 고전적 시뮬레이션 가능성을 고려하여 양자 분포의 본질적 특성을 분석한다.

제안 방법

• 국소적이고 노이즈 없는 게이트를 갖는 일차원 양자 세포자동자를 사용하여 효율적인 보편 양자 계산 프레임워크를 구축한다.
• 단 한쪽 끝점만 접근 가능한 스핀 체인 아키텍처를 설계하여, 제한된 제어 하에서 유니터리 진화를 통한 보편성 증명을 한다.
• 클리포드-대각선 계층 기반의 IQP 오라클 모델을 도입하여 순차적 게이트 순서 없이도 계산이 가능하도록 한다.
• Shor의 알고리즘을 기저 보존 게이트와 하다드 기저 초기화/독출만을 사용하여 재구성하여 구조적 단순성을 부각시킨다.
• 매트로이드 불변량을 활용하여 IQP 분포의 고전적 시뮬레이션을 분석하고, 양자 분포(X)에 대한 고전적 근사값(Y)을 제안한다.
• 후선택 기법을 활용하여, θ = π/8인 일정 행동 X-프로그램이 시간적 구조 없이도 BQP 능력을 달성할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 공간적으로 제약된 시스템에서 보편 양자 계산을 달성하기 위해 필요한 최소 제어 구조는 무엇인가?
• RQ2 시간적 깊이가 없는 IQP 모델이 여전히 보편 양자 계산 능력을 달성할 수 있는가?
• RQ3 ‘한 개의 청정 큐비트’ 모델과 ⊕L 및 P와 같은 고전 복잡도 클래스 간의 관계는 무엇인가?
• RQ4 IQP 회로에서 유도된 양자 분포는 어느 정도까지 고전적으로 시뮬레이션 가능하며, 어떤 양자 우월성이 유지되는가?
• RQ5 통신 없이 다자 간 상호작용 없이도 비트리브 양자 작업을 수행할 수 있는가?

주요 결과

• ‘한 개의 청정 큐비트’ 모델은 복잡도 클래스 ⊕L을 포함하며, 특정 오라클에 대해 P와 비교할 수 없다.
• 국소적이고 노이즈 없는 게이트를 갖는 일차원 양자 세포자동기를 사용하여 보편 양자 계산 프레임워크를 실현하였다.
• 끝점만 제어 가능한 스핀 체인 아키텍처는 유니터리 진화를 통해 보편 양자 계산을 지원하며, 최소 제어의 충분성을 입증하였다.
• θ = π/8인 일정 행동과 후선택을 갖는 IQP 회로는 시간적 구조 없이도 BQP 계산 능력을 달성한다.
• 매개변수 Y를 통한 IQP 분포의 고전적 근사는 모든 국소적 매트로이드 정보를 포괄하므로, 다항 시간 고전적 시뮬레이션에서 渐近적으로 최적임을 시사한다.
• θ = π/8에서 평균적으로 고려할 경우 다항 시간 제약 하에 IQP에 대한 고전적 시뮬레이션 전략으로서 Y를 도출하는 방법이 가장 우수한 것으로 추측된다.