[논문 리뷰] Multilevel Polarization of Polar Codes Over Arbitrary Discrete Memoryless Channels

Aria G. Sahebi, S. Sandeep Pradhan|arXiv (Cornell University)|2011. 07. 07.

Error Correcting Code Techniques참고 문헌 7인용 수 7

한 줄 요약

이 논문은 아벨 군 구조를 가진 유한한 입력 알파벳 크기를 가진 임의의 이산 메모리 없는 채널(DMC)에서 펄스 코드가 대칭 용량을 달성할 수 있음을 보여주며, 하위군에 의해 유도되는 쌍대 구조에 기반한 부분적으로 완벽한 채널, 완전히 유용한 채널, 또는 무용한 채널이 존재하는 다수준 펄스화를 도입함으로써 이를 입증한다. 수정된 인코딩 및 디코딩 규칙을 통해 부분적으로 완벽한 채널을 통해 신뢰할 수 있는 전송이 가능해지며, 이는 이중 입력을 넘어서 일반적인 입력 알파벳 크기와 군 구조에 대해 펄스 코드의 최적성과 일반화를 입증한다.

ABSTRACT

It is shown that polar codes achieve the symmetric capacity of discrete memoryless channels with arbitrary input alphabet sizes. It is shown that in general, channel polarization happens in several, rather than only two levels so that the synthesized channels are either useless, perfect or "partially perfect". Any subset of the channel input alphabet which is closed under addition, induces a coset partition of the alphabet through its shifts. For any such partition of the input alphabet, there exists a corresponding partially perfect channel whose outputs uniquely determine the coset to which the channel input belongs. By a slight modification of the encoding and decoding rules, it is shown that perfect transmission of certain information symbols over partially perfect channels is possible. Our result is general regarding both the cardinality and the algebraic structure of the channel input alphabet; i.e we show that for any channel input alphabet size and any Abelian group structure on the alphabet, polar codes are optimal. It is also shown through an example that polar codes when considered as group/coset codes, do not achieve the capacity achievable using coset codes over arbitrary channels.

연구 동기 및 목표

• 이산 메모리 없는 채널의 대칭 용량을 임의의 입력 알파벳 크기에서 달성할 수 있음을 입증하는 것.
• 기존의 이중 펄스화 방식이 실패하는 비이진 채널 환경에서 표준 펄스 코드의 한계를 해결하는 것.
• 하위군의 쌍대 구조에 기반한 다수준 펄스화가 부분적으로 완벽한 채널 전송을 가능하게 한다는 것을 보여주는 것.
• 표준 펄스 코드의 인코딩 및 디코딩 규칙을 약간 수정함으로써, 아벨 군 기반의 모든 입력 알파벳 크기에서 용량을 달성할 수 있음을 증명하는 것.
• 소수 또는 소수의 거듭제곱 크기를 초과하는 비이진 채널에서 펄스 코드가 최적일 수 있는지 여부에 대한 열린 문제를 해결하는 것.

제안 방법

• 저자는 입력 알파벳 G에 아벨 군 구조를 도입하여 하위군과 그 쌍대 구조를 정의하고, 이를 통해 다수준 채널 펄스화를 유도한다.
• 입력 알파벳 G의 각 하위군 H에 대해, 입력 기호의 쌍대 구조를 결정할 수 있는 부분적으로 완벽한 채널을 정의한다.
• 이러한 부분적으로 완벽한 채널을 통해 정보 기호의 신뢰성 있는 전송이 가능하도록 인코딩 및 디코딩 규칙을 수정한다.
• Bhattacharyya 매개수와 그 펄스화에 따른 진화를 분석하여, Z_d(W)가 쌍대 구조에 따라 0 또는 1으로 수렴함을 보인다.
• 핵심 부등식을 통해 쌍대 구조의 차이에 의해 인덱싱된 채널의 Bhattacharyya 매개수를 한정하며, d가 d′로 생성된 하위군에 속할 경우 Z_d(W) ≤ q√(qε)임을 보여준다.
• 이전 연구 결과를 활용하여 비-H 인덱스를 가진 채널의 최대 Bhattacharyya 매개수의 수렴성을 분석하며, 고확률로 지수적으로 0으로 수렴함을 보인다.

실험 결과

연구 질문

• RQ1 이중 또는 소수의 거듭제곱 크기 외의 임의의 입력 알파벳 크기를 가진 이산 메모리 없는 채널에서 펄스 코드가 대칭 용량을 달성할 수 있는가?
• RQ2 표준 이중 수준(완전한/무용한) 펄스화를 초월하여, 입력 알파벳에 대한 임의의 아벨 군 구조에서 다수준 펄스화가 일반적으로 발생하는가?
• RQ3 입력 기호의 쌍대 구조만을 결정할 수 있는 부분적으로 완벽한 채널을 이용하여 수정된 펄스 코드 설계로 용량을 달성할 수 있는가?
• RQ4 표준 펄스 코드 설계가 임의의 입력 알파벳 크기에서 용량 달성 성능을 확보하는 데 충분한가, 아니면 인코딩/디코딩 규칙의 근본적 수정이 필요한가?
• RQ5 펄스 코드를 군 코드로 간주할 경우 일반적으로 대칭 용량을 달성하지 못하는가, 만약 그렇다면 비군 코드 변형이 이를 달성할 수 있는가?

주요 결과

• 펄스 코드는 임의의 유한한 입력 알파벳 크기와 아벨 군 구조를 가진 모든 이산 메모리 없는 채널에서 대칭 용량을 달성한다.
• 채널 펄스화는 다수준으로 발생하며, 하위군의 쌍대 구조에 따라 합성 채널이 무용한, 완전히 완벽한, 또는 부분적으로 완벽한 채널이 될 수 있다.
• 입력 알파벳 G의 각 하위군 H에 대해 부분적으로 완벽한 채널이 존재하며, 이는 입력 기호의 쌍대 구조 인덱스 정보를 log₂|G/H| 비트의 용량으로 신뢰성 있게 전송할 수 있다.
• 수정된 인코딩 및 디코딩 규칙을 통해 부분적으로 완벽한 채널에서 완벽한 전송이 가능해지며, 이는 표준 펄스 코드로는 달성할 수 없는 성능이다.
• 입력 알파벳 Z₆의 경우 네 가지의 구분되는 펄스화 수준이 나타나며, 각각 {0}, {0,3}, {0,2,4}, Z₆ 자체의 쌍대 구조에 대응하며, 이에 해당하는 용량은 각각 log₂6, log₂3, 1, 0 비트이다.
• 비-H 인덱스를 가진 채널의 Bhattacharyya 매개수는 지수적으로 빠르게 감소하며, 이는 Z_d < 2^{-2^{βn}}인 채널의 비율이 완전히 펄스화된 채널일 확률로 수렴함을 보장한다.