[논문 리뷰] Polar Codes: Characterization of Exponent, Bounds, and Constructions

Satish Babu Korada, Eren Şaşoğlu외 1명|ArXiv.org|2009. 01. 05.

Error Correcting Code Techniques참고 문헌 6인용 수 32

한 줄 요약

이 논문은 임의의 $$\ell\times\ell$$ 행렬을 사용하여 구성된 펄스 코드의 오차 지수를 특성화하며, 원래 $$2\times2$$ 구성에서 달성한 지수 $$\frac{1}{2}$$을 초과할 수 없는 크기 15 미만의 행렬이 존재하지 않음을 증명한다. 또한 크기가 큰 $$\ell$$에 대해 지수를 1에 임의로 가까이 만드는 새로운 BCH 기반 행렬 구성법을 제안하며, $$16\times16$$ 행렬이 $$\frac{1}{2}$$을 초과함으로써 원래 설계를 뛰어넘는 우수한 펄스 코드 구성의 존재를 입증한다.

ABSTRACT

Polar codes were recently introduced by Arıkan. They achieve the capacity of arbitrary symmetric binary-input discrete memoryless channels under a low complexity successive cancellation decoding strategy. The original polar code construction is closely related to the recursive construction of Reed-Muller codes and is based on the $2 imes 2$ matrix $\bigl[ 1 &0 1& 1 \bigr]$. It was shown by Arıkan and Telatar that this construction achieves an error exponent of $\frac12$, i.e., that for sufficiently large blocklengths the error probability decays exponentially in the square root of the length. It was already mentioned by Arıkan that in principle larger matrices can be used to construct polar codes. A fundamental question then is to see whether there exist matrices with exponent exceeding $\frac12$. We first show that any $\ell imes \ell$ matrix none of whose column permutations is upper triangular polarizes symmetric channels. We then characterize the exponent of a given square matrix and derive upper and lower bounds on achievable exponents. Using these bounds we show that there are no matrices of size less than 15 with exponents exceeding $\frac12$. Further, we give a general construction based on BCH codes which for large $n$ achieves exponents arbitrarily close to 1 and which exceeds $\frac12$ for size 16.

연구 동기 및 목표

• 크기 $$\ell\times\ell$$의 행렬이 원래 $$2\times2$$ 펄스 코드 행렬의 지수 $$\frac{1}{2}$$을 초과하는 오차 지수를 달성할 수 있는지 여부를 규명하는 것.
• 주어진 $$\ell\times\ell$$ 행렬의 지수를 특성화하고, 달성 가능한 지수의 상한 및 하한을 유도하는 것.
• BCH 코드에 기반한 행렬의 가족을 구성하여, 크기가 큰 $$\ell$$일 때 지수가 1에 임의로 가까워지도록 하는 것. 특히 $$\ell=16$$일 때 $$\frac{1}{2}$$을 초과함을 보여주는 것.

제안 방법

• 대칭 이진입력 비메모리 없는 채널(B-DMCs)을 극화시키기 위한 $$\ell\times\ell$$ 행렬의 필요 및 충분 조건을 유도하며, 행렬의 열 순열이 상삼각행렬이 될 수 없음을 보여주는 것.
• 유도된 채널의 버하차리차 파라미터와 상호정보량에 기반한 행렬의 지수 특성화를 도입하는 것.
• 행렬의 부분거리 정보를 이용해 지수를 경계하고, 레이마 26을 적용하여 $$\ell=16$$일 때 최적의 행렬을 찾는 데 필요한 탐색 공간을 제한하는 것.
• BCH 코드에서 유도된 행렬의 가족을 구성하며, 크기가 커질수록 지수가 1에 수렴함을 증명하는 것.
• 극한 정보 결합에 관한 정리 34를 활용하여 결합 채널의 상호정보량을 하한으로 제시하는 것.
• 최적성 확인을 위해 $$16\times16$$ 행렬에 대한 후보 부분거리 집합에 대한 전수 검색을 수행하는 것.

실험 결과

연구 질문

• RQ1 $$\ell < 15$$인 $$\ell\times\ell$$ 행렬이 오차 지수가 $$\frac{1}{2}$$을 엄밀히 초과하는 경우가 존재할 수 있는가?
• RQ2 $$\ell$$-차원 대칭 B-DMCs를 극화시키기 위해 $$\ell\times\ell$$ 행렬이 만족해야 할 조건은 무엇인가?
• RQ3 $$\ell\times\ell$$ 행렬의 최대 달성 가능한 지수는 무엇이며, 이를 1에 임의로 가까이 만들 수 있는가?
• RQ4 지수가 $$\frac{1}{2}$$을 초과하는 행렬을 구성할 수 있는 구체적 방법이 존재하는가, 특히 $$\ell=16$$일 경우에 대해?
• RQ5 행렬의 부분거리가 그 극화 성능과 달성 가능한 지수에 어떤 관계를 가지는가?

주요 결과

• 크기 $$\ell < 15$$인 모든 $$\ell\times\ell$$ 행렬은 오차 지수가 $$\frac{1}{2}$$을 초과하지 못하며, 이는 원래 $$2\times2$$ 구성의 최적성을 이 범위 내에서 확인한다.
• $$16\times16$$ BCH 코드에서 유도된 행렬은 오차 지수가 $$\frac{1}{2}$$을 엄밀히 초과함을 보여주며, 이는 더 큰 행렬이 원래 펄스 코드 설계를 뛰어넘을 수 있음을 입증한다.
• 구성된 $$16\times16$$ 행렬의 부분거리는 $$\{16,8,8,8,8,6,6,4,4,4,4,2,2,2,2,1\}$$이며, 모든 $$16\times16$$ 행렬 중에서 최적이며 증명된다.
• 모든 $$\delta > 0$$에 대해, 크기 $$\ell$$가 존재하여 구성된 가족의 지수가 $$1 - \delta$$를 초과함을 보여주며, 이는 지수가 1에 임의로 가까이 갈 수 있음을 증명한다.
• 행렬의 지수는 그 부분거리로 경계되며, 전수 검색을 통해 다른 부분거리 집합을 가진 $$16\times16$$ 행렬은 존재하지 않음을 확인한다.
• 결합 채널의 상호정보량은 구성 채널이 BSC일 때 최소가 되며, 이는 지수가 1으로 수렴함을 증명하는 데 핵심적인 하한으로 기능한다.