[논문 리뷰] Decoding quantum Tanner codes

Anthony Leverrier, Gilles Zémor|arXiv (Cornell University)|2022. 08. 10.

Quantum Computing Algorithms and Architecture인용 수 7

한 줄 요약

이 논문은 양자 타너 코드에 대한 순차적 및 병렬 디코딩기를 제안하며, 코드 길이에 비례하는 선형 무게의 임의의 오류를 증명 가능하게 수정하고, 각각 선형 시간 또는 로그 시간 내에 이를 수행한다. 이 디코딩기는 확산자로 올린 곱셈 코드에 적응되어 있으며, 강력한 국소 코드와 스펙트럼 확산성을 기반으로 하여 渐近적으로 양호한 성능를 보장한다.

ABSTRACT

We introduce sequential and parallel decoders for quantum Tanner codes. When the Tanner code construction is applied to a sufficiently expanding square complex with robust local codes, we obtain a family of asymptotically good quantum low-density parity-check codes. In this case, our decoders provably correct arbitrary errors of weight linear in the code length, respectively in linear or logarithmic time. The same decoders are easily adapted to the expander lifted product codes of Panteleev and Kalachev. Along the way, we exploit recently established bounds on the robustness of random tensor codes to give a tighter bound on the minimum distance of quantum Tanner codes.

연구 동기 및 목표

• 실용적인 시간 내에 선형 무게의 임의의 오류를 수정할 수 있는 효율적인 디코딩기를 설계하는 것.
• 확장하는 정사각형 복합체와 강력한 국소 코드로 구성된 양자 LDPC 코드에 대해 증명 가능한 디코딩 보장을 수립하는 것.
• 소작업 플립 디코딩 프레임워크를 양자 타너 코드와 확산자로 올린 곱셈 코드에 적응시켜 고도로 병렬화 가능한 구조를 확보하는 것.
• 최근의 텐서 코드 강력성에 대한 결과를 활용하여 양자 타너 코드의 최소 거리에 대한 바운드를 강화하는 것.
• 디코딩기가 로그 시간 내에 작동하도록 보장하여 고장 내성 양자 계산을 가능하게 하고, 양자 하드웨어에서 오류 누적 속도와 일치시키는 것.

제안 방법

• 정사각형 복합체의 2차 면에 관련된 큐비트에 대한 국소 코드 제약 조건을 활용하여, 소작업 플립 알고리즘에 영감을 얻은 순차적 디코딩기를 제안하며, 양자 타너 코드의 구조에 적응시킨다.
• 여러 보정 단계를 동시에 적용하는 병렬 디코딩기를 도입하며, 매개변수 1/2를 사용해 순차적 업데이트의 효과를 모방함으로써 로그 시간 내 수렴 가능성을 확보한다.
• 스펙트럼 확산성과 국소 코드의 강력성(텐서 코드 바운드를 통한)을 활용하여, 각 보정 단계가 불일치 벡터를 일정 요소만큼 감소시킴을 보장한다.
• 불일치 벡터 분석과 강력성 부등식을 사용하여 각 보정 단계 이후 잔류 오류의 노름을 바운드함으로써 수렴성을 확보한다.
• 레마 17과 정리 12를 적용하여 오류 전파를 제어하고, 충분한 확산성과 강력성 하에 로그 시간 내에 종료 보장을 확보한다.
• 확산자로 올린 곱셈 코드와 양자 타너 코드 간의 구조적 유사성을 활용하여 동일한 디코딩 프레임워크를 적용함으로써 디코딩기를 적응시킨다.

실험 결과

연구 질문

• RQ1 양자 타너 코드의 디코딩기는 선형 시간 이하의 시간 내에 선형 무게의 임의의 오류를 수정할 수 있는가?
• RQ2 기초가 되는 정사각형 복합체와 국소 코드에 어떤 조건이 성립해야 디코딩기가 로그 시간 내에 수렴하는가?
• RQ3 국소 텐서 코드의 강력성을 어떻게 활용하여 양자 타너 코드의 최소 거리에 대한 바운드를 강화할 수 있는가?
• RQ4 소작업 플립 디코딩 전략을 얼마나 병렬화할 수 있으며, 오류 수정 보장을 유지할 수 있는가?
• RQ5 동일한 디코딩 프레임워크를 확산자로 올린 곱셈 코드에 적용할 수 있으며, 유사한 성능 보장을 확보할 수 있는가?

주요 결과

• 순차적 디코딩기는 선형 시간 내에 $ \frac{1}{2^{12}} \min\left(\frac{\varepsilon^3}{16}, \kappa\right) \delta^2 \kappa^2 \frac{n}{\Delta} $ 이하의 오류 무게를 증명 가능하게 수정한다.
• 병렬 디코딩기는 동일한 오류 무게를 로그 시간 내에 수정하며, 고장 내성 양자 계산에서 오류 누적 속도와 일치한다.
• 양자 타너 코드의 최소 거리는 $ \Omega(\delta^2 \kappa^2 n) $ 이하로 바운드되며, 텐서 코드의 강력성에 대한 더 엄밀한 바운드를 활용해 이전 추정치를 향상시킨다.
• 각 단계에서 불일치 벡터의 노름이 $ (1 - \varepsilon) $ 배로 감소하므로, 제시된 오류 임계값 이하일 경우 수렴성이 보장된다.
• 이 프레임워크는 Panteleev와 Kalachev의 확산자로 올린 곱셈 코드에 직접 적용 가능하며, 더 넓은 범위의 渐近적으로 양호한 양자 LDPC 코드에 대한 유용성을 확장한다.
• 분석 결과 총 보정 오류는 $ \frac{10}{\kappa} |\mathbf{e}| $ 이하로 바운드되며, $ |\mathbf{e}| \leq \frac{\kappa^3 \delta^2}{2^{12}} \frac{n}{\Delta} $ 일 경우 최종 오류가 최소 거리 이하가 되도록 보장한다.