[논문 리뷰] Polar-like Codes and Asymptotic Tradeoff among Block Length, Code Rate, and Error Probability

Hsin-Po Wang, Iwan Duursma|arXiv (Cornell University)|2018. 12. 19.

Error Correcting Code Techniques참고 문헌 61인용 수 5

한 줄 요약

이 논문은 임의의 채널과 임의의 커널을 사용하여 극좌표 유사 코드의 일반화된 프레임워크를 제안하며, 블록 길이 $N$, 코드 레이트 $R$, 오류 확률 $P$ 사이의 渐진적(점점 가까워지는) 상호관계를 수립한다. 오류 지수 영역($P = \exp(-N^{\beta^*})$)과 스케일링 지수 영역($R = \text{용량} - N^{-1/\mu^*}$)을 결합하면 중간 변동 영역($P = \exp(-N^{\beta'})$, $R = \text{용량} - N^{-1/\mu'}$)의 상호관계로 이어지며, 이는 복잡도가 $N\log N$ 약간 초과하는 grafted polar 코드가 BEC에서 랜덤 코드에 가까운 성능을 달성함을 보여준다. 핵심 결과는 다양한 코드 구조와 채널에 걸쳐 상호관계를 통합적으로 기술하는 것이다.

ABSTRACT

A general framework is proposed that includes polar codes over arbitrary channels with arbitrary kernels. The asymptotic tradeoff among block length $N$, code rate $R$, and error probability $P$ is analyzed. Given a tradeoff between $N,P$ and a tradeoff between $N,R$, we return an interpolating tradeoff among $N,R,P$ (Theorem 5). $\def\Capacity{ ext{Capacity}}$Quantitatively, if $P=\exp(-N^{β^*})$ is possible for some $β^*$ and if $R=\Capacity-N^{1/μ^*}$ is possible for some $1/μ^*$, then $(P,R)=(\exp(-N^{β'}),\Capacity-N^{-1/μ'})$ is possible for some pair $(β',1/μ')$ determined by $β^*$, $1/μ^*$, and auxiliary information. In fancy words, an error exponent regime tradeoff plus a scaling exponent regime tradeoff implies a moderate deviations regime tradeoff. The current world records are: [arXiv:1304.4321][arXiv:1501.02444][arXiv:1806.02405] analyzing Arıkan's codes over BEC; [arXiv:1706.02458] analyzing Arıkan's codes over AWGN; and [arXiv:1802.02718][arXiv:1810.04298] analyzing general codes over general channels. An attempt is made to generalize all at once (Section IX). As a corollary, a grafted variant of polar coding almost catches up the code rate and error probability of random codes with complexity slightly larger than $N\log N$ over BEC. In particular, $(P,R)=(\exp(-N^{.33}),\Capacity-N^{-.33})$ is possible (Corollary 10). In fact, all points in this triangle are possible $(β',1/μ')$-pairs. $$ equire{enclose} \def {\phantom{\Rule{4em}{1em}{1em}}} \enclose{} ^\llap{(0,1/2)}_\llap{(0,0)} \enclose{left,bottom,downdiagonalstrike} _ lap{(1,0)} \enclose{} $$

연구 동기 및 목표

• 아리칸의 원래 극좌표 코드를 임의의 채널과 임의의 커널으로 일반화한 통합 프레임워크를 개발하는 것.
• 통합적인 방식으로 블록 길이 $N$, 코드 레이트 $R$, 오류 확률 $P$ 사이의 점점 가까워지는 상호관계를 분석하는 것.
• 오류 지수 영역과 스케일링 지수 영역의 상호관계가 중간 변동 영역 상호관계로 어떻게 조합되는지 기술하는 것.
• grafted 극좌표 코드가 BEC에서 복잡도가 약간 높은 정도로 랜덤 코드의 성능에 거의 근접할 수 있음을 보여주는 것.
• 리드-소โล몬 기반 및 연결 코드를 포함한 다양한 코드 구조의 성능 한계를 탐색하고 최적의 커널 선택을 식별하는 것.

제안 방법

• 프레임워크는 임의의 커널을 사용하여 채널 극성화를 일반화하며, 재귀적 합성 채널 변환을 모델링하는 트리 구조로 표현된다.
• 논문은 재귀적 커널 적용을 통해 형성된 합성 채널를 체계적으로 기술하기 위해 트리 표기법 $T_{\text{perfect}}(W, T_K, m)$ 을 도입한다.
• 두 가지 핵심 지수를 정의한다: 오류 지수 영역($P = \exp(-N^{\beta^*})$)에 대한 $\beta^*$ 와 스케일링 지수 영역($R = \text{용량} - N^{-1/\mu^*}$)에 대한 $1/\mu^*$.
• 정리 5는 $\beta^*$ 와 $1/\mu^*$ 를 결합하여 $N$, $R$, $P$ 사이의 보간 상호관계를 수립하며, 중간 변동 영역 성능을 기술하는 새로운 쌍 $(\beta', 1/\mu')$ 을 도출한다.
• 이론적 분석은 대규모 편차 이론과 크라머 정리, 특히 허프딩 부등식을 사용하여 랜덤 커널에 대한 경험 크라머 함수의 행동을 제어한다.
• 이 방법은 BEC, BDMC, AWGN 등 여러 채널과 Arïkan, 리드-소로몬, BCH, 연결 코드 등 다양한 코드 유형에서 검증되었으며, 일관된 상호관계 곡선을 보였다.

실험 결과

연구 질문

• RQ1 다양한 극좌표 유사 코드와 채널에 걸쳐, 블록 길이, 코드 레이트, 오류 확률 사이의 상호관계를 통합적으로 기술할 수 있는가?
• RQ2 극좌표 코드에서 오류 지수 영역과 스케일링 지수 영역을 결합할 경우, 점점 가까워지는 성능 상호관계는 어떻게 되는가?
• RQ3 극좌표 코드의 grafted 변형이 BEC에서 복잡도가 약간 증가하는 정도로 랜덤 코드의 성능에 거의 근접할 수 있는가?
• RQ4 좋은 오류 지수($\beta^*$)와 좋은 스케일링 지수($1/\mu^*$) 성능을 동시에 달성할 수 있는 커널이 존재하는가?
• RQ5 이 프레임워크는 이진 입력 이산 기억 없는 채널을 초월한 일반 채널로 확장될 수 있는가?

주요 결과

• BEC에서 grafted 극좌표 코드는 $P = \exp(-N^{0.33})$ 와 $R = \text{용량} - N^{-0.33}$ 을 달성하며, 랜덤 코드의 성능에 매우 가까운 성능을 보이며 복잡도는 $N\log N$ 약간 초과한다.
• 정리 5는 오류 지수 영역과 스케일링 지수 영역의 임의의 쌍 $(\beta^*, 1/\mu^*)$ 이 중간 변동 영역 상호관계를 갖는 새로운 쌍 $(\beta', 1/\mu')$ 을 유도함을 보여주며, 성능 영역 간의 보간이 가능하다.
• 이진 소실 채널(BEC)의 경우, 이 프레임워크는 연결된 극좌표 코드가 $(\beta', 1/\mu')$-평면의 전체 오른쪽 삼각형을 메울 수 있음을 보여주며, 최적의 상호관계를 달성한다.
• 증가하는 $k$(예: $k=4$)를 갖는 리드-소로몬 기반 커널은 $(0, 1/3.627)$ 과 $(1, 0)$ 을 연결하는 한계 성능 곡선에 수렴함을 보이며, 기본 한계에 수렴하는 것으로 나타난다.
• 일반 채널의 경우, 이 프레임워크는 BCH 코드와 랜덤 커널이 $\beta^*$ 를 1에 매우 가까이 가져갈 수 있음을 보여주며, 거의 최적의 오류 지수 성능을 달성할 수 있다.
• 이론적 결과는 높은 $\beta^*$ 와 높은 $1/\mu^*$ 성능을 동시에 달성할 수 있는 커널이 존재할 수 있음을 시사하며, 특히 랜덤 커널을 사용할 경우 그러한 가능성이 높다. 다만 $\mu^*$ 의 극한 존재성은 여전히 열린 질문이다.