[논문 리뷰] On the neighbourhoods of trees

Peter Humphries, Taoyang Wu|arXiv (Cornell University)|2012. 02. 10.

Alzheimer's disease research and treatments참고 문헌 7인용 수 4

한 줄 요약

이 논문은 계통수 나무의 tbr(트리 바이섹션 및 재연결) 이웃의 크기를 위한 폐쇄형 표현식을 제공하며, 단일 tbr 연산을 통해 도달할 수 있는 서로 다른 나무의 수에 관한 오랫동안 미해결된 문제를 해결한다. 저자들은 나무의 위상 구조, 특히 부분수나무와 군집의 분포에 기반하여 공식을 유도하며, 이웃의 크기가 나무의 형태에 따라 결정되며, 캐터필러 나무는 크기를 최대화하고 완전 이진 나무는 점 渐진적으로 최소화함을 규명한다.

ABSTRACT

Tree rearrangement operations typically induce a metric on the space of phylogenetic trees. One important property of these metrics is the size of the neighbourhood, that is, the number of trees exactly one operation from a given tree. We present an expression for the size of the TBR (tree bisection and reconnection) neighbourhood, thus answering a question first posed in [Annals of Combinatorics, 5, 2001 1-15].

연구 동기 및 목표

• 임의의 무근본 이진 계통수 나무에 대해 tbr 이웃 크기의 정확한 크기를 규명하는 열린 문제를 해결하기 위해.
• 나무의 형태—특히 군집과 부분수나무 크기의 분포—가 단일 tbr 연산을 통해 도달 가능한 나무 수에 어떻게 영향을 주는지 규명하기 위해.
• 공간 $\mathscr{T}_n$ 내 모든 이진 나무 위상에 대해 tbr 이웃 크기의 날카운 점 渐진적 상한과 하한을 확립하기 위해.
• 클러스터 분해와 부분 분할을 기반으로 한 통합 프레임워크를 사용하여 기존의 nni 및 spr 이웃에 대한 결과를 재증명하기 위해.
• 잎의 수의 이진 전개와 나무의 계층적 구조에 따라 의존하는 tbr 이웃 크기의 일반적 표현식을 제공하기 위해.

제안 방법

• tbr 연산을 간선 삭제 후 분할을 통해 이진 구조를 유지하는 재연결로 정의하여, 결과로 나오는 나무가 서로 다를 것임을 보장한다.
• 부분 분할과 군집 개념을 사용하여 나무를 특정 크기의 부분수나무로 분해하며, 특히 크기 $2^j$ 의 부분수나무에 초점을 맞춘다.
• 크기 $m$ 의 부분수나무가 크기 $2^j$ 의 군집을 포함하는지 검출하기 위한 함수 $\tau(m)$ 을 도입하여 유효한 tbr 연산의 수에 영향을 준다.
• 잎의 수 $n$ 의 이진 표현을 기반으로 한 재귀적 분해를 적용하여, 부분수나무 크기의 합산을 통해 총 tbr 연산 수를 계산한다.
• 나무의 클러스터 분해 구조와 $n$ 의 이진 전개에서의 계수 $\alpha_i$ 를 사용하여 $\Gamma(\mathcal{T})$ — 총 tbr 연산 수 — 의 일반 공식을 도출한다.
• 정리 3.6 을 적용하여 $\Gamma(\mathcal{T})$ 와 최종 tbr 이웃 크기 $|N_{\textsc{tbr}}(\mathcal{T})|$ 를 $n^2$ 과 선형 항을 포함하는 변환을 통해 연결한다.

실험 결과

연구 질문

• RQ1 주어진 무근본 이진 계통수 나무에 대해 tbr 이웃의 정확한 크기는 무엇이며, 나무 위상 구조에 따라 어떻게 변하는가?
• RQ2 나무의 구조적 성질—예를 들어 체리의 존재, 군집, 부분수나무 크기—는 가능한 tbr 연산 수에 어떻게 영향을 주는가?
• RQ3 공간 $\mathscr{T}_n$ 내에서 어떤 나무 형태가 tbr 이웃 크기를 최대화하거나 최소화하는가?
• RQ4 tbr 이웃 크기를 나무의 계층적 군집 구조와 $n$ 의 이진 표현에 기반한 폐쇄형 공식으로 표현할 수 있는가?
• RQ5 모든 이진 나무에 대해 $n$ 개의 잎을 가진 tbr 이웃 크기의 날카운 점 渐진적 상한과 하한은 무엇인가?

주요 결과

• 논문은 나무의 위상 구조, 특히 $n$ 의 이진 분해와 크기 $2^j$ 의 부분수나무 존재 여부에 따라 의존하는 $|N_{\textsc{tbr}}(\mathcal{T})|$ 의 폐쇄형 표현식을 제공한다.
• 완전 나무에서 $n = 3 \cdot 2^{k-1}$ 인 경우, tbr 이웃 크기는 $|N_{\textsc{tbr}}(\mathcal{T})| = n^2(4k - \frac{32}{3}) + 22n - 6$ 이다.
• 완전 나무에서 $n = 2^k$ 인 경우, 크기는 $|N_{\textsc{tbr}}(\mathcal{T})| = n^2(4k - 13) + 22n - 6$ 이다.
• 완전 이진 나무의 경우, tbr 이웃 크기는 $|N_{\textsc{tbr}}(\mathcal{T})| = 4n^2\lfloor \log_2 n \rfloor + O(n^2)$ 를 만족하며, 점 渐진적으로 날카운 하한을 확립한다.
• 최대 tbr 이웃 크기는 캐터필러 나무에서 달성되며, 이는 이전에 알려진 상한 $\frac{2}{3}n^3 - 4n^2 + \frac{16}{3}n + 2$ 와 일치한다.
• 최소 tbr 이웃 크기는 완전 이진 나무에서 발생하며, 점 渐진적 성장률은 $\Theta(n^2 \log n)$ 이며, 하한의 날카움을 확인한다.