[논문 리뷰] Explicit Polar Codes with Small Scaling Exponent

Hanwen Yao, Arman Fazeli외 1명|arXiv (Cornell University)|2019. 01. 24.

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

한 줄 요약

이 논문은 이중성과 포함 관계를 갖는 순환 코드를 사용하여 이진 편성 커널의 명시적 구성법을 제시하여 이진 지워짐 채널(BEC)에서 스케일링 지수 3 이하를 달성한다. 트렐리스 표현과 몬테카를로 보간법을 활용하여 저자들은 $\mu(K_{32}) = 3.122$를 도출하고 $\mu(K_{64}) \simeq 2.87$를 추정하며, 엄밀한 상한으로 $\mu(K_{64}) < 2.97$를 확립한다. 이는 비선형 복잡도를 갖는 폴라 코드의 첫 번째 명시적 수열로, 스케일링 지수가 정확히 3보다 작고, 준선형 복잡도를 갖는다.

ABSTRACT

Herein, we focus on explicit constructions of $\ell imes\ell$ binary kernels with small scaling exponent for $\ell \le 64$. In particular, we exhibit a sequence of binary linear codes that approaches capacity on the BEC with quasi-linear complexity and scaling exponent $μ&lt; 3$. To the best of our knowledge, such a sequence of codes was not previously known to exist. The principal challenges in establishing our results are twofold: how to construct such kernels and how to evaluate their scaling exponent. In a single polarization step, an $\ell imes\ell$ kernel $K_\ell$ transforms an underlying BEC into $\ell$ bit-channels $W_1,W_2,\ldots,W_\ell$. The erasure probabilities of $W_1,W_2,\ldots,W_\ell$, known as the polarization behavior of $K_\ell$, determine the resulting scaling exponent $μ(K_\ell)$. We first introduce a class of self-dual binary kernels and prove that their polarization behavior satisfies a strong symmetry property. This reduces the problem of constructing $K_\ell$ to that of producing a certain nested chain of only $\ell/2$ self-orthogonal codes. We use nested cyclic codes, whose distance is as high as possible subject to the orthogonality constraint, to construct the kernels $K_{32}$ and $K_{64}$. In order to evaluate the polarization behavior of $K_{32}$ and $K_{64}$, two alternative trellis representations (which may be of independent interest) are proposed. Using the resulting trellises, we show that $μ(K_{32})=3.122$ and explicitly compute over half of the polarization behavior coefficients for $K_{64}$, at which point the complexity becomes prohibitive. To complete the computation, we introduce a Monte-Carlo interpolation method, which produces the estimate $μ(K_{64})\simeq 2.87$. We augment this estimate with a rigorous proof that $μ(K_{64})&lt;2.97$.

연구 동기 및 목표

• 유한한 커널 크기 $\ell \leq 64$에 대해 스케일링 지수가 작은 명시적 이진 편성 커널을 구성하기 위해.
• 기존 폴라 코드의 $\mu = 3.627$ 보다 더 낮은 스케일링 지수를 갖는 폴라 코드를 BEC에서 달성하기 위해.
• 큰 커널의 편성 행동과 스케일링 지수 평가에 대해 계산적으로 실현 가능한 방법을 개발하기 위해.
• 커널 $K_{64}$의 스케일링 지수에 대한 엄밀한 상한을 확립하기 위해.
• 명시적 폴라 코드가 준선형 복잡도와 3보다 작은 스케일링 지수를 갖는다는 것을 보여주며, 이는 이전에 알려지지 않은 결과이다.

제안 방법

• 강한 대칭성 성질을 만족하는 이중성 이진 커널의 클래스를 도입하여, 커널 설계를 $\ell/2$개의 자기수직성 코드로 이루어진 포함 체인 설계로 단순화한다.
• 최소 거리가 높고 수직 조건을 만족하도록 최적화된 포함 순환 코드를 사용하여 $K_{32}$와 $K_{64}$를 구성한다.
• 두 가지의 대체 트렐리스 표현을 개발하여 $K_{32}$와 $K_{64}$의 편성 행동을 효율적으로 계산할 수 있도록 하였으며, 이는 별도의 관심사가 될 수 있다.
• 몬테카를로 보간법을 사용하여 $K_{64}$의 알려지지 않은 편성 행동 계수를 추정함으로써 $\mu(K_{64}) \simeq 2.87$를 추정한다.
• 에러 확률 곱의 제곱근을 기반으로 한 테스트 함수 $g(z)$를 정의하고, 핵심 양 $b_0(z)$에 대한 상한 $\overline{b}_0(z)$를 유도하여 스케일링 지수를 제한한다.
• 부등식 $\mu \leq -1 / \log_\ell b_0$를 적용하여 엄밀한 상한 $\mu(K_{64}) < 2.9603$을 도출한다.

실험 결과

연구 질문

• RQ1 크기 $\ell \leq 64$에 대해 스케일링 지수가 3 이하인 명시적 이진 편성 커널을 구성할 수 있는가?
• RQ2 $K_{64}$의 도달 가능한 스케일링 지수는 무엇이며, 이를 엄밀하게 상한으로 제한할 수 있는가?
• RQ3 완전한 계산이 불가능한 큰 커널, 예를 들어 $K_{64}$의 편성 행동은 어떻게 계산하거나 추정할 수 있는가?
• RQ4 강한 대칭성을 갖는 이중성 커널은 편성 행동과 스케일링 지수 분석을 단순화할 수 있는가?
• RQ5 준선형 복잡도와 스케일링 지수가 정확히 3보다 작은 명시적 폴라 코드 수열이 존재하는가?

주요 결과

• 구성된 $K_{32}$ 커널의 스케일링 지수는 트렐리스 기반의 편성 행동 평가를 통해 정확히 $\mu(K_{32}) = 3.122$로 계산되었다.
• $K_{64}$의 경우 몬테카를로 보간법을 사용하여 부족한 편성 행동 계수를 메우고, $\mu(K_{64}) \simeq 2.87$로 추정하였다.
• 테스트 함수와 핵심 양 $b_0(z)$의 상한을 통해 엄밀한 상한 $\mu(K_{64}) < 2.97$를 증명하였으며, 이때 $b_0 \leq 0.2454$임을 확인하였다.
• $K_{64}$의 편성 행동은 부분적으로 명시적으로 계산되었으며, $f_i(z)$ 다항식의 절반 이상이 알려져 있었고, 나머지는 코스터의 무게 열거식을 사용하여 상한이 제시되었다.
• 이중성 커널과 포함 순환 코드의 사용은 복잡도를 감소시키고 분석의 확장성을 가능하게 하는 체계적인 설계를 가능하게 하였다.
• 본 연구는 BEC에서 스케일링 지수가 정확히 3보다 작고 준선형 복잡도를 갖는 첫 번째 알려진 명시적 이진 선형 코드 수열을 제시한다.