[논문 리뷰] An efficient decoder for a linear distance quantum LDPC code

Shouzhen Gu, Christopher A. Pattison외 1명|arXiv (Cornell University)|2022. 06. 14.

Quantum Computing Algorithms and Architecture인용 수 7

한 줄 요약

이 논문은 최근에 구성된 상수 비율과 선형 거리를 갖는 점차적으로 좋은 양자 LDPC 코드인 양자 타너 코드에 대해 선형 시간 디코더를 제안한다. 이 디코더는 상수 크기의 영역 내에서 수정을 이끄는 반복적이고 국소적인 잠재함수를 사용하며, 모든 오류를 블록 길이의 상수 분율 이내로 수정할 수 있음을 증명한다. 이는 증명 가능한 런타임 효율성과 함께 최적의 오류 수정 능력을 달성한다.

ABSTRACT

Recent developments have shown the existence of quantum low-density parity check (qLDPC) codes with constant rate and linear distance. A natural question concerns the efficient decodability of these codes. In this paper, we present a linear time decoder for the recent quantum Tanner codes construction of asymptotically good qLDPC codes, which can correct all errors of weight up to a constant fraction of the blocklength. Our decoder is an iterative algorithm which searches for corrections within constant-sized regions. At each step, the corrections are found by reducing a locally defined and efficiently computable cost function which serves as a proxy for the weight of the remaining error.

연구 동기 및 목표

• 최근에 구성된 바이나 상수 비율과 선형 거리를 갖는 점차적으로 좋은 양자 LDPC 코드에 대해 효율적인 디코딩 문제를 해결하기 위해.
• 이론적 거리 한계에 맞추어 Θ(n)의 무게를 갖는 모든 오류를 수정할 수 있는 디코더를 개발하기 위해.
• 국소 전개와 잠재함수를 활용하여 소집합 뒤집기 유사 디코딩 전략의 적용 범위를 양자 타너 코드로 확장하기 위해.
• 이중 텐서 코드의 강건성을 강화하여 고오류율 하에서도 디코더의 정확성을 보장하기 위해.
• 가족형 양자 타너 코드에 대해 증명 가능하고 효율적인 디코딩 절차를 확립하기 위해, 선형 런타임을 확보한다.

제안 방법

• 디코더는 국소 시야(정점 이웃) 위에 정의된 전역 잠재함수를 사용하여 오류가 코드공간으로부터의 거리를 측정하며, 이는 오류 무게의 대체 척도로 기능한다.
• 각 반복 단계에서, 알고리즘은 국소 시야 내에서 국소 잠재함수의 합을 최소화하는 상수 크기의 수정 집합을 식별한다.
• 디코더는 기초가 되는 이차원 복합체의 전개 성질과 국소 고전적 코드의 강건성을 기반으로 각 단계에서 진전을 확보한다.
• 핵심 기술적 구성 요소는 강건성 매개변수 Δ³/²⁺ε를 갖는 이중 텐서 코드의 구축으로, 이는 코드 거리를 향상시키고 디코딩 프레임워크를 단순화한다.
• 알고리즘은 반복적으로 작동하며, 작은 국소 영역 내의 큐비트를 뒤집어 전역 잠재함수를 감소시켜 오류를 완전히 수정한다.
• 정확성의 증명은 귀류법에 기반한다: 만약 타당한 수정 집합이 존재하지 않는다면, 오류의 최소성과 모순이 발생하며, 이는 전개와 강건성에서 유도된 경계에 의존한다.

실험 결과

연구 질문

• RQ1 점차적으로 좋은 양자 LDPC 코드에 대해, 모든 오류를 블록 길이의 상수 분율 이내로 수정할 수 있는 효율적 디코더를 구성할 수 있는가?
• RQ2 국소 잠재함수와 전개 성질을 이용해 소집합 뒤집기 디코딩 철학을 양자 타너 코드로 일반화할 수 있는가?
• RQ3 고오류율 하에서도 디코더 수렴을 보장하기 위해 국소 고전적 코드가 어느 정도의 강건성 수준을 가져야 하는가?
• RQ4 상수 분율 오류에 대해 증명 가능하게 정확한 동시에 선형 시간 디코딩을 달성할 수 있는가?
• RQ5 이 디코더는 팬테레예프-칼라체프 코드와 같은 다른 양호한 qLDPC 구성으로 확장될 수 있는가?

주요 결과

• 디코더는 Θ(n)의 오류 무게를 갖는 모든 오류를 성공적으로 수정하여 선형 거리 코드의 이론적 최대치를 달성한다.
• 디코더는 O(n) 시간 내에 작동하여 런타임 복잡도에서 점차적으로 최적이다.
• 증명은 오류가 임계 무게 |e| ≲ δn / Δ⁷/²⁺ε 이하일 경우 각 단계에서 타당한 수정 집합이 존재함을 보여주며 수렴을 보장한다.
• 강건성 Δ³/²⁺ε를 갖는 이중 텐서 코드의 구축은 코드의 거리를 향상시키며, 패러미터링 저항이 필요 없어진다.
• 디코더의 정확성은 기초가 되는 기하학적 복합체의 전개 성질과 국소 코드의 강건성에 기반하며, 양자 타너 코드에 대해 새로운 타당성 보장을 제공한다.
• 이 작업는 스토케스틱 노이즈에 대해 상수 정확도 임계값이 존재함을 암시하며, 이는 정리 15에 의해 공식화되어 있다.