양자 LDPC 코드의 직교성 장벽을 깨다: 대규모 기어와 낮은 가중치 논리 연산자 억제

초록

본 논문은 기존 양자 LDPC 코드에서 발생하는 직교성 제약으로 인한 기어 감소와 거리 상한 문제를, 부분 직교성만을 만족하도록 설계된 순열 행렬과 활성‑잠재 행렬 구분을 이용해 해결한다. 8‑기어, (3,12)‑정규 구조의

상세 분석

이 연구는 양자 CSS‑LDPC 코드 설계에서 가장 근본적인 난관인 H_X·H_Z^T=0이라는 직교성 조건이 코드의 기어(girth)와 최소 거리(minimum distance)를 동시에 최적화하는 것을 방해한다는 점을 정확히 지적한다. 기존 방식은 부모 행렬(ˆH_X, ˆH_Z)을 완전 직교하도록 설계한 뒤, 일부 행을 삭제해 활성 행렬(H_X, H_Z)만을 남기는 방법을 사용한다. 하지만 이렇게 하면 잠재 행(˜H_X, ˜H_Z)이 여전히 활성 행과 직교하게 되며, 잠재 행 자체가 낮은 가중치 논리 연산자가 될 위험이 있다. 논문은 이를 해결하기 위해 두 가지 핵심 아이디어를 도입한다. 첫째, 순열 행렬을 일반화한 Affine Permutation Matrix(APM)를 이용해 행렬 블록을 구성하고, 블록 간 차이값 Δ에 한정된 커뮤테이션 조건만 강제한다. 즉, 모든 (i,j)∈Δ에 대해 F_u와 G_{r−u}가 교환(commute)하면 활성 행렬 간 직교성 H_X H_Z^T=0이 보장된다. 둘째, 활성‑잠재 구분을 명시적으로 도입해 잠재 행이 활성 행과 교환되지 않도록 설계한다. 이를 위해 L≥4J라는 필요조건을 도출하고, Δ에 포함되지 않는 차이값 r∈