[논문 리뷰] A Proposed Quantum Low Density Parity Check Code

Michael S. Postol|ArXiv.org|2001. 08. 29.

Error Correcting Code Techniques참고 문헌 4인용 수 55

한 줄 요약

이 논문은 유한 기하학에서 유도된 고전적 LDPC 코드를 사용하여 효율적인 인코딩과 고장 내성 디코딩을 가능하게 하는 양자 저밀도 패리티 체크(LDPC) 코드를 제안한다. 순환 LDPC 코드에 행 분할을 적용하고, 비트 뒤집기 및 위상 뒤집기 오류를 모두 LDPC 코드로 수정할 수 있는 CSS 코드를 구성함으로써, 양쪽 모두가 희박한 [[15,4]] 양자 코드를 도출하여 LDPC 기반의 양자 오류 수정의 실현 가능성을 입증한다.

ABSTRACT

We propose a new CSS code based on the finite geometry low density parity check code of Kou, Lin, and Fossorier.

연구 동기 및 목표

• 희박한 패리티 체크 행렬을 갖는 고전적 LDPC 코드를 기반으로 한 양자 오류 수정 코드를 개발하기 위해.
• 유한 기하학에서 유도된 순환 코드를 활용하여 전통적 LDPC 코드에서의 어려운 인코딩 문제를 해결하기 위해.
• 비트 뒤집기 및 위상 뒤집기 오류를 모두 LDPC 코드로 수정할 수 있는 CSS 코드를 구성하여, 양쪽 구성 요소 모두가 희박한 구조를 유지하기 위해.
• 내재된 코드의 쌍대가 여전히 LDPC임을 보장함으로써 반복적 디코딩을 가능하게 하여, 디코딩 효율성을 유지하기 위해.

제안 방법

• 유한 사영 기하학을 사용하여 고전적 LDPC 코드를 구성하여, 효율적 인코딩을 위한 희박성과 순환 구조를 확보한다.
• 순환 LDPC 코드의 패리티 체크 행렬에 행 분할을 적용하여 더 큰 영공간을 갖는 내재된 코드를 생성한다.
• CSS 구성법을 사용하여 두 개의 내재된 고전적 코드 $C_1 \supset C_2$ 에서 양자 코드를 구축한다. 여기서 $C_1$ 은 비트 뒤집기 오류를 수정하고, $C_2^\perp$ 는 위상 뒤집기 오류를 수정한다.
• 체크 다항식과 생성 다항식을 분석하여, 쌍대 코드 $C_2^\perp$ 가 여전히 LDPC임을 입증함으로써 희박성을 보장한다.
• 결과적으로 유도된 양자 코드가 $[15,4]$ 코드임을 확인하고, $C_1$ 과 $C_2^\perp$ 가 모두 낮은 밀도 패리티 체크 행렬을 갖는다.
• $\mathbb{F}_2$ 위에서의 다항식 대수를 사용하여 확장된 코드의 체크 다항식을 계산하고, 행 기반의 행렬 변환을 통해 차원을 결정한다.

실험 결과

연구 질문

• RQ1 유한 기하학에서 유도된 고전적 LDPC 코드를 사용하여, 양쪽 구성 요소가 모두 LDPC인 양자 CSS 코드를 구축할 수 있는가?
• RQ2 순환 LDPC 코드의 패리티 체크 행렬에 대한 행 분할이 내재된 코드의 쌍대 코드에서 LDPC 성질을 유지하는가?
• RQ3 두 개의 패리티 체크 행렬이 모두 희박하기 때문에, 유도된 양자 코드가 낮은 디코딩 복잡도를 유지할 수 있는가?
• RQ4 내재된 코드 구조 $C_2 \subset C_1$ 와 함께 $C_2^\perp$ 도 희박하게 유지되어 반복적 디코딩이 가능한가?
• RQ5 제안된 구성법이 비어 있지 않은 비율과 오류 수정 능력을 갖춘 양자 코드를 도출할 수 있는가? 동시에 LDPC 코드의 장점을 유지하는가?

주요 결과

• 제안된 구성법은 비트 뒤집기 및 위상 뒤집기 오류를 모두 LDPC로 수정할 수 있는 $[15,4]$ 양자 코드를 도출한다.
• 원본 코드 $C_1$ 의 패리티 체크 행렬 밀도는 약 0.27이며, 쌍대 코드 $C_2^\perp$ 는 약 0.33로, 둘 다 여전히 희박하다.
• 쌍대 코드 $C_2^\perp$ 는 $\rho=5$, $\gamma=1$, $\lambda=1$ 인 LDPC 코드로 확인되어 LDPC 정의를 충족한다.
• 순환 LDPC 코드 $[15,7]$ 의 패리티 체크 행렬에 대한 행 분할은 차원이 3인 $[30,15]$ 코드를 생성하여 내재된 구조를 확인한다.
• 확장된 코드의 체크 다항식은 $h(x) = x^3 + 1$ 이며, 쌍대 코드 $C_2^\perp$ 는 생성 다항식 $g^\perp(x) = x^3 + 1$ 을 갖는다. 이는 순환성과 LDPC 성질을 확인한다.
• 결과적으로 유도된 양자 코드는 원칙적으로 고장 내성임을 입증한다. 두 오류 유형 모두 LDPC 코드로 수정 가능하므로 반복적 디코딩 가능성이 있다.