[논문 리뷰] Capacity-Achieving Ensembles of Accumulate-Repeat-Accumulate Codes for the Erasure Channel with Bounded Complexity

Henry D. Pfister, Igal Sason|2005. 12. 01.

Error Correcting Code Techniques참고 문헌 20인용 수 45

한 줄 요약

이 논문은 이진 소실 채널(BEC)에서 정보 비트당 유한한 인코딩 및 디코딩 복잡도를 갖는 누적-반복-누적(ARA) 코드의 용량을 달성하는 집합을 소개한다. 대칭성 특성과 새로운 도메인 분포 설계—특히 자기 매칭된 LDPC 코드 구조를 통해, 중간 블록 길이에서 용량에 근접한 성능을 달성하면서도 체계적 인코딩과 낮은 오류 포탄을 유지한다.

ABSTRACT

The paper introduces ensembles of accumulate-repeat-accumulate (ARA) codes which asymptotically achieve capacity on the binary erasure channel (BEC) with {\em bounded complexity}, per information bit, of encoding and decoding. It also introduces symmetry properties which play a central role in the construction of capacity-achieving ensembles for the BEC with bounded complexity. The results here improve on the tradeoff between performance and complexity provided by previous constructions of capacity-achieving ensembles of codes defined on graphs. The superiority of ARA codes with moderate to large block length is exemplified by computer simulations which compare their performance with those of previously reported capacity-achieving ensembles of LDPC and IRA codes. The ARA codes also have the advantage of being systematic.

연구 동기 및 목표

• 정보 비트당 유한한 인코딩 및 디코딩 복잡도를 갖는 BEC에서 용량을 달성하는 ARA 코드 집합을 설계하기 위해.
• 이전의 용량을 달성하는 코드들이 용량에 접근함에 따라 복잡도가 유한하지 않다는 한계를 해결하기 위해.
• 기존의 LDPC 및 IRA 코드 집합에 비해 중간 블록 길이에서 성능을 향상시키기 위해.
• 낮은 오류 포탄과 효율적인 선형 시간 인코딩을 유지하는 체계적 코드 구조를 개발하기 위해.
• 유한한 복잡도를 갖는 용량 달성 코드 집합을 가능하게 하는 대칭 기반 설계 원칙을 수립하기 위해.

제안 방법

• BEC에서의 밀도 진동 분석을 통해 선형 시간 인코딩과 반복 디코딩이 가능한 새로운 체계적 ARA 코드 클래스를 도입한다.
• 반복 디코딩 성능을 지배하는 고정점 방정식을 유도하기 위해 두 가지 등가인 유도 방식을 사용한 밀도 진동 분석을 적용한다.
• 코드 설계에서 대칭성 특성을 활용하여 용량에 접근함에 따라 복잡도가 유한하게 유지되도록 보장한다.
• 자기 매칭된 LDPC 코드 집합을 기반으로 하여 ARA, NSIRA 및 ALDPC 코드의 비정규 도메인 분포를 설계한다.
• 복소수 간격 산술과 볼록성의 수치적 검증을 사용하여 도메인 분포의 멱급수 전개에서의 음이 아닌 성질을 증명한다.
• 실수부를 통한 복소 함수의 비음성 검증을 통해 도메인 분포 계수의 음이 아닌 성질을 검증함으로써 유효한 확률 분포임을 보장한다.

실험 결과

연구 질문

• RQ1 정보 비트당 유한한 복잡도를 갖는 ARA 코드를 BEC에서 용량을 달성하도록 설계할 수 있는가?
• RQ2 코드 집합의 대칭성 특성을 어떻게 활용하여 속도가 용량에 접근함에 따라 디코딩 복잡도가 유한하게 유지되도록 할 수 있는가?
• RQ3 어떤 도메인 분포 설계가 ARA 코드에서 중간 블록 길이에서 높은 성능과 함께 유한한 복잡도를 동시에 달성할 수 있는가?
• RQ4 용량 달성 집합의 도메인 분포 멱급수 전개에서 음이 아닌 성질을 효율적이고 엄밀하게 검증할 수 있는가?
• RQ5 자기 매칭된 LDPC 코드 구조는 어떻게 하여 유한 복잡도 ARA 및 ALDPC 코드 집합의 구축을 가능하게 하는가?

주요 결과

• 논문은 정보 비트당 유한한 인코딩 및 디코딩 복잡도를 갖는 비트 정규 및 체크 정규 ARA 코드의 명시적 용량 달성 집합을 구성한다.
• 소실률 p ≤ 0.26인 경우, 복소 함수의 실수부의 볼록성 검증을 통해 왼쪽 도메인 분포 멱급수 전개의 음이 아닌 성질을 수치적으로 증명한다.
• 자기 매칭된 ARA 코드 설계는 c1 및 c2가 (13 − √61)/9 ≈ 0.5766 이하로 제한될 경우 도메인 분포 계수의 음이 아닌 성질을 보장하며, 이는 p 및 b 매개변수의 타당 범위에 해당한다.
• 수치적 검증을 통해 함수 h(x) = Re{g(e^{ix})}가 c ∈ [0, 0.6]에서 [0, π]에서 볼록함을 확인하여 도메인 분포 계수의 음이 아닌 성질을 지지한다.
• 시뮬레이션 결과, 자기 매칭된 ARA 코드는 BEC에서 중간 및 큰 블록 길이에서 이전에 보고된 용량 달성 LDPC 및 IRA 코드 집합보다 우수한 성능을 보인다.
• 이 방법은 대칭성과 볼록성 기반 검증을 통해 유한 복잡도 용량 달성 코드를 가능하게 하며, 이전 결과를 더 넓은 소실 확률 범위로 확장한다.