[논문 리뷰] Good Quantum LDPC Codes with Linear Time Decoders

Irit Dinur, Min-Hsiu Hsieh외 2명|arXiv (Cornell University)|2022. 06. 15.

Quantum Computing Algorithms and Architecture인용 수 10

한 줄 요약

이 논문은 왼쪽-오른쪽 카일리 복합체 위에서의 세 항 연쇄 복합체를 사용하여, 일정한 비율과 거리를 가지는 양자 LDPC 코드의 새로운 명시적 가족을 제시한다. 이 코드들은 국소적 비트 플립 알고리즘을 통해 선형 시간 디코딩을 실현하며, 랜덤 코드 쌍에 대한 최적의 강건성에 대한 새로운 증명에 의해 가능해졌으며, 고장 내성 양자 계산 분야의 핵심 열린 문제를 해결한다.

ABSTRACT

We construct a new explicit family of good quantum low-density parity-check codes which additionally have linear time decoders. Our codes are based on a three-term chain $(\mathbb{F}_2^{m imes m})^V \quad \xrightarrow{δ^0}\quad (\mathbb{F}_2^{m})^{E} \quad\xrightarrow{δ^1} \quad \mathbb{F}_2^F$ where $V$ ($X$-checks) are the vertices, $E$ (qubits) are the edges, and $F$ ($Z$-checks) are the squares of a left-right Cayley complex, and where the maps are defined based on a pair of constant-size random codes $C_A,C_B:\mathbb{F}_2^m o\mathbb{F}_2^Δ$ where $Δ$ is the regularity of the underlying Cayley graphs. One of the main ingredients in the analysis is a proof of an essentially-optimal robustness property for the tensor product of two random codes.

연구 동기 및 목표

• 고장 내성 양자 계산에서의 핵심 과제인 일정한 비율과 상대적 거리를 가지는 명시적 양자 LDPC 코드를 구축하는 것.
• 대규모 양자 시스템에서 효율적인 오류 수정을 가능하게 하는 선형 시간에 작동하는 디코더를 설계하는 것.
• 텐서 곱의 강건성 성질을 입증하여, 코드 거리와 디코딩 분석에 필수적인 성질을 확립하는 것.
• 특히 왼쪽-오른쪽 카일리 복합체와 같은 기하학적 구조를 활용하여 대칭적이지만 비대칭적인 연쇄 복합체를 구성함으로써 양자 코드를 구축하는 것.
• 클래식적 국소 테스트 가능 코드의 프레임워크를 양자 환경으로 확장하여, 증명 가능 성능 보장을 갖는 효율적 디코딩을 가능하게 하는 것.

제안 방법

• 왼쪽-오른쪽 카일리 복합체 위에서의 세 항 연쇄 복합체를 구성한다: $(\bbF_2^{m\times m})^V \to (\bbF_2^m)^E \to \bbF_2^F$, 여기서 $V$, $E$, $F$ 는 각각 정점, 간선, 면(정사각형)을 나타낸다.
• 두 기초 코드 $C_A, C_B: \bbF_2^m \to \bbF_2^\triangle$ 를 사용하여 연쇄 사상 $\bar{\theta}^0$ 과 $\bar{\theta}^1$ 을 정의한다. 이 코드들은 일정한 비율과 거리를 가지며, 행렬의 행과 열에 각각 적용된다.
• 카일리 복합체의 4중 커버를 사용하여 큐비트와 체크의 적절한 배치를 보장함으로써 균형 잡힌 코드 구조와 $w$-지역 체크를 확보한다.
• 복합체의 기하학적 및 대수적 구조를 활용하여 국소적 비트 플립 또는 소형 집합 플립 연산에 기반한 선형 시간 디코딩 알고리즘을 구현한다.
• 두 랜덤 이진 코드의 텐서 곱이 높은 확률로 $d_2$-강건함을 증명한다. 이는 합집합 내의 저중량 행렬가 반드시 $C_A$ 와 $C_B$ 에서의 적은 수의 코드어로 분해될 수 있음을 의미한다.
• 확산성과 강건성 추론을 적용하여 코드가 일정한 상대적 거리를 가지며, 디코더가 선형 거리 이내의 오류를 수정할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 일정한 비율과 일정한 거리를 가지며 효율적인 선형 시간 디코더를 갖는 양호한 양자 LDPC 코드를 구성할 수 있는가?
• RQ2 좋은 양자 코드 거리와 효과적인 디코딩을 보장하기 위해, 고전적 코드 쌍이 만족해야 할 강건성 성질은 무엇인가?
• RQ3 왼쪽-오른쪽 카일리 복합체와 같은 기하학적 복합체를 어떻게 활용하여 체크 무게가 낮고 구조화된 양자 코드를 구성할 수 있는가?
• RQ4 랜덤 코드 쌍의 강건성이 본질적으로 최적임을 증명할 수 있는가? 이는 강력한 거리 및 디코딩 보장을 가능하게 한다.
• RQ5 코드의 선형 거리까지 오류를 수정할 수 있는 선형 시간 디코딩 알고리즘을 설계하는 것은 가능한가?

주요 결과

• 저자들은 일정한 비율 $r \to (0, 1/2)$, 일정한 상대적 거리 $ frac{ar{\theta}}{2} > 0$, 최대 체크 무게 $w \to \bbN$ 를 가지는 명시적 무한한 양자 LDPC 코드 가족을 구성한다.
• 코드는 일정한 비율의 코드 거리까지 오류를 수정할 수 있는 선형 시간 디코더를 갖추고 있어 효율적인 오류 수정을 실현한다.
• 핵심 기여 중 하나는 일정한 비율과 거리를 가지는 두 랜덤 이진 코드가 높은 확률로 $d_2$-강건함을 갖는다는 증명이며, 이는 거리 및 디코딩 분석에 필수적이다.
• 강건성 성질은 두 코드 텐서 곱의 합집합 내의 임의의 저중량 행렬가 반드시 각 코드에서 적은 수의 코드어로 분해될 수 있음을 보장하여 효과적인 디코딩을 가능하게 한다.
• 분석 결과, 임의의 행렬이 강건 집합 $\bar{\rho}(C_A, C_B)$ 에 속할 확률은 $m_a m_b / \triangle$ 에 대해 지수적으로 감소함을 보여주며, 강력한 거리 한계를 뒷받침한다.
• 카일리 복합체의 확산성과 국소 최소 조건을 활용하여 오류가 국소적 연산을 통해 감지되고 수정될 수 있음을 보장한다.