[論文レビュー] On the Balance of Unrooted Trees

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

Graph theory and applications参考文献 7被引用数 12

ひとこと要約

本稿は、分岐サイズ関数 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-近傍サイズ、Gromov型距離、トポロジカルインデックスといった多様な応用を、同一の解析的フレームワークに統合すること。
• f の単調性、凹性、凸性に基づいて、Φ_f(τ) の最小値および最大値を特徴づける必要十分条件を確立すること。
• 重み付き距離を木の形状に関連付けることで、より広範なトポロジカルインデックスのクラスへ理論を拡張すること。

提案手法

• Φ_f(τ) を、分割 σ ∈ Σ*(τ) 全体における f(‖σ‖) の和として定義する。ここで、‖σ‖ = min(|A|,|B|) は分割 A|B のサイズとする。
• 木の形状を表すために、分割サイズシーケンス (s_2, ..., s_{⌊n/2⌋}) を用い、そのパレート最小値を解析する。
• f が増加関数である場合、Φ_f(τ) の最小値はキャタピラーによって一意に達成されることを証明する。f が凹関数である場合、最小値は半正則木によって達成される。
• 既知の関数的に応用：f(k) = k(n−k) は TBR-近傍サイズに対応、f(k) = k は ℓ¹-Gromov 距離に対応、f(k) = √(k(n−k)) は ℓ²-Gromov 距離に対応する。
• Φ_f(τ) を用いて、Gromov型距離における木空間の直径の上界を導出し、n が偶数のとき diam_D₁ ≤ n²−2n−4 および diam_D₂ ∼ πn^{3/2} を得る。
• w(σ,τ) = g(‖σ‖) を定義し、重み付き距離 d_τ^w を構築することで、他のインデックスへの一般化を図る。このとき Γ^w(τ) = Φ_f(τ) が成り立ち、f(k) = g(k)k(n−k) となる。

実験結果

リサーチクエスチョン

• RQ1 与えられた関数 f に対して、非自明な分割における関数的 Φ_f(τ) = Σ f(‖σ‖) を最小化または最大化する木の形状は何か？
• RQ2 なぜ、さまざまな系統発生関数的においてキャタピラーと半正則木が繰り返し極値形状として出現するのか？
• RQ3 関数 f に依存する形で木のバランスを形式化することは可能か？すなわち、一意の普遍的定義を仮定するのではなく。
• RQ4 与えられた f に対して、同じ最小 Φ_f(τ) 値を達成する非同型な木の形状が複数存在するか、それとも最小化子は一意か？
• RQ5 ウィーナー指数や Γ-インデックスといった既存のトポロジカルインデックスは、この一般化された分割サイズ関数的フレームワークにどのように埋め込まれるか？

主な発見

• 任意の増加関数 f に対して、n 個の葉を持つすべての根なし系統発生樹において、Φ_f(τ) の最小値はキャタピラー木によって一意に達成される。
• f が凹関数または凸関数である場合、Φ_f(τ) の最小値は半正則木によって達成され、それらは一意ではなく、他のパレート最小分割サイズシーケンスと共存しうる。
• f(k) = k(n−k) のとき、Φ_f(τ) は τ の TBR-近傍のサイズに対応し、その最大値はキャタピラーによって達成される。
• ℓ¹-Gromov 距離における木空間の直径は、n が偶数のとき上界 n²−2n−4 で抑えられ、ℓ²-Gromov 距離では約 πn^{3/2} である。
• チェリー（‖σ‖ = 2 の分割）の数は、半正則木で最大となり、キャタピラーで最小となる。これは、これらが極値形状としての役割を果たしていることを確認する。
• 本フレームワークは重み付きトポロジカルインデックスへ一般化可能である：Γ^w(τ) = Φ_f(τ) で f(k) = g(k)k(n−k) とすると、多くの既存インデックスがこの統一的枠組みの特殊ケースであることが示された。