기술 요약: 큐비트에 대한 얽힘 보조 준주기적 양자 저밀도 패리티 검사 부호 (Entanglement-assisted Quasi-cyclic Quantum Low-density Parity-check Codes over Qubits)

1. 문제 정의

양자 정보는 본질적으로 결맞음(decoherence)과 게이트 오류에 취약하며, 따라서 양자 오류 정정 부호(QECC)가 필수적이다. 고전적 저밀도 패리티 검사(LDPC) 부호는 용량 근접 성능과 효율적인 복호화 기능을 제공하지만, 이들의 양자 대응물(QLDPC)은 상당한 과제에 직면해 있다. 구체적으로, 칼더뱅-쇼-스티인(CSS) 프레임워크를 기반으로 하는 표준 구성 방식은 종종 듀얼 함유(dual-containment) 속성을 요구하며, 이는 필연적으로 결합 태너 그래프(joint Tanner graph)에 4-사이클을 도입한다. 이러한 짧은 사이클은 상관관계가 있는 $X$ 및 $Z$ 오류 하에서 복호화 성능을 저하시켜 높은 오류 플로어(error floor)를 유발한다. 또한, 기존의 얽힘 보조(Entanglement-Assisted, EA) 양자 부호들은 그래프의 "얽힘 미보조(entanglement-unassisted)" 부분에서 짧은 사이클을 제거하는 구조적 설계가 부족하거나, 큰 블록 길이에 대해 과도한 계산 복잡도를 갖는 비구조적 인코더에 의존하는 경우가 많다.

2. 방법론

저자들은 치환 행렬(permutation matrices)의 타일링을 사용하여 EA-QC-QLDPC 코드를 구축하는 구조적 접근 방식을 제안한다. 이 방법론은 세 가지 핵심 구성 요소로 나뉜다.

A. 코드 구성

본 논문은 두 가지 구별된 전략을 사용하여 여러 계열의 EA-QC-QLDPC 코드를 구축한다:

1. 두 개의 서로 다른 고전 부호 접근 방식: 소수(prime) 및 합성수(composite) 차수의 치환 행렬으로부터 유도된 두 개의 서로 다른 고전 QC-LDPC 코드($C_1$ 및 $C_2$)를 선택함으로써, 저자들은 결합 태너 그래프의 얽힘 미보조 부분이 4-사이클로부터 자유로운 EA 코드를 구축한다. 이는 기저가 되는 고전 코드의 차수 행렬(degree matrices)이 특정 차이 조건을 만족하도록 보장함으로써 달성된다(Proposition 1). 특히, 한 계열은 송신자와 수신자 사이에 단 하나의 공유 벨 쌍(ebit)만을 필요로 한다.
2. 단일 고전 부호 접근 방식: 저자들은 단일 고전 QC-LDPC 코드로부터 유도된 계열도 구축한다. 이 구성에서 기저가 되는 고전 코드는 테너 그래프의 가이르스(girth)가 6보다 크도록 설계되어, 결과적으로 생성된 양자 코드의 태너 그래프 역시 6보다 큰 가이르스를 갖도록 보장한다.

이 구성들은 4-사이클 및 6-사이클의 부재를 보장하고, 코드 파라미터(랭크, 차원, 필요한 ebit 수 $c$)를 분석적으로 결정하기 위해 특정 알고리즘(Algorithm 1 및 2)을 통해 채워진 차수 행렬을 활용한다.

B. 효율적인 인코딩 스킴

인코딩 복잡도 문제를 해결하기 위해, 본 논문은 안정기 생성자(stabilizer generators)의 준주기적 특성에 맞춤화된 구조적 인코딩 알고리즘을 제안한다.

• 절차: 이 방법은 확장된 패리티 검사 행렬($H_{ex}$ 및 $H_{ez}$)을 가우스 소거법을 사용하여 행 축약 에셜론 형태(row-reduced echelon form, RREF)로 변환하는 과정을 포함한다.
• 게이트 복잡도: 제안된 인코딩 회로는 클리포드 게이트(CNOT, Hadamard, Phase)로 구성된다. 게이트 복잡도는 $O(n(\rho_1 + \rho_2) - \rho_1^2)$로 분석적으로 결정되며, 여기서 $n$은 코드 길이이고 $\rho_1, \rho_2$는 각각 $H_x$와 $H_z$에 대한 안정기 생성자 수이다. 이는 일반적으로 $O(n(\rho_1 + \rho_2))$의 복잡도를 갖는 일반적인 안정기 기반 인코더에 비해 개선된 것이다.
• 아키텍처: 이 스킴은 벨 쌍을 소비하는 단방향 통신, 벨 쌍을 재활용하는 양방향 촉매 통신, 그리고 EPR 쌍이 페이로드의 일부인 양자 컴퓨팅 응용 분야를 모두 지원한다.

C. 복호화 전략

본 논문은 상관관계가 있는 오류 처리를 강조하며 네 가지 복호기 구성을 평가한다:

1. 이진 계층형 합-곱 알고리즘 (Binary Layered Sum-Product, BLSP): $X$ 및 $Z$ 오류를 별도의 태너 그래프에서 독립적으로 처리한다.
2. 사진법 최소값 합 알고리즘 (Quaternary Min-Sum, QMS) 및 정규화된 최소값 합 알고리즘 (Normalized Min-Sum, QNMS): $\mathbb{F}_4$ 상의 결합 태너 그래프에서 작동하며, $Y$ 오류를 하나의 개체로 취급하여 상관관계를 포착한다.
3. 사진법 블록 계층형 정규화된 최소값 합 알고리즘 (Quaternary Block-Layered Normalized Min-Sum, QBLNMS): 제안된 최적의 복호기이다. 이는 사진법 프로세싱과 블록 계층형 스케줄링, 그리고 정규화($\alpha$) 및 댐핑($\beta$) 파라미터의 신드롬 기반 적응을 결합한다. 이 방식은 수렴을 가속화하고 진동을 완화하여 하드웨어 구현에 적합하다.

3. 주요 기여

• 사이클 프리 구성: 두 개의 서로 다른 고전 코드로 구성될 때, 결합 태너 그래프의 얽힘 미보조 부분이 명시적으로 4-사이클로부터 자유로운 최초의 EA-QC-QLDPC 계열을 제시한다.
• 자원 효율성: 제안된 한 계열은 단 하나의 사전 공유 벨 쌍만으로 이러한 특성을 달성하여 높은 자원 효율성을 보여준다.
• 고가이르스 코드: 가이르스가 6보다 큰 단일 고전 코드로부터 유도된 두 계열을 제시하여 오류 정정 능력을 더욱 향상시킨다.
• 분석적 파라미터 도출: 제안된 구성에 대해 정확한 코드 레이트와 파라미터(차원, ebit 수)를 분석적으로 도출한다.
• 효율적 인코딩: 기존의 일반적인 방법보다 게이트 복잡도를 낮춘 효율적인 인코딩 스킴을 개발하였다.
• 고급 복호화: QBLNMS 복호기를 제안하고 시뮬레이션함으로써, 이진 복호기에 비해 상관관계가 있는 파울리 오류를 처리하는 데 있어 우수한 성능을 입증하였다.

4. 시뮬레이션 결과

제안된 코드의 성능은 무작위 탈분극 노이즈(random depolarizing noise)와 마르코프 버스트 오류 모델 하에서 평가되었다.

• 복호기 성능: QBLNMS 복호기는 BLSP 및 다른 사진법 변형 모델보다 일관되게 우수한 성능을 보였다. 구체적으로, 탈분극 채널에서 BLSP 복호기보다 거의 10배(one-order-of-magnitude) 이상의 개선된 성능을 보였다.
• 기존 연구와의 비교:
  • $[[42, 4]_2$ CSS 코드 [27]와 비교했을 때, 제안된 $[[42, 10; 6]_2$ 코드(4-사이클이 없는 미보조 그래프 보유)는 $p_d = 10^{-3}$에서 논리적 오류율(LER) 측면에서 100배(two orders of magnitude) 이상의 개선을 달성했다.
  • $[[128, 58; 18]_2$ EA 코드 [40]와 비교했을 때, 제안된 $[[121, 70; 51]_2$ 코드(더 높은 레이트와 열 가중치)는 $p_d = 10^{-2}$에서 10배(one order of magnitude) 이상의 개선을 보였다.
• 가이르스 및 가중치의 영향: 가이르스가 6보다 큰 코드는 블록 길이가 더 짧음에도 불구하고 가이르스가 4보다 큰 코드보다 우수한 성능을 보였다. 열 가중치(column weight)를 3에서 8로 증가시키면 코드 레이트의 희생이 따르지만 오류 정정 성능이 크게 향상되었다.
• 버스트 오류 정정: 제안된 코드는 일정한 수의 버스트 오류를 정정할 수 있음을 입증하였으며, 치환 행렬의 크기가 커짐에 따라 성능이 향상되었다.

5. 의의 및 주장

저자들은 본 연구가 양자 통신 및 컴퓨팅 시스템을 위한 확장 가능하고 실용적인 청사진을 제공한다고 주장한다. 본 연구의 의의는 다음과 같다:

1. 상관 오류 완화: 결합 태너 그래프의 미보조 부분에서 4-사이클을 제거하고 사진법 복호화를 활용함으로써, 표준 CSS 코드의 약점인 상관관계가 있는 $X$ 및 $Z$ 오류를 효과적으로 처리한다.
2. 하드웨어 구현 가능성: 준주기적 구조와 제안된 효율적인 인코딩/복호화 아키텍처(QBLNMS 하드웨어 레이아웃 포함)는 양자 LDPC 코드의 병렬화 및 희소성 문제를 해결하여 하드웨어 구현을 용이하게 한다.
3. 자원 최적화: 최소한의 얽힘 자원(예: 단일 ebit)으로 고성능 코드를 구축하거나 이를 촉매 모드에서 재활용할 수 있는 능력은 근미래 양자 네트워크에 있어 매우 유용하다.
4. 성능 이득: 시뮬레이션 결과는 이러한 구조적 구성이 논리적 오류율 측면에서 기존 벤치마크를 크게 능가함을 보여주며, 더 견고한 양자 정보 처리를 향한 경로를 제시한다.

본 논문은 이러한 구성들이 이론적으로 타당할 뿐만 아니라, 레이트, 복잡도, 오류 정정 성능 사이의 균형을 맞춘 양자 코드를 설계하기 위한 체계적인 접근 방식을 제공하는 실질적인 관련성을 지니고 있다고 결론짓는다.