[论文解读] On cyclic DNA codes over the Ring $\Z_4 + u \Z_4$

Sukhamoy Pattanayak, Abhay Kumar Singh|arXiv (Cornell University)|Aug 9, 2015

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

一句话总结

本文提出了一种在环 $\mathbb{Z}_4 + u\mathbb{Z}_4$ 上（其中 $u^2 = 0$）构造循环DNA码的方法，重点关注满足DNA计算中反向与反向互补约束的奇数长度码。通过使用Gray映射和环上的代数结构，作者推导出确保码具有可逆性与DNA兼容性的条件，并通过长度为6和14的DNA码的显式示例展示了该方法，分别实现了最小汉明距离3和7。

ABSTRACT

In this paper, we study the theory for constructing DNA cyclic codes of odd length over $\Z_4[u]/\langle u^2 angle$ which play an important role in DNA computing. Cyclic codes of odd length over $\Z_4 + u \Z_4$ satisfy the reverse constraint and the reverse-complement constraint are studied in this paper. The structure and existence of such codes are also studied. The paper concludes with some DNA example obtained via the family of cyclic codes.

研究动机与目标

• 为在环 $\\mathbb{Z}_4 + u\\mathbb{Z}_4$ 上构造奇数长度的循环DNA码建立理论框架，其中 $u^2 = 0$。
• 确保码满足反向约束与反向互补约束，这对防止DNA计算中的非期望杂交至关重要。
• 通过Watson-Crick互补规则，建立环元素与DNA密码子对之间的一一对应关系。
• 定义一个Gray映射，将环上的码转换为二进制准循环码，同时保持距离特性。
• 通过指定最小汉明距离的DNA码显式示例，展示该构造方法。

提出的方法

• 使用环 $R = \mathbb{Z}_4[u]/\langle u^2 \rangle$ 作为代数结构，其16个元素对应于DNA密码子对。
• 定义一个从 $R$ 的元素到16个DNA密码子对（例如AA、TT等）之间的双射映射 $\theta$，保持Watson-Crick互补性。
• 在商环 $R[x]/\langle x^n - 1 \rangle$ 中，利用生成多项式构造 $R$ 上奇数长度的循环码，作为理想。
• 通过自反多项式及多项式对偶的性质，推导出码满足可逆性与反向互补闭包的条件。
• 应用Gray映射 $\Phi$，将 $R$ 上的码映射为二进制码，保持Lee距离，并生成准循环二进制码。
• 证明码的二进制像为索引为4的二进制准循环码，且在映射下保持汉明距离。

实验结果

研究问题

• RQ1 在 $\mathbb{Z}_4 + u\mathbb{Z}_4$ 上，循环码满足DNA编码中反向约束的充分必要条件是什么？
• RQ2 如何构造循环码，使其同时满足反向互补约束，以确保无非期望的杂交？
• RQ3 Gray映射在将 $\mathbb{Z}_4 + u\mathbb{Z}_4$ 上的码转换为二进制码时，其作用是什么，如何保持关键的距离与结构特性？
• RQ4 能否从 $\mathbb{Z}_4 + u\mathbb{Z}_4$ 上的循环码中生成奇数长度的显式DNA码，并保证其最小汉明距离？
• RQ5 环 $\mathbb{Z}_4[u]/\langle u^2 \rangle$ 的代数结构如何支持DNA兼容码的构造？

主要发现

• 在 $\mathbb{Z}_4 + u\mathbb{Z}_4$ 上构造了一个长度为3的循环DNA码，最小汉明距离为3，生成了长度为6、含16个码字的DNA码。
• 构造了一个长度为7的循环DNA码，最小汉明距离为7，结果得到一个长度为14、含16个码字且具有完整反向互补对称性的DNA码。
• Gray映射 $\Phi$ 保持了环上的Lee距离，并将码映射为索引为4的二进制准循环码，确保了二进制像中的距离保持不变。
• 所构造的码同时满足反向与反向互补约束，因此适用于DNA计算应用。
• 本文提供了一个完整的代数框架，用于利用基于环的循环码生成具有所需组合与结构特性的DNA码。
• 该方法成功生成了具有固定GC含量且通过生成多项式代数约束控制杂交行为的DNA码。