基于组的模型的构造性度界
Constructive degree bounds for group-based models
摘要：
基于群体的模型出现在代数统计学中，同时研究进化过程。它们由嵌入的环面代数簇表示。从理论和应用的观点来看，人们对确定定义簇的理想感兴趣。Sturmfels和Sullivant给出了这些理想生成的程度的猜测界。我们证明了对于3-Kimura模型，对应于群G= Z2 × Z2，射影概形可以由一个4次生成的理想定义。特别是，考虑4度系统发育不变量就足以测试给定点是否属于该变种。我们还研究了G-模型，一个推广的阿贝尔群为基础的模型。对任意的G-模型，证明了存在一个常数$d$，使得对任意的树，对应的射影概形可以由度不超过d的理想定义.
英文摘要：
Group-based models arise in algebraic statistics while studying evolution processes. They are represented by embedded toric algebraic varieties. Both from the theoretical and applied point of view one is interested in determining the ideals defining the varieties. Conjectural bounds on the degree in which these ideals are generated were given by Sturmfels and Sullivant. We prove that for the 3-Kimura model, corresponding to the group G=Z2xZ2, the projective scheme can be defined by an ideal generated in degree 4. In particular, it is enough to consider degree 4 phylogenetic invariants to test if a given point belongs to the variety. We also investigate G-models, a generalization of abelian group-based models. For any G-model, we prove that there exists a constant $d$, such that for any tree, the associated projective scheme can be defined by an ideal generated in degree at most d.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
