정규 LDPC 코드 공분산 진화의 해석적 해법

본 논문은 이진 소거 채널(BEC)에서 정규 (b,d)‑LDPC 코드의 디코딩 과정인 peeling algorithm(PA)의 동역학을 정밀히 분석한다. PA는 매 반복마다 차수가 1인 체크 노드와 연결된 에지를 제거하면서 그래프를 축소하고, 최종적으로 모든 에지가 사라지면 디코딩이 성공한다. 디코딩 성공 여부는 차수 1인 체크 노드의 수 R₁(t) 의 동작에 크게 좌우되며, Amraoui 등은 R₁(t) 의 평균과 분산이 각각 평균 진화와 공분산 진화라는 연속 미분 방정식 체계에 의해 기술된다고 보였다. 평균 진화는 Luby 등에 의해 해석적으로 풀렸지만, 공분산 진화는 복잡한 비선형 항들 때문에 수치 적분에 의존해 왔다. 저자들은 먼저 공분산 진화 방정식(2)을 정리하고, 변수 y 를 τ = t ξ 로 정규화한 뒤 d y/d τ = ‑1/(ε y^{b‑1}) 로 정의한다. 이때 x := ε y^{b‑1}, \tilde x := 1‑x, \tilde ε := 1‑ε 로 치환하여 식을 간소화한다. 공분산 변수는 δ(i,j)(y) = Cov