A Dirichlet form $\mathcal{E}$ is a densely defined bilinear form on a Hilbert space of the form $L^2(X,\mu)$, subject to some additional properties, which make sure that $\mathcal{E}$ can be considered as a natural ...