[논문 리뷰] Encoding Subsystem Codes

Pradeep Kiran Sarvepalli, Andreas Klappenecker|ArXiv.org|2008. 06. 30.

Quantum Computing Algorithms and Architecture참고 문헌 9인용 수 4

한 줄 요약

이 논문은 하위시스템 코드의 인코딩을 관련된 정규화된 정규화 코드로 환원함으로써, 기존의 정규화 코드 기법을 활용하여 인코딩을 수행할 수 있음을 보여준다. 게이지 큐비트를 활용하고 표준형 또는 켤레 변환 방법을 사용함으로써, 저자들은 인코딩 복잡도를 최소화할 수 있음을 보이며, 특히 게이지 큐비트를 0으로 초기화함으로써 체계적이고 효율적인 인코딩 방법을 제시한다. 이는 정규화 코드, 노이즈 없는 하위시스템, 그리고 탈진하중 하위공간을 모두 포함하는 접근법이다.

ABSTRACT

In this paper we investigate the encoding of operator quantum error correcting codes i.e. subsystem codes. We show that encoding of subsystem codes can be reduced to encoding of a related stabilizer code making it possible to use all the known results on encoding of stabilizer codes. Along the way we also show how Clifford codes can be encoded. We also show that gauge qubits can be exploited to reduce the encoding complexity.

연구 동기 및 목표

• 기존의 정규화 코드 인코딩 기법을 활용하여 하위시스템 코드 인코딩을 체계적으로 수행할 수 있는 방법을 확립하는 것.
• 하위시스템 코드 인코딩이 관련된 정규화 코드 인코딩으로 환원될 수 있음을 보이는 것.
• 게이지 큐비트를 활용하여 인코딩 회로의 복잡도를 최소화하는 방법을 탐색하는 것.
• 표준형과 켤레 변환 방법 간의 비교를 중심으로 초기화 및 회로 오버헤드에 초점을 맞춘다.

제안 방법

• 논문은 정규화 행렬의 표준형을 기반으로 한 매핑을 통해 하위시스템 코드 인코딩을 관련된 정규화 코드 인코딩으로 환원한다.
• 정규화 행렬의 표준형을 사용하여 인코딩된 논리적 연산자를 유도함으로써 체계적인 회로 설계를 가능하게 한다.
• 임의의 초기화를 허용하기 위해 켤레 변환 방법을 적용하지만, 이는 더 높은 복잡도를 수반한다.
• 저자들은 표준형 방법의 두 가지 변형을 분석한다: 하나는 게이지 큐비트를 0으로 초기화해야 하고, 다른 하나는 임의의 초기화를 허용한다.
• 주요 생성자(행렬에 X 또는 Y 연산자가 포함된 것들)가 인코딩 회로의 주요 복잡도를 결정함을 보여준다.
• 게이지 큐비트에 대한 인코딩된 연산자를 생략할 수 있다는 사실을 활용함으로써, 회로 깊이와 게이트 수를 감소시킬 수 있다.

실험 결과

연구 질문

• RQ1 하위시스템 코드 인코딩을 정규화 코드 인코딩 기법으로 환원할 수 있는가?
• RQ2 게이지 큐비트를 어떻게 활용하여 인코딩 회로의 복잡도를 최소화할 수 있는가?
• RQ3 회로 복잡도 측면에서 게이지 큐비트를 0으로 초기화하는 것과 임의의 상태로 초기화하는 것 사이의 상호 교환 조건은 무엇인가?
• RQ4 표준형 방법과 켤레 변환 방법은 하위시스템 코드 인코딩에서 어떻게 비교되는가?
• RQ5 주요 생성자가 인코딩 복잡도를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 하위시스템 코드의 인코딩은 관련된 정규화 코드의 인코딩으로 환원될 수 있으며, 이로써 모든 기존의 정규화 코드 인코딩 기법을 활용할 수 있다.
• 게이지 큐비트를 0으로 초기화하면, 게이지 큐비트에 대한 연산을 생략할 수 있어 더 단순한 인코딩 회로를 얻을 수 있다.
• 표준형 방법이 하위시스템 코드에 적응된 경우, 켤레 변환 방법보다 더 낮은 회로 복잡도를 제공한다.
• 켤레 변환 방법은 게이지 큐비트의 임의의 초기화를 허용하지만, 더 높은 인코딩 복잡도를 수반한다.
• 정규화 행렬의 주요 생성자가 인코딩 회로의 주요 복잡도를 결정하며, 인코딩된 Z 연산자는 회로 깊이에 영향을 주지 않는다.
• 논문은 캐논ical 교환 관계를 만족하는 임의의 인코딩된 연산자 선택이 유효한 논리 기저를 정의하며, 캐논ical 논리적 0 상태는 |0⟩⊗n에 프로젝터를 적용한 결과임을 증명한다.