[논문 리뷰] Fast erasure decoder for hypergraph product codes

Nicholas Connolly, Vivien Londe외 2명|arXiv (Cornell University)|2022. 08. 01.

Quantum Computing Algorithms and Architecture참고 문헌 11인용 수 4

한 줄 요약

이 논문은 초그래프 곱(HGP) 코드, 즉 양자 LDPC 코드의 주요 클래스인 빠른 삭제 디코더를 제안한다. 이는 잘라낸 페링과 새로운 VH 디코더를 조합한 하이브리드 접근 방식을 사용한다. 이 방법은 $O(N^2)$ 비트 연산에서 최대가능성근사 성능을 달성하며, 확률적 가우스 소거법을 사용할 경우 $O(N^{1.5})$로 감소시켜 양자 오류정정 시스템 내에서 큐비트 삭제를 효율적으로 수정할 수 있다.

ABSTRACT

We propose a decoder for the correction of erasures with hypergraph product codes, which form one of the most popular families of quantum LDPC codes. Our numerical simulations show that this decoder provides a close approximation of the maximum likelihood decoder that can be implemented in O(N^2) bit operations where N is the length of the quantum code. A probabilistic version of this decoder can be implemented in O(N^1.5) bit operations.

연구 동기 및 목표

• 고장내성 양자 계산에서 큐비트 오버헤드를 줄이는데 유망한 초그래프 곱(HGP) 코드에서 큐비트 삭제를 수정하기 위한 빠르고 실용적인 디코더를 설계하기 위해.
• 최대가능성(ML) 디코딩의 높은 계산 비용을 극복하기 위해, ML 성능을 근사하는 저복잡도 대안을 개발하기 위해.
• 고전적 및 양자 LDPC 디코딩에서 정지집합을 해결하기 위해, 고립된, 끝이 둔한, 자유로운 클러스터를 사용하는 클러스터 기반 수정 전략을 도입하기 위해.
• 광전자 및 중성원자 시스템과 같이 삭제가 주요 오류 원인인 양자 아키텍처에서의 효율적 구현을 가능하게 하기 위해.
• 논리적 오류율 성능을 유지하면서 디코딩 복잡도를 $O(N^3)$에서 $O(N^2)$ 또는 $O(N^{1.5})$로 감소시키기 위해.

제안 방법

• 디코더는 HGP 코드의 탄너 그래프에서 고립된 및 끝이 둔한 클러스터를 반복적으로 수정하는 잘라낸 페링 알고리즘을 사용하며, 자유로운 체크를 가진 클러스터는 나중에 수정하도록 연기한다.
• 새로운 VH(정점 히우리스틱) 디코더는 두 단계로 클러스터를 수정한다: 먼저 내부 체크를 수정하고, 이후 스택 기반 연기된 수정 메커니즘을 사용해 자유로운 체크를 해결한다.
• 알고리즘은 오류가 수정됨에 따라 점진적으로 갱신되는 심프토미 벡터 $s$를 유지하며, 원래 심프토미와의 일관성을 보장한다.
• 클러스터는 연결성에 따라 처리된다: 고립되거나 끝이 둔한 클러스터는 즉시 수정되고, 자유로운 클러스터는 스택을 사용해 연기되어 심프토미 일관성이 유지된다.
• 각 클러스터의 가우스 소거 단계는 확률 기법을 사용해 최적화되어, 클러스터당 비용을 $O(n^3)$에서 $O(n^2)$로 감소시켜 전체 복잡도를 $O(N^{1.5})$로 이끌어낸다.
• 디코더는 VH-그래프에 사이클이 포함된 삭제 패턴일 경우에만 실패하며, 이는 낮은 삭제 비율에서 희귀한 것으로 밝혀졌다.

실험 결과

연구 질문

• RQ1 HGP 코드를 위한 빠른 디코더를 설계할 수 있을까? 이는 삭제 수정에서 최대가능성근사 성능을 달성할 수 있는가?
• RQ2 디코딩의 복잡도를 $O(N^3)$에서 $O(N^2)$ 또는 더 낮게 줄일 수 있을까? 이와 동시에 높은 정확도를 유지할 수 있을까?
• RQ3 정지집합, 특히 자유로운 체크를 가진 클러스터로 형성된 정지집합은 디코더 실패에 어떤 역할을 하는가? 그리고 이를 어떻게 완화할 수 있는가?
• RQ4 페링과 클러스터 기반 수정을 조합한 하이브리드 접근 방식은 양자 LDPC 디코딩에서 성능과 확장성에 어떻게 기여할 수 있는가?
• RQ5 VH-그래프의 사이클은 디코더 성능을 얼마나 제한하는가? 그리고 잘라내기 전략은 이에 대한 영향을 줄일 수 있는가?

주요 결과

• 제안된 디코더는 특히 낮은 삭제 비율에서 최대가능성 디코더와 매우 유사한 논리적 오류율을 달성한다.
• 디코더는 결정론적 버전에서 $O(N^2)$ 비트 연산을 수행하며, 확률적 가우스 소거법을 사용할 경우 $O(N^{1.5})$로 감소하여 기존 $O(N^3)$ 디코딩보다 크게 향상되었다.
• 잘라낸 페링과 VH 디코딩의 조합은 ML 디코더와 거의 동일한 성능을 보이며, 낮은 삭제 비율에서 작은 성능 격차만 존재한다.
• 디코더는 VH-그래프에 사이클이 포함된 삭제 패턴이 있을 경우에만 실패하며, 이는 낮은 오류 영역에서 작은 무게의 오류 클러스터의 희박성 덕분에 희귀한 현상이다.
• 스택 기반으로 자유로운 체크를 연기함으로써 디코더는 심프토미 일관성을 유지하고, 복잡도를 과도하게 증가시키지 않으면서도 복잡한 클러스터 패tern을 수정할 수 있다.
• 구현 코드는 공개되어 있으며, 유니온-펑과 같은 다른 디코더의 서브루틴으로 사용되어 양자 LDPC 코드의 디코딩 속도를 가속화하는 데 활용될 수 있다.