[논문 리뷰] An Efficient Algorithm to Sample Quantum Low-Density Parity-Check Codes

Paolo Santini|arXiv (Cornell University)|2026. 01. 13.

Quantum Computing Algorithms and Architecture인용 수 0

한 줄 요약

이 논문은 Information Set Decoding을 사용하여 행을 하나씩 구축해 희소하고 자기직교인 이진 LDPC 검사 행렬을 샘플링하는 순수하게 조합적 알고리즘을 도입하고, 이를 비이진 필드 및 일반 안정자 코드로의 확장까지 제시한다.

ABSTRACT

In this paper, we present an efficient algorithm to sample random sparse matrices to be used as check matrices for quantum Low-Density Parity-Check (LDPC) codes. To ease the treatment, we mainly describe our algorithm as a technique to sample a dual-containing binary LDPC code, hence, a sparse matrix $\mathbf H\in\mathbb F_2^{r imes n}$ such that $\mathbf H\mathbf H^ op = \mathbf 0$. However, as we show, the algorithm can be easily generalized to sample dual-containing LDPC codes over non binary finite fields as well as more general quantum stabilizer LDPC codes. While several constructions already exist, all of them are somewhat algebraic as they impose some specific property (e.g., the matrix being quasi-cyclic). Instead, our algorithm is purely combinatorial as we do not require anything apart from the rows of $\mathbf H$ being sparse enough. In this sense, we can think of our algorithm as a way to sample sparse, self-orthogonal matrices that are as random as possible. Our algorithm is conceptually very simple and, as a key ingredient, uses Information Set Decoding (ISD) to sample the rows of $\mathbf H$, one at a time. The use of ISD is fundamental as, without it, efficient sampling would not be feasible. We give a theoretical characterization of our algorithm, determining which ranges of parameters can be sampled as well as the expected computational complexity. Numerical simulations and benchmarks confirm the feasibility and efficiency of our approach.

연구 동기 및 목표

• 무작위 고전적 LDPC 코드 생성과 양자 LDPC 코드 구성 사이의 격차를 동기 부여하고 해결한다.
• 양자 코드를 위한 듀얼 포함(자가 직교) 희소 이진 LDPC 행렬을 샘플링하기 위한 실용적인 알고리즘을 제안한다.
• 샘플링 범위와 기대 복잡도를 이론적으로 분석하고 수치적 검증을 수행한다.
• 비이진 필드와 더 넓은 안정자 코드 계열로의 확장에 대해 논의한다.

제안 방법

• 이미 선택된 행들의 이중 공간으로부터 h1, ..., hu를 반복적으로 샘플링하여 HH^T=0(자가 직교성)을 보장한다.
• 각 단계에서 현재 여태의 패리티 검사 행들에 의해 정의된 코드 Cu를 형성하고 Information Set Decoding(ISD)을 사용하여 고정된 가중치 v의 새로운 희소 코드워드 hu를 탐색한다.
• ISD를 사용하여 Cu에서 낮은 가중치의 코드워드를 효율적으로 찾아 새로운 행이 희소하고 이전 행들과 직교하도록 보장한다.
• 균일한 행 가중치 v와 일정한 비율 R을 가정하고, 높은 확률로 낮은 가중치의 코드워드가 존재하는 조건을 도출한다(GV형 거리 분석).
• 개념 입증용 Sagemath 구현을 제공하고 다항 시간 또는 준지수 시간 샘플링이 가능한 매개변수 영역을 논의한다.
• 비이진 필드에서의 자기 직교 코드 샘플링과 더 넓은 안정자 코드 구성으로의 일반화를 설명한다.

실험 결과

연구 질문

• RQ1 Symplectic 곱(자가 직교성) 제약을 만족시키면서 무작위 양자 LDPC 코드를 효율적으로 생성할 수 있는가?
• RQ2 저가중치의 희소하고 듀얼 포함 패리티 검사 행렬의 성공적 샘플링을 가능하게 하는 매개변수 영역(행 가중치 v, 길이 n, 비율 R)은 무엇인가?
• RQ3 샘플링 절차가 비이진 필드 및 더 일반적인 안정자 양자 코드로 어떻게 확장되는가?
• RQ4 제안된 ISD 기반 샘플링 방법의 실용적인 계산 비용과 이론적 보장은 무엇인가?

주요 결과

• ISD 기반 샘플링 절차는 HH^T=0인 희소하고 자기 직교인 행렬 H를 구성할 수 있어 듀얼 포함 양자 LDPC 코드를 가능하게 한다.
• 점근적 분석은 낮은 가중치의 코드워드가 높은 확률로 존재하는 영역을 식별하여 행 가중치 v의 선택을 안내한다(대략 v < ln(2)^(1−R) log2(n)).
• 본 방법은 v, R, n에 따라 준지수 시간에서 다항 시간 샘플링까지 달성하며, SageMath 개념 증명으로 실용적 타이밍이 시연된다.
• 개념 증명 구현을 통한 실험적 결과는 타당성과 효율성을 입증하고 희소성에 따라 코드워드 분포가 어떻게 진화하는지 보여준다.
• 이 접근법은 q-ary 필드와 CSS를 넘어서는 더 넓은 안정자 코드 구성으로 일반화되어 양자 코딩의 적용 범위를 넓힌다.