[논문 리뷰] Clifford Code Constructions of Operator Quantum Error Correcting Codes

Andreas Klappenecker, Pradeep Kiran Sarvepalli|ArXiv.org|2006. 04. 21.

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

한 줄 요약

이 논문은 유한 체 위의 고전적 가법 코드를 사용하여 클리포드 코드를 이용한 연산자 양자 오류 수정 코드의 새로운 구성법을 제시한다. 이 방법은 자가수직성 조건이 필요 없으며, 해밍 무게 기반의 명시적 오류 탐지 및 수정 능력에 대한 경계를 제공하는 직접적인 문자 이론적 접근법을 제공한다. 이는 하위계 A와 B를 조절 가능한 방식으로 체계적으로 설계할 수 있도록 한다.

ABSTRACT

Recently, operator quantum error-correcting codes have been proposed to unify and generalize decoherence free subspaces, noiseless subsystems, and quantum error-correcting codes. This note introduces a natural construction of such codes in terms of Clifford codes, an elegant generalization of stabilizer codes due to Knill. Character-theoretic methods are used to derive a simple method to construct operator quantum error-correcting codes from any classical additive code over a finite field.

연구 동기 및 목표

• 스티프러 코드, 쇄도화되지 않은 하위공간, 그리고 소음이 없는 하위계를 통합하는 일반적이고 체계적인 연산자 양자 오류 수정 코드의 설계 방법을 개발하기 위해.
• 스티프러 코드 이론에서 일반적인 제약 조건인 자가수직성 요구 조건을 제거하기 위해.
• 논리 하위계 A와 게이지 하위계 B의 차원을 군 이론적 및 문자 이론적 매개변수를 통해 제어할 수 있는 프레임워크를 제공하기 위해.
• 유한 체 위의 고전적 가법 코드와 양자 연산자 양자 오류 수정 코드 사이의 직접적인 대응 관계를 수립하기 위해.
• 특히 최소 거리와 오류 수정 능력 측면에서 클리포드 코드와 스티프러 코드 간의 코드 매개변수를 동등한 기준으로 비교할 수 있도록 하기 위해.

제안 방법

• 차원 d = |E:Z(E)|^{1/2}인 충실한 기약 표현 ρ를 갖는 유한군 E를 정의하여 추상 오류 군을 구성한다.
• E의 정규부분군 N과 N의 기약 문자 χ를 선택하여 (χ, φ_N)_N > 0이 되도록 하여 비영인 코드 공간을 확보한다.
• 클리포드 코드 C는 직교 프로젝터 P = (χ(1)/|N|) Σ_{n∈N} χ(n⁻¹)ρ(n)의 이미지로 정의되며, 이는 χ의 이소형성 성분으로의 프로젝션을 나타낸다.
• 코드 공간 C는 C = A ⊗ B로 분해되며, 여기서 A는 논리 하위계, B는 게이지 하위계이며, 각각 |Z(E) ∩ N|, |E:Z(E)|^{1/2}, χ(1)에 의해 결정되는 차원을 가진다.
• 오류 탐지는 관성군 I_E(χ)를 통해 특성화되며, 오류 e ∈ E는 Pρ(e)P = λ_e P를 만족하는 λ_e ∈ ℂ가 존재할 경우 탐지 가능하다.
• 유한체 F_{q²}ⁿ 위의 고전적 가법 코드 X를 사용하여 등급사상 φ를 통해 양자 코드를 정의하며, 하위계 A의 차원은 qⁿ/(xy)^{1/2}, 하위계 B의 차원은 (x/y)^{1/2}이다. 여기서 x = |X|, y = |X ∩ X^{⊥_a}|이다.

실험 결과

연구 질문

• RQ1 고전적 코드의 자가수직성이 요구되지 않는 한, 연산자 양자 오류 수정 코드를 구성할 수 있는가?
• RQ2 클리포드 코드에서 논리 하위계와 게이지 하위계의 차원을 체계적으로 제어할 수 있는가?
• RQ3 고전적 코드의 최소 거리와 결과적으로 유도된 양자 코드의 오류 수정 능력 사이의 관계는 무엇인가?
• RQ4 군 이론과 문자 이론을 이용해 클리포드 코드의 탐지 가능한 오류 집합을 완전히 특성화할 수 있는가?
• RQ5 특히 최소 거리와 코드율 측면에서 클리포드 코드의 매개변수는 스티프러 코드와 어떻게 비교되는가?

주요 결과

• 클리포드 코드를 통한 연산자 양자 오류 수정 코드의 구성은 기반 고전적 가수 코드의 자가수직성이 필요하지 않으며, 이는 스티프러 코드 이론에서의 핵심 제약 조건을 제거한다.
• 논리 하위계 A의 차원은 dim A = qⁿ / (xy)^{1/2}로 주어지며, 게이지 하위계 B의 차원은 (x/y)^{1/2}이다. 여기서 x = |X|, y = |X ∩ X^{⊥_a}|이며, X는 고전적 가수 코드이다.
• 논리 하위계 A의 최소 거리 d는 d = wt((X + X^{⊥_a}) - X) = wt(Y^{⊥_a} - X)로 결정되며, 이는 코드의 오류 탐지 및 수정 능력을 규정한다.
• 코드는 최소 거리 d 이하의 해밍 무게를 갖는 모든 오류를 탐지할 수 있으며, 최대 ⌊(d−1)/2⌋의 무게를 갖는 오류는 수정할 수 있다. 오류 탐지 및 수정 능력은 고전적 코드의 해밍 무게에 기반한다.
• 이 방법은 어떤 클리포드 코드에 대해서도 자연스러운 텐서 분해 C = A ⊗ B를 제공하며, 이는 코드가 스티프러 코드일 경우에도 성립한다. 이는 게이지 하위계에 대한 활성 수정 없이도 하위계 기반 오류 수정을 가능하게 한다.
• 매개변수를 정렬함으로써 클리포드 코드와 스티프러 코드 간의 공정한 비교가 가능해지며, [[n−r,k,d]] 스티프러 코드는 [[n,k,r,d]] 클리포드 코드에 해당하여 코드 성능 분석을 직접적으로 가능하게 한다.