[논문 리뷰] Strange Attractor for Efficient Polar Code Design

Sinan Kahraman|arXiv (Cornell University)|2017. 08. 14.

Error Correcting Code Techniques참고 문헌 7인용 수 7

한 줄 요약

이 논문은 $1 + \log_2\log_2 N$개의 보편적 연산자를 정의하여 합성 채널의 고해상도 부분 순서를 가능하게 함으로써, 효율적인 장거리 펄스 코드 설계를 위한 새로운 액트로이터 기반 프레임워크를 제안한다. 이는 가우시안 근사에서 기하적 성질을 갖는 사전 정의된 합성 채널의 부분집합을 식별함으로써, 원래 채널보다 항상 열악한 신뢰성을 가지며, 그 기수는 $(n+2)$-번째 피보나치 수와 같아, 장거리 코드의 코드 설계에서 복잡도를 크게 감소시킨다.

ABSTRACT

This paper presents a definition of a construction for long polar codes. Recently, we know that partial order is a universal property of the construction with a sublinear complexity for polar codes. In order to describe the partial order, addition and left-swap operators are only defined as universal up to now. In this study, we first propose $1+\log_2 \log_2 N$ universal operators to describe multiple partial order for the block length $N=2^n$. By using these operators, some known antichains can be universally ordered. Furthermore, by using a simple geometric property of Gaussian approximation, we define an attractor that is a pre-defined subset of synthetic channels. They are universally less reliable than the natural channel $W$. Then, we show that the cardinality of this attractor is $(n+2)$-th Fibonacci number which is a significantly large number of channels for long codes. The main contribution is that there are significant number of synthetic channels explicitly defined as almost useless by the help of attractor and multiple partial order. As a result, proposed attractor with multiple partial order can be seen as an efficient tool to investigate and design extremely long codes.

연구 동기 및 목표

• 장 블록 길이 $N = 2^n$에 대한 펄스 코드 설계의 계산 복잡도를 감소시키기 위해.
• 기존의 부분 순서 방법이 일부 합성 채널을 보편적으로 비교할 수 없는 한계를 해결하기 위해.
• 신뢰성이 낮은 합성 채널의 큰 사전 정의된 집합을 식별하여, 코드 설계 중 신뢰성 계산의 수를 최소화하기 위해.
• 합성 채널의 안정적이고 단순화된 가우시안 근사를 개발하여 효율적인 신뢰성 추정을 가능하게 하기 위해.
• 보편적 연산자와 기하적 액트로이터를 활용하여 극히 장거리 펄스 코드를 설계할 수 있는 확장 가능한 프레임워크를 제공하기 위해.

제안 방법

• 기존의 두 개의 알려진 연산자를 초월하여 더 세밀한 합성 채널 비교를 가능하게 하기 위해, $1 + \log_2\log_2 N$개의 보편적 연산자를 제안한다.
• 가우시안 근사 갱신 규칙의 기하적 구조를 이용하여, 원래 채널 $W$보다 항상 열악한 신뢰성을 갖는 이상한 액트로이터—즉, 원래 채널보다 항상 신뢰성이 낮은 합성 채널의 부분집합—을 정의한다.
• 수치적으로 안정적이고 효율적인 신뢰성 추정을 가능하게 하기 위해, 함수 $\phi(x) = \mathrm{erfc}(\sqrt{x}/2)$와 그 역함수의 단순화된 형태를 적용한다.
• 피보나치 수열을 활용하여 액트로이터 집합의 기수를 기술함으로써, 이 기수가 $(n+2)$-번째 피보나치 수와 같이 증가함을 보여준다.
• 다양한 부분 순서 연산자와 액트로이터를 조합하여, 낮은 신뢰성의 채널을 사전에 식별함으로써, 필요한 신뢰성 평가의 수를 감소시킨다.
• 계산 효율성을 향상시키기 위해 $v = (u - x)/(2\sqrt{x})$를 통한 변환을 활용하여 가우시안 근사 함수의 닫힌 형태 근사를 유도한다.

실험 결과

연구 질문

• RQ1 펄스 코드의 두 알려진 부분 순서 연산자 외에도 더 큰 합성 채널 집합을 보편적으로 순서 매길 수 있는가?
• RQ2 가우시안 근사 과정에서 어떤 기하적 성질을 활용하여 보편적인 신뢰성이 낮은 합성 채널의 부분집합을 식별할 수 있는가?
• RQ3 식별된 신뢰성이 낮은 채널 집합의 기수는 펄스화 단계 수 $n$에 따라 어떻게 변화하는가?
• RQ4 단순화된 가우시안 근사 방법은 계산 복잡도를 감소시키면서도 높은 정확도를 유지할 수 있는가?
• RQ5 다양한 부분 순서 연산자와 액트로이터 프레임워크의 조합이 장거리 펄스 코드 설계에서 필요한 신뢰성 계산의 수를 얼마나 줄일 수 있는가?

주요 결과

• 제안된 방법은 $1 + \log_2\log_2 N$개의 보편적 연산자를 도입하여, 이전에 비해 더 높은 해상도의 보편적 비교를 가능하게 하였다.
• 액트로이터는 원래 채널 $W$보다 항상 신뢰성이 낮은 합성 채널의 부분집합을 식별하며, 그 기수는 $(n+2)$-번째 피보나치 수와 같다.
• 피보나치 기반의 액트로이터 크기는 $n$에 따라 크게 증가하여, 사전 정의된 대규모의 채널 집합을 신뢰성 평가에서 제외할 수 있도록 한다.
• 단순화된 가우시안 근사 방법은 원래 방법과 유사한 성능를 달성하면서도 수치적으로 안정적이고 효율적인 채널 신뢰성 계산을 가능하게 한다.
• 다양한 부분 순서 연산자와 액트로이터의 조합은 필요한 신뢰성 계산의 수를 감소시켜, 장거리 펄스 코드 설계의 복잡도를 크게 낮춘다.
• 이 프레임워크는 확장 가능하며, 비이진 펄스 코드와 임의의 이진 선형 커널에 적용 가능하므로, 향후 광범위한 적용 가능성을 지닌다.