[论文解读] Markov invariants, plethysms, and phylogenetics ∗

Jeremy G. Sumner, Michael Charleston+2 more|arXiv (Cornell University)|Nov 22, 2007

Evolution and Paleontology Studies参考文献 76被引用 1

一句话总结

本文引入了马尔可夫不变量——通过表示理论推导出的群不变多项式——作为系统发育树推断的基础框架。通过利用幂级数（plethysms）和群表示理论，该研究提出了一种通用方法，可为任意数量的分类单元和状态构建不变量，表明最简单的不变量构成了对数行列式距离（Log-Det distance）的基础，并展示了其在三分类单元和四分类单元树中的实用性。

ABSTRACT

We explore model-based techniques of phylogenetic tree inference exercising Markov invariants. Markov invariants are group invariant polynomials and are distinct from what is known in the literature as phylogenetic invariants, although we establish a commonality in some special cases. We show that the simplest Markov invariant forms the foundation of the Log-Det distance measure. We take as our primary tool group representation theory, and show that it provides a general framework for analyzing Markov processes on trees. From this algebraic perspective, the inherent symmetries of these processes become apparent, and focusing on plethysms, we are able to define Markov invariants and give existence proofs. We give an explicit technique for constructing the invariants, valid for any number of character states and taxa. For phylogenetic trees with three and four leaves, we demonstrate that the corresponding Markov invariants can be fruitfully exploited in applied phylogenetic studies. ∗ This is the “long version ” that includes an extended introduction, a subsection on mixed-weight invariants, a third

研究动机与目标

• 开发一种基于马尔可夫不变量的系统发育树推断通用代数框架。
• 阐明马尔可夫不变量与经典系统发育不变量之间的区别，同时识别其在特定情况下的共性。
• 确立最简单的马尔可夫不变量构成对数行列式距离度量的基础。
• 展示马尔可夫不变量在具有三片和四片叶的系统发育树中在实际系统发育分析中的应用价值。
• 提供一种显式且通用的马尔可夫不变量构造技术，适用于任意数量的字符状态和分类单元。

提出的方法

• 以群表示理论为核心分析工具，研究系统发育树上马尔可夫过程的对称性。
• 应用幂级数分解来定义并证明在表示理论框架下马尔可夫不变量的存在性。
• 通过张量积分解和底层群作用的对称性考虑，显式构造马尔可夫不变量。
• 将对数行列式距离直接推导自最简单的马尔可夫不变量。
• 将该框架应用于三叶和四叶树的分析，展示不变量在实际推断中的应用方式。
• 提出一种适用于任意字符状态和分类单元数量的方法，推广了先前的研究方法。

实验结果

研究问题

• RQ1 马尔可夫不变量与现有系统发育不变量有何关联？在何种情况下它们会重合？
• RQ2 群表示理论能否为理解系统发育树上马尔可夫过程的对称性提供统一框架？
• RQ3 对数行列式距离背后的代数结构是什么？它如何从马尔可夫不变量中自然涌现？
• RQ4 如何为任意数量的分类单元和字符状态系统性地构造马尔可夫不变量？
• RQ5 马尔可夫不变量在小型系统发育树（如三叶或四叶树）中能在多大程度上提升系统发育推断的性能？

主要发现

• 马尔可夫不变量是与经典系统发育不变量不同的群不变多项式，但在特定情况下二者会重合。
• 最简单的马尔可夫不变量在数学上等价于对数行列式距离度量的基础。
• 群表示理论为分析树上马尔可夫过程提供了一般且系统化的框架。
• 幂级数分解在定义和证明马尔可夫不变量的存在性方面起着关键作用。
• 提出了一种显式且通用的马尔可夫不变量构造方法，适用于任意数量的分类单元和字符状态。
• 对于三分类单元和四分类单元的树，研究证明马尔可夫不变量在实际系统发育研究中具有应用价值。