[논문 리뷰] Construction of cyclic DNA codes over the Ring $\Z_4[u]/\langle u^2-1 angle $ Based on the deletion distance

Sukhamoy Pattanayak, Abhay Kumar Singh|arXiv (Cornell University)|2016. 03. 13.

DNA and Biological Computing참고 문헌 9인용 수 3

한 줄 요약

이 논문은 삭제 거리(deletion distance)를 척도로 삼아, $\mathbb{Z}_4[u]/\langle u^2-1\rangle$ 위에서 홀수 길이의 순환 DNA 코드를 구성하며, 고리 원소와 DNA 뉴클레오타이드 쌍 사이에 1대1 대응 관계를 설정한다. 주요 기여는 코드의 삭제 거리가 $1+u$에 의해 생성된 부분코드의 삭제 거리와 동일하다는 것을 증명한 것으로, 이는 역순 및 역보조 염기서열 제약 조건, 최적의 GC 함량, 오류 수정 능력을 갖춘 효율적인 DNA 코드 설계를 가능하게 한다.

ABSTRACT

In this paper, we develop the theory for constructing DNA cyclic codes of odd length over $R=\Z_4[u]/\langle u^2-1 angle$ based on the deletion distance. Firstly, we relate DNA pairs with a special 16 elements of ring $R$. Cyclic codes of odd length over $R$ satisfy the reverse constraint and the reverse-complement constraint are discussed in this paper. We also study the $GC$-content of these codes and their deletion distance. The paper concludes with some examples of cyclic DNA codes with $GC$-content and their respective deletion distance.

연구 동기 및 목표

• 비체인 고리 $R = \mathbb{Z}_4[u]/\langle u^2-1\rangle$ 위에서 홀수 길이의 순환 DNA 코드를 체계적으로 구성하기 위한 이론적 프레임워크를 개발하는 것.
• 불필요한 하이브리드화를 방지하기 위해 DNA 코드가 역순 및 역보조 염기서열 제약 조건을 만족하도록 보장하는 것.
• DNA 기반 계산에서 열역학적 안정성을 확보하기 위해 GC 함량을 분석하고 제어하는 것.
• 삭제 거리를 정의하고 계산하여 해밍 거리보다 DNA 서열 오류 모델링에 더 적합한 척도로 사용하는 것.
• 특정 길이, GC 함량, 삭제 오류 수정 능력을 갖춘 구체적인 예시를 통해 구성 방법을 보여주는 것.

제안 방법

• 고리 $R = \mathbb{Z}_4[u]/\langle u^2-1\rangle$ 의 16개 원소와 DNA 뉴클레오타이드 쌍 (A,T,G,C) 사이에 1대1 대응 $θ$ 를 설정한다.
• 홀수 $n$ 에 대해 순환 DNA 코드를 고리 $R$ 위에서 $R[x]/\langle x^n - 1 \rangle$ 의 아이디얼로 정의한다.
• 생성 다항식이 자기역대칭이면서 $x^i g_2^*(x) = g_2(x)$ 를 만족하도록 함으로써 역순 제약 조건을 부과한다.
• 생성 다항식 $g_3(x)$ 가 $(1+u)x^i g_2^*(x) + (1+u)g_2(x)$ 를 나누도록 하여 역보조 염기서열 제약 조건을 부과한다. 여기서 $g_1(x) = g_2(x)f_1f_2$ 이다.
• $\Phi$ 사상으로 $R^n$ 위의 코드를 $\{A,T,G,C\}^n$ 위의 DNA 서열로 올리며, 구조적 및 거리 성질을 유지한다.
• 코드 $C$ 의 삭제 거리 $D$ 가 그 부분코드 $C_{1+u}$ 의 삭제 거리 $D_{1+u}$ 와 동일하다는 것을 증명함으로써, 부분코드 분석을 통한 효율적 계산이 가능하다.

실험 결과

연구 질문

• RQ1 비체인 고리 $\ mathbb{Z}_4[u]/\langle u^2-1\rangle$ 위에서 홀수 길이의 순환 DNA 코드를 체계적으로 구성하면서도 역순 및 역보조 염기서열 제약 조건을 만족시키는 방법은 무엇인가?
• RQ2 코드의 삭제 거리와 $1+u$ 에 의해 생성된 부분코드의 삭제 거리 사이의 관계는 무엇인가?
• RQ3 순환 DNA 코드에서 GC 함량은 어떻게 제어하고 계산할 수 있는가?
• RQ4 고리 구조 $\ mathbb{Z}_4[u]/\langle u^2-1\rangle$ 는 DNA 코드의 설계 및 오류 수정 능력에 어떤 영향을 미치는가?
• RQ5 삭제 거리가 해밍 거리보다 DNA 서열 오류 모델링에 더 효과적인 척도가 될 수 있는가?

주요 결과

• 고리 $R$ 위에서의 순환 DNA 코드 $C$ 의 삭제 거리 $D$ 는 그 부분코드 $C_{1+u}$ 의 삭제 거리 $D_{1+u}$ 와 동일하며, 이는 부분코드 분석을 통한 효율적 계산이 가능하다.
• 코드 $C = \langle g_1(x) + (1+u)g_2(x), (1+u)g_3(x) \rangle$ 에서 삭제 거리 $D$ 는 $C_{1+u}$ 의 삭제 거리에 의해 결정되며, 이는 생성 다항식 $g_3(x)$ 에 의해 유도된다.
• 예제 6.1은 16개의 코드어를 가지며 최소 해밍 거리가 3이고 삭제 거리 $D=2$ 인 $(6,2)$ DNA 순환 코드를 보여주며, 최대 1개의 삭제 오류를 수정할 수 있다.
• 예제 6.2는 16개의 코드어를 가지며 최소 해밍 거리가 9이고 삭제 거리 $D=8$ 인 $(18,8)$ DNA 순환 코드를 제시하며, 최대 8개의 삭제 오류를 수정할 수 있다.
• GC 함량은 사상 $\Phi$ 를 통해 유지되며, 열역학적 안정성을 확보하기 위해 균일하거나 제어된 GC 함량을 갖는 코드를 설계할 수 있다.
• 구성된 코드들은 역순 및 역보조 염기서열 제약 조건을 모두 만족하여, 어떤 코드어도 자신의 역순 또는 역보조 염기서열과 동일하지 않으며, 불필요한 하이브리드화를 방지한다.