컬럼 가중치 3 LDPC 코드의 오류 정정 능력

** 본 논문은 컬럼 가중치가 3인 정규 LDPC 코드(3, ρ) 집합 Cₙ(3, ρ) 에 대해 Gallager A 디코딩과 비트‑플리핑 디코딩이 제공하는 최악‑사례 오류 정정 한계를 체계적으로 분석한다. 연구는 크게 네 부분으로 전개된다. 첫 번째 섹션에서는 LDPC 코드와 Tanner 그래프의 기본 정의를 재정리하고, Gallager A 알고리즘의 구체적인 메시지 전달 규칙과 두 가지 결정 규칙(A와 B)을 소개한다. 컬럼 가중치가 3이므로 변수 노드가 받는 체크 노드 메시지는 최대 두 개이며, 논문은 결정 규칙 A(모든 인커밍 메시지가 동일하면 그 값으로, 아니면 수신값을 그대로 사용)를 채택한다. 두 번째 섹션에서는 디코딩 실패를 “고정점”(fixed point)과 “트래핑 세트”(V, C)라는 그래프 구조로 모델링한다. 고정점은 모든 반복에서 변수‑체크 간 메시지가 변하지 않는 상태이며, 그 지원 집합 S(x) 가 바로 트래핑 세트가 된다. 트래핑 세트는 V개의 변수 노드와 그에 연결된 C개의 홀수 차수 체크 노드로 정의되며, 정리 1에 따라 (a) 각 변수 노드가 최소 두 개의 짝수 차수 체크와 연결되고, (b) 홀수 차수 체크들 사이에 외부 변수와의 연결이 없을 때 트래핑 세트가 된다. 트래핑 세트 내부의 변수 노드가 실제 오류를 가지고 있으면 디코더는 고정점에 머물러 오류를 복구하지 못한다. 세 번째 섹션에서는 girth와 트래핑 세트 사이의 관계를 탐구한다. 먼저, girth g = 4인 경우 평행 엣이 존재하면 단일 오류조차 복구 불가능함을 레마 1을 통해 보인다. girth = 6일 때는 최소 하나의 6‑사이클이 존재하고, 이 사이클이 (3, 3) 트래핑 세트 혹은 (4, 2) 트래핑 세트를 형성한다. 레마 3의 증명에서는 변수 노드 v₁, v₂, v₃와 체크 노드 c₁…c₆이 6‑사이클을 이루는 경우를 구체적으로 전개하고, 외부 연결에 따라 실패 세트의 크기가 3 또는 4가 됨을 보인다. girth = 8인 경우에도 유사한 논리를 적용해 최소 하나의 (4, 4) 혹은 (5, 3) 트래핑 세트를 찾아내어 실패 세트의 크기가 4‒5임을 증명한다. 가장 중요한 결과는 정리 2와 정리 3에서 도출된 “k ≥ 5개의 오류를 정정하려면 길이 2k 이하의 사이클이 없어야 한다”는 필요조건이다. 이는 girth g ≥ 10이라 하더라도 g/2 = 5개의 오류가 트래핑 세트에 포함될 수 있음을 의미한다. 따라서 컬럼 가중치 3인 LDPC 코드는 임의의 양수 α에 대해 충분히 큰 블록 길이 n 에서 α n 이하의 오류를 모두 복구할 수 없다는 부정적 한계를 제시한다. 이 결과는 기존에 변수 노드 차수가 5 이상일 때만 적용 가능했던 expander‑graph 기반의 오류 정정 분석과 대비된다. 마지막 섹션에서는 비트‑플리핑 알고리즘에 동일한 트래핑 세트 분석을 적용한다. 비트‑플리핑은 Gallager A와 동일한 메시지 전달 구조를 가지므로, 앞서 증명된 트래핑 세트와 실패 세트의 존재가 그대로 적용된다. 따라서 두 알고리즘 모두 컬럼 가중치 3인 경우 선형 비율(α n)의 오류 정정을 보장하지 못한다는 결론에 도달한다. 논문은 이러한 이론적 한계를 바탕으로, 실용적인 LDPC 코드 설계 시 컬럼 가중치를 4 이상으로 올리거나, girth를 크게 늘리는 것이 필수적임을 강조한다. 또한, 트래핑 세트와 girth 사이의 정량적 관계를 명시함으로써 코드 설계자가 특정 girth 이하에서 발생 가능한 최악‑사례 오류 패턴을 사전에 파악하고 회피 설계(예: 사이클 차단, 트래핑 세트 회피)할 수 있는 가이드라인을 제공한다. **