[논문 리뷰] Channel Polarization on q-ary Discrete Memoryless Channels by Arbitrary Kernels

Ryuhei Mori, Toshiyuki Tanaka|arXiv (Cornell University)|2010. 01. 15.

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

한 줄 요약

이 논문은 임의의 커널을 사용하여 q-진 이산 메모리 없는 채널(DMC)으로 채널 분극을 일반화하며, 커널과 바타카리차 매개변수에 대한 특정 조건 하에서 분극이 발생함을 증명한다. Reed-Solomon 기반 커널을 사용한 명시적 구성법을 제안하여, 특히 q=4일 때 기존의 이진 선형 커널보다 더 높은 분극 지수를 달성함으로써 q-진 펄스 코드의 점근적 성능 향상을 입증한다.

ABSTRACT

A method of channel polarization, proposed by Arikan, allows us to construct efficient capacity-achieving channel codes. In the original work, binary input discrete memoryless channels are considered. A special case of $q$-ary channel polarization is considered by Sasoglu, Telatar, and Arikan. In this paper, we consider more general channel polarization on $q$-ary channels. We further show explicit constructions using Reed-Solomon codes, on which asymptotically fast channel polarization is induced.

연구 동기 및 목표

• 이진 채널에서 q-진 이산 메모리 없는 채널으로 아리카산의 채널 분극 프레임워크를 확장하기 위해.
• q-진 채널에서 채널 분극이 발생하기 위한 임의의 커널에 대한 충분한 조건을 규명하기 위해.
• Reed-Solomon 기반 커널을 사용하여 빠른 분극을 달성하는 명시적 q-진 펄스 코드를 구성하기 위해.
• q-진 커널이 이진 커널보다 분극 지수 측면에서 뛰어나게 되는지, 특히 q=4와 같이 작은 q에 대해 입증하기 위해.

제안 방법

• 원래 채널을 하위채널로 변환하기 위해 일대일 사상인 일반 커널 g: X^{β} → X^{β} 를 사용한다.
• 하위채널의 행동을 분석하기 위해 극한과 대칭성 성질을 이용해 변환된 채널 W^{(i)} 및 W^{(i)}_{u_{0}^{i-1}} 을 정의한다.
• 마팅게일 수렴 정리를 적용하여 대칭 용량 I(W^{(B_0)⋯(B_n)}) 가 거의 확실히 한계 I_∞ 로 수렴함을 보인다.
• 에러 행동과 분극 속도 분석을 위해 바타카리차 매개변수 Z(W) 와 그 최소/최대 값 Z_min(W), Z_max(W) 를 도입한다.
• q 가 소수 거듭제곱일 경우 Reed-Solomon 커널 G_{RS}(q) 를 사용하여 명시적 q-진 펄스 코드를 구성한다.
• 입력 x 와 x' 가 커널 변환에서 다른 위치의 수인 D_{x,x'}^{(i)}(u_{0}^{i-1}) 를 사용하여 하위채널의 바타카리차 매개변수에 대한 한계를 유도한다.

실험 결과

연구 질문

• RQ1 임의의 커널에 대해 q-진 이산 메모리 없는 채널에서 채널 분극이 발생하기 위한 조건은 무엇인가?
• RQ2 비이진 커널을 사용할 경우 q-진 펄스 코드가 이진 펄스 코드보다 더 빠른 분극 속도를 달성할 수 있는가?
• RQ3 q 가 소수 거듭제곱일 때 Reed-Solomon 기반 커널 G_{RS}(q) 의 분극 지수는 얼마인가?
• RQ4 G_{RS}(q) 의 분극 지수는 2x2 또는 16x16 행렬과 같은 작은 이진 커널의 분극 지수와 비교해 어떻게 되는가?
• RQ5 비선형 커널을 사용할 경우 선형 커널 대비 q-진 채널 분극에서 유리한 점이 있는가?

주요 결과

• Reed-Solomon 커널 G_{RS}(q) 의 분극 지수는 log_e(q!)/(q log_e q) 이며, q=4일 때 2x2 이진 커널의 지수(0.5) 를 초월한다.
• q=4 일 때 G_{RS}(4) 의 분극 지수는 약 0.57312 로, 분극 지수가 약 0.51828 인 16x16 이진 커널보다 뛰어나다.
• 모든 커널에 대해 하위채널의 바타카리차 매개변수는 Z_min(W)^{D_{x,x'}^{(i)}(u_{0}^{i-1})}/q^{2(β-1-i)} ≤ Z_{x,x'}(W_{u_{0}^{i-1}}^{(i)}) ≤ q^{β-1-i} Z_max(W)^{D_{x,x'}^{(i)}(u_{0}^{i-1})} 를 만족한다.
• 대칭 용량 I(W) 는 log(q / (1 + (q-1)Z(W))) 이하와 2(q-1)(log e)√(1 - Z(W)^2) 이하로 한정되며, 용량과 바타카리차 매개변수를 연결한다.
• 논문은 평균 바타카리차 매개변수에 대한 순열 조건을 만족하는 모든 커널에 대해, 거의 확실히 I_∞ ∈ {0,1} 이 되도록 채널 분극이 발생함을 증명한다.
• G_{RS}(q) 를 사용한 q-진 펄스 코드의 구성은 q-진 채널을 소수 거듭제곱 하위채널로 분해하지 않아도 점근적으로 빠른 분극을 가능하게 한다.