[논문 리뷰] New Characterization and Efficient Exhaustive Search Algorithm for Elementary Trapping Sets of Variable-Regular LDPC Codes

Yoones Hashemi, Amir H. Banihashemi|arXiv (Cornell University)|2015. 10. 16.

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

한 줄 요약

이 논문은 변수 정규 LDPC 부호에서 잎이 없는 기본 트랩셋(LETS)을 위한 새로운 DPL(점, 경로, 루프) 확장 기반 특성화를 제안하며, 증명 가능하게 완전하고 효율적인 탐색 알고리즘을 가능하게 한다. LSS 기반 방법을 대체하기 위해 세 가지 최소의 계층적 확장 기법을 도입함으로써 순환 열거 길이를 감소시키고 탐색 속도와 메모리 효율성을 크게 향상시키면서도, 임의의 희망하는 a_max 및 b_max까지의 모든 (a,b) LETS 구조를 포함함을 보장한다.

ABSTRACT

In this paper, we propose a new characterization for elementary trapping sets (ETSs) of variable-regular low-density parity-check (LDPC) codes. Recently, Karimi and Banihashemi proposed a characterization of ETSs, which was based on viewing an ETS as a layered superset (LSS) of a short cycle in the code's Tanner graph. A notable advantage of LSS characterization is that it corresponds to a simple LSS-based search algorithm that starts from short cycles of the graph and finds the ETSs with LSS structure efficiently. Compared to the LSS-based characterization of Karimi and Banihashemi, which is based on a single LSS expansion technique, the new characterization involves two additional expansion techniques. The introduction of the new techniques mitigates two problems that LSS-based characterization/search suffers from: (1) exhaustiveness, (2) search efficiency. We prove that using the three expansion techniques, any ETS structure can be obtained starting from a simple cycle, no matter how large the size of the structure $a$ or the number of its unsatisfied check nodes $b$ are. We also demonstrate that for the proposed characterization/search to exhaustively cover all the ETS structures within the $(a,b)$ classes with $a \leq a_{max}, b \leq b_{max}$, for any value of $a_{max}$ and $b_{max}$, the length of the short cycles required to be enumerated is less than that of the LSS-based characterization/search. We also prove that the three expansion techniques, proposed here, are the only expansions needed for characterization of ETS structures starting from simple cycles in the graph, if one requires each and every intermediate sub-structure to be an ETS as well. Extensive simulation results are provided to show that, compared to LSS-based search, significant improvement in search speed and memory requirements can be achieved.

연구 동기 및 목표

• 기존의 LSS 기반 특성화 및 탐색 기법이 가지는 한계를 해결하기 위해 변수 정규 LDPC 부호에서 기본 트랩셋(ETS)을 다루는 것.
• 긴 순환을 열거할 필요 없이 최소의 완전한 확장 프레임워크를 도입함으로써 이를 제거하는 것.
• 모든 (a,b) LETS 구조를 주어진 a 및 b의 범위 내에서 발견할 수 있도록 보장하는 탐색 알고리즘을 개발하는 것.
• 열거에 필요한 순환 길이를 줄이고 메모리 사용량을 최소화함으로써 계산 효율성을 향상시키는 것.
• 세 가지 확장 기법(점, 경로, 루프)이 LETS 구조의 완전하고 최소한의 특성화에 필수적이고 충분한지 증명하는 것.

제안 방법

• 단순 순환에서 탐색을 시작하여 Tanner 그림에서 LETS 구조를 확장하는 데 사용되는 세 가지 새로운 확장 기법—점, 경로, 루프—을 도입한다.
• 각 확장 단계에서 중간에 나타나는 모든 부분 구조도 LETS임을 보장하여 최소성과 완전성을 확보한다.
• 이 특성화는 계층적이다: 모든 LETS 구조는 단순 순환에서 시작하여 임베딩된 LETS들의 순서로 구성된다.
• 알고리즘은 오직 최소한의 필요 순환 인스턴스만 열거함으로써 완전한 탐색을 수행하며, LSS 기반 방법 대비 최대 순환 길이가 최소화된다.
• 이 방법은 최소성으로 증명된다: 각 단계에서 LETS 성질을 유지하면서도 더 이상 분해될 수 없는 확장이다.
• 기본 구조(단순 순환)에서 출발하여 세 가지 확장 기법을 사용해 전파함으로써, a ≤ a_max 및 b ≤ b_max를 만족하는 모든 (a,b) 클래스를 포함함을 보장한다.

실험 결과

연구 질문

• RQ1 긴 순환을 열거할 필요 없이 완전하고 효율적인 LETS 구조 특성화를 개발할 수 있는가?
• RQ2 LSS 프레임워크를 초월한 다른 확장 기법이 존재하는가? 이러한 기법들이 모든 LETS 구조를 완전히 특성화할 수 있는가?
• RQ3 열거에 필요한 순환 길이를 제한함으로써 탐색 복잡도를 줄일 수 있는가? 동시에 완전성은 유지되는가?
• RQ4 제안된 세 가지 확장 기법(점, 경로, 루프)이 LETS 특성화에 대해 최소이고 충분한 집합인가?
• RQ5 제안된 DPL 기반 탐색은 기존의 완전 탐색 알고리즘(LSS 기반 또는 DPL 기반 방법)과 비교해 효율성과 메모리 사용 측면에서 어떻게 성능을 냅니다?

주요 결과

• 제안된 DPL 기반 특성화는 완전하다: 모든 LETS 구조는 단순 순환에서 세 가지 확장 기법만을 사용해 구성할 수 있다.
• 열거에 필요한 최대 순환 길이는 LSS 기반 방법이 요구하는 길이보다 엄격히 작으며, 이 길이가 최소임이 증명되었다.
• DPL 기반 탐색 알고리즘은 LSS 기반 접근 방식 대비 런타임과 메모리 사용량을 최대 3개의 지수 단위 감소시킨다.
• 이 알고리즘은 변수 정규 LDPC 부호에서 LETS 구조에 대한 가장 효율적이고 일반적인 완전 탐색 방법으로, 임의의 변수도수, 둘레, 레이트 및 블록 길이에 적용 가능하다.
• 광범위한 시뮬레이션을 통해 DPL 기반 방법이 다양한 부호 매개변수에서 속도와 메모리 효율성 측면에서 LSS 기반 방법을 모두 능가함을 확인했다.
• 이 방법은 완전성을 보장한다: 지정된 a_max 및 b_max 범위 내의 (a,b) LETS 클래스 중 하나도 빠지지 않으며, [18]의 비완전한 알고리즘과는 달리 모든 클래스를 포함한다.