[论文解读] Cyclic DNA codes over F2+uF2+vF2+uvF2

Shixin Zhu, Xiaojing Chen|arXiv (Cornell University)|Aug 28, 2015

Coding theory and cryptography参考文献 7被引用 5

一句话总结

本文研究了在含16个元素的非链环 $ R = \mathbb{F}_2 + u\mathbb{F}_2 + v\mathbb{F}_2 + uv\mathbb{F}_2 $ 上的循环DNA码，建立了到 $ R_1^2 $ 的Gray映射，其中 $ R_1 = \mathbb{F}_2 + u\mathbb{F}_2 $，并刻画了满足反向与反向互补约束的码。本文构造了最优DNA码，并通过Gray像分析了GC含量，证明此类码可达到最大Griesmer界，且支持可逆、互补可逆及GC平衡的DNA序列。

ABSTRACT

In this work, we study the structure of cyclic DNA codes of arbitrary lengths over the ring R=F2+uF2+vF2+uvF2 and establish relations to codes over R1=F2+uF2 by defining a Gray map between R and R1^2 where R1 is the ring with 4 elements. Cyclic codes of arbitrary lengths over R satisfied the reverse constraint and the reverse-complement constraint are studied in this paper. The GC content constraint is considered in the last.

研究动机与目标

• 研究含16个元素但非链环的非链环 $ R = \mathbb{F}_2 + u\mathbb{F}_2 + v\mathbb{F}_2 + uv\mathbb{F}_2 $ 上循环DNA码的代数结构。
• 建立从 $ R $ 到 $ R_1^2 $ 的Gray映射，其中 $ R_1 = \mathbb{F}_2 + u\mathbb{F}_2 $，将 $ R $ 上的码与二元码关联，并保持结构特性。
• 刻画满足反向约束与反向互补约束的循环码，确保与DNA链配对及方向的兼容性。
• 通过码的Gray像分析GC含量，实现GC平衡DNA码的构造。

提出的方法

• 定义Gray映射 $ \xi: R \to R_1^2 $ 为 $ \xi(a + bv) = (a, a + b) $，将 $ R $ 上的码映射到 $ R_1^2 $ 上的二元码。
• 利用自同态 $ \sigma(a + bv) = a + (1 + v)b $ 将DNA碱基对与环元素关联，确保反向互补特性。
• 通过将 $ R $ 分解为 $ R = I_v \oplus I_{1+v} $（其中 $ I_v \cong R_1 $）将 $ R $ 上的循环码分解为 $ R_1 $ 上的分量，实现其刻画。
• 应用Griesmer界评估码的最优性，证明在 $ R $ 上的 $[8,2,4]$ 码达到最大界。
• 利用码 $ C $ 的最小生成集的Gray像计算并控制GC权重，实现对GC含量的分析。
• 通过生成多项式显式构造DNA码，并利用16元素对应表将码映射为DNA碱基序列。

实验结果

研究问题

• RQ1 如何在非链环 $ R = \mathbb{F}_2 + u\mathbb{F}_2 + v\mathbb{F}_2 + uv\mathbb{F}_2 $ 上构造循环DNA码，其代数结构为何？
• RQ2 Gray映射 $ \xi: R \to R_1^2 $ 在保持码特性及实现具有所需约束的DNA码构造中起何作用？
• RQ3 $ R $ 上的循环码能否同时满足DNA链配对所需的反向与反向互补约束？
• RQ4 如何利用生成集的Gray像分析并控制 $ R $ 上码的GC含量？
• RQ5 此类DNA码在Griesmer界等界的意义下具有何种最优性？

主要发现

• 在 $ R $ 上构造了一个 $[8,2,4]$ 的循环码，其达到最大Griesmer界，证明了其参数下的最优性。
• Gray映射 $ \xi(a + bv) = (a, a + b) $ 将 $ R $ 上的码映射到 $ R_1^2 $，保持线性性，并支持对二元像的研究。
• 满足反向互补约束的循环码被完全刻画，其结构由 $ R $ 分解为 $ I_v \oplus I_{1+v} $ 决定。
• 通过码 $ C $ 的最小生成集的Gray像分析其GC权重，从而实现对DNA序列中GC含量的控制。
• 通过一个显式的DNA对应表将 $ R $ 的元素映射为DNA碱基对，例5.7中的码 $ C = \langle L(f) \rangle $ 生成了如 'ACACACACGGGGGGGG' 这类具有特定十进制表示（如859024042）的DNA序列。
• 码 $ \Phi(C) $ 是一个可逆DNA码，但不是互补可逆的，因为 $ (x+1) \mid f_1 $，这证实了DNA码设计中可逆性与互补可逆性的区别。