[논문 리뷰] On Optimal Finite-length Binary Codes of Four Codewords for Binary Symmetric Channels

Yanyan Dong, Shenghao Yang|arXiv (Cornell University)|2020. 06. 13.

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

한 줄 요약

이 논문은 최대우도 복호화 하에 이진 대칭 채널(BSC)에서 길이가 유한한 이진 코드로서 네 개의 코드어를 가지는 최적의 코드를 조사한다. 모든 블록 길이에 대해 최적의 코드는 선형 또는 특정 비선형 코드(클래스-I)에 속해 있으며, 분석적이고 수치적으로 분석한 결과 선형 코드가 길이 300 이하, 특히 8 이하의 모든 길이에서 최적이 되는 것으로 밝혀졌다.

ABSTRACT

Finite-length binary codes of four codewords are studied for memoryless binary symmetric channels (BSCs) with the maximum likelihood decoding. For any block-length, best linear codes of four codewords have been explicitly characterized, but whether linear codes are better than nonlinear codes or not is unknown in general. In this paper, we show that for any block-length, there exists an optimal code of four codewords that is either linear or in a subset of nonlinear codes, called Class-I codes. Based on the analysis of Class-I codes, we derive sufficient conditions such that linear codes are optimal. For block-length less than or equal to 8, our analytical results show that linear codes are optimal. For block-length up to 300, numerical evaluations show that linear codes are optimal.

연구 동기 및 목표

• 메모리 없는 이진 대칭 채널에서 유한 길이의 이진 코드로서 네 개의 코드어를 가지는 모든 코드 중에서 선형 코드가 최적이 되는지 여부를 규명하는 것.
• 이 설정에서 비선형 코드가 선형 코드를 능가할 수 있는지 여부에 대한 열린 문제를 해결하는 것.
• 선형 코드가 최적이 아닐 경우에 최적일 수 있는 특정 비선형 코드(클래스-I)의 구조를 규명하여 최적 코드의 구조를 특성화하는 것.
• 선형 코드가 주어진 블록 길이에서 반드시 최적이 되도록 보장하는 충분 조건을 도출하는 것.
• 블록 길이가 300 이하일 때까지 선형 코드의 최적성 수치적으로 평가하는 것.

제안 방법

• 저자들은 선형 코드가 최적이 아닐 경우의 후보로 작용하는 특정 비선형 코드인 클래스-I 코드를 정의하고 분석한다.
• 클래스-I 코드의 구조 및 거리 특성에 기반하여 선형 코드가 최적이 되는 분석적 충분 조건을 유도한다.
• 블록 길이 ≤ 8에 대해 정확한 분석적 분석을 수행하여 선형 코드가 최적이 되는 것을 증명한다.
• 블록 길이가 300 이하일 때까지 수치적 평가를 수행하여 선형 코드와 클래스-I 코드의 성능을 비교한다.
• 최대우도 복호화를 기준으로 삼고, 쌍별 오류 확률에 기반한 코드어 오류율을 평가한다.
• 분석은 히브닝 거리 성질과 이진 대칭 채널의 대칭성에 기반한다.

실험 결과

연구 질문

• RQ1 이진 대칭 채널에서 네 개의 코드어를 가지는 비선형 코드가 최고의 선형 코드를 능가하는 블록 길이가 존재하는가?
• RQ2 비선형 최적 코드가 존재할 경우 그 구조적 특성은 무엇인가?
• RQ3 주어진 블록 길이에서 선형 코드가 반드시 최적이 되도록 보장하는 충분 조건을 도출할 수 있는가?
• RQ4 넓은 범위의 블록 길이에 걸쳐 선형 코드와 클래스-I 비선형 코드의 성능는 어떻게 비교되는가?
• RQ5 선형 코드는 길이 300 이하에서 모두 최적이 되는가?

주요 결과

• 모든 블록 길이 ≤ 8에 대해 선형 코드가 최적이 되며, 비선형 코드가 그들을 능가하지 못함을 증명하였다.
• 블록 길이가 300 이하일 때까지 수치적 평가 결과 선형 코드가 여전히 최적이 되는 것으로 확인되었다.
• 최적 코드의 유일한 잠재적 비선형 대안은 클래스-I로, 특정 비선형 코드의 부분집합이다.
• 코드의 구조와 거리 척도에 기반하여 선형 코드가 반드시 최적이 되도록 보장하는 충분 조건을 도출하였다.
• 이 결과는 넓은 범위의 블록 길이에서 BSC에서 4개의 코드어를 가지는 이진 코드의 최적성 문제를 해결하였다.