[논문 리뷰] A note on convex characters and Fibonacci numbers

Steven Kelk|arXiv (Cornell University)|2015. 08. 11.

Genomics and Phylogenetic Studies참고 문헌 9인용 수 3

한 줄 요약

이 논문은 n개의 분할을 가진 루트 없는 이진 계통수에서 볼록 문자의 수가 트리의 위상에 관계없이 항상 (2n−1)번째 피보나치 수임을 증명한다. 또한 각 상태가 적어도 두 개 이상의 분할에 나타나는 볼록 문자의 수는 (n−1)번째 피보나치 수임을 보이며, 이는 최대 페어슨스 거리 문제에 대해 시간 복잡도 Θ(φⁿ · poly(n))인 빠른 알고리즘을 가능하게 한다. 여기서 φ는 황금률이다.

ABSTRACT

Given an unrooted, binary phylogenetic tree T on a set of n >= 2 taxa, a closed expression for the number of convex characters on T has been known since 1992, and this is independent of the exact topology of T. Here we prove that this number is equal to the (2n-1)th Fibonacci number. Moreover, we show that the number of convex characters in which each state appears on at least two taxa, is also independent of topology, and equal to the (n-1)th Fibonacci number. We use this insight to give a simple but effective algorithm for the NP-hard maximum parsimony distance problem that runs in time $\Theta( \phi^{n} \cdot ext{poly}(n) )$, where $\phi \approx 1.618...$ is the golden ratio. Finally, we give an explicit example demonstrating that topological neutrality no longer holds when counting the number of convex characters in which each state appears on at least three taxa.

연구 동기 및 목표

• 루트 없는 이진 트리에서 볼록 문자의 수가 트리의 위상에 의존하는지 여부를 규명하는 것.
• 피보나치 수를 활용한 닫힌 표현식을 통해 볼록 문자 수를 수립하는 것.
• 피보나치 기반의 수세기 기반으로 최소 페어슨스 거리 문제에 대해 효율적인 알고리즘을 개발하는 것.
• 각 문자 상태가 적어도 세 개 이상의 분할에 나타나야 한다는 조건이 있을 때 위상 중립성이 유지되는지 조사하는 것.

제안 방법

• 루트 없는 이진 트리에서 n개의 분할을 가진 볼록 문자의 수가 위상에 관계없이 항상 (2n−1)번째 피보나치 수임을 증명한다.
• 각 상태가 적어도 두 개 이상의 분할에 나타나는 볼록 문자의 수가 위상에 관계없이 항상 (n−1)번째 피보나치 수임을 보인다.
• 피보나치 수의 구조를 활용하여 최대 페어슨스 거리 문제에 대해 동적 계획법 알고리즘을 설계한다. 시간 복잡도는 Θ(φⁿ · poly(n))이다.
• 황금률 φ ≈ 1.618을 사용하여 탐색 공간의 지수적 성장률을 한계화한다.
• 문자 상태와 트리 구조의 재귀적 분해를 통해 피보나치 항등식을 유도한다.
• 각 상태가 적어도 세 개 이상의 분할에 나타나야 한다는 조건에서 위상 중립성이 성립하지 않음을 보여주는 구체적인 반례를 구성한다.

실험 결과

연구 질문

• RQ1 루트 없는 이진 트리에서 볼록 문자의 수가 그 위상에 의존하는가?
• RQ2 각 상태가 적어도 두 개 이상의 분할에 나타나는 볼록 문자의 수를 피보나치 수로 표현할 수 있는가?
• RQ3 각 상태가 적어도 세 개 이상의 분할에 나타나야 한다는 조건이 있을 때 볼록 문자 수의 위상 중립성이 유지되는가?
• RQ4 피보나치 기반의 수세기 기반으로 계통수 거리 문제에 대해 더 빠른 알고리즘을 설계할 수 있는가?
• RQ5 상태 빈도 제약 조건 하에서 볼록 문자의 정확한 조합 구조는 무엇인가?

주요 결과

• 모든 루트 없는 이진 트리에서 n개의 분할을 가진 볼록 문자의 수는 위상에 관계없이 정확히 (2n−1)번째 피보나치 수이다.
• 각 상태가 적어도 두 개 이상의 분할에 나타나는 볼록 문자의 수는 (n−1)번째 피보나치 수이며, 이 수는 위상에 관계없이 불변이다.
• 최대 페어슨스 거리 문제를 위한 알고리즘은 시간 복잡도 Θ(φⁿ · poly(n))로 실행되며, 여기서 φ ≈ 1.618은 황금률이다.
• 지수적 요소 φⁿ은 피보나치 수의 성장률과 정확히 일치하므로 최적임을 입증한다.
• 각 상태가 적어도 세 개 이상의 분할에 나타나야 한다는 조건에서 위상 중립성이 붕괴됨을 보여주는 반례를 구성하였다.
• 피보나치 기반의 특성화는 다양한 제약 조건 하에서 볼록 문자 수세기의 날카운 조합적 상한을 제공한다.