[논문 리뷰] New constructions of CSS codes obtained by moving to higher alphabets

Iryna Andriyanova, Denise Maurice외 1명|arXiv (Cornell University)|2012. 02. 15.

Quantum Computing Algorithms and Architecture참고 문헌 27인용 수 10

한 줄 요약

이 논문은 비이진 양자 LDPC 코드 구축법을 $\mathbb{F}_{2^m}$에서 $ (2,L) $-정규 이진 LDPC 체크행렬을 가진 일반적인 CSS 코드로 일반화한다. 이는 향상된 반복 복호화 성능과 더 높은 코드율을 가능하게 한다. 방법은 이진 코드를 고차원 체로 매핑하고, $\mathbb{F}_{2^m}$에서의 행렬 표현을 사용하여 토릭 코드의 거리 스케일링 특성을 그대로 이어받는 새로운 양자 코드를 구성한다. 최소 거리는 고정된 $m$에 대해 $\sqrt{n}$ 비율로 증가한다. 핵심 기여는 체 확장을 통해 코드 성능을 향상시키면서도 구조적 및 거리 성질을 유지하는 체계적인 프레임워크를 제공하는 것이다.

ABSTRACT

We generalize a construction of non-binary quantum LDPC codes over $\F_{2^m}$ due to \cite{KHIS11a} and apply it in particular to toric codes. We obtain in this way not only codes with better rates than toric codes but also improve dramatically the performance of standard iterative decoding. Moreover, the new codes obtained in this fashion inherit the distance properties of the underlying toric codes and have therefore a minimum distance which grows as the square root of the length of the code for fixed $m$.

연구 동기 및 목표

• 이전 논문 [KHIK11]의 비이진 양자 LDPC 코드 구축법을 토릭 코드를 초월해 더 넓은 범위의 CSS 코드로 확장한다.
• 고차원 유한체를 활용하여 반복 복호화 성능을 향상시킨다.
• 이론적으로 $\mathbb{F}_{2^m}$로 올리게 되었을 때 원래의 이진 코드의 최소 거리 성질을 유지하거나 향상시킨다.
• 체 확장과 행렬 동형사상 기반으로 높은 코드율을 가지며 양호한 복호화 성능을 보이는 일반적인 양자 코드 구축 프레임워크를 제공한다.

제안 방법

• 이진 LDPC 코드 쌍 $({{\mathscr{C}}_{X}}, {{\mathscr{C}}_{Z}})$를 시작으로, ${{\mathscr{C}}_{Z}}^\perp \subset {{\mathscr{C}}_{X}}$를 만족하고 $(2,L)$-정규 체크행렬을 가진다.
• $\mathbb{F}_{2^m}$에서의 $q$-진 버전 $({{\mathscr{C}}_{X}^{(q)}}, {{\mathscr{C}}_{Z}^{(q)}})$를 이진 행렬의 비영원 요소를 유지하면서 구성한다.
• $\mathbb{F}_{2^m}$의 각 원소를 $2^m \times 2^m$ 이진 행렬로 매핑하는 링 동형사상 $A: \mathbb{F}_{2^m} \to \mathcal{M}_{2^m}$를 적용한다.
• $\mathbb{F}_{2^m}$의 각 원소를 그에 해당하는 이진 행렬 표현으로 대체하여 새로운 이진 체크행렬 $({\hat{\mathbf{H}}_X}, {\hat{\mathbf{H}}_Z})$를 구성한다.
• 결과로 얻어진 코드 $\hat{\mathscr{C}}_X$와 $\hat{\mathscr{C}}_Z$가 CSS 조건 $\hat{\mathscr{C}}_Z^\perp \subset \hat{\mathscr{C}}_X$를 만족하도록 보장한다.
• Tanner 그래프의 사이클 구조(예: 큰 수직 및 수평 사이클)를 활용하여 올린 코드의 최소 거리 분석 및 상한 설정.

실험 결과

연구 질문

• RQ1 이전 논문 [KHIK11]의 비이진 양자 LDPC 코드 구축법을 토릭 코드를 초월해 $(2,L)$-정규 이진 LDPC 코드를 가진 다른 CSS 코드로 일반화할 수 있는가?
• RQ2 $\mathbb{F}_{2^m}$로 이진 LDPC 코드를 매트릭스 동형사상에 의해 올릴 때 원래 코드의 최소 거리 성질이 유지되거나 향상되는가?
• RQ3 $\mathbb{F}_2$가 아닌 확장 체 $\mathbb{F}_{2^m}$에서 작동함으로써 반복 복호화 성능이 크게 향상되는가?
• RQ4 이 구축법을 토릭 코드나 유사한 구조에 적용했을 때 도출된 양자 코드의 최소 거리는 얼마인가?
• RQ5 $ {{\mathscr{C}}_{Z}^{(q)}} / {{\mathscr{C}}_{X}^{(q)}}^\perp $ 및 $ {{\mathscr{C}}_{X}^{(q)}} / {{\mathscr{C}}_{Z}^{(q)}}^\perp $의 몫공간 차원과 거리 성질이 코드의 오류 수정 능력에 어떤 영향을 미치는가?

주요 결과

• 구성된 양자 코드는 고정된 $m$에 대해 최소 거리가 $\sqrt{n}$ 비율로 증가하며, 기반 토릭 코드의 거리 스케일링 특성을 그대로 이어받는다.
• 이론적으로 $\mathbb{F}_{2^m}$에서의 고차원 구조 덕분에 표준 토릭 코드보다 코드율이 향상된다.
• $\mathbb{F}_{2^m}$에서의 작동으로 반복 복호화 성능이 크게 향상되며, 이는 고전적 LDPC 성능 향상과 유사하다.
• $ {{\mathscr{C}}_{Z}^{(q)}} / {{\mathscr{C}}_{X}^{(q)}}^\perp $의 비영원 요소의 최소 무게는 최소 $n$ 이상이므로, 코드의 최소 거리에 하한을 제공한다.
• Tanner 그래프에서 독립적인 사이클(수직 및 수평)의 사용은, 다중 이동 사이클 간에 서로 겹치지 않는 지지집합을 가지므로, 몫공간의 오류 무게가 최소 $n$ 이상임을 보장한다.
• 이 구축법은 CSS 구조를 유지하며, 결과적으로 유효하고 표준 양자 오류 수정 기법을 통해 복호화 가능한 양자 코드를 보장한다.