[논문 리뷰] Fiber Bundle Codes: Breaking the $N^{1/2} \operatorname{polylog}(N)$ Barrier for Quantum LDPC Codes

Matthew B. Hastings, Jeongwan Haah외 1명|arXiv (Cornell University)|2020. 09. 08.

Error Correcting Code Techniques참고 문헌 18인용 수 14

한 줄 요약

이 논문은 섬유(bundle) 구조를 사용하여 일반화된 호모로지 곱을 적용한 새로운 양자 LDPC 코드 구조인 섬유 번들 코드를 소개한다. 이는 기존의 장기간 유지되어 온 N^{1/2}polylog(N) 장벽을 뛰어넘어 거리(distance) Ω(N^{3/5}/polylog(N))을 달성한다. 기저로 무작위 고전적 LDPC 코드를, 섬유로 사이클 그래프를 사용함으로써, 낮은 무게의 안정자(stabilizers)와 다항로그 시간 참여도를 유지하면서도 향상된 거리 스케일링을 가능하게 한다.

ABSTRACT

We present a quantum LDPC code family that has distance $Ω(N^{3/5}/\operatorname{polylog}(N))$ and $ ildeΘ(N^{3/5})$ logical qubits. This is the first quantum LDPC code construction which achieves distance greater than $N^{1/2} \operatorname{polylog}(N)$. The construction is based on generalizing the homological product of codes to a fiber bundle.

연구 동기 및 목표

• 양자 LDPC 코드에서 장기간 유지되어 온 N^{1/2}polylog(N) 거리 장벽을 극복하기 위해.
• 낮은 무게의 안정자와 낮은 큐비트 참여도를 유지하면서도 N^{1/2}polylog(N)을 초월하는 거리를 갖는 양자 LDPC 코드 가족을 구축하기 위해.
• 호모로지 곱을 일반화하고 개선된 거리 스케일링을 가능하게 하는 위상적 섬유 번들 기반 구조를 개발하기 위해.
• 효율적 디코딩을 위한 기반을 마련하기 위해, 비트-플립 오류에 대한 다항식 시간 알고리즘과 단계 오류에 대한 효율적 디코더의 존재를 가정하는 것.

제안 방법

• 대수적 위상수학에서 유래한 섬유 번들 구조를 사용하여 양자 코드의 호모로지 곱을 왜곡된 호모로지 곱으로 일반화하기.
• 기저 공간으로 무작위 고전적 LDPC 코드를 사용하고, 섬유로 사이클 그래프를 사용하며, 전이 함수를 통해 번들 구조를 인코딩하기.
• 기저 및 섬유 복합체의 곱으로 구성된 체인 복합체를 정의하고, 안정자 생성자를 코경계 연산자로부터 유도하기.
• 체인 복합체 간의 호모토피 동치를 적용하여 고중량 안정자를 낮은 중량으로 변환함으로써, 거리와 코드 크기의 손실을 최소화하는 가중치 감소 기법 적용하기.
• 거리 균형 조정을 통해 Z-안정자의 최소 거리를 향상시켜, 초기 구조에서 d_Z = Ω(N^{3/4}/polylog(N))을 달성하기.
• 시간 복잡도 Õ(|D(0)|Δ^5)인 심플렉스 기반 디코딩 알고리즘 적용, 여기서 Δ는 기저 코드의 최대 차수이다.

실험 결과

연구 질문

• RQ1 양자 LDPC 코드가 N^{1/2}polylog(N)을 초월하는 거리를 달성할 수 있는가, 즉 기존의 장벽을 뛰어넘을 수 있는가?
• RQ2 섬유 번들 기반 위상적 구조가 낮은 무게의 안정자를 유지하면서도 향상된 거리 스케일링을 갖는 양자 코드를 제공할 수 있는가?
• RQ3 높은 거리의 코드에서 안정자 생성자의 무게를 현저히 감소시켜도 거리나 코드 크기의 심각한 열화 없이 유지할 수 있는가?
• RQ4 이러한 코드에서 비트-플립 오류에 대해 다항식 시간 알고리즘을 설계할 수 있으며, 타당한 가정 하에 단계 오류 디코딩도 효율적으로 수행할 수 있는가?

주요 결과

• 섬유 번들 코드 구조는 다항로그 무게의 안정자를 갖는 초기 코드에서 d_X = Ω(N^{1/2}/polylog(N)) 및 d_Z = Ω(N^{3/4}/polylog(N))의 최소 거리를 달성한다.
• 가중치 감소를 거친 후의 최종 LDPC 코드는 거리 Ω(N^{3/5}/polylog(N))을 가지며, N개의 물리 큐비트에 Θ(N^{3/5})개의 논리 큐비트를 인코딩한다.
• 이 구조는 N^{1/2}polylog(N) 거리 바운드를 초월하는 첫 번째 양자 LDPC 코드 가족으로서, 장기간 미해결이었던 문제를 해결한다.
• 비트-플립 오류에 대한 다항식 시간 디코딩 알고리즘이 제공되며, 단계 오류에 대한 효율적 디코더는 가설 기반으로 제안된다.
• 가중치 감소 과정은 거리와 코드 크기를 다항로그 인자 수준에서 유지하며, 원본 코드와 감소된 코드를 연결하는 데 체인 복합체 간의 호모토피 동치를 활용한다.
• 디코딩 알고리즘의 시간 복잡도는 Õ(|D(0)|Δ^5)로 제한되며, 여기서 Δ는 기저 코드의 최대 차수이고, |D(0)|는 심플렉스의 초기 세포 수이다.