[논문 리뷰] Fast Polarization and Finite-Length Scaling for Non-Stationary Channels.

Hessam Mahdavifar|arXiv (Cornell University)|2016. 11. 13.

Error Correcting Code Techniques참고 문헌 12인용 수 4

한 줄 요약

이 논문은 아리칸의 극화 과정 동안 순열과 건너뛰기 연산을 적용하여 비정상적인 이진입력의 기억이 없는 대칭(BMS) 채널에서 효과적 평균 대칭 용량을 달성하는 펄스 코딩 체계를 제안한다. 이는 $ N \leq \kappa / (\overline{I}_N - R)^\mu $ 형태의 블록길이 상한선을 확립하며, $ \mu \leq 10.78 $ 이며, 빠른 극화와 $ O(N \log N) $의 복잡도를 보장한다.

ABSTRACT

We consider the problem of polar coding for transmission over a non-stationary sequence of independent binary-input memoryless symmetric (BMS) channels $\left\{W_i ight\}_{i=1}^{\infty}$, where the $i$-th encoded bit is transmitted over $W_i$. We show, for the first time, a polar coding scheme that achieves the effective average symmetric capacity $$ \overline{I}(\left\{W_i ight\}_{i=1}^{\infty}) := \lim_{N ightarrow \infty} \frac{1}{N}\sum_{i=1}^N I(W_i), $$ assuming that the limit exists. The polar coding scheme is constructed using Arikan's channel polarization transformation in combination with certain permutations at each polarization level and certain skipped operations. This guarantees a fast polarization process that results in polar coding schemes with block lengths upper bounded by a polynomial of $1/\epsilon$, where $\epsilon$ is the gap to the average capacity. More specifically, given an arbitrary sequence of BMS channels $\left\{W_i ight\}_{i=1}^{N}$ and $P_e$, where $0 < P_e <1$, we construct a polar code of length $N$ and rate $R$ guaranteeing a block error probability of at most $P_e$ for transmission over $\left\{W_i ight\}_{i=1}^{N}$ such that $$ N \leq \frac{\kappa}{(\overline{I}_N - R)^{\mu}} $$ where $\mu$ is a constant, $\kappa$ is a constant depending on $P_e$ and $\mu$, and $\overline{I}_N$ is the average of the symmetric capacities $I(W_i)$, for $i=1,2,,\dots,N$. We further show a numerical upper bound on $\mu$ that is: $\mu \leq 10.78$. The encoding and decoding complexities of the constructed polar code preserves $O(N \log N)$ complexity of Arikan's polar codes.

연구 동기 및 목표

• 채널 통계가 시간에 따라 변하는 비정상적인 BMS 채널에서 효과적 평균 대칭 용량을 달성하는 펄스 코딩 체계를 설계하는 것.
• 각 극화 수준에서 아리칸의 변환에 순열과 건너뛰기 연산을 도입하여 비 i.i.d. 환경에서도 빠른 극화를 보장하는 것.
• 용량과의 격차 및 오류 확률에 의존하는 블록길이 상한선을 포함한 유한 길이 스케일링 법칙을 수립하는 것.
• 비정상 조건에서도 표준 펄스 코드의 $ O(N \log N) $ 인코딩 및 디코딩 복잡도를 유지하는 것.
• 스케일링 지수 $ \mu $ 에 대한 수치적 상한선을 유도하여 유한 블록길이에서의 실용적 코드 설계를 보장하는 것.

제안 방법

• 각 극화 수준에서 수렴 속도 향상을 위해 순열을 도입하면서 아리칸의 채널 극화 변환을 적용한다.
• 시간에 따라 변하는 채널 통계를 더 잘 다루고 극화 속도를 향상시키기 위해 극화 과정에 건너뛰기 연산을 도입한다.
• 비정상적인 BMS 채널의 순서 $ \{W_i\}_{i=1}^N $ 에 적응하는 재귀적 설계를 통해 펄스 코드를 구성하며, 비율 및 오류 확률 제약 조건을 충족시킨다.
• 코드의 목표 성능 지표로 평균 대칭 용량 $ \overline{I}_N = \frac{1}{N} \sum_{i=1}^N I(W_i) $ 을 정의한다.
• 유한 길이 스케일링 상한선 $ N \leq \kappa / (\overline{I}_N - R)^\mu $ 을 유도하며, 여기서 $ \kappa $ 는 목표 블록 오류 확률 $ P_e $ 에 따라 달라진다.
• 수치 분석을 통해 스케일링 지수 $ \mu $ 의 상한선을 구하여 $ \mu \leq 10.78 $ 으로 도출한다.

실험 결과

연구 질문

• RQ1 비정상적인 BMS 채널의 순서에서 효과적 평균 대칭 용량을 달성할 수 있는 펄스 코딩 체계를 설계할 수 있는가?
• RQ2 유한 길이 스케일링을 확보하면서 낮은 블록길이로 비 i.i.d. 환경에서 극화 과정을 어떻게 가속화할 수 있는가?
• RQ3 비정상 채널에서 펄스 코딩 체계에 대한 스케일링 지수 $ \mu $ 의 가장 날카운 상한선은 무엇인가?
• RQ4 비정상 상황에서도 표준 펄스 코드의 $ O(N \log N) $ 복잡도를 유지할 수 있는가?
• RQ5 시간에 따라 변하는 채널 조건 하에서 빠른 수렴을 보장하기 위해 아리칸의 원래 극화 프레임워크에 어떤 수정이 필요한가?

주요 결과

• 제안된 펄스 코딩 체계는 극한이 존재한다고 가정할 경우 비정상적인 BMS 채널에서 효과적 평균 대칭 용량 $ \overline{I} $ 를 달성한다.
• 블록길이 $ N $ 은 $ \kappa / (\overline{I}_N - R)^\mu $ 에 의해 상한선으로 제한되며, 여기서 $ \overline{I}_N $ 은 $ N $ 개의 채널에 대한 대칭 용량의 평균이다.
• 스케일링 지수 $ \mu $ 는 수치적으로 10.78 이하로 상한선이 설정되어 있어, 구체적인 성능 보장을 제공하는 유한 길이 스케일링 법칙을 확보한다.
• 인코딩 및 디코딩 복잡도는 여전히 $ O(N \log N) $ 로 유지되어 표준 펄스 코드와 동일한 복잡도를 유지한다.
• 순열과 건너뛰기 연산의 사용은 비정상 환경에서도 빠른 극화를 보장하여 실용적인 코드 설계를 가능하게 한다.
• 모든 $ 0 < P_e < 1 $ 에 대해 최대 $ P_e $ 의 블록 오류 확률을 보장하며, 이는 용량과의 격차 및 $ P_e $ 에 따라 블록길이가 결정된다.