On the ideals of equivariant tree models

We introduce equivariant tree models in algebraic statistics, which unify and generalise existing tree models such as the general Markov model, the strand symmetric model, and group-based models such as the Jukes–Cantor and Kimura models. We focus on the ideals of such models. We show how the ideals for general trees can be determined from the ideals for stars. A corollary of theoretical importance is that the ideal for a general tree is generated by the ideals of its flattenings at vertices. The main novelty is that our results yield generators of the full ideal rather than an ideal which only defines the model set-theoretically. J. Draisma has been supported by DIAMANT, an NWO mathematics cluster and J. Kuttler by an NSERC Discovery Grant.