2018/12/31 by Sergio Albeverio, Francesco C. De Vecchi, Massimiliano Gubinelli
Economics, Econometrics and Finance · Mathematics · Physics and Astronomy · #Context (archaeology) #Dimension (graph theory) #Dimensional reduction #Elliptic function #Gaussian #Geometry and complex manifolds #Invariant (physics) #Quantum field theory #Random Matrices and Applications #Stochastic processes and financial applications #Stochastic quantization #math-ph #math.MP #math.PR #msc:60H15 #msc:81Q60 #msc:82B44
paper · pdf · doi:10.1214/19-aop1404
published as Ann. Probab. Volume 48, Number 4 (2020), 1693-1741 · 51 pages, an appendix added
openalex created_date 2018/12/22 · arxiv created 2019/08/05 · openalex publication_date 2020/07/01 · arxiv updated 2020/08/04 · openalex updated_date 2026/08/05
We prove an explicit formula for the law in zero of the solution of a class of elliptic SPDE in ℝ2. This formula is the simplest instance of dimensional reduction, discovered in the physics literature by Parisi and Sourlas (Phys. Rev. Lett. 43 (1979) 744–745), which links the law of an elliptic SPDE in d+2 dimension with a Gibbs measure in d dimensions. This phenomenon is similar to the relation between a ℝd+1 dimensional parabolic SPDE and its ℝd dimensional invariant measure. As such, dimensional reduction of elliptic SPDEs can be considered a sort of elliptic stochastic quantisation procedure in the sense of Nelson (Phys. Rev. 150 (1966) 1079–1085) and Parisi and Wu (Sci. Sin. 24 (1981) 483–496). Our proof uses in a fundamental way the representation of the law of the SPDE as a supersymmetric quantum field theory. Dimensional reduction for the supersymmetric theory was already established by Klein et al. (Comm. Math. Phys. 94 (1984) 459–482). We fix a subtle gap in their proof and also complete the dimensional reduction picture by providing the link between the elliptic SPDE and the supersymmetric model. Even in our d=0 context the arguments are nontrivial and a nonsupersymmetric, elementary proof seems only to be available in the Gaussian case.