[논문 리뷰] Spatially Coupled Codes over the Multiple Access Channel

Shrinivas Kudekar, Kenta Kasai|arXiv (Cornell University)|2011. 02. 14.

Error Correcting Code Techniques참고 문헌 13인용 수 3

한 줄 요약

이 논문은 이중 사용자 이진 덧셈 다중접속 채널(MAC)에서 낙하(erasures)가 발생할 경우, 공간적으로 커플링된 정규 LDPC 코드가 믿음 전파(BP) 임계값이 샤논 한계에 매우 가까이 도달함을 보여준다. 밀도 진화와 EXIT 곡선 분석을 적용하여, 커플링된 집합의 BP 임계값이 기저가 되는 커플링되지 않은 코드의 최대사후확률(MAP) 임계값에 수렴하는 '임계값 포화' 현상이 발생함을 보이며, 이는 단일 사용자 이진 지워짐 채널(BEC)에서 관찰된 행동과 유사하다.

ABSTRACT

We consider spatially coupled code ensembles over a multiple access channel. Convolutional LDPC ensembles are one instance of spatially coupled codes. It was shown recently that, for transmission over the binary erasure channel, this coupling of individual code ensembles has the effect of increasing the belief propagation threshold of the coupled ensembles to the maximum a-posteriori threshold of the underlying ensemble. In this sense, spatially coupled codes were shown to be capacity achieving. It was observed, empirically, that these codes are universal in the sense that they achieve performance close to the Shannon threshold for any general binary-input memoryless symmetric channels. In this work we provide further evidence of the threshold saturation phenomena when transmitting over a class of multiple access channel. We show, by density evolution analysis and EXIT curves, that the belief propagation threshold of the coupled ensembles is very close to the ultimate Shannon limit.

연구 동기 및 목표

• 공간적으로 커플링된 코드가 단일 사용자 이진입력 기억없는 대칭(BMS) 채널에서 관찰된 것과 유사하게 다중접속 채널(MAC)에서도 임계값 포화를 달성할 수 있는지 조사하기 위해.
• MAC에서 커플링된 LDPC 코드의 믿음 전파(BP) 임계값이 이론적 샤논 한계에 얼마나 가까이 도달하는지 결정하기 위해.
• 이전에 BEC 및 단일 사용자 설정에서 관찰된 바와 같이, 임계값 포화 현상을 다중 사용자 환경으로 확장하기 위해.
• 밀도 진화(DE)의 EXIT 곡선과 고정점의 행동을 분석하여, 임계값 포화의 보편성과 성능 향상을 검증하기 위해.
• 밀도 진화 과정에서의 불안정 고정점의 구조적 특성, 특히 대칭성과 단일 최고점 형태를 분석하여 임계값 포화의 증거를 제공하기 위해.

제안 방법

• 연구는 변수 노드가 $[-L, L]$에 배열되고 연결이 크기 $w$의 창 내에서 국소화되는 $(\mathtt{l},\mathtt{r},L,w)$ 공간적 커플링 LDPC 집합을 사용한다.
• 메시지 전달 동역학을 추적하기 위해 밀도 진화(DE)를 적용하며, DE 과정의 고정점(FPs)에 중점을 둔다.
• EXIT 곡선은 DE 과정을 뒤집어 구성되며, 주어진 체계 엔트로피 $\chi$에 대해 고정점을 도달하기 위해 필요한 채널 낙하 확률 $\epsilon$을 계산한다.
• BP 임계값은 안정 고정점이 존재하는 최소 $\epsilon$로 추정되며, $L$ 증가에 따라 수렴 여부를 모니터링한다.
• 역방향 DE를 통해 불안정 고정점을 생성하여, 특히 임계점 부근에서 체계의 형태와 대칭성을 분석한다.
• 집합의 설계율은 $R(\mathtt{l},\mathtt{r},L,w) = \left(1 - \frac{\mathtt{l}}{\mathtt{r}}\right) - \frac{\mathtt{l}}{\mathtt{r}} \cdot \frac{w+1 - 2\sum_{i=0}^{w} \left(\frac{i}{w}\right)^\mathtt{r}}{2L+1}$로 계산되며, 이는 커플링 효과를 반영한다.

Figure 1: The figure shows two protograph-based spatially coupled codes (each belonging to one user) in light gray. The two protographs are connected by the MAC function node shown in dark. Note that in the actual code the MAC function node connects each variable node of one user to the correspondin

실험 결과

연구 질문

• RQ1 이중 사용자 다중접속 채널에서 낙하가 발생할 경우, 공간적 커플링이 단일 사용자 BEC 설정에서 관찰된 것과 같이 임계값 포화를 유도하는가?
• RQ2 MAC에서 커플링된 LDPC 코드의 믿음 전파(BP) 임계값이 샤논 한계에 도달할 수 있으며, 이론적 한계와 얼마나 가까운가?
• RQ3 커플링된 MAC 시스템의 EXIT 곡선은 단일 사용자 BEC 경우와 비교해 어떻게 다른가? 동일한 정성적 행동을 보이는가?
• RQ4 밀도 진화 과정에서의 불안정 고정점은 MAC 환경에서 어떤 구조적 특성을 보이며, BEC 경우와 유사한가?
• RQ5 임계값 포화 현상은 다양한 MAC 구성, 특히 두 사용자가 동일한 코드 파rameter를 가질 경우에도 보편적인가?

주요 결과

• 이중 사용자 MAC에서 낙하가 발생할 경우, 커플링된 $(3,6,3,6,L,3)$ LDPC 집합의 믿음 전파(BP) 임계값은 약 $\epsilon \approx 0.3323$로 수렴하며, 이는 샤논 임계값인 $1/3 \approx 0.3333$에 매우 가까운 수준이다.
• 커플링 길이 $L$이 증가함에 따라, 커플링된 시스템의 BP EXIT 곡선은 왼쪽으로 이동하며, 단일 사용자 BEC 경우에서 관찰된 행동에 수렴함을 보여, 더 나은 임계값 성능을 의미한다.
• 밀도 진화 과정의 불안정 고정점은 $i=0$을 중심으로 대칭적이며, 단일 최고점 형태를 띠며, 중앙 영역의 값은 약 $\approx 0.6548$로, 커플링되지 않은 $(3,6)$-정규 집합의 안정 고정점과 일치한다. 이는 $\epsilon \approx 0.3323$에서 관찰된다.
• 불안정 체계에서 낮은 메시지 값에서 높은 값으로의 전이가 급격히 일어나, BEC 경우와 유사한 날카운 임계값 행동을 나타낸다.
• 커플링된 시스템의 EXIT 곡선은 기저가 되는 커플링되지 않은 코드의 BP EXIT 함수를 따라가며, 샤논 임계값 근처에서 수직으로 낙하하여 거의 영 엔트로피로 떨어지며, 이는 임계값 포화를 확인한다.
• 불안정 고정점의 형태와 특성은, BEC의 경우와 동일한 방식으로 대칭성과 단일 최고점에 기반한 증명이 MAC의 경우에도 적용될 수 있음을 시사한다.

Figure 3: The EBP EXIT curve for $(3,6,3,6,L,3)$ with $L=2,4,8,16,32,64,128,256$ . The curve with light gray background is the BP EXIT curve for the uncoupled $(3,6,3,6)$ ensemble. We see that as $L$ increases the EBP EXIT curves of the coupled system moves to the left. The BP threshold of the coupl