[논문 리뷰] Efficient and Explicit Balanced Primer Codes

Yeow Meng Chee, Han Mao Kiah외 1명|arXiv (Cornell University)|2019. 01. 04.

DNA and Biological Computing참고 문헌 19인용 수 5

한 줄 요약

이 논문은 순환 및 가역 순환 코드를 조합하고 쿤스의 균형 기법과 타바레스의 인코딩 방법을 적용하여 DNA 기반 데이터 저장을 위한 명시적이고 효율적인 균형 프라머 코드를 구성한다. 무한한 $(n,d)_4$-코드 가닥에 대해 $(d+1)\frac{1}{2}\binom{4}{n}+O(1)$의 부족성을 달성하며, 최소한의 오 overhead 로 오류 수정 및 랜덤 액세스를 가능하게 한다.

ABSTRACT

To equip DNA-based data storage with random-access capabilities, Yazdi et al. (2018) prepended DNA strands with specially chosen address sequences called primers and provided certain design criteria for these primers. We provide explicit constructions of error-correcting codes that are suitable as primer addresses and equip these constructions with efficient encoding algorithms. Specifically, our constructions take cyclic or linear codes as inputs and produce sets of primers with similar error-correcting capabilities. Using certain classes of BCH codes, we obtain infinite families of primer sets of length $n$, minimum distance $d$ with $(d + 1) \log_4 n + O(1)$ redundant symbols. Our techniques involve reversible cyclic codes (1964), an encoding method of Tavares et al. (1971) and Knuth's balancing technique (1986). In our investigation, we also construct efficient and explicit binary balanced error-correcting codes and codes for DNA computing.

연구 동기 및 목표

• DNA 기반 데이터 저장 시스템에서 프라머 주소로 적합한 명시적이고 효율적인 오류 수정 코드를 설계하는 것.
• 강력한 프라머 코드를 구성하여 DNA 저장에서 랜덤 액세스 및 재기록 기능을 가능하게 하는 것.
• 높은 오류 수정 능력과 균형을 유지하면서 프라머 코드의 부족성을 최소화하는 것.
• 가역 순환 코드와 쿤스의 균형 기법을 DNA 계산 및 프라머 코드 설계에 확장하는 것.
• 최적의 부족성을 가지는 명시적 이진 및 DNA 기반 균형 코드를 구성하기 위한 프레임워크를 제공하는 것.

제안 방법

• 저자는 원시 좁은 범위의 BCH 코드를 입력으로 사용하여 제어된 부족성을 가진 균형 프라머 코드를 구성한다.
• 모든 임의의 코드어를 균형된 것으로 변환하기 위해 쿤스의 균형 기법을 적용하여 뉴클레오티드의 균형된 표현을 보장한다.
• 가역 순환 코드를 활용하여 역전복 보존 연산에 대해 닫혀 있는 구조적 대칭성을 유지한다.
• 타바레스의 인코딩 방법을 변형하여 메시지를 코드의 순환 클래스에 효율적으로 매핑함으로써 빠른 인코딩을 가능하게 한다.
• 결과로 도출된 코드가 역전복 연산에 대해 닫혀 있음을 보장하여 DNA 저장의 필수 조건을 충족시킨다.
• 다항식 대수를 $\mathbb{F}_4$ 위에서 사용하여 생성 다항식을 정의하고, 기약성 및 비나눗셈 조건과 같은 코드 성질을 검증한다.

실험 결과

연구 질문

• RQ1 최소한의 부족성을 가진 명시적이고 효율적인 균형 프라머 코드를 DNA 기반 데이터 저장에 설계할 수 있는가?
• RQ2 가역 순환 코드는 DNA 저장에서 역전복 연산에 대해 닫혀 있는 코드를 어떻게 구성할 수 있는가?
• RQ3 주어진 최소 거리 $d$를 가진 균형적이고 오류 수정 기능을 갖춘 프라머 코드에서 달성 가능한 최소 부족성은 얼마인가?
• RQ4 쿤스의 균형 기법은 DNA 서열의 프레임워크 내에서 순환 코드와 효율적으로 통합될 수 있는가?
• RQ5 오류 수정 및 균형 성질을 유지하면서도 인코딩 과정을 어떻게 효율적으로 만들 수 있는가?

주요 결과

• 저자는 최소 거리 $d$가 고정된 경우 최적의 점근적 부족성을 달성하는 무한한 $(n,d)_4$-코드의 가닥을 구성한다. 부족성은 $(d+1)\log_4 n + O(1)$이다.
• 원시 좁은 범위의 BCH 코드를 입력으로 사용함으로써, $C_d \leq d+1$를 만족하는 명시적이고 효율적인 프라머 코드를 도출한다. 부족성 항목 $C_d \log n + O(1)$ 내에서.
• 이 방법은 모든 구성된 코드가 역전복 연산에 대해 닫혀 있음을 보장하여 DNA 저장의 신뢰성에 필수적인 조건을 충족시킨다.
• 생성 다항식의 존재를 보장하기 위해 $\mathbb{F}_{4^m}$ 내의 원시 원소 $\alpha$를 사용하며, 이는 생성 다항식의 근을 피하는 조건을 만족시킨다.
• 구성은 효율적이고 명시적이며, 다항식 시간 내에 실행되는 인코딩 알고리즘이며 실용적 구현에 적합하다.
• 이 프레임워크는 이진 균형 코드 및 DNA 계산 응용 분야로 일반화 가능하며, 이 분야의 이전 구성보다 향상된 성능을 제공한다.