역보완·팔린드롬 중복 오류 정정 코드

초록

**
본 논문은 DNA 저장에서 발생하는 역보완 및 팔린드롬 중복 오류를 정정하기 위한 새로운 부호 설계들을 제시한다. 길이가 충분히 큰( k ≥ 3⌈log_q n⌉) 중복에 대해 하나의 여분 심볼만으로 무한히 많은 중복을 복구할 수 있는 명시적 부호를 제안하고, 임의 길이 중복에 대해 2 log_q n + log_q log_q n + O(1) 의 상한을 갖는 Gilbert‑Varshamov 존재론적 결과를 도출한다. 또한 q ≥ 4인 경우 t개의 길이‑1 역보완 중복을 정정할 수 있는 두 가지 명시적 부호를 제시하여 각각 2t log_q n + O(log_q log_q n)와 (2t‑1) log_q n + O(log_q log_q n) 의 중복을 달성하고, 인코딩·디코딩 복잡도도 상세히 분석한다.

**

상세 분석

**
논문은 먼저 “m‑RCD root”라는 개념을 도입한다. 이는 길이 m 이상의 두 인접 부분문자열이 서로 역보완 관계에 있지 않은 문자열을 의미한다. Lemma III.2와 III.3을 통해, m‑RCD root에 속하는 코드워드에 대해 k ≥ 3m‑3인 역보완 중복이 발생하면 복구가 가능함을 보인다. 특히 m을 ⌈log_q n⌉ + 1 로 잡으면, 전체 문자열에 단 하나의 여분 심볼(예: 체크 심볼)만을 추가해 모든 코드워드가 m‑RCD root가 되도록 설계할 수 있다. 이때 복구 알고리즘은 O(m n) 시간으로 중복 위치와 길이를 정확히 찾아 원본을 복원한다.

다음으로, 임의 길이의 역보완·팔린드롬 중복을 정정할 수 있는 부호 집합의 존재성을 Gilbert‑Varshamov 경계로 분석한다. 여기서는 중복이 삽입되는 모든 가능한 패턴을 “볼”로 정의하고, 각 볼이 서로 겹치지 않도록 하는 코드워드의 최대 수를 추정한다. 그 결과, 최적 중복은 2 log_q n + log_q log_q n + O(1) 이하로 제한될 수 있음을 보이며, 이는 기존의 1 log_q n 수준보다 두 배 정도 높은 효율을 제공한다.

마지막으로, 길이‑1 역보완 중복(t개)을 정정하기 위한 두 가지 구체적 구성법을 제시한다. 첫 번째는 “run‑length 제한 + substitution‑code + indel‑code” 방식을 결합해 2t log_q n + O(log_q log_q n) 의 중복을 달성하고, 인코딩은 O(n), 디코딩은 O(n (log n)^4) 로 구현한다. 두 번째 구성은 동일한 아이디어를 더 정교하게 최적화해 (2t‑1) log_q n + O(log_q log_q n) 의 중복을 얻지만, 복잡도는 O(n·poly(log n)) 로 증가한다. 두 구성 모두 q ≥ 4일 때 적용 가능하며, 기존의 삽입·삭제 정정 부호가 요구하는 5 log_q n 수준보다 현저히 적은 중복을 제공한다. 전체적으로, 논문은 DNA 저장 시스템에서 실제 발생 가능한 복제 오류를 효율적으로 다루기 위한 이론적 한계와 실용적 구현 방안을 동시에 제시한다.

**