[논문 리뷰] Category Theory for Genetics

Rémy Tuyéras|arXiv (Cornell University)|2017. 08. 17.

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, 동형 재조합, 연관성과 같은 다양한 유전적 개념을 하나의 범주론적 프레임워크 안에서 통합하는 것.
• 확률적 돌연변이와는 다를 바 있는 생물학적 메커니즘(예: 재조합)을 포괄하는 형식적 체계를 제공하여 더 명확한 이론적 모델링을 가능하게 하는 것.
• 구조화된 콘을 통해 비연속적인 재조합 사건과 재조합 방해 현상을 모델링하는 것.
• 재조합 사건의 확률 공간을 형식화하여 할데인의 맵핑 함수와 같은 고전적 맵핑 함수를 복원하는 것.

제안 방법

• 논문은 극한 스케치를 사용하여 유전적 개념의 모델 카테고리 정의에 형식적 언어로 접근한다.
• 주요 두 카테고리에서 모델을 구성한다: 집합(유전 물질에 대해)과 부울 반환 {0,1} 위의 B2-반모듈러(형질선형에 대해).
• 보편적 구성은 집합 기반 모델(유전 물질)의 클래스와 반모듈러 기반 모델(형질선형)의 클래스를 연결한다.
• 극한 스케치 내의 콘은 재조합 사건과 방해 현상을 인코딩하며, 위상수학적 구조는 DNA 세그먼트 간의 공간적 또는 염색체적 관계를 특정한다.
• 서로소 재조합 사건에 대해 확률 측도를 정의하여 독립적 또는 겹치지 않는 사건에 대해 덧셈 법칙이 성립하도록 보장한다(℘(A∪B) = ℘(A)+℘(B)).
• 할데인의 맵핑 함수는 이항 확률의 극한으로 복원되며, 홀수 개의 재조합 사건 발생 확률에 대해 포isson 근사로 (1−e−2x)/2의 표현식을 도출한다.

실험 결과

연구 질문

• RQ1 다양한 유전적 연산(예: DNA 정렬, CRISPR, 재조합)을 모델링할 수 있는 통합된 범주론적 언어를 어떻게 구성할 수 있는가?
• RQ2 범주론적 프레임워크 내에서 동형 재조합을 돌연변이와 어떻게 형식적으로 구별할 수 있는가?
• RQ3 재조합 방해 현상과 비연속적인 교차 사건을 극한 스케치 내의 구조화된 콘을 통해 어떻게 모델링할 수 있는가?
• RQ4 재조합 사건의 확률 공간을 어떻게 형식화하여 할데인의 맵핑 함수와 같은 알려진 맵핑 함수를 복원할 수 있는가?
• RQ5 유전 물질의 집합 기반 모델과 형질선형의 반모듈러 기반 모델 간의 보편적 관계는 무엇인가?

주요 결과

• 논문은 집합의 범주에서의 유전 물질 모델과 {0,1} 위의 B2-반모듈러의 범주에서의 형질선형 모델을 연결하는 보편적 구성이 수립된다.
• 이 프레임워크는 극한 스케치를 통해 동형 재조합과 정렬 연산을 성공적으로 모델링하며, 콘은 재조합 사건과 방해 현상을 인코딩한다.
• 서로소 재조합 사건에 대한 확률 측도를 정의함으로써 덧셈 법칙이 보장되어 기본 확률 공리계를 충족한다.
• 할데인의 맵핑 함수는 이항 확률의 극한으로 형식적으로 복원되며, 홀수 개의 재조합 사건 발생 확률에 대해 (1−e−2x)/2의 표현식을 도출한다.
• 콘의 위상수학적 구조를 변화시킴으로써 비연속적인 재조합 방해 현상을 모델링할 수 있으며, 예를 들어 (••)(••) 또는 (•••)(◦◦◦◦)와 같은 형태로 물리적 패킹 또는 간격 효과를 표현할 수 있다.
• 이 프레임워크는 콘을 크로모로지(Chromologies)로 조직화하여 다위치 연관성과 재조합 체계를 체계적으로 연구할 수 있도록 하여, 다위치 연관성 및 재조합 구조의 형식적 기반을 제공한다.