[논문 리뷰] On the Closed-form Weight Enumeration of Polar Codes: 1.5$d$-weight Codewords

Mohammad Rowshan, Vlad Drăgoi외 1명|arXiv (Cornell University)|2023. 05. 04.

Coding theory and cryptography인용 수 5

한 줄 요약

이 논문은 펄스 코드와 기타 감소 다항식 코드에서 1.5×w_min-무게 코드어를 위한 폐쇄형 수세기 공식을 제시한다. 이는 하삼각 아핀(LTA) 군과 궤도의 민코프스키 합을 활용하여 유도되며, 커널 집합의 교차를 분석하고 충돌 할인 메커니즘을 적용함으로써 최대 차수 다항식에만 의존하는 정확한 수를 도출한다. 이는 이전 연구에서 최소 무게 코드어에 국한된 바를 확장한 것이다.

ABSTRACT

The weight distribution of error correction codes is a critical determinant of their error-correcting performance, making enumeration of utmost importance. In the case of polar codes, the minimum weight $\wm$ (which is equal to minimum distance $d$) is the only weight for which an explicit enumerator formula is currently available. Having closed-form weight enumerators for polar codewords with weights greater than the minimum weight not only simplifies the enumeration process but also provides valuable insights towards constructing better polar-like codes. In this paper, we contribute towards understanding the algebraic structure underlying higher weights by analyzing Minkowski sums of orbits. Our approach builds upon the lower triangular affine (LTA) group of decreasing monomial codes. Specifically, we propose a closed-form expression for the enumeration of codewords with weight $1.5\wm$. Our simulations demonstrate the potential for extending this method to higher weights.

연구 동기 및 목표

• 펄스 코드에서 최소 무게를 초월한 보다 높은 무게의 코드어를 세는 데 오랫동안 해결되지 않은 과제를 다루는 것.
• 최소 무게 코드어에 알려진 폐쇄형 공식을 1.5×w_min-무게 코드어로 확장하는 것.
• 대수적 구조와 군 작용을 활용하여 감소 다항식 코드에서의 무게 수세기의 체계적 프레임워크를 개발하는 것.
• 더 나은 코드 설계 및 디코딩을 위한 펄스 코드의 대수적 성질에 대한 통찰을 제공하는 것.

제안 방법

• 감소 다항식 코드의 하삼각 아핀(LTA) 군에 기반하여 코드어의 구조를 분석하는 방법.
• 최소 무게 코드어의 쌍으로부터 1.5×w_min-무게 코드어의 형성을 모델링하기 위해 궤도의 민코프스키 합을 사용하는 방법.
• 카사미와 토쿠라의 분류 정리가 적용되어 2×w_min 미만의 코드어를 특성화하는 데 사용된다.
• 커널 집합의 교차와 충돌로 인한 중복 계산을 방지하기 위해 공식을 통해 이러한 코드어의 수를 계산하는 방법.
• 핵심 식은 A_{1.5w_min}{f,g} = 2^{|K_f| + |K_g| - (r-2) - |K_f ∩ K_g|}이며, 이는 코셋 내 중복 행을 보정하기 위한 것이다.
• 다른 코셋의 코드어 지지 집합에서 일치하는 이진 비트를 식별하여 정확한 무게 형성을 보장하는 데 의존하는 방법.

실험 결과

연구 질문

• RQ1 어떤 대수적 구조를 사용하여 펄스 코드에서 1.5×w_min-무게 코드어를 체계적으로 세는가?
• RQ2 LTA 군은 높은 무게 코드어의 형성과 수세기 과정에서 어떤 역할을 하는가?
• RQ3 코셋 간 커널 집합의 교차는 왜 과다 계산을 유도하며, 이를 수세기 과정에서 어떻게 보정할 수 있는가?
• RQ4 최소 무게 코드어에 대한 폐쇄형 공식을 1.5×w_min-무게 코드어로 확장할 수 있는가?
• RQ5 1.5×w_min-무게 코드어의 수가 코드 생성 구조의 최대 차수 다항식에 어떻게 의존하는가?

주요 결과

• 논문은 모든 펄스 코드에 대해 유효한 감소 다항식 코드에서 1.5×w_min-무게 코드어의 수에 대한 폐쇄형 표현을 유도한다.
• 이러한 코드어의 수는 A_{1.5w_min}{f,g} = 2^{|K_f| + |K_g| - (r-2) - |K_f ∩ K_g|}로 주어지며, 이는 커널 집합 크기와 그 교차를 고려한다.
• m=7, r=4, f=104, g=84인 (128,64) 펄스 코드의 경우, 1.5×w_min-무게 코드어의 수는 512이다.
• |ind(g)\ind(f)| = 2 이고 r=2일 때 공식은 A_{1.5w_min}{f,g} = 2^4 × 2^4 × 2^{-2} = 64로 단순화된다.
• 이 방법은 커널 집합 내 중복 행으로 인한 충돌을 정확히 다루며, 2^{|K_f ∩ K_g|}개의 중복 코드어를 할인함으로써 과다 계산을 감소시킨다.
• 이 프레임워크는 동일한 원리를 반복 적용함으로써 2×w_min 및 그 이상의 더 높은 무게로의 확장 가능성을 보여준다.