[논문 리뷰] Local unitary representations of the braid group and their applications to quantum computing

Colleen Delaney, Eric C. Rowell외 1명|arXiv (Cornell University)|2016. 04. 21.

Algebraic structures and combinatorial models참고 문헌 17인용 수 4

한 줄 요약

이 논문은 존스 다항식을 통한 유니타리 브레이드 군 표현에 대한 초보자 수준의 소개를 제공하며, 위상적 양자 계산에서의 그 역할을 규명한다. 뿌리 단위에서의 존스 표현(단, r = 1,2,3,4,6 제외)이 보편적 양자 계산을 가능하게 하고, 존스 다항식의 효율적인 양자 근사가 가능함을 보여주며, 수준 k=1,2,4에서의 명시적 국소화가 물리적 실현에 핵심적임을 입증한다.

ABSTRACT

We provide an elementary introduction to topological quantum computation based on the Jones representation of the braid group. We first cover the Burau representation and Alexander polynomial. Then we discuss the Jones representation and Jones polynomial and their application to anyonic quantum computation. Finally we outline the approximation of the Jones polynomial and explicit localizations of braid group representations.

연구 동기 및 목표

• 브레이드 군 표현을 이용한 위상적 양자 계산의 수학적 기초에 대한 접근 가능한 소개를 제공한다.
• 브레이드 군의 존스 표현과 위상적 물질의 anyonic 양자 계산 간의 연결 고리를 확립한다.
• q = e^{±2πi/r} (r ≠ 1,2,3,4,6)일 때 존스 표현이 보편적 양자 계산을 가능하게 함을 보여준다.
• 존스 다항식은 고전적으로 #P-난이도이지만, 양자 컴퓨터를 통한 효율적 근사가 가능함을 보여준다.
• 물리적 실현에 핵심적인 수준 k=1,2,4에서의 브레이드 군 표현의 명시적 국소화를 제공한다.

제안 방법

• 템퍼리-라이브-존스 이론과 바일-바나흐 대수를 기반으로 유니타리 표현으로 유도된 브레이드 군의 존스 표현을 사용한다.
• 고전적 사전 모델로 부르앙 표현을 적용하여 양자 케이스를 유도하며, 애크서랜더 다항식과 연결한다.
• 유니타리 모듈러 카테고리(UMCs)와 위상적 양자 장 이론(TQFT)을 활용하여 anyon과 브레이딩의 수학적 구조를 체계화한다.
• 특정 융합 규칙과 브라텔리 다이어그램을 사용하여, 카테고리적 모델을 통해 수준 k=2 및 k=4에서 존스 표현의 명시적 국소화를 구성한다.
• 카테고리 내의 호모모르피즘 공간을 통해 TLJ_n(A)의 기약 표현의 차원 공식을 유도하며, 양자 차원과 단위근을 사용한다.
• 카테고리 내에서 브레이딩 연산자 c_{X,X}를 사용하여 anyonic anyon의 텐서곱에 대한 브레이드 생성자의 작용을 정의한다.

실험 결과

연구 질문

• RQ1 뿌리 단위에서의 존스 표현이 보편적 양자 컴퓨터를 구성하는 데 사용될 수 있는가?
• RQ2 고전적으로 계산하기가 #P-난이도인 존스 다항식이 양자 컴퓨터를 통해 효율적으로 근사 가능한가?
• RQ3 존스 표현이 물리적이고 유한 차원의 양자 시스템으로 국소화될 수 있는 조건은 무엇인가?
• RQ4 UMCs의 anyon 융합 규칙과 양자 차원이 브레이드 군 표현의 구조에 어떻게 영향을 주는가?
• RQ5 수준 k가 어느 경우에 존스 표현이 국소적으로 실현 가능한가? 이는 보편성과 어떻게 관련되는가?

주요 결과

• r ≠ 1,2,3,4,6일 때 q = e^{±2πi/r}에서의 존스 표현은 정리 1.1에 따라 보편적 양자 계산 모델을 제공한다.
• 모든 정수 r ≥ 1에 대해 존스 다항식은 다항 시간 내에 양자 컴퓨터를 통해 효율적으로 근사 가능하며, 이는 정리 1.2에 따른다.
• 수준 k=1,2,4에서 존스 표현의 명시적 국소화가 달성되었으며, 이소 이론(k=2)과 랭크-5 카테고리(k=4)가 구체적인 모델을 제공한다.
• 홀수 n에 대해 Hom(X, X^{igotimes n})의 차원은 (3^{(n-1)/2} + 1)/2이며, X'에 대해서는 (3^{(n-1)/2} - 1)/2이며, 이는 지수적 증가를 보여준다.
• 존스 표현은 정확히 k ∈ {1,2,4}일 때에만 국소화 가능하며, 보편성은 표현이 국소화 가능하지 않을 때에만 성립한다.
• 수준 k=4에서 주어진 행렬 R은 9차원 공간에서 브레이드 군 표현의 완전한 명시적 국소화를 제공한다.