[論文レビュー] 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

ひとこと要約

本稿では、$u^2 = 0$ を満たす環 $Π_4 + u\mathbb{Z}_4$ 上の巡回DNA符号の構成を提案し、DNAコンピューティングに不可欠な逆転および逆転補完制約を満たす奇数長符号に焦点を当てる。グレイ写像と環上の代数的構造を用いて、符号が可逆でありかつ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.

研究の動機と目的

• 奇数長の巡回DNA符号を、$u^2 = 0$ を満たす環 $\mathbb{Z}_4 + u\mathbb{Z}_4$ 上に理論的枠組みを構築すること。
• DNAコンピューティングにおける望ましくないハイブリダイゼーションを防ぐために、符号が逆転制約および逆転補完制約を満たすようにすること。
• ワトソン・クリック補完則に従い、環の元とDNAコドンペアの間の一対一対応を確立すること。
• 符号が環上から2進準巡回符号に写像されるグレイ写像を定義し、距離特性を保持すること。
• 指定された最小ハミング距離を持つ、明示的なDNA符号の構成を通じて、手法の有効性を示すこと。

提案手法

• 代数的構造として、16個の要素がDNAコドンペアに対応する環 $R = \mathbb{Z}_4[u]/\langle u^2 \rangle$ を用いる。
• 環の要素と16個のDNAコドンペア（例：AA, TT など）の間で、ワトソン・クリック補完性を保つ双対写像 $\theta$ を定義する。
• 生成多項式を用いて、$R[x]/\langle x^n - 1 \rangle$ の商環におけるイデアルとして、奇数長の$R$ 上の巡回符号を構成する。
• 自己双対多項式および多項式双対の性質を用いて、可逆性および逆転補完閉包のための条件を導出する。
• グレイ写像 $\Phi$ を適用し、$R$ 上の符号を2進準巡回符号に写像する。この写像により距離特性が保持され、準巡回性が得られる。
• 符号の2進画像がインデックス4の2進準巡回符号であることが示され、写像下でもハミング距離が保持される。

実験結果

リサーチクエスチョン

• RQ1 環 $\mathbb{Z}_4 + u\mathbb{Z}_4$ 上の巡回符号が、DNA符号において逆転制約を満たすための必要十分条件は何か？
• RQ2 望ましくないハイブリダイゼーションを防ぐために、巡回符号が逆転補完制約を満たすようにどのように構成できるか？
• RQ3 グレイ写像は、$\mathbb{Z}_4 + u\mathbb{Z}_4$ 上の符号を2進符号に写像する際、重要な距離および構造的特性をどのように保持するか？
• RQ4 奇数長の明示的DNA符号を、$\mathbb{Z}_4 + u\mathbb{Z}_4$ 上の巡回符号から、保証された最小ハミング距離とともに生成できるか？
• RQ5 環 $\mathbb{Z}_4[u]/\langle u^2 \rangle$ の代数的構造は、DNA準拠符号の構築をどのように支援するか？

主な発見

• 長さ3の巡回DNA符号を $\mathbb{Z}_4 + u\mathbb{Z}_4$ 上に構成し、最小ハミング距離3を達成。これにより、16語のコドワードを有する長さ6のDNA符号が得られた。
• 長さ7の巡回DNA符号を構成し、最小ハミング距離7を達成。これにより、16語のコドワードを有する長さ14のDNA符号が得られ、完全な逆転補完対称性を有した。
• グレイ写像 $\Phi$ は、環上でのリー距離を保持し、符号をインデックス4の2進準巡回符号に写像する。写像後の距離特性が保たれる。
• 構築された符号は、逆転および逆転補完制約の両方を満たしており、DNAコンピューティングへの応用に適している。
• 本稿は、環に基づく巡回符号を用いて、所望の組合せ的および構造的性質を有するDNA符号を生成するための包括的な代数的枠組みを提供している。
• 本手法により、生成多項式の代数的制約を通じて、固定されたGC含量と制御されたハイブリダイゼーション行動を有するDNA符号が成功裏に生成された。