[논문 리뷰] Optimal $k$-Deletion Correcting Codes

Jin Sima, Jehoshua Bruck|arXiv (Cornell University)|2019. 10. 27.

DNA and Biological Computing참고 문헌 15인용 수 4

한 줄 요약

이 논문은 $k$-삭제 수정 코드의 최적의 부호화 여유도 $O(k\log n)$를 갖는 최초의 결정론적 코드를 제안하며, 제약된 순서열, 블록 분리용 동기화 패턴, 여유도 최적화된 외부 및 내부 부호를 사용한 새로운 복합 부호 구조를 통해 이를 달성한다. 인코딩 및 디코딩 복잡도는 각각 $O(n^{2k+1})$ 및 $O(n^{k+1})$이며, 1966년 레베인슈타인의 작업 이후 오랫동안 미해결이었던 코딩 이론 분야의 열린 문제를 해결한다.

ABSTRACT

Levenshtein introduced the problem of constructing $k$-deletion correcting codes in 1966, proved that the optimal redundancy of those codes is $O(k\log N)$, and proposed an optimal redundancy single-deletion correcting code (using the so-called VT construction). However, the problem of constructing optimal redundancy $k$-deletion correcting codes remained open. Our key contribution is a solution to this longstanding open problem. We present a $k$-deletion correcting code that has redundancy $8k\log n +o(\log n)$ and encoding/decoding algorithms of complexity $O(n^{2k+1})$ for constant $k$.

연구 동기 및 목표

• 최적의 부호화 여유도 $O(k\log n)$를 갖는 결정론적 $k$-삭제 수정 코드를 구축하는 데 있어 오랫동안 미해결이었던 문제를 해결하기 위해.
• 상수 $k$에 대해 다항시간 복잡도를 갖는 인코딩 및 디코딩 방법을 설계하기 위해.
• 단일 삭제 부호의 바르샤모프-테넨골츠(VT) 구조를 $k$개의 삭제에 대해 일반화하기 위해, 1들 사이의 최소 거리가 $k$인 제약된 순서열을 사용하여.
• 삭제 가능성이 있는 단일 동기화 패턴을 사용해 복합 부호에서 블록 분리를 가능하게 하기 위해.
• 부호화 여유도를 이론적 하한값인 $k\log n + o(\log n)$에 가깝게 유지하면서도, $k$개의 삭제가 발생하더라도 정확한 디코딩을 보장하기 위해.

제안 방법

• 두 개의 1 사이에 최소 $k$개의 0이 존재하도록 순서열을 제약하여 VT 구조를 $k$-삭제 수정으로 일반화함으로써, $k$개의 삭제를 수정할 수 있는 고차원 패리티 체크를 가능하게 한다.
• 길이 $3k + \lceil\log k\rceil + 4$인 동기화 패턴을 사용하여 블록 경계를 표시함. 이 패턴은 $\lceil\log k\rceil + 5$개의 연속된 1으로 끝나며, 이 길이 이상의 다른 1 연속이 존재하지 않음.
• 입력 순서열에 변환 $T(\mathbf{c})$를 적용하여 $k$-밀도 순서열을 생성함으로써, 동기화 벡터와 해시 함수를 이용해 $k$개의 삭제로부터 복구할 수 있도록 함.
• 레이즈-솔로몬 유사 외부 부호와 반복 기반 내부 부호 $Rep_{k+1}(H(R'))$를 사용하여 부호화 여유도 비트 $R'$를 보호함으로써, $k$개의 삭제로부터 복구 가능성을 확보함.
• 디코딩 과정에서 먼저 $k$-삭제 부분순서열을 사용해 $R'$를 복구하고, 그 다음 $R''$와 함께 $R'$를 복구한 후, 동기화 벡터와 해시 함수를 이용해 $T(\mathbf{c})$를 복구하고, 마지막으로 $T$의 역함수를 적용해 $\mathbf{c}$를 복원함.
• 인코딩 시 소수 $p(T(\mathbf{c}))$를 브루트 포스 검색하고, 디코딩 시 동기화 벡터를 브루트 포스로 탐색함으로써 인코딩 복잡도는 $O(n^{2k+1})$, 디코딩 복잡도는 $O(n^{k+1})$를 각각 달성함.

실험 결과

연구 질문

• RQ1 이론적 하한값인 $O(k\log n)$에 도달하는 부호화 여유도를 갖는 결정론적 $k$-삭제 수정 코드를 구축할 수 있는가?
• RQ2 마커 유지가 필요 없이 단일 삭제 가능한 동기화 패턴을 사용해 복합 $k$-삭제 부호에서 블록 분리를 달성할 수 있는가?
• RQ3 1들 사이의 최소 거리가 $k$가 되도록 순서열을 제약함으로써 VT 구조를 $k$개의 삭제 수정으로 일반화할 수 있는가?
• RQ4 부호화 여유도를 $O(k\log n)$로 줄일 수 있으며, 동시에 상수 $k$에 대해 다항시간 인코딩 및 디코딩을 유지할 수 있는가?
• RQ5 결정론적 $k$-삭제 부호에서 달성 가능한 최소 부호화 여유도는 무엇이며, 이를 효율적인 알고리즘으로 달성할 수 있는가?

주요 결과

• 논문은 부호화 여유도 $8k\log n + o(\log n)$를 갖는 $k$-삭제 수정 부호를 구축하여, 최적의 순서인 $O(k\log n)$를 정확히 충족시킴.
• 인코딩 복잡도는 $O(n^{2k+1})$, 디코딩 복잡도는 $O(n^{k+1})$이며, 상수 $k$에 대해 $n$에 대해 다항식 시간 복잡도를 갖음.
• 삭제 가능성이 있는 단일 동기화 패턴을 사용하여 블록 분리를 강력하게 가능하게 하는 길이 $3k + \lceil\log k\rceil + 4$의 새로운 동기화 패턴을 도입함.
• 1들 사이의 최소 거리가 $k$인 제약된 순서열에 고차원 패리티 체크를 적용함으로써 VT 부호를 일반화하여 $k$-삭제 수정을 가능하게 함.
• 부호화 여유도 $R'$는 $R'' = Rep_{k+1}(H(R'))$로 보호되어, $R''$에서 $k$개의 삭제가 발생하더라도 $H(R')$를 복구할 수 있음.
• 디코딩 과정은 인코딩 단계의 역순으로 진행되며, 먼저 $H(R')$를 $R''$에서 복구하고, 그 다음 $R'$를 $R''$와 $H(R')$를 이용해 복구한 후, 동기화 벡터와 해시 함수를 사용해 $T(\mathbf{c})$와 $\mathbf{c}$를 복원함.