University of Tasmania, Hobart, Australia.
J Math Biol. 2020 Aug;81(2):549-573. doi: 10.1007/s00285-020-01519-5. Epub 2020 Jul 24.
A matrix Lie algebra is a linear space of matrices closed under the operation [Formula: see text]. The "Lie closure" of a set of matrices is the smallest matrix Lie algebra which contains the set. In the context of Markov chain theory, if a set of rate matrices form a Lie algebra, their corresponding Markov matrices are closed under matrix multiplication; this has been found to be a useful property in phylogenetics. Inspired by previous research involving Lie closures of DNA models, it was hypothesised that finding the Lie closure of a codon model could help to solve the problem of mis-estimation of the non-synonymous/synonymous rate ratio, [Formula: see text]. We propose two different methods of finding a linear space from a model: the first is the linear closure which is the smallest linear space which contains the model, and the second is the linear version which changes multiplicative constraints in the model to additive ones. For each of these linear spaces we then find the Lie closures of them. Under both methods, it was found that closed codon models would require thousands of parameters, and that any partial solution to this problem that was of a reasonable size violated stochasticity. Investigation of toy models indicated that finding the Lie closure of matrix linear spaces which deviated only slightly from a simple model resulted in a Lie closure that was close to having the maximum number of parameters possible. Given that Lie closures are not practical, we propose further consideration of the two variants of linearly closed models.
矩阵李代数是一个在线性空间的矩阵下操作 [公式: 见正文] 关闭。 “李封闭”的一组矩阵是最小的矩阵李代数包含集。在马尔可夫链理论的背景下,如果一组速率矩阵形成一个李代数,它们对应的马尔可夫矩阵是封闭的矩阵乘法; 这已经被发现是在系统发育学中一个有用的属性。受先前涉及 DNA 模型李封闭的研究的启发,人们假设找到密码子模型的李封闭可以帮助解决误估计非同义/同义率比 [公式: 见正文] 的问题。我们提出了两种从模型中找到线性空间的不同方法:第一种是线性封闭,它是包含模型的最小线性空间,第二种是线性版本,它将模型中的乘法约束改为加法约束。对于这两种线性空间,我们都找到了它们的李封闭。在这两种方法下,发现封闭的密码子模型需要数千个参数,而且任何大小合理的这个问题的部分解决方案都会违反随机性。对玩具模型的研究表明,对于偏离简单模型的矩阵线性空间,找到李封闭会导致李封闭具有尽可能多的参数。鉴于李封闭不实际,我们建议进一步考虑线性封闭模型的两种变体。