[논문 리뷰] Synchronization Strings: List Decoding for Insertions and Deletions

Bernhard Haeupler, Amirbehshad Shahrasbi외 1명|arXiv (Cornell University)|2018. 02. 23.

DNA and Biological Computing인용 수 16

한 줄 요약

이 논문은 삽입과 삭제를 동시에 수정할 수 있는 리스트 디코딩 가능한 인델 코드를 구현하기 위해 동기화 문자열을 도입한다. 이는 상수 크기의 알파벳과 하위 로그 크기의 리스트를 사용하여 용량에 가까운 속도를 달성한다. 삽입은 코드 속도를 감소시키지 않으며, 삭제는 그렇지 않다. 이는 오류 내성에서의 본질적인 비대칭성을 드러낸다. 또한, 용량과의 격차에 대해 지수적으로 큰 알파벳 크기가 필요하며, 이는 이전의 구성에서의 지수적 의존성이 필수적임을 보여준다.

ABSTRACT

We study codes that are list-decodable under insertions and deletions. Specifically, we consider the setting where a codeword over some finite alphabet of size $q$ may suffer from $δ$ fraction of adversarial deletions and $γ$ fraction of adversarial insertions. A code is said to be $L$-list-decodable if there is an (efficient) algorithm that, given a received word, reports a list of $L$ codewords that include the original codeword. Using the concept of synchronization strings, introduced by the first two authors [STOC 2017], we show some surprising results. We show that for every $0\leqδ<1$, every $0\leqγ0$ there exist efficient codes of rate $1-δ-ε$ and constant alphabet (so $q=O_{δ,γ,ε}(1)$) and sub-logarithmic list sizes. We stress that the fraction of insertions can be arbitrarily large and the rate is independent of this parameter. Our result sheds light on the remarkable asymmetry between the impact of insertions and deletions from the point of view of error-correction: Whereas deletions cost in the rate of the code, insertion costs are borne by the adversary and not the code! We also prove several tight bounds on the parameters of list-decodable insdel codes. In particular, we show that the alphabet size of insdel codes needs to be exponentially large in $ε^{-1}$, where $ε$ is the gap to capacity above. Our result even applies to settings where the unique-decoding capacity equals the list-decoding capacity and when it does so, it shows that the alphabet size needs to be exponentially large in the gap to capacity. This is sharp contrast to the Hamming error model where alphabet size polynomial in $ε^{-1}$ suffices for unique decoding and also shows that the exponential dependence on the alphabet size in previous works that constructed insdel codes is actually necessary!

연구 동기 및 목표

• 제한된 리스트 크기로 리스트 디코딩을 수행할 때 인델 코드의 최대 달성 가능한 속도를 결정하는 것.
• 삽입과 삭제가 존재할 때 코드 속도, 알파벳 크기, 리스트 크기 간의 상호작용을 조사하는 것.
• 특히 알파벳 크기가 높은 속도를 달성하는 데 미치는 역할을 포함한 인델 코드의 기본 한계를 이해하는 것.
• 삽입과 삭제가 코드 속도와 알파벳 크기에 미치는 영향에서의 비대칭성을 드러내는 것.
• 삽입은 코드에 속도 손실을 초래하지 않으며, 이는 삭제와는 다르다.

제안 방법

• 삽입과 삭제의 효율적 리스트 디코딩을 가능하게 하기 위해 동기화 문자열을 구조적 도구로 도입하는 것.
• 임의의 δ<1 및 γ≥0에 대해, 상수 크기의 알파벳과 하위 로그 크기의 리스트를 사용하여 속도 1−δ−ε인 코드가 존재함을 보이는 랜덤 코딩 증명.
• 모든 가능한 손상된 단어에 대한 찬너프 경계와 유니온 경계를 적용하여 리스트 크기가 L(n)을 초과할 확률을 제한하는 것.
• 속도 1−δ−ε를 달성하기 위해 알파벳 크기가 ε−1에 대해 지수적으로 커야 함을 증명하는 것.
• 삽입은 적대자에 의해 떠넘겨지므로 코드 속도에 영향을 주지 않으며, 이는 삭제와 다름을 활용하는 것.
• 동기화 문자열을 사용하여 효율적인 다항식 시간 내의 인코딩 및 디코딩 알고리즘을 구성하는 것.

실험 결과

연구 질문

• RQ1 삽입 비율 γ, 삭제 비율 δ, 리스트 크기 L(n)이 주어졌을 때, 인델 코드의 최대 속도 R는 얼마인가?
• RQ2 고정된 크기의 알파벳을 사용하면서도 용량에 가까운 속도를 달성할 수 있는 인델 코드가 존재하는가?
• RQ3 리스트 디코딩 가능한 인델 코드에서 알파벳 크기는 용량과의 격차에 따라 어떻게 변화하는가?
• RQ4 왜 삽입은 코드 속도를 감소시키지 않지만, 삭제는 그렇게 하는가?
• RQ5 이전의 구성에서 관찰된 알파벳 크기의 지수적 의존성은 필수적인가, 또는 피할 수 있는가?

주요 결과

• 모든 δ<1, γ≥0, ε>0에 대해, 상수 크기의 알파벳과 하위 로그 크기의 리스트를 사용하여 속도 1−δ−ε인 인델 코드가 존재한다.
• 이러한 코드의 알파벳 크기는 ε−1에 대해 지수적으로 커야 하며, 이는 이전의 지수적 의존성이 필수적임을 보여준다.
• 삽입은 코드 속도를 감소시키지 않으며, 오직 삭제만이 속도에 영향을 준다. 이는 오류 내성에서의 본질적인 비대칭성을 강조한다.
• 유일 디코딩 가능한 인델 코드의 속도는 최대 1−(δ+γ)이지만, 리스트 디코딩을 통해 삭제 비율 δ에 관계없이 속도가 1−δ에 가까워질 수 있다.
• 랜덤 코딩 증명에 의해, 속도 R < 1−log_q(γ+1)−γ log_q((γ+1)/γ)−(γ+1)/(l+1)인 코드는 높은 확률로 리스트 디코딩 가능하다.
• 해결 결과는 해밍 모델이 인델 모델보다 엄격히 약함을 보여준다. 하나의 해밍 오류는 하나의 삽입과 하나의 삭제에 해당하지만, 인델 코드는 속도 손실 없이 더 많은 삽입을 견딜 수 있다.