[논문 리뷰] Good quantum LDPC codes with linear time decoder from lossless expanders

Ting-Chun Lin, Min-Hsiu Hsieh|arXiv (Cornell University)|2022. 03. 07.

Quantum Computing Algorithms and Architecture인용 수 12

한 줄 요약

이 논문은 자유군 작용을 가진 양측 손실이 없는 확산 그래프 위에서 균형 잡힌 곱을 사용하여 일정한 비율과 선형 거리를 가지는 양호한 양자 LDPC 코드의 새로운 구성법을 제시한다. 주요 기여는 심호드 업데이트를 기반으로 정점들을 반복적으로 뒤집는 방식으로 오류를 효율적으로 수정하는 선형 시간 디코더이다. 이 디코더는 확산 그래프의 고유한 확산 성질을 활용하여 정확성과 효율성을 보장한다.

ABSTRACT

Quantum low-density parity-check (qLDPC) codes are quantum stabilizer codes where each stabilizer acts on a constant number of qubits and each qubit is acted on by a constant number of stabilizers. We study qLDPC codes constructed from balanced products and lossless expanders. We found that assuming the existence of 2-sided lossless expander graphs with free group action, the resulting qLDPC codes have constant rate, linear distance, and linear time decoders.

연구 동기 및 목표

• 구조화된 그래프 기반 방법을 사용하여 일정한 비율과 선형 거리를 가지는 양호한 양자 LDPC 코드를 구성하기.
• 양자 LDPC 코드에 대한 선형 시간 디코딩을 달성하는 데 도전하는 문제를 해결하기.
• 자유군 작용을 가진 2측 손실이 없는 확산 그래프의 조합적 성질을 활용하여 코드의 강건성과 효율적 디코딩을 보장하기.
• 균형 잡힌 곱 프레임워크를 통해 이전의 양자 LDPC 코드 구성법을 통합하고 확장하기.
• 국소적 업데이트를 통해 심호드 무게를 반복적으로 감소시키는 방식으로 작동하는 선형 시간 디코더의 엄밀한 분석 제공하기.

제안 방법

• 자유군 작용을 가진 두 개의 1차원 그래프의 카티esian 곱을 통해 2차원 그래프 구조를 구성한 후, 대각선 작용에 대한 몫을 취한다.
• 강한 확산성과 국소적 트리 유사 구조를 보장하기 위해 2측 손실이 없는 확산 그래프를 구조적 블록으로 사용한다.
• 2차원 그래프에 대해 균형 잡힌 곱 구성법을 적용하여 체인 복합체를 통해 양자 코드를 정의한다: $\mathbb{F}_2^{V_{00}} \to \mathbb{F}_2^{V_{10}} \oplus \mathbb{F}_2^{V_{01}} \to \mathbb{F}_2^{V_{11}}$.
• 심호드를 유지하면서 후보로 지정된 뒤집을 정점 목록을 관리하고, 각 뒤집기 후에 국소적으로 심호드를 업데이트하는 심호드 기반 디코더를 설계한다.
• 손실이 없는 확산 그래프의 고유한 확산 성질을 이용하여 각 뒤집기 작업이 심호드 무게를 감소시키며 수렴을 보장한다.
• 각 반복에서 $O(1)$ 시간 내에 수행 가능한 동적 뒤집을 수 있는 정점 목록을 유지하기 위한 사전 처리 단계를 구현하여 총 시간 복잡도를 선형으로 유도한다.

실험 결과

연구 질문

• RQ1 자유군 작용을 가진 2측 손실이 없는 확산 그래프를 사용하여 일정한 비율과 선형 거리를 가지는 양호한 양자 LDPC 코드를 구성할 수 있는가?
• RQ2 이러한 확산 그래프 위에서 균형 잡힌 곱 구성법을 적용하면 충분한 거리와 효율적 디코딩을 갖는 코드를 얻을 수 있는가?
• RQ3 국소적 구조와 확산 성질을 활용하여 이러한 코드에 대해 선형 시간 디코더를 설계할 수 있는가?
• RQ4 손실이 없는 확산 그래프의 고유한 확산 성질이 디코더가 정확한 코드워드로 수렴하도록 보장하는 방식은 무엇인가?
• RQ5 디코더의 시간 복잡도는 얼마이며, 오류 수에 대해 선형으로 유 bounds 할 수 있는가?

주요 결과

• 2측 손실이 없는 확산 그래프와 자유군 작용의 존재를 전제로 할 경우, 얻어진 양자 LDPC 코드는 일정한 비율과 선형 거리를 갖는다.
• 균형 잡힌 곱 구성법은 코드 거리가 $\Omega(n)$임을 보장하여 이전의 구성법에서의 $\Omega(\sqrt{n})$ 장벽을 돌파한다.
• 제안된 디코더는 심호드 수에 대해 선형 시간 내에 작동하며, 오류 수와 선형 비례하여 $O(|c_1|)$의 실행 시간을 달성한다.
• 작은 집합 LTC 보조정리와 고유한 확산 성질을 바탕으로, 디코더는 원래 오류를 정확히 식별하고 수정한다.
• 유한한 차수와 국소적 업데이트 규칙 덕분에 반복당 시간 복잡도가 일정하여 총 시간 복잡도가 선형으로 유지된다.
• 새로운 체인 복합체 구조 $\mathbb{F}_2^{V_{00}} \to \mathbb{F}_2^{V_{10}} \oplus \mathbb{F}_2^{V_{01}} \to \mathbb{F}_2^{V_{11}}$를 사용함으로써 이전의 접근법을 통합하고 일반화한다.