[논문 리뷰] Trellis Decoding For Qudit Stabilizer Codes And Its Application To Qubit Topological Codes

Eric Sabo, Arun B. Aloshious외 1명|arXiv (Cornell University)|2021. 06. 15.

Quantum Computing Algorithms and Architecture인용 수 5

한 줄 요약

이 논문은 임의의 소수 차원(qudits)에 대해 효율적이고 확장 가능한 트렐리스 디코딩 프레임워크를 소개한다. 이는 Ollivier와 Tillich의 2006년 큐비트 트렐리스 디코딩을 일반화하여 임의의 소수 차원 큐디트로 확장한 것이다. 사전에 코드의 정규화군 $S^{\bot}$에 대한 압축된 그래픽 표현을 구성하고, 온라인 심벌 디코딩에 Viterbi 알고리즘을 사용함으로써, 컬러 코드에서 코드 용량 임계값이 20% 향상됨을 입증하였다. 이는 전통적인 표면 코드로의 매핑 방식보다 뛰어난 성능을 보이며, 디코딩 복잡도의 핵심 지표로 트렐리스 간선 수를 규명하였다.

ABSTRACT

Trellis decoders are a general decoding technique first applied to qubit-based quantum error correction codes by Ollivier and Tillich in 2006. Here we improve the scalability and practicality of their theory, show that it has strong structure, extend the results using classical coding theory as a guide, and demonstrate a canonical form from which the structural properties of the decoding graph may be computed. The resulting formalism is valid for any prime-dimensional quantum system. The modified decoder works for any stabilizer code $S$ and separates into two parts: a one-time, offline computation which builds a compact, graphical representation of the normalizer of the code, $S^\perp$, and a quick, parallel, online query of the resulting vertices using the Viterbi algorithm. We show the utility of trellis decoding by applying it to four high-density, length 20 stabilizer codes for depolarizing noise and the well-studied Steane, rotated surface, and 4.8.8/6.6.6 color codes for $Z$-only noise. Numerical simulations demonstrate a 20\% improvement in the code-capacity threshold for color codes with boundaries by avoiding the mapping from color codes to surface codes. We identify trellis edge number as a key metric of difficulty of decoding, allowing us to quantify the advantage of single-axis decoding for Calderbank-Steane-Shor codes and block-decoding for concatenated codes.

연구 동기 및 목표

• 큐비트 시스템을 초월하는 큐디트 안정자 코드를 위한 확장 가능하고 실용적인 트렐리스 디코딩 프레임워크를 개발하기 위해.
• 고전적 부호 이론을 안내로 삼아 Ollivier와 Tillich의 2006년 큐비트 트렐리스 디코딩을 소수 차원 큐디트로 확장하고 체계화하기 위해.
• 트렐리스 디코딩이 표준 매핑 방식(예: 컬러 코드에서 표면 코드로의 매핑)보다 구조적 흐름을 피함으로써 성능 우월성을 입증하기 위해.
• 디코딩 어려움과 성능을 규정짓는 핵심 지표(예: 트렐리스 간선 수)를 식별하고 정량화하기 위해.
• 디코딩 그래프의 구조적 성질를 체계적으로 계산할 수 있도록 하는 트렐리스의 표준형을 확립하기 위해.

제안 방법

• 안정자 코드 $S$의 정규화군 $S^{\bot}$에 대한 압축된 그래픽 표현을 한 번의 사전 계산을 통해 구성하기 위해.
• 측정된 심벌에 대응하는 최소 무게 경로를 찾는 데 Viterbi 알고리즘을 사용하여 효율적이고 병렬적인 온라인 디코딩을 수행하기 위해.
• 대수적 구조와 코셋 분해를 활용하여 계산 오버헤드를 최소화하고 확장성을 향상시키기 위해.
• 스테이너, 표면, 컬러 코드와 같은 토폴로지적 코드를 포함한 비-CSS 및 CSS 안정자 코드 모두에 이 형식을 적용하기 위해.
• 디폴라라이징 및 $Z$-오직 노이즈 모델 하에서의 임계값 성능을 비교하기 위해 수치 시뮬레이션을 수행하기 위해.
• 디코딩 복잡도 평가 및 디코딩 전략 비교를 위해 트렐리스 간선 수를 정량적 지표로 도입하기 위해.

실험 결과

연구 질문

• RQ1 큐비트에서의 트렐리스 디코딩이 계산 가능성을 유지하면서도, 임의의 소수 차원 큐디트로 일반화될 수 있는가?
• RQ2 트렐리스 정규화군 $S^{\bot}$의 구조는 다양한 안정자 코드에서 효율적이고 확장 가능한 디코딩을 어떻게 가능하게 하는가?
• RQ3 트렐리스 디코딩은 표준 매핑 방식(예: 컬러 코드에서 표면 코드로의 매핑)에 비해 코드 용량 임계값 측면에서 어떤 성능 우위를 점할 수 있는가?
• RQ4 트렐리스 간선 수는 디코딩 어려움과 오류 수정 성능과 어떻게 관련이 있는가?
• RQ5 트렐리스 프레임워크는 복합 코드에서 단일 축 또는 블록 디코딩 전략의 이점을 정량화하는 데 사용될 수 있는가?

주요 결과

• 경계가 있는 컬러 코드에서 트렐리스 디코딩은 표면 코드로의 표준 매핑 방식보다 코드 용량 임계값을 20% 향상시켰다.
• 이 방법은 디폴라라이징 및 $Z$-오직 노이즈 모델 하에서 최신 기술 수준의 디코더와 경쟁 가능한 성능을 보였다.
• 트렐리스 간선 수는 디코딩 복잡도의 핵심 지표로 규명되었으며, 디코딩 전략 간의 정량적 비교를 가능하게 하였다.
• 경로 기반 심벌 일관성 덕분에, 코드의 최소 거리가 최적일 떈도, 주어진 무게의 수정 가능한 오류의 대부분을 수정할 수 있었다.
• 이 프레임워크는 투영, 제한 또는 토폴로지적 매핑 없이도 컬러 코드를 위한 네이티브 디코더를 제공한다.
• 사전에 트렐리스 정규화군 $S^{\bot}$를 구성함으로써, 코드 매개변수에 따라 예측 가능하게 증가하는 런타임을 가진 Viterbi 알고리즘을 통한 효율적 온라인 디코딩이 가능해졌다.