[논문 리뷰] A modular functor which is universal for quantum computation

Michael Freedman, Michael Larsen외 1명|ArXiv.org|2000. 01. 29.

Quantum Computing Algorithms and Architecture인용 수 104

한 줄 요약

이 논문은 5제곱근 단위에서 SU(2) 위튼-체른-시몬스 위상적 모듈라 함수(functor)가 양자 계산에 대한 보편 모델임을 입증한다. 큐비트 상태를 함수의 상태 공간에 통합하고 브레인 군 작용을 통해 유니터리 게이트를 구현함으로써, 저자들은 어떤 양자 회로도 효율적으로 근사할 수 있음을 보이며, 위상적 모델과 표준 양자 회로 모델 간의 다항식 등가성을 확립한다.

ABSTRACT

We show that the topological modular functor from Witten-Chern-Simons theory is universal for quantum computation in the sense a quantum circuit computation can be efficiently approximated by an intertwining action of a braid on the functor's state space. A computational model based on Chern-Simons theory at a fifth root of unity is defined and shown to be polynomially equivalent to the quantum circuit model. The chief technical advance: the density of the irreducible sectors of the Jones representation, have topological implications which will be considered elsewhere.

연구 동기 및 목표

• 제5근 단위에서 SU(2) 체른-시몬스 이론에 기반한 위상적 양자 장 이론이 양자 계산에 대해 보편적임을 입증하는 것.
• 모듈라 함수 상태 공간에서 브레인 군 작용이 어떤 양자 회로 연산도 효율적으로 근사할 수 있음을 보여주는 것.
• 큐비트를 고차원 위상적 상태 공간에 통합하고 '큐비트 산산조각 내림' 오류를 관리함으로써 고장 내성 문제를 해결하는 것.
• q = e^{2πi/5}에서의 조너 표현이 SU(2)에 조밀함을 증명함으로써, 브레인 생성자들을 통한 보편 게이트 세트 실현 가능성 확보.
• 위상적 모델(CS5)과 표준 양자 회로 모델 간의 다항식 등가성을 입증하는 것.

제안 방법

• q = e^{2πi/5}에서 SU(2) 위튼-체른-시몬스 이론으로부터 표면에 표시된 점들을 가진 conformal blocks를 사용해 위상적 모듈라 함수(TMF)를 구성한다.
• 고정된 포함 사상 i를 통해 k-큐비트 힐베르트 공간 S_k = (C^2)^⊗k를 TMF의 상태 공간 V(D², 3k)에 통합한다.
• V(D², 3k)에서 브레인 군 B(3k)의 작용을 이용해 임베딩된 큐비트 공간에서의 유니터리 연산을 실현하며, 관계 i∘U = V(b)∘i를 활용한다.
• 세 줄의 브레인에 작용하는 브레인 군 생성자로서 단일 및 이중 큐비트 게이트를 실현하기 위해 q = e^{2πi/5}에서의 조너 표현을 활용한다.
• 슈어의 보조정리와 고유값 분석을 적용해, 유도된 브레인 군 이미지의 작용이 SU(5) 또는 SU(8)에서 기약적이고 조밀하게 이루어지며, 보편성을 보장함을 보인다.
• 고유값 및 중복도 제약 조건을 통해 모든 다른 가능한 리 군 실현(예: SU(2), Sp(4), SU(3))를 배제함으로써, 브레인 군 표현의 이미지가 SU(2)에 조밀함을 증명한다.

실험 결과

연구 질문

• RQ1 SU(2) 체른-시몬스 이론이 제5근 단위에서 브레인 군 작용을 통해 상태 공간에서 어떤 양자 회로 연산도 실현할 수 있는가?
• RQ2 q = e^{2πi/5}에서의 조너 표현이 SU(2)에 조밀한가? 이는 보편적 양자 계산을 가능하게 하는가?
• RQ3 큐비트 상태는 위상적 상태 공간에 어떻게 통합되어야 하며, 분해 및 '큐비트 산산조각 내림' 오류를 최소화할 수 있는가?
• RQ4 모듈라 함수가 양자 계산에 대해 보편적이 되기 위한 대수적 및 위상적 조건은 무엇인가?
• RQ5 브레인 군 표현과 위상적 모델에서의 보편 게이트 세트 사이의 정확한 관계는 무엇인가?

주요 결과

• q = e^{2πi/5}에서의 SU(2) 체른-시몬스 이론은 브레인 군 작용을 통해 k 큐비트의 어떤 유니터리 연산도 효율적으로 근사할 수 있는 모듈라 함수를 제공한다.
• 상태 공간에서 브레인 군 표현의 이미지는 SU(2)에 조밀하며, 이는 양자 보편성에 필수적이고 충분한 조건이다.
• 브레인 군 이미지의 유도된 군은 상태 공간에서 기약적이고 충실하게 작용하며, 5차원의 경우 SU(5)로, 8차원의 경우 SU(8)로 이미지가 나타난다.
• 고유값 및 중복도 분석을 통해 모든 다른 가능한 리 군(예: SU(2), Sp(4), SU(3))가 이미지의 실현으로서 배제되며, 유일한 가능성으로 SU(5)와 SU(8)만 남는다.
• q = e^{2πi/5}에서 SU(2)의 5차원 기약 표현은 비율이 ±1이 아닌 두 개의 고유값을 가지며, 이는 보편 게이트 생성에 필수적이다.
• 위상적 모델 CS5는 표준 양자 회로 모델과 다항식 등가이며, 계산 복잡도 측면에서 보편성을 확립한다.