[论文解读] 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)|Mar 13, 2016

DNA and Biological Computing参考文献 9被引用 3

一句话总结

本文利用删除距离作为度量，构建了在环 $\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基计算中的热力学稳定性。
• 定义并计算删除距离，作为比汉明距离更合适的DNA序列错误度量。
• 通过具体示例展示构造过程，包括特定长度、GC含量和删除纠错能力的码。

提出的方法

• 在环 $R = \mathbb{Z}_4[u]/\langle u^2-1\rangle$ 的16个元素与DNA碱基对 (A,T,G,C) 之间建立1-1对应关系 $\theta$。
• 将$R$上的循环DNA码定义为商环 $R[x]/\langle x^n - 1 \rangle$ 中的理想，其中 $n$ 为奇数。
• 通过要求生成多项式为自反多项式并满足 $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 如何在 $R$ 上的循环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展示了一个 $(6,2)$ DNA循环码，包含16个码字，最小汉明距离为3，删除距离 $D=2$，可纠正最多1个删除错误。
• 例6.2展示了一个 $(18,8)$ DNA循环码，包含16个码字，最小汉明距离为9，删除距离 $D=8$，可纠正最多8个删除错误。
• 在映射 $\Phi$ 下，码的GC含量得以保持，且可设计为具有均匀或受控的GC含量，以实现热力学稳定性。
• 所构造的码同时满足反向与反向互补约束，确保任一码字不等于其反向或反向互补序列，从而防止非特异性杂交。