Subtree prune and regraft: a reversible real tree-valued Markov process

Steven N. Evans, Anita Winter

We use Dirichlet form methods to construct and analyze a reversible Markov process, the stationary distribution of which is the Brownian continuum random tree. This process is insp…