[논문 리뷰] On the scaling of Polar codes: I. The behavior of polarized channels

S. Hamed Hassani, Rüdiger Urbanke|arXiv (Cornell University)|2010. 01. 15.

Error Correcting Code Techniques참고 문헌 2인용 수 19

한 줄 요약

이 논문은 블록 길이 $N=2^n$이 무한대에 가까워질 때 극화 프레임워크 내에서 바타카리아 과정의 스케일링 행동을 특성화하여 펄리드 코드의 정교한 渐近 분석을 제공한다. 이는 순차적 취소 해독에서의 오류 확률이 $\log(-\log(\mathbb{P}_{e}^{ ext{SC}}(n,R))) \sim \frac{n}{2} + \sqrt{n}\frac{Q^{-1}(\frac{R}{I(W)})}{2} + o(\sqrt{n})$로 스케일링됨을 입증하며, MAP 해독의 경우에도 동일한 스케일링이 성립함을 보여주어 고 SNR에서 펄리드 코드의 정확한 유한 길이 오류율 추정을 가능하게 한다.

ABSTRACT

We consider the asymptotic behavior of the polarization process for polar codes when the blocklength tends to infinity. In particular, we study the problem of asymptotic analysis of the cumulative distribution $\mathbb{P}(Z_n \leq z)$, where $Z_n=Z(W_n)$ is the Bhattacharyya process, and its dependence to the rate of transmission R. We show that for a BMS channel $W$, for $R &lt; I(W)$ we have $\lim_{n o \infty} \mathbb{P} (Z_n \leq 2^{-2^{\frac{n}{2}+\sqrt{n} \frac{Q^{-1}(\frac{R}{I(W)})}{2} +o(\sqrt{n})}}) = R$ and for $R&lt;1- I(W)$ we have $\lim_{n o \infty} \mathbb{P} (Z_n \geq 1-2^{-2^{\frac{n}{2}+ \sqrt{n} \frac{Q^{-1}(\frac{R}{1-I(W)})}{2} +o(\sqrt{n})}}) = R$, where $Q(x)$ is the probability that a standard normal random variable will obtain a value larger than $x$. As a result, if we denote by $\mathbb{P}_e ^{ ext{SC}}(n,R)$ the probability of error using polar codes of block-length $N=2^n$ and rate $R<i></i>

연구 동기 및 목표

• 블록 길이 $N=2^n$이 무한대에 가까워질 때 펄리드 코드 내 바타카리아 과정 $Z_n$의 정교한 渐近 특성화를 제공하는 것.
• 이진 메모리 없는 대칭(BMS) 채널에 대해 전송 속도 $R$에 대한 의존성을 포함한 누적 분포 $\mathbb{P}(Z_n \leq z)$ 분석.
• 순차적 취소 해독 하에서 오류 확률 $\mathbb{P}_e^{\text{SC}}(n,R)$의 정밀한 스케일링 법칙 유도 및 MAP 해독으로의 결과 확장.
• SC 및 MAP 해독 모두에서 동일한 스케일링 행동이 지배함을 입증하여 정확한 유한 길이 오류율 예측이 가능하도록 하는 것.

제안 방법

• 저자들은 극화 과정을 무한한 이진 트리 위의 확률적 과정 $W_n$으로 모델링하며, 각 노드는 변형된 BMS 채널에 대응한다.
• 그들은 바타카리아 과정 $Z_n = Z(W_n)$를 정의하고, 마틴게일 및 대규모 편차 기법을 사용하여 $\mathbb{P}(Z_n \leq z)$를 분석한다.
• 특히 $Z_n$이 0 또는 1에 가까워질 때의 행동을 확률적으로 지배하기 위해 보조 과정 $E_n$과 $\bar{E}_n$을 도입한다.
• Gaussian 尾함수 $Q(x)$를 통한 $E_n$과 $\bar{E}_n$의 수렴 속도에 대한 경계를 이용하여 양호한 채널의 생존 확률에 대한 渐近 표현식을 도출한다.
• 확률 밀도가 $Z_n$의 중심 영역에 집중되는 것을 제어하기 위해 $Q_n = Z_n(1 - Z_n)$ 과정에 마르코프 부등식을 적용한다.
• 구간 $[0,1]$을 세 영역으로 분할하고, $Z_n$이 0 또는 1으로 수렴하는 채널의 비율을 각각 경계하며, 속도 $R$에 따라 스케일링을 $Q^{-1}$ 함수로 표현한다.

실험 결과

연구 질문

• RQ1 주어진 속도 $R < I(W)$에 대해 $n \to \infty$일 때 누적 분포 $\mathbb{P}(Z_n \leq z)$는 어떻게 渐近적으로 행동하는가?
• RQ2 순차적 취소 해독 하에서 오류 확률 $\mathbb{P}_e^{\text{SC}}(n,R)$의 $n$과 $R$에 따른 정밀한 스케일링은 무엇인가?
• RQ3 MAP 해독 하에서 블록 오류 확률에 대해 동일한 스케일링 법칙이 성립하는가?
• RQ4 $Q^{-1}$ 함수는 오류 확률의 渐近 스케일링에 어떻게 등장하는가?

주요 결과

• 모든 $R < I(W)$에 대해, $\lim_{n\to\infty} \mathbb{P}(Z_n \leq 2^{-2^{\frac{n}{2} + \sqrt{n} \cdot \frac{Q^{-1}(R/I(W))}{2} + o(\sqrt{n})}}) = R$ 이며, 이는 양호한 채널에 대한 속도에 의존하는 임계값을 보여준다.
• SC 해독 오류 확률의 로그-로그 스케일링은 $\log(-\log(\mathbb{P}_e^{\text{SC}}(n,R))) \sim \frac{n}{2} + \sqrt{n} \cdot \frac{Q^{-1}(R/I(W))}{2} + o(\sqrt{n})$ 를 만족한다.
• MAP 해독 오류 확률에 대해서도 동일한 渐近 스케일링이 성립함을 보여, 스케일링이 해독 알고리즘과 무관함을 시사한다.
• 분석 결과, $Z_n$이 0 또는 1으로 수렴하는 방식은 Gaussian 尾행동에 의해 지배되며, $Q^{-1}$ 함수는 극화 속도를 정량화한다.
• 특히 $Z_n \leq 2^{-2^{\frac{n}{2} + \sqrt{n} \cdot \frac{Q^{-1}(R/I(W))}{2} + o(\sqrt{n})}}$ 를 만족하는 채널의 비율은 $n \to \infty$일 때 $R$로 수렴한다.
• 결과적으로 펄리드 코드는 $N=2^n$에 대해 다항식보다 빠르게 감소하는 오류 확률을 갖지만, $\sqrt{N}$에 대해 지수적으로 감소하는 것보다 느리게 수렴함을 의미한다.