[논문 리뷰] How to Construct Polar Codes

Ido Tal, Alexander Vardy|arXiv (Cornell University)|2011. 05. 31.

Error Correcting Code Techniques참고 문헌 14인용 수 86

한 줄 요약

이 논문은 극성 코드를 구성하는 데 있어 극성 비트채널의 계산이 불가능할 정도로 큰 출력 알파벳을 떨어뜨림과 향상시키는 양자화 기법을 사용해 근사화함으로써 효율적인 방법을 제시한다. 이 방법은 임의의 ε > 0과 충분히 큰 n에 대해 채널 용량에 ε 이내로 선형 시간 및 선형 공간에서 극성 코드를 구성할 수 있으며, 충실도 파라미터 μ를 사용해 오차 확률에 대한 고정밀도 경계를 제공한다.

ABSTRACT

A method for efficiently constructing polar codes is presented and analyzed. Although polar codes are explicitly defined, straightforward construction is intractable since the resulting polar bit-channels have an output alphabet that grows exponentially with he code length. Thus the core problem that needs to be solved is that of faithfully approximating a bit-channel with an intractably large alphabet by another channel having a manageable alphabet size. We devise two approximation methods which "sandwich" the original bit-channel between a degraded and an upgraded version thereof. Both approximations can be efficiently computed, and turn out to be extremely close in practice. We also provide theoretical analysis of our construction algorithms, proving that for any fixed $ε> 0$ and all sufficiently large code lengths $n$, polar codes whose rate is within $ε$ of channel capacity can be constructed in time and space that are both linear in $n$.

연구 동기 및 목표

• 지수적으로 증가하는 비트채널 출력 알파벳으로 인해 극성 코드 구성이 계산적으로 불가능한 문제를 해결하기 위해.
• 관리 가능한 알파벳 크기를 갖는 극성 비트채널을 정확하고 실용적으로 근사화하는 방법을 개발하기 위해.
• 근사화가 오차 확률 경계를 포함한 신뢰할 수 있는 코드 구성에 필요한 성질을 유지하도록 보장하기 위해.
• 임의의 ε > 0과 충분히 큰 n에 대해 극성 코드가 O(n) 시간 및 공간 복잡도로 채널 용량에 ε 이내로 구성될 수 있음을 증명하기 위해.
• 임의의 이진입력 대칭 이산 메모리 없는 채널(BI-DMCs)에 대해 효율적이고 정확하며 확장 가능한 극성 코드 설계를 가능하게 하는 프레임워크를 제공하기 위해.

제안 방법

• 오차 확률의 하한선을 제공하는 떨어뜨림 양자화와 상한선을 제공하는 향상시키기 양자화를 포함한 두 가지 근사 방법을 도입한다.
• 충실도 파라미터 μ를 사용해 근사의 정밀도를 제어하며, 두 방법 모두 모든 n개의 비트채널에 대해 O(n·μ²·log μ) 시간 내에 작동한다.
• 출력 알파벳을 양자화하여 원래 비트채널의 열화된 버전을 구성함으로써, 결과적으로 생성된 채널이 원래 채널에 대해 확률적으로 열화된 상태가 되도록 보장한다.
• 원래 채널이 결과적으로 생성된 채널에 대해 확률적으로 열화된 상태가 되도록 양자화하는 방식으로 향상된 버전을 구성함으로써 상하 경계를 형성하는 '샌드위치' 구조를 구축한다.
• 아리칸의 2×2 커널과 순차적 취소 디코딩의 구조를 활용해 극화 과정을 반복적으로 적용한다.
• 이론적 수렴성을 증명하기 위해 임의의 ε > 0과 충분히 큰 n에 대해 구성된 코드의 전송률이 용량에 ε 이내로 유지됨을 보여준다.

실험 결과

연구 질문

• RQ1 이중 낙하 채널의 특수 케이스를 초월해 임의의 이진입력 대칭 DMC에 대해 극성 코드를 효율적으로 구성할 수 있는가?
• RQ2 극성 비트채널의 지수적으로 증가하는 출력 알파벳을 전송률과 오차 확률 추정의 정밀도를 훼손하지 않고 어떻게 근사화할 수 있는가?
• RQ3 계산적으로 타당한 근사화를 유지하면서도 비트채널 오차 확률에 대해 좁은 상하한 경계를 제공할 수 있는 근사 기법은 무엇인가?
• RQ4 코드 길이 n에 대해 구성 복잡도를 선형 시간 및 공간으로 줄일 수 있는가, 동시에 용량에 근접한 성능을 유지할 수 있는가?
• RQ5 이러한 근사 기반 구성에 기반해 큰 n에 대해 전송률 근사의 이론적 보장(용량에 ε 이내)은 무엇인가?

주요 결과

• 떨어뜨림과 향상시키기 근사 기법은 실질적으로 매우 가까운 오차 확률 경계를 제공하며, 작은 μ(예: μ = 256)일지라도 성능이 뛰어나다.
• 임의의 ε > 0과 충분히 큰 코드 길이 n에 대해 극성 코드는 O(n) 시간 및 O(n) 공간 복잡도로 채널 용량에 ε 이내로 구성될 수 있다.
• 모든 n개의 극성 비트채널을 근사화하는 데 소요되는 실행 시간은 O(n·μ²·log μ)이며, 이는 μ에 대해 효율적이고 확장 가능한 성능을 보인다.
• 진짜 채널을 열화된 채널과 향상된 채널 사이에 끼워넣음으로써 비트채널 신뢰성의 고정밀도 추정이 가능해진다.
• 수치적 결과는 μ = 256일 경우, 심지어 n = 1,048,576일 때도 오차 확률의 상한과 하한 경계 사이의 격차가 무시할 만큼 작음을 보여준다.
• 이론적 분석은 충실도 파라미터 μ가 증가할수록 근사 정밀도가 향상되며, 실용적인 코드 길이 범위 내에서도 계산이 타당하다는 것을 확인한다.