[논문 리뷰] Mathematics of Topological Quantum Computing

Eric C. Rowell, Zhenghan Wang|arXiv (Cornell University)|2017. 05. 17.

Quantum Computing Algorithms and Architecture인용 수 3

한 줄 요약

이 논문은 위상적 양자 컴퓨팅(TQC)의 수학적 기초를 조사하며, 유니터리 모듈라 카테고리, (2+1)-TQFT, 위상적 양자상태를 연결한다. 비아벨 anyon 이론에서 위상적 불변량을 통해 고장에 강건한 양자 계산이 가능하다는 것을 보이며, 주요 결과로는 존슨 다항식 평가와 양자 복잡도 간의 관계, (3+1)-TQFT 및 루프 브레인 그룹에 대한 추측이 포함되어 있다.

ABSTRACT

In topological quantum computing, information is encoded in "knotted" quantum states of topological phases of matter, thus being locked into topology to prevent decay. Topological precision has been confirmed in quantum Hall liquids by experiments to an accuracy of $10^{-10}$, and harnessed to stabilize quantum memory. In this survey, we discuss the conceptual development of this interdisciplinary field at the juncture of mathematics, physics and computer science. Our focus is on computing and physical motivations, basic mathematical notions and results, open problems and future directions related to and/or inspired by topological quantum computing.

연구 동기 및 목표

• 위상적 양자 컴퓨팅의 수학적 구조, 특히 유니터리 모듈라 카테고리와 (2+1)-TQFT를 통합하고 명확히 하기.
• 비아벨 anyon 시스템에서의 지구 상태 비탄성도와 같은 위상적 양자상태의 위상 불변량이 고장에 강건한 양자 계산을 가능하게 하는 방식을 설명하기.
• 특히 존슨 다항식 평가와 #P-난이도 간의 연결을 통해 위상적 양자장 이론의 계산 능력을 탐색하기.
• 미해결 문제와 향후 방향, 특히 (3+1)-TQFT, 루프 브레인 그룹, 유니터리 모듈라 카테고리로부터 유도된 conformal field theory의 실현 가능성 제안하기.
• TQC가 기초 수학에 미치는 영향을 조사하기, 복잡도 클래스를 공리로 삼고 양자 논리에 대한 통찰 제공하기.

제안 방법

• 아이언 시스템을 유니터리 모듈라 카테고리(UMC)로 모델링하여 anyon의 융합 및 끈 교환 규칙을 포함한다.
• 유니터리 (2+1)-TQFT와 UMC 간의 동치성을 확립하여, 카테고리 이론적 구조를 통해 위상 불변량을 계산할 수 있도록 한다.
• 단위근에서 존슨 다항식을 평가하는 복잡도를 분석하여, r ≠ 1,2,3,4,6일 때 #P-난이도임을 보였다.
• G-교환 브레인드 융합 카테고리에서 유도된 상태 합 구성법을 사용하여 (3+1)-TQFT를 구축하고, 위상적 양자상태에서 격자 실현을 제공한다.
• 특히 3차원 다양체에서의 운동군 표현, 특히 루프 브레인 그룹 LBₙ을 연구하여 2차원 TQC에서 브레인드 그룹의 일반화를 다룬다.
• 유니터리 (3+1)-TQFT가 호모토피 불변량을 유도하며, 높은 호모토피 유형을 통해 Dijkgraaf-Witten TQFT를 일반화할 수 있다는 추측을 제기한다.

실험 결과

연구 질문

• RQ1 유니터리 모듈라 카테고리와 (2+1)-TQFT는 위상적 양자 컴퓨팅을 모델링하고 고장에 강건한 성질을 보장하기 위해 어떻게 활용될 수 있는가?
• RQ2 단위근에서 존슨 다항식을 평가하는 복잡도는 무엇이며, 이는 양자 우월성과 어떻게 관련되는가?
• RQ3 (3+1)-TQFT는 구형 2-융합 카테고리 또는 G-교환 브레인드 융합 카테고리로부터 구성될 수 있는가? 그 물리적 및 위상적 의미는 무엇인가?
• RQ4 3차원 위상적 양자상태에서 루프 브레인 그룹의 표현은 2차원 TQC에서의 브레인드 그룹 표현을 어떻게 일반화하는가?
• RQ5 유니터리 (3+1)-TQFT의 분할 함수는 호모토피 불변량이 될 수 있으며, Dijkgraaf-Witten TQFT를 일반화하는가?

주요 결과

• r ≠ 1,2,3,4,6일 때 q = e²πi/r에서 존슨 다항식 평가는 #P-난이도이며, 위상 불변량과 양자 계산 복잡도 간의 기초적 연결 고리를 제공한다.
• 유니터리 (2+1)-TQFT와 유니터리 모듈라 카테고리는 카테고리 이론적으로 동치이며, 위상적 양자상태를 모델링하기 위한 이중적인 수학적 프레임워크를 제공한다.
• 비아벨 anyon이 존재하는 위상적 양자상태—예를 들어 분수 양자 홀 액체에서—위상적 비탄성도를 지닌다. 이는 실험적으로 10⁻¹⁰의 정밀도로 검증된 위상적 양자 메모리 구현을 가능하게 한다.
• 루프 브레인 그룹 LBₙ은 3차원에서 고리의 뛰어넘기 및 교환 이동으로 생성되며, 브레인드 그룹의 일반화로서 3차원 TQC에서 새로운 종류의 표현을 제공한다.
• 추측: 유니터리 (3+1)-TQFT의 분할 함수는 호모토피 불변량이며, 부드러운 4차원 다양체 분류와 더 깊은 연결 고리를 지닌다.
• 위상적 비틀림 지수(모듈로 1)의 일관된 상향 변환은 주어진 종수에서 해당 유니터리 이형 CFT를 결정할 수 있으며, 이는 UMC와 VOAs 간의 연결 고리를 제공한다.