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

Iris Cong, Zhenghan Wang|arXiv (Cornell University)|2017. 10. 19.

Quantum Computing Algorithms and Architecture참고 문헌 27인용 수 3

한 줄 요약

이 논문은 유한군인 $\mathbb{Z}_3$와 $S_3$에 대해 Dijkgraaf-Witten 위상적 양자장이론에서 고립 경계와 경계 결함을 사용하여 보편적인 위상적 양자 계산 프레임워크를 제안한다. 브레딩 연산과 일반화된 위상적 전하 측정을 조합함으로써 저자들은 양자 계산의 보편성을 달성하였으며, 이는 비아벨 anyon을 넘어서 경계 기반의 anyonic-유사 자유도를 포함하는 위상적 양자 계산의 범위를 확장한다.

ABSTRACT

We survey some recent work on topological quantum computation with gapped boundaries and boundary defects and list some open problems.

연구 동기 및 목표

• 비아贝尔 anyon을 넘어서 고립 경계와 경계 결함을 계산 자원으로 포함시켜 위상적 양자 계산을 확장하기.
• 유니터리 모듈라 카테고리에서 고립 경계를 사용하여 qudit을 인코딩하고 위상적으로 보호된 연산을 수행하는 체계적인 방법을 수립하기.
• $\mathfrak{D}(\mathbb{Z}_3)$에서 브레딩과 일반화된 위상적 전하 측정을 조합하여 양자 계산의 보편성을 입증하기.
• 유한군 모델을 초월하여 더 일반적인 TQFT에 대해 고립 경계의 해밀토니안 구조를 비자명한 코호몰로지류로 일반화하기.
• 위상적 상에서의 경계 결함과 영역벽의 계산 능력을 탐색하고, 특히 보편 게이트 세트에서의 역할을 분석하기.

제안 방법

• 서브군 $K \subseteq G$와 자명한 2-코호몰로지류 $\omega$로 표시되는 고립 경계를 가진 Dijkgraaf-Witten 이론 $\mathfrak{D}(G)$에 대해 수정되고 일반화된 국소적 동시 프rojector 해밀토니안을 구축하기.
• 이중 카테고리 $\mathcal{B} = \mathcal{Z}(\mathcal{C})$ 내의 라그랑주 대수 $\mathcal{A}$를 사용하여 안정적인 고립 경계를 분류하고, 이를 배경 anyon의 응축으로 모델링하기.
• 브레딩을 보완하는 계산 원리로 일반화된 위상적 전하 측정을 구현하여 $\mathfrak{D}(\mathbb{Z}_3)$에서 보편성을 달성하기.
• $\mathcal{C}$ 위의 분해 불가능한 모듈러 카테고리와 라그랑주 대수 간의 대응을 활용하여 고립 경계와 경계 결함을 라벨링하고 분류하기.
• 기존 키타에프 토릭 코드 모델을 경계 모서리에 국소 해밀토니안 항을 추가함으로써 고립 경계를 실현하는 경계 항을 포함하도록 확장하기.
• 접기 기법(folding trick)을 사용하여 고립 경계를 특수한 영역벽의 경우로 간주함으로써 경계와 결함 구조를 통합된 수학적·물리적 기술로 기술하기.

실험 결과

연구 질문

• RQ1 Dijkgraaf-Witten 이론에서 고립 경계와 경계 결함이 브레딩과 일반화된 전하 측정을 조합할 경우 보편적인 위상적 양자 계산을 지원할 수 있는가?
• RQ2 고립 경계의 해밀토니안 프레임워크를 비자명한 2-코호몰로지류 $\omega \in H^2(K, \mathbb{C}^\times)$와 더 일반적인 TQFT에 대해 어떻게 일반화할 수 있는가?
• RQ3 아벨 이론인 $\mathbb{Z}_2$ 토릭 코드에서 경계 결함의 계산 능력은 무엇이며, 보편적인 게이트 세트를 지원할 수 있는가?
• RQ4 아벨 이론에서 순수하게 위상적인 방식으로 전하 측정을 실현할 수 있는가? 이는 대칭 보호를 피하고 보편적인 위상적 게이트 세트를 가능하게 하는가?
• RQ5 $\mathfrak{D}(S_3)$에서 고립 영역벽과 경계 결함이 브레드 군 표현과 터널링 연산자를 통해 어떻게 보편적인 양자 계산을 지원하는가?

주요 결과

• $\mathfrak{D}(\mathbb{Z}_3)$에서 고립 경계의 브레딩과 일반화된 위상적 전하 측정을 조합함으로써 보편적인 양자 계산이 달성되었으며, 이는 브레딩만으로는 보편성이 확보되지 않는 한계를 극복한다.
• $\mathfrak{D}(G)$에서 고립 경계는 서브군 $K \subseteq G$와 자명한 2-코호몰로지류 $\omega$로 분류되며, 경계 anyon의 양자 차원 $d_{\mathcal{A}}$는 라그랑주 대수 $\mathcal{A}$에 해당한다.
• 브레딩만으로는 보편성을 달성할 수 없는 경우, 특히 약한 정수 차원을 가진 anyon 이론에서 일반화된 위상적 전하 측정이 보편성을 달성하기 위해 필수적이고 충분한 계산 원리임을 입증하였다.
• $\mathfrak{D}(G)$에서 고립 경계에 대한 수정된 해밀토니안 구조는 키타에프의 원래 토릭 코드 모델을 경계 항을 포함하도록 확장하여 위상적 디지너레이션의 안정성을 보장한다.
• $\mathfrak{D}(S_3)$에서 경계 결함은 비유니터리 터널링 연산자를 지니며 완전한 브레드 군 표현을 제공하므로, 비아벨 이론에서 보편적인 양자 계산의 잠재력을 시사한다.
• 경계 결함에 대해 qudit을 인코딩하고 위상적으로 보호된 연산을 수행하는 체계적인 프레임워크를 제안하였으며, 이는 분할 양자 홀 체계에 초전도체 결합을 통해 물리적 실현이 가능할 것으로 기대된다.