[논문 리뷰] Reed-Muller Codes Achieve Capacity on BMS Channels

Galen Reeves, Henry D. Pfister|arXiv (Cornell University)|2021. 10. 27.

Error Correcting Code Techniques참고 문헌 36인용 수 16

한 줄 요약

이 논문은 비트별 최대사후확률(decoding) 하에서 장거리 리드-멀러(RM) 코드가 모든 이진 메모리리스 대칭(BMS) 채널에서 용량을 달성함을 증명한다. RM 코드의 임베딩 성질과 일반화된 외부 정보 전달 함수를 외부 최소평균제곱오차(MMSE)와 연결하는 새로운 정보 이론 부등식을 활용하여, 초수렴성(hypercontractivity)에 의존하지 않고 오랫동안 열려있던 코딩 이론의 문제를 해결한다.

ABSTRACT

This paper considers the performance of long Reed-Muller (RM) codes transmitted over binary memoryless symmetric (BMS) channels under bitwise maximum-a-posteriori decoding. Its main result is that the family of binary RM codes achieves capacity on any BMS channel with respect to bit-error rate. This resolves a long-standing open problem that connects information theory and error-correcting codes. In contrast with the earlier result for the binary erasure channel, the new proof does not rely on hypercontractivity. Instead, it combines a nesting property of RM codes with new information inequalities relating the generalized extrinsic information transfer function and the extrinsic minimum mean-squared error.

연구 동기 및 목표

• 비트 오류율에 대해 모든 이진 메모리리스 대칭(BMS) 채널에서 리드-멀러(RM) 코드가 용량을 달성함을 입증하는 것.
• 이진 지워링 채널 이외의 일반 BMS 채널에서 RM 코드의 용량 달성 성능에 관한 오랫동안 열려있던 정보 이론 문제를 해결하는 것.
• 이전 결과들이 초수렴성에 의존하는 것과 달리, 일반 BMS 채널에서 RM 코드의 성능을 분석하기 위한 초수렴성에 의존하지 않는 증명 프레임워크를 개발하는 것.
• 일반화된 외부 정보 전달 함수와 외부 최소평균제곱오차(MMSE)를 연결하는 새로운 정보 이론적 도구를 도입하는 것.

제안 방법

• 다른 매개변수를 가진 코드들 간의 관계를 유도하고 계층적 구조를 활용하기 위해 리드-멀러 코드의 임베딩 성질을 활용한다.
• 일반화된 외부 정보 전달(EXIT) 함수와 외부 최소평균제곱오차(MMSE)를 연결하는 새로운 정보 이론적 부등식의 클래스를 도입한다.
• 이러한 부등식을 비트별 최대사후확률(decoding) 하에서 RM 코드의 비트 오류율 성능을 분석하는 데 적용한다.
• 코드 길이가 증가함에 따라 일반화된 EXIT 함수가 채널 용량으로 수렴함을 확립한다.
• RM 코드의 구조를 활용하여 새로운 정보 이론적 부등식을 통해 비트 오류 확률의 감쇠를 유계화한다.
• 유도된 경계가 임의의 BMS 채널에서 용량 달성 성능을 암시함을 보여준다.

실험 결과

연구 질문

• RQ1 비트별 MAP 디코딩 하에서 리드-멀러 코드가 모든 이진 메모리리스 대칭(BMS) 채널에서 용량을 달성하는가?
• RQ2 이진 지워링 채널에서 RM 코드의 용량 달성 성능을 일반 BMS 채널으로 확장할 수 있는가? 이 경우 초수렴성에 의존하지 않는가?
• RQ3 일반 BMS 채널에서 RM 코드의 성능을 분석하기 위해 필요한 새로운 정보 이론적 부등식은 무엇인가?
• RQ4 RM 코드의 임베딩 구조는 용량 달성 성능의 증명을 어떻게 촉진하는가?
• RQ5 일반화된 외부 정보 전달 함수와 외부 MMSE는 비트 오류율이 0으로 수렴하는 것을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 리드-멀러 코드는 비트 오류율에 대해 비트별 최대사후확률 디코딩 하에서 어떤 이진 메모리리스 대칭(BMS) 채널에서도 용량을 달성한다.
• 이 증명은 이전 결과들이 초수렴성에 의존하는 것과 달리, 초수렴성에 의존하지 않는다.
• 일반화된 외부 정보 전달 함수와 외부 최소평균제곱오차(MMSE)를 연결하는 새로운 정보 이론적 부등식의 클래스가 확립되었고, 분석에 활용되었다.
• RM 코드의 임베딩 성질은 코드 길이가 증가함에 따라 비트 오류 확률에 대한 경계를 도출하는 데 핵심적인 역할을 하였다.
• RM 코드의 일반화된 EXIT 함수는 채널 용량으로 수렴하며, 이는 RM 코드의 용량 달성 행동을 확인한다.
• 이러한 결과는 일반 BMS 채널에서 RM 코드 성능에 관한 오랫동안 열려있던 코딩 이론의 핵심 문제를 해결한다.