[논문 리뷰] On the Balance of Unrooted Trees

Mareike Fischer, Volkmar Liebscher|arXiv (Cornell University)|2015. 10. 27.

Graph theory and applications참고 문헌 7인용 수 12

한 줄 요약

이 논문은 분열 크기 함수 f에 대해 비자기적 분열 σ의 합 Φ_f(τ) = Σ f(‖σ‖)로 표현되는 기능적 Φ_f(τ)를 연구함으로써, 비루트된 계통수 나무에서 최적화 문제를 통합적으로 분석하는 프레임워크를 제안한다. 여기서 f는 분열 크기에 대한 음이 아닌 함수이며, 증가하는 f에 대해 고리형 나무가 Φ_f를 최소화하고, 오목 또는 볼록인 f에 대해 반정규 나무가 균형을 최대화하고 Φ_f를 최소화함을 입증한다. 이는 균형 잡힌 나무 형태가 유일하지 않으며, f의 성질에 따라 달라진다는 것을 드러낸다.

ABSTRACT

We solve a class of optimization problems for (phylogenetic) $X$-trees or their shapes. These problems have recently appeared in different contexts, e.g. in the context of the impact of tree shapes on the size of TBR neighborhoods, but so far these problems have not been characterized and solved in a systematic way. In this work we generalize the concept and also present several applications. Moreover, our results give rise to a nice notion of balance for trees. Unsurprisingly, so-called caterpillars are the most unbalanced tree shapes, but it turns out that balanced tree shapes cannot be described so easily as they need not even be unique.

연구 동기 및 목표

• 비루트된 계통수 나무의 비자기적 분열에 대해 Φ_f(τ) = Σ f(‖σ‖)의 기능적 최소화 또는 최대화를 위한 극단적 나무 형태를 체계적으로 특성화하는 것.
• 균형 나무의 정의에 오랫동안 애매하게 여겨진 문제를 해결하기 위해, 균형 잡힌 형태가 유일하지 않으며 f의 선택에 따라 달라진다는 것을 보여주는 것.
• TBR-neighborhood 크기, Gromov 유형의 거리, 위상 지표 등 다양한 응용을 하나의 분석적 프레임워크로 통합하는 것.
• f의 단조성, 오목성 또는 볼록성에 기반하여 Φ_f(τ)의 최소 및 최대값을 위한 필요 및 충분 조건을 설정하는 것.
• 나무 형태에 대한 가중 거리 측정법과의 연관성을 통해, 더 넓은 범위의 위상 지표 이론을 확장하는 것.

제안 방법

• 비자기적 분열 σ ∈ Σ*(τ)에 대해 Φ_f(τ)를 정의하며, 여기서 ‖σ‖ = min(|A|,|B|)이며 A|B는 분열을 의미함.
• 나무 형태를 표현하고 파레토 최소를 분석하기 위해 분열 크기 순서열 (s_2, ..., s_{⌊n/2⌋})을 사용함.
• 증가하는 f에 대해 Φ_f(τ)의 최소값은 고리형 나무에 의해 유일하게 달성되며, 오목한 f에 대해서는 반정규 나무에 의해 달성됨을 증명함.
• 기존 기능적 요소에 프레임워크를 적용: f(k) = k(n−k)는 TBR-neighborhood 크기, f(k) = k는 ℓ¹-Gromov 거리, f(k) = √(k(n−k))는 ℓ²-Gromov 거리에 대응함.
• Φ_f(τ)를 사용하여 Gromov 유형 거리에 대한 나무 공간의 지름에 상한을 도출함으로써, diam_D₁ ≤ n²−2n−4 및 diam_D₂ ∼ πn^{3/2} (n이 짝수일 때)를 도출함.
• w(σ,τ) = g(‖σ‖)로 정의하고 가중 거리 측정법 d_τ^w를 구성함으로써 다른 지표로의 일반화를 시도함. 이에 따라 Γ^w(τ) = Φ_f(τ)이며, f(k) = g(k)k(n−k)임.

실험 결과

연구 질문

• RQ1 주어진 함수 f에 대해 비자기적 분열에 대해 Φ_f(τ) = Σ f(‖σ‖)를 최소화 또는 최대화하는 나무 형태는 무엇인가?
• RQ2 왜 고리형 나무와 반정규 나무가 다양한 계통수 기능적 요소에서 반복적으로 극단적 형태로 나타나는가?
• RQ3 균형 나무 개념을 단일한 보편적 정의가 아닌, 함수 f에 따라 의존하는 방식으로 형식화할 수 있는가?
• RQ4 주어진 f에 대해 동일한 최소 Φ_f(τ) 값을 갖는 비이sovolumetric한 나무 형태가 여러 개 존재하는가, 아니면 최소화자가 유일한가?
• RQ5 기존의 위상 지표인 위너 지표나 Γ-지표는 이 분열 크기 함수럴 프레임워크에 어떻게 통합될 수 있는가?

주요 결과

• 모든 증가 함수 f에 대해, n개의 잎을 가진 비루트된 계통수 나무 전체에 대해 Φ_f(τ)의 최소값은 고리형 나무에 의해 유일하게 달성된다.
• 오목하거나 볼록인 함수 f에 대해, Φ_f(τ)의 최소값은 반정규 나무에 의해 달성되며, 이는 반드시 유일하지 않으며 다른 파레토 최소 분열 크기 순서열과 공존할 수 있음.
• f(k) = k(n−k)를 가진 기능적 Φ_f(τ)는 τ의 TBR-neighborhood 크기에 대응하며, 그 최대값은 고리형 나무에서 달성됨.
• ℓ¹-Gromov 거리 하에서 나무 공간의 지름은 짝수 n일 때 n²−2n−4 이하로 상한이 주어지며, ℓ²-Gromov 거리 하에서는 약 πn^{3/2}로 상한이 주어짐.
• 분열 크기 ‖σ‖ = 2인 초개수(cherries)의 수는 반정규 나무에서 최대화되고 고리형 나무에서 최소화되며, 이는 이들이 극단적 형태임을 확인함.
• 이 프레임워크는 가중 위상 지표로 일반화 가능함: Γ^w(τ) = Φ_f(τ)이며, f(k) = g(k)k(n−k)임. 이는 많은 기존 지표가 이 통합 형식의 특수한 경우임을 보여줌.