[논문 리뷰] Transversality versus Universality for Additive Quantum Codes

Bei Zeng, Andrew W. Cross외 1명|ArXiv.org|2007. 06. 11.

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

한 줄 요약

이 논문은 좌표 순열을 허용하더라도 $GF(4)$-additive 양자 코드에서 보편적인 전이 논리 게이트 집합을 갖는 경우가 없음을 증명한다. 이 결과는 안정자 코드에서 전이성과 보편성 간의 근본적인 불일치를 규명하며, $T$ 게이트와 같은 비클리포드 게이트가 고장 내성 보편성 구현을 위해 양자 텔레포테이션과 같은 추가적인 기본 연산이 필요하다는 것을 시사한다.

ABSTRACT

Certain quantum codes allow logic operations to be performed on the encoded data, such that a multitude of errors introduced by faulty gates can be corrected. An important class of such operations are {\em transversal}, acting bitwise between corresponding qubits in each code block, thus allowing error propagation to be carefully limited. If any quantum operation could be implemented using a set of such gates, the set would be {\em universal}; codes with such a universal, transversal gate set have been widely desired for efficient fault-tolerant quantum computation. We study the structure of GF(4)-additive quantum codes and prove that no universal set of transversal logic operations exists for these codes. This result strongly supports the idea that additional primitive operations, based for example on quantum teleportation, are necessary to achieve universal fault-tolerant computation on additive codes.

연구 동기 및 목표

• 어떤 $GF(4)$-additive 양자 코드도 전이 논리 게이트의 보편 집합을 지원할 수 있는지 여부를 규명하는 것.
• 전이성과 보편성 간의 상충관계가 안정자 코드에서 성립한다는 오랜 추측을 해결하는 것.
• 가환 양자 코드에서 전이 게이트의 구조와 클리포드 군과의 관계를 분석하는 것.
• 좌표 순열이나 코드 블록 변환을 통해 전이 게이트 집합에서 보편성을 달성할 수 있는지 조사하는 것.

제안 방법

• 모든 $GF(4)$-선형 코드의 자동형군이 클리포드 군에 포함됨을 보여주는 Rains의 결과를 활용한다.
• 다중 블록 설정에서 전이 게이트의 구조를 분석하기 위해 Van den Nest의 정리를 적용한다.
• $\mathcal{C}_k^{(1)}$ 계층을 사용하여 가능한 전이 게이트를 분류하고 그 각도의 가능성을 제약한다.
• 나누어떨어지는 고전적 코드(예: 리드-멀러 코드)를 분석하여 비클리포드 전이 게이트를 갖는 CSS 코드를 구성한다.
• $[[n,k,d]]$ 코드 형식을 활용하여 알려진 코드들(예: $[[15,1,3]]$ 및 $[[2^m-1,1,3]]$)을 통해 전이 게이트 집합을 분석한다.
• 어떤 보편적인 전이 게이트 집합이라도 클리포드 군 외부의 게이트가 필요하며, 이는 $GF(4)$-additive 코드에서 전이성으로는 실현될 수 없음을 보여주는 모순을 유도한다.

실험 결과

연구 질문

• RQ1 어떤 $GF(4)$-additive 양자 코드도 전이 논리 게이트의 보편 집합을 지원할 수 있는가?
• RQ2 좌표 순열을 허용하더라도 전이 게이트만으로 보편성을 달성할 수 있는가?
• RQ3 안정자 코드의 구조와 클리포드 군이 전이 게이트 집합에 미치는 제약 조건은 무엇인가?
• RQ4 나누어떨어지는 고전적 코드에서 유도된 CSS 코드의 어떤 가족이 비클리포드 전이 게이트를 지원하는가?
• RQ5 $\mathcal{C}_k^{(1)}$ 계층이 안정자 코드에서 전이 게이트 집합을 완전히 특성화할 수 있는가?

주요 결과

• 좌표 순열을 허용하더라도 어떤 $GF(4)$-additive 양자 코드도 전이 논리 게이트의 보편 집합을 지원하지 못한다.
• GF(4)-additive 코드에서의 전이 게이트는 클리포드 군 또는 클리포드 연산에 의해 쌍대화된 대각 게이트로 제한된다.
• $[[15,1,3]]$ 코드는 전이 $T$ 게이트를 지원하지만 전이 하다드 게이트가 없어 보편성이 달성되지 않는다.
• 자uncated Reed-Muller 코드에서 유도된 $[[2^m-1,1,3]]$ CSS 코드는 전이 $T_m = \operatorname{diag}(1, e^{i\pi/2^{m-2}})$ 게이트를 지원한다.
• $k$-논리 큐비트 코드에서 전이 게이트 위상의 후보 상한은 $\theta = \pi/2^{k+2}$이며, 이는 가능한 게이트의 계층을 시사한다.
• 이 결과는 보편성에 필수적인 비클리포드 게이트가 전이성 이외의 방법(예: 양자 텔레포테이션 또는 마법 상태 정련)을 통해 구현되어야 한다는 것을 의미한다.