[논문 리뷰] Forbidden Time Travel: Characterization of Time-Consistent Tree Reconciliation Maps

Nikolai Nøjgaard, Manuela Geiß외 4명|arXiv (Cornell University)|2017. 05. 05.

Genomics and Phylogenetic Studies참고 문헌 20인용 수 5

한 줄 요약

이 논문은 수평적 유전자 이행(HGT)이 있는 이벤트 레이블이 부여된 유전자 나무에 대해 시간 일관성 있는 재결합 맵을 특성화하며, 보조 그래프의 사이클 없음을 확인함으로써 타당성을 판단하는 O(|V(T)| log |V(S)|) 알고리즘을 제안한다. 이는 사전에 종 또는 유전자 나무를 가정하지 않고, 동일한 유전자 가족의 역사 추론을 생물학적으로 타당하게 가능하게 한다.

ABSTRACT

In the absence of horizontal gene transfer it is possible to reconstruct the history of gene families from empirically determined orthology relations, which are equivalent to event-labeled gene trees. Knowledge of the event labels considerably simplifies the problem of reconciling a gene tree T with a species trees S, relative to the reconciliation problem without prior knowledge of the event types. It is well-known that optimal reconciliations in the unlabeled case may violate time-consistency and thus are not biologically feasible. Here we investigate the mathematical structure of the event labeled reconciliation problem with horizontal transfer. We investigate the issue of time-consistency for the event-labeled version of the reconciliation problem, provide a convenient axiomatic framework, and derive a complete characterization of time-consistent reconciliations. This characterization depends on certain weak conditions on the event-labeled gene trees that reflect conditions under which evolutionary events are observable at least in principle. We give an O(|V(T)|log(|V(S)|))-time algorithm to decide whether a time-consistent reconciliation map exists. It does not require the construction of explicit timing maps, but relies entirely on the comparably easy task of checking whether a small auxiliary graph is acyclic. The combinatorial characterization of time consistency and thus biologically feasible reconciliation is an important step towards the inference of gene family histories with horizontal transfer from orthology data, i.e., without presupposed gene and species trees. The fast algorithm to decide time consistency is useful in a broader context because it constitutes an attractive component for all tools that address tree reconciliation problems.

연구 동기 및 목표

• 이벤트 레이블이 부여된 유전자 나무(분화, 복제, 수평 이행 포함)에 대해 시간 일관성 있는 재결합 맵을 특성화하는 것.
• 시간 제약 조건을 존중함으로써 재결합 맵이 생물학적으로 타당한지 보장하는 수학적 프레임워크를 수립하는 것.
• 시간 일관성 있는 재결합 맵이 존재하는지 명시적인 시간 맵을 구성하지 않고도 결정할 수 있는 효율적인 알고리즘을 개발하는 것.
• 사전에 지정된 유전자 또는 종 나무가 없이도, 오직 오р토로지 데이터로부터만 유전자 가족의 역사를 추론할 수 있도록 하는 것.
• 시간 일관성에 필요한 필수 조건과 충분 조건을 규명함으로써, 계통발생 재결합을 위한 확장 가능한 도구의 기초를 마련하는 것.

제안 방법

• 이벤트 레이블이 부여된 유전자 나무와 종 나무를 사용하여 시간 일관성 있는 재결합 맵에 대한 공리적 프레임워크를 제안한다.
• 정점 매핑과 이벤트 유형(분화, 복제, 이행)을 기반으로 보조 그래프 A를 구성하며, 시간 제약 조건을 인코딩한다.
• 보조 그래프 A의 사이클 여부를 확인하기 위해 깊이 우선 탐색을 활용한다. 이는 시간 일관성에 필수적이고 충분한 조건이다.
• 유전자 나무 정점의 초기 매핑을 위해 종 나무에서 최소 공통 조상(LCA) 계산을 수행한다.
• 시간 순서 제약 조건을 만족하는 종 나무 경로 상의 간선을 선택하여 복제 및 이행 이벤트의 매핑을 조정한다.
• 시간 맵을 암시적으로 유지하며, 그래프의 사이클 없음과 LCA 기반 정점 매핑에 의존하여 정확성을 보장한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 이벤트 레이블이 부여된 유전자 나무가 종 나무와 시간 일관성 있게 재결합될 수 있는가?
• RQ2 유전자 나무와 종 나무의 시간 맵을 명시적으로 구성하지 않고도 시간 일관성을 어떻게 특성화할 수 있는가?
• RQ3 수평 이행이 있는 재결합 맵에 대해 시간 일관성을 결정하는 데 필요한 계산 복잡도는 무엇인가?
• RQ4 유전자 나무와 종 나무의 구조만으로도 시간 일관성 있는 재결합의 존재 여부를 효율적으로 판단할 수 있는가?
• RQ5 이벤트 레이블이 부여된 나무가 시간 제약 조건 하에서 생물학적으로 타당한지를 보장하는 조합적 성질은 무엇인가?

주요 결과

• 시간 일관성 있는 재결합 맵이 존재하는 것은 보조 그래프가 사이클이 없을 때이고, 그 때에만 해당된다.
• 제안된 알고리즘은 O(|V(T)| log |V(S)|) 시간에 실행되어 대규모 계통발생 분석에 효율적이다.
• 시간 맵을 명시적으로 구성하지 않고도 그래프의 사이클 없음과 LCA 기반 정점 매핑에 의존함으로써 정확성을 확보한다.
• 이 특성화는 약한 관측 가능성 가정 하에 분화, 복제, 수평 이행 이벤트를 포함한 유전자 나무에 적용 가능하다.
• 보조 그래프에서 사이클을 탐지함으로써 비타당하지 않은 이벤트 레이블이 부여된 나무를 정확히 식별할 수 있다.
• 복제 및 이행 이벤트의 매핑 조정은 시간 순서 제약 조건을 만족하는 종 나무 경로 상의 간선을 선택하여 수행된다.