[논문 리뷰] On the Structure of Additive Quantum Codes and the Existence of Nonadditive Codes

Vwani Roychowdhury, Farrokh Vatan|ArXiv.org|1997. 10. 09.

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

한 줄 요약

이 논문은 가산(스텔러) 양자 오류정정 코드의 특성을 규명하고, 더 높은 점근적 비율을 갖는 비가산 양자 오류정정 코드의 존재를 보여준다. 비가산 코드가 R = 1 − 2H(2t/n)의 비율을 달성할 수 있음을 증명하며, ((11,2,3)) 강력 비가산 코드를 구성하여, 특정 매개변수에서 비가산 코드가 가산 코드보다 비율과 오류정정 능력 면에서 뛰어나다는 것을 보여준다.

ABSTRACT

We first present a useful characterization of additive (stabilizer) quantum error-correcting codes. Then we present several examples of We first present a useful characterization of additive (stabilizer) quantum error--correcting codes. Then we present several examples of nonadditive codes. We show that there exist infinitely many non-trivial nonadditive codes with different minimum distances, and high rates. In fact, we show that nonadditive codes that correct t errors can reach the asymptotic rate R=1-2H(2t/n), where H(x) is the binary entropy function. Finally, we introduce the notion of strongly nonadditive codes (i.e., quantum codes with the following property: the trivial code consisting of the entire Hilbert space is the only additive code that is equivalent to any code containing the given code), and provide a construction for an ((11,2,3)) strongly nonadditive code.

연구 동기 및 목표

• 가산(스텔러) 양자 오류정정 코드의 명확한 구조적 특성화를 제공하는 것.
• 스텔러 형식 이외의 비가산 양자 코드의 존재성과 성질을 조사하는 것.
• 동일한 오류정정 능력에 대해 비가산 코드가 가산 코드보다 더 높은 점근적 비율을 달성할 수 있음을 보여주는 것.
• 강력 비가산 코드를 도입하고 구성하는 것. 강력 비가산 코드는 어떤 비자명한 가산 코드와도 국소 유니터리 변환에 의해 동치가 되지 않는 코드로 정의된다.
• t개의 오류를 수정하는 비가산 코드의 비율에 대한 이론적 한계를 설정하는 것.

제안 방법

• 논문은 GF(4) 위에서의 선형대수학과 스텔러 형식을 사용하여 가산 양자 코드의 수학적 특성화를 개발한다.
• 국소 유니터리 변환에 대한 동치류를 분석함으로써 비가산 코드의 구조를 분석하는 프레임워크를 도입한다.
• 정보이론적 추론을 사용하여 t개의 오류를 수정하는 비가산 코드의 점근적 비율 한계 R = 1 − 2H(2t/n)를 유도한다.
• 명시적인 ((11,2,3)) 양자 코드를 구성하고, 비자명한 가산 코드가 이와 국소 유니터리 변환에 의해 동치가 되지 않음을 보여줌으로써 이 코드가 강력 비가산임을 증명한다.
• 국소 클리포드 연산에 대해 닫혀 있는 양자 코드의 성질에 기반하며, 유니터리 변환에 대한 코드 동치 개념을 사용한다.
• 분석에는 비자명한 비가산 코드가 무수히 많이 존재하며, 다양한 최소거리와 높은 비율을 갖는다는 것을 보여주는 증명이 포함되어 있다.

실험 결과

연구 질문

• RQ1 비가산 양자 코드 중에서 비율과 오류정정 능력 면에서 가산 코드를 초월하는 것이 가능한가?
• RQ2 t개의 오류를 수정하는 비가산 양자 코드가 달성할 수 있는 점근적 비율은 무엇인가?
• RQ3 국소 유니터리 변환에 대해 어떤 가산 코드와도 동치가 되지 않는 양자 코드가 존재하는가?
• RQ4 특히 높은 최소거리와 비율을 갖는 비가산 코드의 명시적 구성이 가능한가?
• RQ5 강력 비가산 코드를 정의하는 구조적 성질은 무엇이며, 어떻게 구성할 수 있는가?

주요 결과

• 비가산 양자 코드는 임의로 높은 비율과 다양한 최소거리를 갖는다. 이는 효율적인 양자 오류정정의 잠재력을 보여준다.
• t개의 오류를 수정하는 비가산 코드의 점근적 비율은 R = 1 − 2H(2t/n)로 제한되며, 여기서 H는 이진 엔트로피 함수이다. 이는 가산 코드보다 이론적 우월성을 보여준다.
• 명시적인 ((11,2,3)) 비가산 코드를 구성하였으며, 이는 비자명한 가산 코드가 국소 유니터리 변환에 의해 동치가 되지 않음을 증명함으로써 강력 비가산임을 입증하였다.
• 무수히 많은 비자명한 비가산 코드가 존재하며, 다양한 최소거리와 높은 비율을 갖는다. 이는 그들의 구조적 풍부성과 잠재적 유용성을 확인한다.
• 논문은 비가산 코드가 주어진 오류정정 능력에 대해 스텔러 코드의 성능 한계를 초월할 수 있음을 설정하였다.
• 강력 비가산 코드의 존재는 스텔러 형식이 모든 가능한 양자 오류정정 코드를 기술하는 데 충분하지 않다는 것을 암시한다.