[논문 리뷰] Explicit and Efficient Constructions of Coding Schemes for the Binary Deletion Channel and the Poisson Repeat Channel

Roni Con, Amir Shpilka|arXiv (Cornell University)|2019. 09. 23.

Advanced biosensing and bioanalysis techniques참고 문헌 18인용 수 4

한 줄 요약

이 논문은 이진 삭제 채널(BDC)과 포아송 반복 채널(PRC)에 대한 최초의 명시적 구성법을 제시하며, BDC의 경우 $(1-p)/16$의 전송률과 PRC의 경우 매개변수 $\lambda$에 대해 $\frac{\lambda}{17}$의 전송률을 달성한다. 이는 다항시간 복호화 및 인코딩을 사용하며, 동기화 오류에 강건한 내부 코드를 활용한 콘кат레티드 코딩 기법을 통해 랜덤 삭제 또는 반복 상황에서도 높은 확률로 복호화가 가능하다.

ABSTRACT

This work gives an explicit construction of a family of error correcting codes for the binary deletion channel and for the Poisson repeat channel. In the binary deletion channel with parameter $p$ (BDC$_p$) every bit is deleted independently with probability $p$. A lower bound of $(1-p)/9$ is known on the capacity of the BDC$_p$ \cite{mitzenmacher2006simple}, yet no explicit construction is known to achieve this rate. We give an explicit family of codes of rate $(1-p)/16$, for every $p$. This improves upon the work of Guruswami and Li \cite{guruswami2017efficiently} that gave a construction of rate $(1-p)/120$. The codes in our family have polynomial time encoding and decoding algorithms. Another channel considered in this work is the Poisson repeat channel with parameter $λ$ (PRC$_λ$) in which every bit is replaced with a discrete Poisson number of copies of that bit, where the number of copies has mean $λ$. We show that our construction works for this channel as well. As far as we know, this is the first explicit construction of an error correcting code for PRC$_λ$.

연구 동기 및 목표

• 이진 삭제 채널(BDC)에 대해 알려진 용량 하한과 명시적 코드 구성 간의 격차를 해소하기 위해.
• 이진 삭제 채널과 밀접하게 관련된 포아송 반복 채널(PRC)에 대해 최초의 명시적 오류 수정 코드 설계를 제공하기 위해.
• 구루스와미와 리가 제시한 $(1-p)/120$ 전송률을 초월하는 더 높은 전송률을 달성하기 위해.
• 랜덤 삭제 또는 포아송 분포를 따르는 반복 상황에서도 고신뢰성을 유지하는 다항시간 인코딩 및 복호화 알고리즘을 갖춘 코드를 설계하기 위해.

제안 방법

• 동기화 오류에 강건한 내부 코드를 설계한 콘카테네이션 코딩 기법을 사용하여 외부 코드와 내부 코드를 조합한다.
• 내부 코드는 포아송 분포에 따라 비트가 삭제되거나 반복되는 경우에도 신뢰성 있는 복호화가 가능하도록 구성된 구조를 사용한다.
• 버퍼 기반 복구 기법을 사용하여 삭제 또는 반복으로 인한 오류를 탐지하고 수정하며, 오류 사건의 확률적 분석을 수행한다.
• 포아송 尾 꼬리 부등식과 농도 집중 불등식을 사용하여 복호화 실패 확률을 근사하고, 지수적으로 작은 오류율을 보장한다.
• 비트 반복을 포아송 분포로 모델링하고 복호화 임계값을 조정하여 PRC에 대한 구성법을 적응적으로 적용한다.
• 내부 코드의 전송률과 생존 기대 수를 기반으로 전송률 분석을 수행하여, PRC에 대해 최종적으로 $\mathcal{R} > \frac{\lambda}{17}$의 코드 전송률을 도출한다.

실험 결과

연구 질문

• RQ1 이진 삭제 채널(BDC)에 대해 알려진 용량 하한 $(1-p)/9$에 가까운 전송률을 달성하는 명시적 고전송률 오류 수정 코드를 구성할 수 있는가?
• RQ2 랜덤 비트 반복을 모델링하는 포아송 반복 채널(PRC)에 대해 최초의 명시적 오류 수정 코드를 설계할 수 있는가?
• RQ3 다항시간 인코딩 및 복호화 제약 조건 하에서 BDC 및 PRC에서 실현 가능한 최대 전송률은 얼마인가?
• RQ4 확률적 환경에서 삭제 및 삽입(또는 반복)에 강건한 코드를 어떻게 설계할 수 있으며, 고확률 복호화를 보장할 수 있는가?

주요 결과

• 논문은 BDC에 대해 전송률 $(1-p)/16$을 달성하는 명시적 코드를 구성하였으며, 구루스와미와 리의 이전 명시적 구성법인 $(1-p)/120$을 초월한다.
• 매개변수 $\lambda$를 가진 포아송 반복 채널에 대해 전송률 $\lambda/17$를 초과하는 것을 달성하였으며, 이는 이 채널에 대한 최초의 명시적 코드이다.
• 복호화 알고리즘은 다항시간 내에 실행되며, 외부 코드의 블록 길이 $m$에 대해 $1 - \exp(-\Omega(m))$의 확률로 성공한다.
• 내부 코드가 삭제 및 오류 삽입에 모두 강건함을 입증하였으며, 포아송 꼬리 부등식을 사용하여 오류 확률을 경계하였다.
• 편집 거리 대상자에 대해 강건하여 분석을 단순화하고 복호화 보장을 강화한다.
• 전송률 분석을 통해 블록 길이가 증가함에 따라 전체 코드 전송률이 $\lambda/17$에 수렴하며, 높은 신뢰성을 확보하기 위해 명시적 매개변수를 선택하였다.