[논문 리뷰] Quantum LDPC Codes of Almost Linear Distance via Homological Products

Louis Golowich, Venkatesan Guruswami|arXiv (Cornell University)|2024. 11. 06.

Quantum Computing Algorithms and Architecture인용 수 1

한 줄 요약

이 논문은 사슬 복합체의 호모로지적 곱을 이용하여 기존의 균형 임의의 곱 방법에서 요구하는 대칭군 구조를 회피함으로써 거의 선형 거리와 차원을 갖는 양자 LDPC 코드의 새로운 구성법을 제시한다. 제품 확장(product-expansion)과 하위계 코드를 도입함으로써, 안정자 무게가 작은 [[N, Θ(N), Θ(N)]] 코드와 안정자 무게가 일정한 [[N, N^{1−ε}, N^{1−ε}]] 코드를 얻었으며, √N 거리 장벽을 우회하였다.

ABSTRACT

The first linear-distance quantum LDPC codes were recently constructed by a line of breakthrough works (culminating in the result of Panteleev & Kalachev, 2021). All such constructions, even when allowing for almost-linear distance, are based on an operation called a balanced (or lifted) product, which is used in a one-shot manner to combine a pair of large classical codes possessing a group symmetry. We present a new construction of almost-linear distance quantum LDPC codes that is iterative in nature. Our construction is based on a more basic and widely used product, namely the homological product (i.e. the tensor product of chain complexes). Specifically, for every ε > 0, we obtain a family of [[N,N^{1-ε},N^{1-ε}]] (subsystem) quantum LDPC codes via repeated homological products of a constant-sized quantum locally testable code. Our key idea is to remove certain low-weight codewords using subsystem codes (while still maintaining constant stabilizer weight), in order to circumvent a particular obstruction that limited the distance of many prior homological product code constructions to at most Õ(√N).

연구 동기 및 목표

• O(√N)를 초월하는 거리를 갖는 양자 LDPC 코드를 구성하는 데 있어 오랫동안 애초의 장벽이었던 문제를 해결하기 위해.
• 대칭군 구조에 의존하지 않고도 (근사적으로) 선형 코드 거리를 유지하는 호모로지적 곱의 일반적 프레임워크를 개발하기 위해.
• 반복적인 호모로지적 곱과 하위계 코드를 이용하여 기존의 qLDPC 구성법이 갖는 √N 거리 한계를 초월하기 위해.
• 안정자 무게가 작은 점차적으로 좋은 양자 LDPC 코드의 명시적 비대칭 구성법을 제공하기 위해.
• 호모로지적 곱이 좋은 양자 코드 파라미터를 유도할 수 있는 이론적 조건—특히 제품 확장과 국소 테스트 가능성—을 확립하기 위해.

제안 방법

• 클래식적 텐서 코드를 양자 환경으로 일반화하기 위해 사슬 복합체의 호모로지적 곱(텐서 곱)을 핵심 구성 메커니즘으로 사용하기.
• 양자 환경에서 호모로지적 곱의 거리를 제한하기 위해 고전적 코드에 대한 제품 확장의 개념을 도입하기.
• 상수 크기의 양자 국소 테스트 가능 코드(qLTC)에 반복적인 호모로지적 곱을 적용하여 근사 선형 거리를 달성하기.
• 일반적으로 제품 기반 양자 코드의 거리를 제한하는 √N 거리 장벽을 우회하기 위해 하위계 코드를 활용하기.
• 국소-전역 프레임워크와 집합적 (코)필링 상수를 활용하여 코드 거리와 안정성 분석하기.
• 층 이론적 해석과 노름이 부여된 직접 곱 층을 사용하여 (코)필링 상수의 경계를 집합적 설정으로 확장하기.

실험 결과

연구 질문

• RQ1 기본 군 대칭성 없이도 사슬 복합체의 호모로지적 곱이 양자 코드에서 (근사적으로) 선형 거리를 유지할 수 있는가?
• RQ2 기본 코드의 어떤 구조적 성질이 그들의 호모로지적 곱이 큰 거리를 갖는 양자 코드를 유도하는지를 보장하는가?
• RQ3 표준 호모로지적 곱이 왜 √N 거리를 초월하지 못하는가? 이 장벽은 어떻게 극복할 수 있는가?
• RQ4 하위계 코드를 사용하여 안정자 무게가 일정한 상태에서 거의 선형 거리를 갖는 양자 LDPC 코드를 달성할 수 있는가?
• RQ5 제품 확장과 국소 테스트 가능성은 호모로지적 곱 구성에서 좋은 양자 코드 파라미터를 위한 충분조건으로 얼마나 효과적으로 사용될 수 있는가?

주요 결과

• 논문은 제품 확장 코드의 호모로지적 곱을 사용하여 안정자 무게가 작은 다항식 차수의 [[N, Θ(N), Θ(N)]] 점차적으로 좋은 양자 LDPC 코드를 구성하였다.
• 모든 ε > 0에 대해, 상수 크기의 qLTC에 반복적인 호모로지적 곱을 적용하여 안정자 무게가 일정한 [[N, N^{1−ε}, N^{1−ε}]] 하위계 양자 LDPC 코드를 구성하였다.
• 유도된 코드의 거리는 이전의 많은 제품 기반 구성법이 제한하는 √N 장벽을 초월하여 거의 선형 거리를 달성하였다.
• 저자는 제품 확장이 호모로지적 곱 하에서 좋은 거리를 유지하는 데 충분한 조건임을 입증하였으며, 이는 균형 임의의 곱을 넘어서서도 적용 가능함을 보였다.
• 하위계 코드를 사용함으로써 이전에 거리가 Õ(√N)로 제한되던 핵심 장애물을 우회하였으며, 안정자 무게가 일정하고 거의 선형 거리를 갖는 첫 번째 코드를 실현하였다.
• 분석은 집합적 (코)필링 상수와 국소-전역 프레임워크에 기반하며, 직접 곱 층으로의 경계 확장을 통해 반복 과정에서의 강건성을 보장하였다.