[論文レビュー] Category Theory for Genetics

Rémy Tuyéras|arXiv (Cornell University)|Aug 17, 2017

Biomedical Text Mining and Ontologies被引用数 2

ひとこと要約

本稿は、DNA配列決定、アラインメント、CRISPR、相同組換え、遺伝子連鎖といったコアな遺伝的プロセスを形式化するための、極限スケッチに基づくカテゴリカル枠組みを提示する。集合（遺伝物質のため）とブール半環{0,1}上の半モジュール（ハプロタイプのため）のモデルを結ぶ普遍的構成を確立し、ハルデーンのマッピング関数を回復するとともに、構造化されたコーンを用いた組換え干渉のモデル化を可能にする。

ABSTRACT

We introduce a categorical language in which it is possible to talk about DNA sequencing, alignment methods, CRISPR, homologous recombination, haplotypes, and genetic linkage. This language takes the form of a class of limit-sketches whose categories of models can model different concepts of Biology depending on what their categories of values are. We discuss examples of models in the category of sets and in the category of modules over the Boolean semi-ring $\{0,1\}$. We identify a subclass of models in sets that models the genetic material of living beings and another subclass of models in modules that models haplotypes. We show how the two classes are related via a universal property.

研究の動機と目的

• 遺伝学におけるコアな生物学的プロセスを形式的にモデル化するための、圏論に基づく代数的言語の構築。
• DNAアラインメント、CRISPR、相同組換え、連鎖といった多様な遺伝的概念を、一つの圏的枠組みに統合すること。
• 突然変異とは異なる生物学的メカニズム（例：組換え）を明確に形式化し、より明確な理論的モデル化を可能にする形式的枠組みの提供。
• 構造化されたコーンを用いて、干渉を伴う連鎖や非隣接の組換えイベントをモデル化すること。
• 組換えイベントの確率空間を形式化し、ハルデーンのマッピング関数といった古典的関数を回復すること。

提案手法

• 本稿は、遺伝的概念のモデルのカテゴリを定義するための形式的言語として極限スケッチを用いる。
• モデルは2つの主要なカテゴリに構築される：集合（遺伝物質のため）と、ブール半環{0,1}上のB2-半モジュール（ハプロタイプのため）。
• 普遍的構成により、集合に基づくモデル（遺伝物質）のクラスと、半モジュールに基づくモデル（ハプロタイプ）のクラスを結ぶ。
• 極限スケッチ内のコーンは、組換えイベントと干渉を符号化し、トポロジーはDNA断片間の空間的または染色体的関係を指定する。
• 互いに排他的または重複しないイベントに対して、確率測度を定義し、加法性（℘(A∪B) = ℘(A)+℘(B)）を保証する。
• ハルデーンのマッピング関数は、二項確率の極限として回復され、奇数回の組換えイベントの確率に対してポアソン近似 (1−e−2x)/2 が得られる。

実験結果

リサーチクエスチョン

• RQ1 DNAアラインメント、CRISPR、組換えといった多様な遺伝的操作を統一した圏的言語でどのようにモデル化できるか。
• RQ2 圏的枠組み内で、相同組換えを突然変異とは明確に区別する方法は何か。
• RQ3 極限スケッチにおける構造化されたコーンを用いて、組換え干渉や非隣接のクロスオーバーイベントをモデル化できるか。
• RQ4 組換えイベントの確率空間をどのように形式化すれば、ハルデーンの関数といった既知のマッピング関数を回復できるか。
• RQ5 遺伝物質の集合におけるモデルとハプロタイプの半モジュールにおけるモデルとの間の普遍的関係は何か。

主な発見

• 本稿は、{0,1}上のB2-半モジュールの圏におけるハプロタイプのモデルと、集合の圏における遺伝物質のモデルを結ぶ普遍的構成を確立した。
• フレームワークは、極限スケッチを用いて相同組換えとアラインメント操作を成功裏にモデル化し、コーンが組換えイベントと干渉を符号化している。
• 互いに排他的な組換えイベントに確率測度を定義することで、加法性が保証され、基本的な確率公理を満たす。
• ハルデーンのマッピング関数は、二項確率の極限として形式的に回復され、奇数回の組換えイベントの確率に対して (1−e−2x)/2 という式が得られる。
• コーンのトポロジーを変化させることで、非隣接の組換え干渉をモデル化可能であり、たとえば (••)(••) や (•••)(◦◦◦◦) のような構造を用いて物理的配置や間隔効果を表現できる。
• フレームワークは、コーンを「クロモロジー」に整理することで、多遺伝子連鎖や組換えスキームを体系的にモデル化するための形式的基盤を提供し、組換えトポロジーの系統的解析を可能にする。