[论文解读] On phylogenetic trees - a geometer's view

Weronika Buczyńska, Jarosław A. Wiśniewski|ArXiv.org|Jan 14, 2006

Algebraic Geometry and Number Theory参考文献 13被引用 9

一句话总结

本文利用代数几何研究二元对称三价系统发育树的几何模型，表明这些模型是指标为4的法诺簇，具有Gorenstein终端奇点，并允许小解析。关键结果是：具有相同叶数的所有此类模型彼此为形变等价，意味着其Hilbert-Ehrhard多项式仅依赖于叶数，而不依赖于树的拓扑结构。

ABSTRACT

We investigate projective varieties which are geometric models of binary symmetric phylogenetic 3-valent trees. We prove that these varieties have Gorenstein terminal singularities (with small resolution) and they are Fano varieties of index 4. Moreover any two such varieties associated to trees with the same number of leaves are deformation equivalent, that is, they are in the same connected component of the Hilbert scheme of the projective space. As an application we provide a simple formula for computing their Hilbert-Ehrhard polynomial.

研究动机与目标

• 理解作为二元对称三价系统发育树模型的射影代数簇的几何与代数结构。
• 确定此类代数簇的Hilbert-Ehrhard多项式是否仅依赖于叶数，而不依赖于树的拓扑结构。
• 研究这些几何模型的形变理论及其奇点。
• 探索树的组合结构与相应射影代数簇几何之间的关系。
• 确定两个具有同构多面体或射影等价的此类代数簇，其底层树是否必须在组合意义下等价。

提出的方法

• 通过利用树的结构和复环面作用导出的格点多面体，使用 торic 几何对系统发育树进行建模。
• 将树的几何模型构造为通过反canonical嵌入与多面体关联的射影代数簇。
• 使用树的多面体的纤维积公式和代数簇的商公式，表明树的拼接对应于乘积模型的GIT商。
• 分析几何模型的扇形结构与奇点解析，证明其具有终端Gorenstein奇点，并存在小解析。
• 应用法诺簇理论，通过典范除子与反canonical线丛，证明这些模型是指标为4的法诺簇。
• 利用积分与缩放常数，推导出相对于叶的归一化体积分布函数 δ^r(t) 的递归公式。

实验结果

研究问题

• RQ1 具有相同叶数的系统发育树的几何模型是否具有相同的Hilbert-Ehrhard多项式，无论其树的拓扑结构如何？
• RQ2 两个非同构的三价二叉系统发育树，若叶数相同，其几何模型在Hilbert概形中是否形变等价？
• RQ3 此类模型的Hilbert-Ehrhard多项式是否可仅从叶数唯一确定？
• RQ4 归一化体积分布函数 δ^r(t) 是否依赖于树的形状，还是仅依赖于叶数？
• RQ5 若两个几何模型射影等价或其多面体同构，其底层树是否必须在组合意义下等价？

主要发现

• 所有具有相同叶数的三价二叉对称系统发育树的几何模型在Hilbert概形中形变等价，位于同一连通分支内。
• 此类模型的Hilbert-Ehrhard多项式仅依赖于叶数，不依赖于树的拓扑结构，且由统一公式给出：h(n) = (n+1)(n+2)(n+3)/22680 × (31n^6 + 372n^5 + 1942n^4 + 5616n^3 + 9511n^2 + 8988n + 3780)。
• 几何模型是指标为4的法诺簇，具有Gorenstein终端奇点，并允许小解析。
• 归一化体积分布 δ^r(t) 是一个2r次多项式，满足涉及缩放常数的递归积分公式，且对 t ∈ (0, 1/2) 有 δ^r(t) = δ^r(1−t)。
• 尽管三叶猫爪树与雪花树在六叶时具有相同的面数，但其关联的关联矩阵不同（以粗体标示），证明其多面体在组合意义下不同。
• 数值实验表明，当 r > 3 时，δ^r(t) 几乎与 r 无关，表明体积分布对树的大小不敏感，超过某一临界点后趋于稳定。