[논문 리뷰] Non-binary Codes for Correcting a Burst of at Most t Deletions

Shuche Wang, Yuanyuan Tang외 3명|arXiv (Cornell University)|2022. 10. 21.

DNA and Biological Computing인용 수 5

한 줄 요약

이 논문은 $ q $-진 알파벳에서 최대 $ t $개의 삭제를 수정할 수 있는 새로운 비이진 코드와 순열 코드를 제안한다. 이는 Varshamov-Tenengol'ts 제약 조건과 심호 기반 국소화 기법을 활용하여 이루어지며, 주요 기여는 비이진 알파벳의 경우 레지듀얼이 $ \log n + O(\log q \log \log n) $이고, 순열의 경우 $ \log n + O(\log \log n) $인 코드를 구성한 것이다. 이는 해당 영역에서 지금까지 알려진 바 중 가장 큰 코드 크기를 달성한다.

ABSTRACT

The problem of correcting deletions has received significant attention, partly because of the prevalence of these errors in DNA data storage. In this paper, we study the problem of correcting a consecutive burst of at most $t$ deletions in non-binary sequences. We first propose a non-binary code correcting a burst of at most 2 deletions for $q$-ary alphabets. Afterwards, we extend this result to the case where the length of the burst can be at most $t$ where $t$ is a constant. Finally, we consider the setup where the sequences that are transmitted are permutations. The proposed codes are the largest known for their respective parameter regimes.

연구 동기 및 목표

• 상수 $ t $로 주어진 $ q $-진 수열에서 최대 $ t $개의 삭제를 수정할 수 있는 비이진 코드를 설계하는 것.
• Varshamov-Tenengol'ts 제약 조건과 심호 기반 기법을 사용하여 기존의 이진 버스트 삭제 수정 코드를 비이진 알파벳으로 확장하는 것.
• DNA 저장 및 파일 동기화에 기인하여, 최대 $ t $개의 삭제를 수정할 수 있는 낮은 레지듀얼을 가진 순열 코드를 구성하는 것.
• 코드 크기에서 거의 최적의 레지듀얼을 달성하여, 이전의 구성 방식에 비해 渐近적 효율성 면에서 향상된 결과를 도출하는 것.

제안 방법

• Levenshtein의 이진 코드에 대한 새로운 증명을 Varshamov-Tenengol'ts 제약 조건을 활용하여 개발하여, 이를 비이진 교대 수열으로 확장할 수 있도록 한다.
• 심호 기반 국소화 기법을 사용하여 버스트 삭제를 길이 $ P = t2^{2t+2}\lceil\log n\rceil $인 짧은 간격으로 국소화함으로써 오류 수정 문제를 더 작은 부분 문제로 줄인다.
• 비이진 코드의 경우, 짝수 및 홀수 위치의 블록을 별도로 보호하기 위해 $ E_{tB} $ 함수와 모듈로 산술을 블록 단위로 적용한다.
• 지정된 간격 내에서 버스트 편집을 유일하게 복원할 수 있도록, $ a = 2^{\lceil\log q\rceil(4t\log(2P)+o(\log P))} $로 적절히 선택된 모듈러스를 사용한다.
• 순열 코드의 경우, 국소화 코드 $ \mathcal{C}_{loc}^{P} $와 국소 영역 내에서 겹치는 순서 기반 시퀀스를 수정할 수 있는 전역 코드 $ \mathcal{C}_{2t} $를 조합한다.
• 최종 코드 구조는 삭제가 알려진 간격 내에 국소화되어 있음을 보장하여, 순서 기반 재구성 기법을 통해 효율적인 수정을 가능하게 한다.

실험 결과

연구 질문

• RQ1 Varshamov-Tenengol'ts 제약 조건을 사용하여 교대 수열에서 최대 2개의 삭제를 수정할 수 있는 비이진 코드를 구성할 수 있는가?
• RQ2 비이진 코드가 $ q $-진 알파벳에서 최대 $ t $개의 삭제를 수정하기 위해 필요한 최소 레지듀얼은 얼마인가?
• RQ3 최대 $ t $개의 삭제를 수정할 수 있는 순열 코드를 레지듀얼 $ \log n + O(\log \log n) $로 구성할 수 있는가?
• RQ4 심호 기반 국소화 기법을 어떻게 수정하여 비이진 및 순열 수열에서 버스트 삭제 수정의 복잡도를 줄일 수 있는가?

주요 결과

• 최대 2개의 삭제를 수정하는 제안된 비이진 코드는 레지듀얼 $ \log n + O(\log q \log \log n) $을 달성하여 이전의 구성보다 향상된 성능을 보였다.
• 일반적인 $ t $에 대해 비이진 코드 구성은 레지듀얼 $ \log n + O(\log q \log \log n) $를 달성하였으며, 이는 해당 매개변수 영역에서 지금까지 알려진 바 중 가장 작은 값이다.
• 최대 $ t $개의 삭제를 수정하는 순열 코드는 레지듀얼 $ \log n + O(\log \log n) $를 가지며, 이는 유사한 유형의 코드 중 가장 큰 것으로 알려져 있다.
• 순열 코드의 크기는 $ |\mathcal{P}_{\leq t}(n)| \geq \frac{n!}{16n \cdot 2^{O(\log \log n)}} $를 만족하며, 渐近적 크기에서 거의 최적임을 시사한다.
• 이 구성은 최대 $ t $개의 삭제를 수정하는 순열 코드에서 $ \log n + O(\log \log n) $의 레지듀얼을 달성한 최초의 사례로, 이진 경우에 대해 알려진 최고의 경계와 일치한다.
• 이 방법은 상수 $ t $에 대해 강건하며, 레지듀얼이 $ n $에 대해 로그 이하로 유지되어 대규모 DNA 저장 응용 분야에 적합하다.