[논문 리뷰] Binary Linear Codes with Optimal Scaling and Quasi-Linear Complexity.

Arman Fazeli, S. Hamed Hassani외 2명|arXiv (Cornell University)|2017. 11. 03.

Error Correcting Code Techniques참고 문헌 36인용 수 9

한 줄 요약

이 논문은 이진 에러 채널(BEC)에서 최적의 스케일링 지수 μ = 2를 달성하는 큰 커널을 가진 이진 폴라 코드를 소개한다. 이는 랜덤 선형 코드의 이론적 한계와 일치한다. ℓ×ℓ 이진 커널을 구성하고 분석함으로써, 저자들은 폴라 코드가 최적의 스케일링과 준선형 복잡도 O(n log n)를 동시에 달성할 수 있음을 증명한다. 이는 기존의 μ = 3.63을 보이는 전통적 폴라 코드보다 크게 향상된 성능이다.

ABSTRACT

We prove that, for the binary erasure channel (BEC), the polar-coding paradigm gives rise to codes that not only approach the Shannon limit but do so under the best possible scaling of their block length as a~function of the gap to capacity. This result exhibits the first known family of binary codes that attain both optimal scaling and quasi-linear complexity of encoding and decoding. Our proof is based on the construction and analysis of binary polar codes with large kernels. When communicating reliably at rates within $\varepsilon > 0$ of capacity, the code length $n$ often scales as $O(1/\varepsilon^{\mu})$, where the constant $\mu$ is called the scaling exponent. It is known that the optimal scaling exponent is $\mu=2$, and it is achieved by random linear codes. The scaling exponent of conventional polar codes (based on the $2 imes 2$ kernel) on the BEC is $\mu=3.63$. This falls far short of the optimal scaling guaranteed by random codes. Our main contribution is a rigorous proof of the following result: for the BEC, there exist $\ell imes\ell$ binary kernels, such that polar codes constructed from these kernels achieve scaling exponent $\mu(\ell)$ that tends to the optimal value of $2$ as $\ell$ grows. We furthermore characterize precisely how large $\ell$ needs to be as a function of the gap between $\mu(\ell)$ and $2$. The resulting binary codes maintain the recursive structure of conventional polar codes, and thereby achieve construction complexity $O(n)$ and encoding/decoding complexity $O(n\log n)$.

연구 동기 및 목표

• 기존의 폴라 코드와 BEC 상의 이론적 용량 한계 사이의 격차를 좁히기 위해.
• 이진 코드에 대해 가능한 한 최고의 스케일링 지수 μ = 2를 달성하기 위해.
• 샤논 한계에 가까이 갈 수 있도록 낮은 인코딩 및 디코딩 복잡도를 유지하기 위해.
• 목표로 하는 스케일링 지수 μ(ℓ)가 2에 매우 가까워지도록 하기 위해 필요한 커널 크기 ℓ를 규명하기 위해.
• 큰 커널을 가진 폴라 코드가 O(n)의 복잡도로 코드를 생성하고 O(n log n)의 복잡도로 인코딩 및 디코딩을 수행할 수 있도록 재귀적 구조를 유지할 수 있음을 증명하기 위해.

제안 방법

• 저자들은 표준 2×2 커널 대신 ℓ×ℓ 커널을 사용하여 이진 폴라 코드를 구성한다.
• 재귀적 채널 분할 기법을 사용하여 BEC 상에서 이러한 코드의 스케일링 지수 μ(ℓ)를 분석한다.
• 커널 변환 성질의 엄밀한 분석을 통해 μ(ℓ) → 2임을 증명함으로써 ℓ이 증가함에 따라 최적의 스케일링에 수렴함을 보인다.
• 코드의 재귀적 구조가 유지되어 효율적인 O(n) 생성 및 O(n log n) 인코딩/디코딩이 가능하다.
• 주어진 μ(ℓ)가 최적의 μ = 2로부터 ε 이내에 있도록 보장하기 위해 필요한 ℓ의 크기에 대한 명시적 경계를 유도한다.
• 분석은 커널 유도 채널 변환의 행동과 그들이 최적의 분할 패턴으로 수렴하는 방식에 기반한다.

실험 결과

연구 질문

• RQ1 큰 커널을 가진 이진 폴라 코드는 BEC에서 랜덤 선형 코드와 동일한 최적의 스케일링 지수 μ = 2를 달성할 수 있는가?
• RQ2 μ(ℓ)가 2에 임의로 가까워지도록 하기 위해 필요한 커널 크기 ℓ는 얼마인가?
• RQ3 큰 커널을 가진 폴라 코드는 기존 폴라 코드의 준선형 복잡도를 유지하는가?
• RQ4 큰 커널을 가진 폴라 코드의 스케일링 지수 μ(ℓ)는 커널 크기 ℓ에 따라 어떻게 달라지는가?
• RQ5 스케일링 성능을 향상시키는 동안 폴라 코드의 재귀적 구조를 유지할 수 있는가?

주요 결과

• ℓ×ℓ 커널을 사용하여 구성된 폴라 코드의 스케일링 지수 μ(ℓ)는 ℓ가 증가함에 따라 최적의 값 2에 수렴한다.
• 모든 ε > 0에 대해, μ(ℓ) ≤ 2 + ε를 만족하는 유한한 ℓ가 존재함을 증명함으로써 최적의 스케일링으로의 수렴성을 입증한다.
• 코드 길이 n은 μ(ℓ) → 2이므로 O(1/ε^μ) 비율로 증가하며, 이는 이진 코드에서 달성 가능한 최고의 스케일링 성능이다.
• 구성 과정은 O(n)의 복잡도를 유지하고, 인코딩 및 디코딩은 O(n log n)의 복잡도를 유지한다.
• μ = 2에 도달하기 위한 유사도에 따라 ℓ의 크기에 대한 명시적 경계를 제시한다.
• 이 논문은 BEC 상에서 최적의 스케일링과 준선형 복잡도를 동시에 달성하는 첫 번째 알려진 이진 선형 코드의 가족이다.