[論文レビュー] The Art of DNA Strings: Sixteen Years of DNA Coding Theory

Dixita Limbachiya, Bansari Rao+1 more|arXiv (Cornell University)|Jul 1, 2016

DNA and Biological Computing参考文献 66被引用数 24

ひとこと要約

この論文は16年間（1994–2016年）にわたり、組合せ的・熱力学的・逆補助鎖制約を満たすDNA配列の設計に焦点を当て、信頼性の高いDNAコンピューティングを可能にするDNA符号理論の包括的サーベイを提供する。最適なDNA符号を構築するための代数的・組合せ的・計算的手法をレビューし、さまざまな長さと距離における符号サイズの下界を提示し、生物学的計算における最適で実用的なDNA符号を達成するための未解決の課題を特定する。

ABSTRACT

The idea of computing with DNA was given by Tom Head in 1987, however in 1994 in a seminal paper, the actual successful experiment for DNA computing was performed by Adleman. The heart of the DNA computing is the DNA hybridization, however, it is also the source of errors. Thus the success of the DNA computing depends on the error control techniques. The classical coding theory techniques have provided foundation for the current information and communication technology (ICT). Thus it is natural to expect that coding theory will be the foundational subject for the DNA computing paradigm. For the successful experiments with DNA computing usually we design DNA strings which are sufficiently dissimilar. This leads to the construction of a large set of DNA strings which satisfy certain combinatorial and thermodynamic constraints. Over the last 16 years, many approaches such as combinatorial, algebraic, computational have been used to construct such DNA strings. In this work, we survey this interesting area of DNA coding theory by providing key ideas of the area and current known results.

研究の動機と目的

• アドレマンの画期的なDNAコンピューティング実験以降16年間のDNAコーディング理論の発展を包括的に概説すること。
• 信頼性のあるDNA符号の設計を規定する主要な制約（逆補助鎖、GC含量、最小距離）を特定し、分析すること。
• 与えられた制約下で最大サイズの符号を構築するために用いられる代数的・組合せ的・計算的手法をサーベイおよび比較すること。
• 長さn≤36および距離d≤30の範囲で、複数の制約を満たすDNA符号のサイズに対する下界を収集し、提示すること。
• すべての実用的制約を同時に満たす最適なDNA符号を達成するための未解決の課題を強調し、今後のDNA符号設計およびシミュレーションプラットフォーム分野における研究方向を示唆すること。

提案手法

• 1994年から2016年までの16年間にわたり、組合せ的および代数的構成に基づくDNA符号の研究をサーベイする。
• DNA符号の制約を3つのカテゴリに分類する：逆補助鎖、GC含量、最小距離（ハミング距離、リー距離、または編集距離）。
• 長さ4≤n≤36および距離2≤d≤30の範囲で、さまざまな制約の組み合わせ下でのDNA符号の最大サイズMに対する下界を体系的に表形式で提示する。
• 代数的符号理論の技術を用いて、逆補助鎖および熱力学的制約を満たすDNA符号を構築する。
• 計算探索手法を用いて、特定のnおよびd値における符号サイズの下界を調査し、構築手法の妥当性を検証する。
• 実験的制約を反映したリアルな環境下でDNA符号設計と性能検証を自動化するためのシミュレーションプラットフォームの開発を提案する。

実験結果

リサーチクエスチョン

• RQ1 信頼性の高いDNAコンピューティングを実現するため、DNA配列が満たすべき主要な組合せ的および熱力学的制約は何か？
• RQ2 代数的および組合せ的手法をどのように活用することで、複数の制約下で最大サイズのDNA符号を構築できるか？
• RQ3 長さn≤36および最小距離d≤30の範囲で、既知の最良のDNA符号サイズの下界は何か？
• RQ4 すべての実用的制約を同時に満たす最適なDNA符号を達成するための主要な未解決課題は何か？
• RQ5 自動化されたシミュレーションプラットフォームは、現実のバイオ分子計算におけるDNA符号の設計と検証をどのように改善できるか？

主な発見

• 長さn=36、最小ハミング距離d=20のDNA符号について、ハミング距離および逆補助鎖制約下での符号サイズMの下界は4,537,543,340である。
• GC含量および逆補助鎖制約を両方適用した場合、n=20、d=10のときの最大符号サイズは27,860,000以上である。
• n=16、d=16の場合、ハミング距離および逆補助鎖制約下での符号サイズの下界は10^7以上であり、非常に大きな符号集合の存在を示している。
• 本論文は、n=4から36、d=10から30の範囲で、逆補助鎖およびGC含量制約を満たすDNA符号の下界を完全な表形式で提示している。
• 複数の制約を満たすDNA符号のサイズはnの増加に伴い顕著に増加するが、dが大きい場合には下界が依然として疎らであり、根本的なトレードオフが存在することが示唆される。
• 本研究では、理論的下界に一致する最適な符号を達成することは未解決の課題であり、特にnおよびdの値が大きい場合に顕著である。