Caterpillar trees are asymmetric, balanced trees are symmetric

Two conjectures of Allman, Long and Rhodes are proven. The ultrametric exchangeable model captures the symmetries in allele distributions of ultrametric mechanistic models of coalescence and substitution in mathematical phylogeny. The dimension of this model with respect to the species tree leaf count is shown to be greatest for caterpillar trees and least for balanced trees.