[논문 리뷰] Bounds on the decoding complexity of punctured codes on graphs

Henry D. Pfister, Igal Sason외 1명|ArXiv.org|2004. 09. 14.

Error Correcting Code Techniques참고 문헌 11인용 수 3

한 줄 요약

이 논문은 이중 지워짐 채널(BEC)에서 비체계적 비정규 반복 누적(IRAs) 코드의 두 개의 수열을 제안하며, 정보 비트당 복호화 복잡도가 유한함에도 불구하고 수렴 속도가 수용 가능한 수준에 가까워질수록 용량에 도달한다. Tanner 그래프에 상태 노드를 도입하기 위해 정보 비트를 모두 간섭시킴으로써, 기존의 성능와 복잡도 사이의 상호 보완적 관계를 깨뜨려 메시지 전달 반복(MPI) 복호화 하에서 유한한 복잡도를 달성한다. 이는 이전의 용량을 달성하는 코드들과 달리, 용량과의 거리에 따라 복잡도가 로그적으로 증가하는 것과는 대조된다.

ABSTRACT

We present two sequences of ensembles of non-systematic irregular repeat-accumulate codes which asymptotically (as their block length tends to infinity) achieve capacity on the binary erasure channel (BEC) with bounded complexity per information bit. This is in contrast to all previous constructions of capacity-achieving sequences of ensembles whose complexity grows at least like the log of the inverse of the gap (in rate) to capacity. The new bounded complexity result is achieved by puncturing bits, and allowing in this way a sufficient number of state nodes in the Tanner graph representing the codes. We also derive an information-theoretic lower bound on the decoding complexity of randomly punctured codes on graphs. The bound holds for every memoryless binary-input output-symmetric channel, and is refined for the BEC.

연구 동기 및 목표

• 용량에 도달하는 코드에서 복호화 복잡도와 성능 사이의 근본적인 상호 보완적 관계를 해결하기 위해.
• Tanner 그래프의 상태 노드가 용량에 접근할수록 MPI 복호화 하에서 복잡도가 유한해지는 데 어떤 역할을 하는지 조사하기 위해.
• 체계적 IRA 코드의 한계를 극복하고, 용량에 도달하면서도 복잡도가 유한한 비체계적 IRA 코드의 새로운 집합을 구성하기 위해.
• 모든 무-memory 이진입력출력대칭(MBIOS) 채널에 대해 유효한, 그래프에 무작위로 간섭된 코드에 대한 정보 이론적 복잡도 하한을 유도하기 위해.
• 복잡도가 유한해지기 위해서는 정보 비트의 간섭률이 1에 수렴해야 하며, 이는 비체계적 설계가 필수적임을 의미한다.

제안 방법

• IRAs 코드의 모든 정보 비트를 간섭시켜 Tanner 그래프에 상태 노드를 도입함으로써, MPI 복호화 하에서 복잡도가 유한해지도록 하는 방법.
• 비정규도 분포(d.d.)를 가진 비체계적 IRA 코드 집합을 설계하여, BEC 용량에 점점 수렴하도록 함.
• 체크 노드의 차수를 5로 유지하는 체크 정규 구조를 사용하여, 용량과의 거리가 줄어들수록 정보 비트당 복잡도가 항상 5/(1−p)로 유지됨을 보장함.
• 정보 이론적 도구를 적용하여, 그래프에 무작위로 간섭된 코드에 대한 복잡도 하한을 유도함. 이 하한은 모든 MBIOS 채널에 대해 유효함.
• 특히 BEC에 대해 이 하한을 정교화하여, 복잡도가 유한해지기 위해서는 정보 비트의 간섭률이 1에 수렴해야 함을 보여줌.
• 체계적 IRA 코드와 체크 정규 LDPC 코드와의 성능 비교를 위한 컴퓨터 시뮬레이션을 통해 분석 결과를 검증함.

실험 결과

연구 질문

• RQ1 MPI 복호화 하에서 정보 비트당 복잡도가 유한한 용량에 도달하는 코드를 BEC에서 구성할 수 있는가?
• RQ2 용량에 접근할 때 Tanner 그래프의 상태 노드가 복잡도가 유한해지도록 하는 데 어떤 역할을 하는가?
• RQ3 무작위로 간섭된 그래프에 대한 코드에 대한 복잡도에 대한 기본적인 하한이 존재하는가? 그리고 채널 유형에 따라 어떻게 달라지는가?
• RQ4 왜 체계적 IRA 코드는 용량에 접근할수록 복잡도가 유한해지지 않지만, 비체계적 코드는 성공하는가?
• RQ5 정보 비트의 간섭 패턴이 MPI 복호화 하에서 복잡도가 유한해지는 것의 가능성에 본질적으로 영향을 미치는가?

주요 결과

• 제안된 비체계적 IRA 코드 집합은 BEC에서 정보 비트당 복잡도가 유한하며, 특히 체크 노드 차수 5일 때 5/(1−p)로 유한하게 유지되며, 용량과의 거리가 줄어들수록 용량에 도달한다.
• 모든 정보 비트를 간섭시킴으로써 Tanner 그래프에 상태 노드가 도입되며, 이는 복잡도가 유한해지기 위해 필수적이다. 이 메커니즘은 이전의 복잡도-용량 상호 보완적 관계를 깨뜨린다.
• 무작위로 간섭된 그래프에 대한 코드에 대한 정보 이론적 복잡도 하한은 복잡도가 유한해지기 위해서는 정보 비트의 간섭률이 1에 수렴해야 함을 보여준다.
• BEC의 경우 이 하한은 복잡도가 유한해지기 위한 필수 조건으로 모든 정보 비트가 간섭되어야 한다고 함을 시사하며, 이는 제안된 코드의 비체계적 설계와 일치한다.
• 시뮬레이션 결과는 분석적 복잡도 하한을 확인하며, 블록 길이가 작거나 중간일 경우 체크 정규 LDPC 코드보다 성능이 略로 떨어지지만, 블록 길이가 증가함에 따라 이전의 모든 설계를 능가함을 보여준다.
• 논문 [9]에서 제기된 열린 질문을 해결하며, 상태 노드를 가진 더 복잡한 그래픽 모델이 MPI 복호화 하에서 성능-복잡도 상호 보완적 관계를 크게 향상시킬 수 있음을 보여준다.