[논문 리뷰] Topological Quantum Computation with Gapped Boundaries

Iris Cong, Meng Cheng외 1명|arXiv (Cornell University)|2016. 09. 07.

Quantum Computing Algorithms and Architecture참고 문헌 54인용 수 25

한 줄 요약

이 논문은 Dijkgraaf-Witten 양자장 이론에서의 고립 경계를 이용한 위상적 양자 계산 프레임워크를 개발한다. 이는 수정된 Kitaev 양자 듀얼 모델을 통해 실현되며, 해밀토니안 구성과 카테고리 대수 사이의 대응을 확립한다. 고립 경계는 보편적 양자 계산을 가능하게 하며, 특히 $\mathfrak{D}(\mathbb{Z}_3)$ 이론이 위상적으로 보호된 작동을 통해 히드라드 게이트 $H_3$, 파울리-X 게이트 $\sigma^x_3$, SUM 게이트 $\text{SUM}_3$, 그리고 위상 게이트 $Q_3 = \mathrm{diag}(1,1,\omega)$를 포함하는 보편 게이트 세트를 지원함을 보여준다.

ABSTRACT

This paper studies fault-tolerant quantum computation with gapped boundaries. We first introduce gapped boundaries of Kitaev's quantum double models for Dijkgraaf-Witten theories using their Hamiltonian realizations. We classify the elementary excitations on the boundary, and systematically describe the bulk-to-boundary condensation procedure. We also provide a commuting Hamiltonian to realize defects between boundaries in any quantum double model. Next, we present the algebraic/categorical structure of gapped boundaries and boundary defects, which will be used to describe topologically protected operations and obtain quantum gates. To demonstrate a potential physical realization, we provide quantum circuits for surface codes that can perform all basic operations on gapped boundaries. Finally, we show how gapped boundaries of the abelian theory $\mathfrak{D}(\mathbb{Z}_3)$ can be used to perform universal quantum computation.

연구 동기 및 목표

• Dijkgraaf-Witten 이론의 Kitaev 양자 듀얼 모델에서 고립 경계를 해밀토니안으로 실현하기 위해 노력한다.
• 바깥쪽에서 경계로의 응집을 통해 고립 경계 상의 기본 입자 및 응집 과정을 분류한다.
• 아이소닉 시스템에서 서로 다른 경계 유형 간의 결함에 대해 가환 해밀토니안을 구성한다.
• 라그랑주 대수와 M-기호를 사용하여 위상적 순서 및 경계 결함 융합을 기술하는 대수적 프레임워크를 수립한다.
• 표면 코드 실현 방식을 통해 물리적으로 실행 가능한 위상적 작동 및 보편적 양자 계산을 보여준다.

제안 방법

• 고립 경계를 수정된 Kitaev 양자 듀얼 해밀토니안을 통해 구성하며, 위상적 순서를 유지하는 경계 항을 포함한다.
• 리본 연산자와 삼각형 연산자를 정의하여 경계에서 anyon 생성, 끈적임, 응집을 기술한다.
• 모듈러 텐서 카테고리에서의 라그랑주 대수를 사용하여 경계 상의 상태 및 응집 채널을 분류한다.
• 경계 anyon 및 결함의 융합 및 끈적임 규칙을 기술하기 위해 M-기호(3j 및 6j)를 도입한다.
• 표면 코드를 위한 양자 회로를 설계하여 고립 경계에서의 터널링, 루프, 끈적임 작동을 실현한다.
• 표면 코드 아키텍처에서 스태빌라이저 회로를 통해 위상적 작동을 물리적 양자 게이트로 매핑한다.

실험 결과

연구 질문

• RQ1 Dijkgraaf-Witten TQFT에서의 고립 경계는 정확히 해석 가능한 해밀토니안 모델에서 어떻게 실현될 수 있는가?
• RQ2 카테고리 이론과 라그랑주 대수의 관점에서 고립 경계 및 경계 결함의 대수적 구조는 무엇인가?
• RQ3 끈적임, 터널링, 전하 측정과 같은 위상적으로 보호된 작동은 표면 코드에서 물리적으로 실행 가능할 수 있는가?
• RQ4 고립 경계의 계산 능력은 무엇이며, 보편적 양자 계산을 지원할 수 있는가?
• RQ5 서로 다른 경계 유형 간의 결함는 융합 및 끈적임에서 어떻게 행동하며, 양자 게이트 실현에서 어떤 역할을 하는가?

주요 결과

• 고립 경계는 $\mathfrak{D}(\mathbb{Z}_3)$ 이론에서 보편적인 양자 게이트 세트를 지원하며, 이는 히드라드 게이트 $H_3$, 일반화된 파울리-X 게이트 $\sigma^x_3$, SUM 게이트 $\text{SUM}_3$, 그리고 위상 게이트 $Q_3 = \mathrm{diag}(1,1,\omega)$를 포함한다. 이는 보편적 양자 계산을 가능하게 한다.
• $\mathfrak{D}(S_3)$ 이론은 큐비트 및 큐튜릿 인코딩을 모두 지원하며, 비클리프포트 게이트를 실현하는 위상적으로 보호된 작동을 제공함으로써 큐비트 전용 anyonic 모델을 초월한 강력한 계산 능력을 나타낸다.
• 논문은 서로 다른 경계 유형 간의 결함에 대해 가환 해밀토니안을 구성하였으며, 이러한 결함가 비트리비어 융합 및 끈적임 통계를 지닌 anyonic 진동자를 지닌다는 것을 보여준다.
• 경계 진동자는 봉우리에서 경계로의 응집에서 기인하며, 그 anyonic 성분은 라그랑주 대수를 통해 분류되며, 지배 상태의 degeneracy는 응집 채널의 수에 의해 결정된다.
• 표면 코드 실현 방식에서 고립 경계는 스태빌라이저 회로를 통해 초기화, 측정, 이동이 가능하여 터널링 및 루프 연산자의 물리적 실현이 가능하다.
• M-기호(3j 및 6j)는 경계 anyon의 융합 및 끈적임을 완전한 대수적 기술로 제공하며, anyonic 통계에서 위상적 양자 게이트를 구성할 수 있게 한다.