Exchangeable hierarchies and mass-structure of weighted real trees

Rooted, weighted continuum random trees are used to describe limits of sequences of random discrete trees. Formally, they are random quadruples $(\mathcal {T},d,r,p)$, where $(\mathcal {T},d)$ is a tree-like metric space, $r\in \mathcal {T}$ is a distinguished root, and $p$ is a probability measure on this space. Intuitively, these trees have a combinatorial “underlying branching structure” implied by their topology but otherwise independent of …