[论文解读] Diagonalizing the genome I: navigation in tree spaces

Satyan L. Devadoss, Jack Morava|arXiv (Cornell University)|Sep 16, 2010

Genomics and Chromatin Dynamics参考文献 3被引用 6

一句话总结

本文引入了一个紧致、可定向的双曲流形，即实稳定零亏格带标记点曲线模空间的定向覆叠，该流形解决了Billera-Holmes-Vogtmann（BHV）系统发生树空间的奇点问题。通过用 $n!$ 个Stasheff单形体（associahedra）铺满该流形，并将其分解为立方体，作者构建了一个典范伪度量和一个折叠映射，将平面度量树坍缩为其抽象树代表，揭示了组合学与基因组学之间深刻的几何与拓扑联系。

ABSTRACT

The orientable cover of the moduli space of real genus zero algebraic curves with marked points is a compact aspherical manifold tiled by associahedra, which resolves the singularities of the space of phylogenetic trees. The resolution maps planar metric trees to their underlying abstract representatives, collapsing and folding an explicit geometric decomposition of the moduli space into cubes. This decomposition endows the resolving space with an interesting canonical pseudometric. The second part of this paper defines a related (stacky) resolution of a space of real quadratic forms, and suggests, perhaps without much justification, that systems of oscillators parametrized by such objects may provide useful models in genomics.

研究动机与目标

• 通过一个紧致、可定向的双曲流形，解决系统发生树BHV空间的奇点问题。
• 构建一个支持通过典范伪度量实现高效导航与度量分析的系统发生树空间几何框架。
• 在树空间、单形体与实代数曲线模空间之间建立拓扑与几何的桥梁。
• 探索二次型层与振子系统作为基因组学数据模型的潜力，其灵感源自树空间的几何结构。
• 将平面度量树空间的拓扑奇点解析为一个具有立方体分解的光滑、无挠流形。

提出的方法

• 构造定向覆叠 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$，其为一个由 $n!$ 个Stasheff单形体 $K_n$ 铺满的紧致、可定向、无挠流形。
• 通过几何剖分将每个单形体 $K_n$ 分解为 $C_{n-1}$ 个立方体，从而获得解析流形的立方体分解。
• 定义一个遗忘折叠映射 $\Theta$，将平面度量树空间坍缩至抽象BHV空间 $\rm{BHV}_n^+$，该映射执行三项操作：将 $2^{n-2}$ 个单形体折叠为立方体，识别对径立方体，并将边界坍缩至无穷远点。
• 通过恒等式 $n! \cdot \frac{1}{n}\binom{2n-2}{n-1} \cdot \frac{1}{2^{n-1}} = (2n-3)!!$，建立从 $n!$ 个单形体到 $\rm{BHV}_n^+$ 的 $(2n-3)!!$ 个象限的 $2^{n-2}:1$ 折叠映射。
• 在解析流形上赋予一个源自立方体分解与几何折叠的典范伪度量。
• 利用 $({\mathbb{S}}_{n-1})$-等变复合 $K_n \times_{\mathbb{Z}_{n+1}} \mathbb{S}_{n+1} \to \overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R}) \to \rm{BHV}_n^+ \simeq S^{n-2} \wedge \mathbb{S}_{n-1}^+$，将树的对称性与同伦类型联系起来。

实验结果

研究问题

• RQ1 如何利用一个光滑、紧致、可定向流形来解决系统发生树BHV空间的奇点问题？
• RQ2 实稳定零亏格带 $n+1$ 个标记点的曲线模空间的几何与拓扑结构是什么？它与树空间有何关联？
• RQ3 是否可以在解析流形上定义一个反映平面度量树内在几何结构的典范伪度量？
• RQ4 折叠映射 $\Theta$ 如何通过立方体分解编码组合与几何信息？
• RQ5 基于树空间的几何结构，具有标记特征值的二次型层与振子系统在基因组学中的建模潜力如何？

主要发现

• 定向覆叠 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ 是一个由 $n!$ 个Stasheff单形体 $K_n$ 铺满的紧致、可定向、无挠流形，成功解析了BHV空间的奇点。
• 该流形可分解为每个单形体含 $C_{n-1}$ 个立方体的立方体分解，且每个顶点处有 $2^{n-2}$ 个单形体交汇，形成更大的立方体。
• 折叠映射 $\Theta$ 将 $n!$ 个单形体以 $2^{n-2}:1$ 的方式折叠至 $\rm{BHV}_n^+$ 的 $(2n-3)!!$ 个象限，其中心点坍缩至原点，边界坍缩至无穷远点。
• 映射 $\Theta$ 诱导出一个自然的 $({\mathbb{S}}_{n-1})$-等变复合，其通过 $S^{n-2} \wedge \mathbb{S}_{n-1}^+$ 因子化，表明 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ 映射至 $(n-1)!$ 个球面的楔和。
• $\rm{BHV}_n^+$ 同伦等价于 $\mathcal{T}_n$ 的悬垂，且其一点紧化 $\rm{BHV}_n^+$ 同胚于 $\mathcal{T}_n$ 的非约悬垂。
• 在 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ 上的典范伪度量源于立方体分解与几何折叠，为树导航提供了自然度量。