We construct the Dirichlet form associated with the dynamical $\Phi ^4_3$ model obtained in [23, 7] and . This Dirichlet form on cylinder functions is identiﬁed as a classical gradient bilinear form. As a consequence, this classical gradient bilinear form is closable and then by a well-known result its closure is also a quasi-regular Dirichlet form, which means that there exists another (Markov) diﬀusion process, which also admits the $\Phi ^4_3$ ﬁeld measure as an invariant (even symmetrizing) measure.
"Dirichlet form associated with the $\Phi _3^4$ model." Electron. J. Probab. 23 1 - 31, 2018. https://doi.org/10.1214/18-EJP207