[논문 리뷰] A Note on Non-Additive Quantum Codes

Markus Grassl, Thomas Beth|ArXiv.org|1997. 03. 10.

Quantum Computing Algorithms and Architecture참고 문헌 5인용 수 15

한 줄 요약

이 논문은 두 개의 양자 오류정정 코드를 조합하여 유니온 양자 코드의 개념을 도입하며, 추가 코드에서 시작하더라도 결과적으로 비추가적 코드가 될 수 있음을 보여준다. 오류 정정 능력을 보다 완전히 기술하기 위해 '소실 공간'(erasure space)을 도입하여, 유니터리 관련 코드의 경우 소실 공간과 순수 소실 공간을 명시적으로 계산할 수 있음을 보이며, 최소 거리만으로는 설명할 수 없는 더 깊은 통찰을 제공한다.

ABSTRACT

A method to combine two quantum error-correcting codes is presented. Even when starting with additive codes, the resulting code might be non-additive. Furthermore, the notion of the erasure space is introduced which gives a full characterisation of the erasure-correcting capabilities of the codes. For the special case that the two codes are unitary images of each other, the erasure space and the pure erasure space of the resulting code can be calculated.

연구 동기 및 목표

• 기존의 두 양자 코드를 조합하여 새로운 양자 코드를 구성하는 방법을 개발한다. 특히 추가 코드에서 시작하더라도 가능하다.
• 소실 공간을 수학적 도구로 도입하여 코드의 소실 정정 능력을 완전히 기술한다.
• 같은 무게 분포를 가진 비동치 양자 코드를 비교하기 위한 프레임워크를 제공한다.
• 특히 구성 코드가 상호 유니터리 이미지일 경우, 유니온 코드의 소실 정정 성질을 분석한다.
• 추가 코드의 조합으로 자연스럽게 비추가적 코드가 유도될 수 있음을 보이며, 사용 가능한 양자 코드의 범주를 확장한다.

제안 방법

• 같은 길이의 두 양자 코드로 생성된 부분공간의 합으로서 유니온 양자 코드를 제안한다.
• 조건 (1)과 (2)를 만족하는 오류 연산자 집합으로서 소실 공간 ${\cal E}({\cal C})$를 도입하여, 정정 가능한 소실 오류를 보장한다.
• 무게가 $d-1$ 미만인 소실 공간의 연산자 부분집합으로 순수 소실 공간 ${\cal E}_{\text{pure}}({\cal C})$를 정의한다.
• 등가 코드를 생성하기 위해 유니터리 변환 $\tau$와 순환 이동 $\pi$를 사용하여, 유니온 코드의 소실 공간을 명시적으로 계산할 수 있도록 한다.
• 특정 예제에 이 형식을 적용한다: $((5,1,3))$ 코드와 $((4,4,2))$ 코드이며, 각각의 소실 공간을 계산하고 결과로 얻어진 유니온 코드를 분석한다.
• 파울리 행렬과 형태 $E = \sigma_{i_1} \otimes \cdots \otimes \sigma_{i_N}$를 가진 오류 연산자를 사용하여 오류 정정 조건을 표현하고 분석한다.

실험 결과

연구 질문

• RQ1 추가 코드에서 시작하여, 코드의 유니온을 통해 비추가적 양자 코드를 체계적으로 구성할 수 있는가?
• RQ2 최소 거리 초월하여 양자 코드의 소실 정정 능력을 완전히 기술할 수 있는가?
• RQ3 특히 구성 코드가 상호 유니터리 이미지일 경우, 유니온 코드의 소실 공간의 구조는 어떠한가?
• RQ4 순수 소실 공간을 사용하여 정정 불가능한 오류 연산자를 탐지하고 분류할 수 있는가?
• RQ5 개별 코드의 소실 공간과 그 유니온의 소실 공간은 어떻게 관련이 있는가?

주요 결과

• 두 양자 코드의 유니온, 즉 둘 다 추가적일지라도 비추가적 코드를 생성할 수 있으며, 이는 비추가적 코드를 위한 새로운 길을 제시한다.
• 소실 공간 ${\cal E}({\cal C})$는 정정 가능한 소실 오류의 집합을 완전히 기술하며, 최소 거리만으로는 설명할 수 없는 더 정교한 도구를 제공한다.
• $((5,1,3))$ 코드는 유니터리 이미지의 유니온으로 구성되었으며, 순수 소실 공간은 모든 무게 1 및 무게 2 오류 연산자를 포함하지만, 모든 무게 3 연산자는 포함하지 않는다.
• 두 개의 $((4,4,2))$ 코드의 유니온 코드 ${\cal C}^{(1)} \oplus \tau{\cal C}^{(1)}$는 최소 거리가 1인 $((4,8,1))$ 코드를 만들어내며, 이는 단지 위상만 또는 진폭만의 소실을 정정할 수 있다.
• 특정 무게 3 오류 연산자인 $\sigma_y \otimes \sigma_z \otimes \openone \otimes \sigma_y$와 그 순환 이동은 소실 공간에 속하지 않으며, 이는 코드가 모든 삼중 소실 패턴을 정정하지 못함을 확인한다.
• 유니온 코드의 소실 공간은 형태 $\sigma_x \otimes \openone^3$ 및 $\sigma_z \otimes \openone^3$의 모든 무게 1 오류 연산자와 그 순환 이동을 포함하며, 이는 부분적인 소실 정정 능력을 설명한다.