[논문 리뷰] Quantum Convolutional Codes Derived From Reed-Solomon and Reed-Muller Codes

Salah A. Aly, Andreas Klappenecker외 1명|ArXiv.org|2007. 01. 09.

Quantum Computing Algorithms and Architecture참고 문헌 17인용 수 14

한 줄 요약

이 논문은 직접 극한 방법을 사용하여 양자 컨volution형 안정자 코드의 새로운 구성법을 제안하며, 일반화된 리드-솔로몬 및 리드-멀러 코드로부터 두 가지 코드 가닥을 도출한다. 순수 컨volution형 안정자 코드에 대한 싱글턴 경계를 수립하고, 이 경계를 충족하는 최적의 코드를 제시하며, 명시적인 매개변수와 자유 거리 보장을 제공한다.

ABSTRACT

Convolutional stabilizer codes promise to make quantum communication more reliable with attractive online encoding and decoding algorithms. This paper introduces a new approach to convolutional stabilizer codes based on direct limit constructions. Two families of quantum convolutional codes are derived from generalized Reed-Solomon codes and from Reed- Muller codes. A Singleton bound for pure convolutional stabilizer codes is given.

연구 동기 및 목표

• 기존 접근법을 체계화하기 위해 직접 극한 구성법을 활용한 양자 컨볼루션형 안정자 코드의 새로운 프레임워크를 개발한다.
• 고전적 일반화된 리드-솔로몬 및 리드-멀러 코드로부터 명시적인 양자 컨볼루션형 코드 가닥을 도출한다.
• 순수 양자 컨볼루션형 안정자 코드에 대한 싱글턴 경계를 수립하여 이론적 기준점을 마련한다.
• 이 경계에 도달하는 최적의 양자 컨볼루션형 코드를 구성하여 높은 오류 수정 성능을 확보한다.
• 구성된 코드가 순수하며, 잘 정의된 자유 거리를 가지며, 신뢰할 수 있는 온라인 인코딩 및 디코딩이 가능하다는 것을 입증한다.

제안 방법

• 직접 극한 구성법을 활용하여 양자 컨볼루션형 안정자 코드의 안정자 프레임워크를 일반화하고 체계화한다.
• 일반화된 리드-솔로몬 코드에서 유도된 생성행렬을 사용하여 매개변수 $[(2^{m-l}, 2^{m-l}-2k(r), \text{deg} \ ext{deg})]_2$ 를 갖는 양자 컨볼루션형 코드의 가닥을 구성한다.
• 리드-멀러 코드의 준순환 부분코드를 적용하여 컨볼루션형 코드를 생성하며, 주기적인 구조를 갖는 무한히 긴 생성행렬 $G$ 를 사용한다.
• 코드 및 그 쌍대 코드의 코드워드의 무게 분석을 통해 자유 거리 $d_f$ 와 쌍대 자유 거리 $d_f^ot$ 를 정의한다.
• 헤르미트 내적과 자기수직 조건 $GG^lat = 0$ 를 적용하여 양자 안정자 코드의 존재를 보장한다.
• CSS 유형 구성법을 통해 고전적 자기수직 컨볼루션형 코드와 양자 안정자 코드 사이의 대응관계를 활용한다.

실험 결과

연구 질문

• RQ1 직접 극한 구성법을 사용하여 고전적 코드로부터 체계적으로 양자 컨볼루션형 코드를 도출할 수 있는가?
• RQ2 순수 양자 컨볼루션형 안정자 코드에 대해 가능한 최대 자유 거리는 얼마이며, 이를 경계로 설정할 수 있는가?
• RQ3 일반화된 리드-솔로몬 코드로부터 싱글턴 경계에 도달하는 최적의 양자 컨볼루션형 코드를 구성할 수 있는가?
• RQ4 리드-멀러 코드는 어떻게 활용되어 양자 응용을 위한 구조적이고 자기수직인 컨볼루션형 코드를 생성할 수 있는가?
• RQ5 결과적으로 도출된 양자 컨볼루션형 코드는 순수성을 유지하고 잘 정의된 높은 자유 거리를 갖는가?

주요 결과

• 일반화된 리드-솔로몬 코드로부터 새로운 양자 컨볼루션형 코드 가닥이 구성되었으며, 자유 거리 $2^{r+1}$ 를 갖는 매개변수 $[(2^{m-l}, 2^{m-l}-2k(r), \text{deg} \ ext{deg})]_2$ 를 달성한다.
• 논문은 순수 양자 컨볼루션형 안정자 코드에 대한 싱글턴 경계를 수립하여 코드 성능에 대한 이론적 한계를 제시한다.
• 싱글턴 경계에 도달하는 최적의 양자 컨볼루션형 코드가 유도되었으며, 자유 거리 및 전송률 측면에서 최적성임을 확인한다.
• $1 \leq l \leq m$ 이고 $0 \leq r \leq \lfloor(m-l-1)/2\rfloor$ 일 때, 구성된 코드는 순수하며, 쌍대 거리 $2^{r+1}$ 과 자유 거리 $2^{r+1}$ 를 갖는다.
• 리드-멀러 코드로부터 유도된 컨볼루션형 코드는 자기수직성을 가지며, 이는 CSS 구성법을 통해 유효한 양자 안정자 코드의 존재를 보장한다.
• 저자는 [3]에서 사용된 코드가 차수 0을 가지며 실제로는 컨볼루션형 코드로 위장된 블록 코드임을 명확히 한다. 이로 인해 매개변수는 $[(2^{m-l}, 2^{m-l}-2k(r), 0; 0, 2^{r+1})]_2$ 로 표현된다.