[논문 리뷰] Constructing quantum error-correcting codes for p^m-state systems from classical error-correcting codes

Ryutaroh Matsumoto, Tomohiko Uyematsu|ArXiv.org|1999. 11. 04.

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

한 줄 요약

이 논문은 F₄ 위에서의 고전적 코드로부터 양자 오류 수정 부호를 구성하는 방법을 F_{p^{2m}} 위의 가법 부호를 사용하여 p^m-상태 양자 시스템으로 일반화한다. 고전적 선형 부호로부터 [[n,k,d]]_{p^m} 양자 부호를 유도하는 체계적인 방법을 수립하고, 심호드 기반 오류 수정 절차를 제공하며, 자unc된 부호와 오류-지움 복원 기법에 적응된 고전적 알고리즘을 통해 효율적인 복원을 가능하게 한다.

ABSTRACT

We generalize the construction of quantum error-correcting codes from GF(4)-linear codes by Calderbank et al. to p^m-state systems. Then we show how to determine the error from a syndrome. Finally we discuss a systematic construction of quantum codes with efficient decoding algorithms.

연구 동기 및 목표

• 큐비트 시스템(2-레벨)에서의 Calderbank-Shor-Steane (CSS) 부호 구성법을 p^m-레벨을 갖는 고차원 큐드 시스템으로 확장한다.
• 유한 체 위의 고전적 선형 부호와 p^m-상태 시스템을 위한 양자 부호 사이의 체계적 연결 고리를 확립한다.
• 오차군의 구조와 수직 부분공간을 기반으로 한 심호드 복원 기반의 실용적인 오류 수정 절차를 제공한다.
• 자르기된 부호에 적응된 고전적 오류-지움 복원 기법을 활용하여 양자 부호의 효율적 복원 알고리즘을 가능하게 한다.
• Hartmann-Tzeng 및 제한된 이동과 같은 경계를 일반화하여 고전적 부호에서 유도된 양자 부호의 최소 거리 추정을 가능하게 한다.

제안 방법

• Calderbank 등이 제시한 F₄ 기반 구성법을 일반화하여, F_{p^{2m}} 위의 가법 부호를 사용하여 p^m-상태 시스템의 양자 부호를 구성한다.
• F_p^{2mn} 내의 벡터 (a|b) 와 대응하는 연산자 X(a)Z(b)에 의해 생성되는 아벨 부분군 S를 통해 안정자 부호를 정의하며, 특별한 교환 내적을 사용한다.
• 오차군의 구조와 수직 부분공간을 이용하여 안정자군 S가 아벨임을 보장하고, k개의 논리 큐드 상태를 n개의 큐드 시스템에 인코딩할 수 있음을 보장한다.
• F_{p^{2m}}-선형 함수를 F_p-선형 함수로 매핑하기 위해 체 동형사상 P_{2m}을 적용하여 F_p 위에서의 고전적 복원을 가능하게 한다.
• 원래의 고전적 부호를 자르고, 심호드와 선형 조합을 이용해 오류를 재구성함으로써 고전적 오류-지움 복원 알고리즘을 양자 부호에 적응시킨다.
• Hartmann-Tzeng 또는 제한된 이동 경계와 같은 경계를 초과하는 오류를 수정할 수 있도록, 오류-지움 복원에 적합하게 수정된 Berlekamp-Massey 및 Feng-Rao 알고리즘을 활용한다.

실험 결과

연구 질문

• RQ1 큐비트 시스템(F₄ 기반)에서의 양자 오류 수정 부호 구성법을 p^m-레벨 큐드 시스템으로 일반화할 수 있는가?
• RQ2 안정자군이 아벨이 되고, 부호가 적절한 오류 탐지 능력을 갖기 위해 적절한 유한 체 구조와 내적을 어떻게 선택할 수 있는가?
• RQ3 고전적 복원 알고리즘을 활용하여 심호드 기반 오류 수정을 p^m-상태 양자 부호에 대해 체계적으로 구현할 수 있는가?
• RQ4 고전적 수신 단어가 없는 상황에서 자른 양자 부호를 처리하기 위해 고전적 복원 알고리즘에 어떤 수정이 필요한가?
• RQ5 Hartmann-Tzeng 또는 제한된 이동 경계를 사용하여 양자 환경에서 최소 거리를 추정하고 오류 수정 성능을 향상시킬 수 있는가?

주요 결과

• 논문은 F_p^{2mn}에 속한 (mn - mk)-차원 F_p-선형 부호 C ⊆ F_p^{2mn}를 사용하여 [[n,k,d]]_{p^m} 양자 부호를 구성하며, C ⊆ C^⊥ 이며, d는 C^⊥ ∖ C 내의 최소 무게이다.
• X(a_i)Z(b_i)에 의해 생성되는 안정자군 S는 아벨이며, 그 고유공간은 n개의 큐드 시스템에 k개의 논리 큐드 상태를 인코딩하는 유효한 양자 부호를 형성한다.
• 심호드를 F_p^{2mn} 내의 고전적 오류 벡터로 매핑함으로써, 고전적 알고리즘을 통해 복원이 가능해진다.
• 자른 고전적 부호의 사용은 고전적 오류-지움 복원 알고리즘을 양자 부호에 적용할 수 있게 하며, 고전적 수신 단어가 없더라도 가능하다.
• Hartmann-Tzeng 또는 제한된 이동 경계를 적용함으로써 최소 거리 d를 더 정확하게 추정할 수 있으며, 이는 BCH 경계를 초월하는 더 많은 오류를 수정할 수 있게 한다.
• 수정된 Feng-Rao 알고리즘의 적용을 통해 오류-지움 복원이 가능한 알고리즘을 효율적으로 구현할 수 있으며, 알려진 지움 위치(예: 자르기로부터 유도됨)를 고려할 수 있다.