[논문 리뷰] A structure theorem for tree-based phylogenetic networks

Momoko Hayamizu|arXiv (Cornell University)|2018. 11. 14.

Evolution and Paleontology Studies인용 수 3

한 줄 요약

이 논문은 최대 자이그재그 트레일 분해를 기반으로 한 뿌리 백업 이진 계통수 네트워크에 대한 구조 정리(Structure Theorem)를 제안하며, 핵심 계산 문제에 대한 통합적이고 효율적인 해결책을 가능하게 한다. 나무 기반 네트워크의 결정, 세기, 나열, 최적화 문제에 대해 선형 시간 또는 선형 지연 알고리즘을 제공하며, 비이진 네트워크로의 확장도 가능하다.

ABSTRACT

Attempting to recognize a tree inside a phylogenetic network is a fundamental undertaking in evolutionary analysis. Therefore, the concept of tree-based phylogenetic networks, which was introduced by Francis and Steel, has attracted much attention of theoretical biologists in the last few years. In this context, spanning of a certain kind called trees play an essential role and there are many important computational problems about them, whose time complexity is still unclear. Against this backdrop, the present paper aims to provide a graph theoretical framework for solving different problems on subdivision in a simple and unified manner. To this end, we focus on a structure called the maximal zig-zag trail decomposition that is inherent in any rooted binary phylogenetic network $N$ and prove a structure theorem that characterizes the collection of all subdivision of $N$. Our theorem does not only imply and unify various results in the literature but also yield linear time (for enumeration, linear delay) algorithms for the following problems: given a rooted binary phylogenetic network $N$, 1) determine whether or not $N$ has a subdivision tree and find one if there exists any (decision/search problem); 2) compute the number of subdivision of $N$ (counting problem); 3) list all subdivision of $N$ (enumeration problem); and 4) find a subdivision tree to maximize or minimize a prescribed objective function (optimization problem). Importantly, the results and algorithms in this paper still hold true for some non-binary phylogenetic networks and this generalization gives a partial answer to an open question from Pons, Semple, and Steel. We also mention some statistical applications and further research directions.

연구 동기 및 목표

• 뿌리 백업 이진 계통수 네트워크 내 분할 나무를 분석하기 위한 통합적인 그래프 이론적 프레임워크를 개발하는 것.
• 나무 기반 네트워크에서 기본 계산 작업의 시간 복잡도에 관해 열려 있는 문제를 해결하는 것.
• 기존 문헌에서 제기된 부분적인 해답을 제공하는 비이진 계통수 네트워크로 결과를 확장하는 것.
• 분할 나무에 대한 결정, 세기, 나열, 최적화 문제에 대한 효율적 알고리즘을 제공하는 것.
• 통계적 응용을 지원하고 향후 진화 네트워크 분석 분야의 연구를 이끄는 것.

제안 방법

• 모든 뿌리 백업 이진 계통수 네트워크에 내재된 기본적인 구조적 구성요소로 최대 자이그재그 트레일 분해를 도입한다.
• 이 분해를 통해 모든 분할 나무의 집합을 특성화하는 구조 정리를 증명한다.
• 이 분해를 활용해 기존의 나무 기반 네트워크에 관한 결과들을 그래프 이론적 프레임워크 내에서 통합하고 일반화한다.
• 분할 나무의 존재 여부에 대한 결정 및 탐색 문제에 대해 선형 시간 알고리즘을 설계한다.
• 모든 분할 나무를 효율적으로 나열하기 위한 선형 지연 나열 알고리즘을 개발한다.
• 프레임워크를 비이진 네트워크로 확장하여 알고리즘의 효율성과 정확성을 유지한다.

실험 결과

연구 질문

• RQ1 뿌리 백업 이진 계통수 네트워크 내 모든 분할 나무의 집합은 어떻게 체계적으로 특성화할 수 있는가?
• RQ2 모든 분할 나무를 나열하는 데 필요한 계산 복잡도는 무엇이며, 선형 지연로 해결할 수 있는가?
• RQ3 계통수 네트워크 내 분할 나무에 대한 세기 및 최적화 문제에 대해 효율적 알고리즘을 개발할 수 있는가?
• RQ4 이 프레임워크는 비이진 계통수 네트워크로 얼마나 일반화할 수 있는가?
• RQ5 네트워크의 어떤 구조적 성질이 분할 나무의 존재를 보장하는가?

주요 결과

• 최대 자이그재그 트레일 분해는 뿌리 백업 이진 계통수 네트워크 내 모든 분할 나무에 대한 완전한 구조적 특성화를 제공한다.
• 구조 정리는 기존 문헌에서 다룬 나무 기반 네트워크에 관한 다수의 결과를 통합하고 일반화한다.
• 분할 나무의 존재 여부를 판단하고, 존재할 경우 이를 찾는 데 대해 선형 시간 알고리즘을 개발하였다.
• 모든 분할 나무를 나열하기 위한 선형 지연 나열 알고리즘을 제공하였다.
• 분할 나무의 세기 계산과 임의의 목적 함수에 대한 최적화 문제에 대해 효율적인 지원이 가능하다.
• 결과는 비이진 계통수 네트워크로 확장되며, Pons, Semple, 및 Steel이 제기한 열린 문제에 대한 부분적인 해결책을 제공한다.