Finite Range Decomposition Research Articles

Finite range decompositions of Gaussian fields with applications to level-set percolation

In a recent work [19], Muirhead has studied level-set percolation of (discrete or continuous) Gaussian fields, and has shown sharpness of the associated phase transition under the assumption that the field has a certain multiscale white noise decomposition, a variant of a finite-range decomposition. We show that a large class of Gaussian fields have such a white noise decomposition with optimal decay parameter. Examples include the discrete Gaussian free field, the discrete membrane model, and the mollified continuous Gaussian free field. This answers various questions from [19].Our construction of the white-noise decomposition is a refinement of Bauerschmidt's construction of a finite-range decomposition [3]. In the continuous setting our construction is very similar to Bauerschmidt's, while in the discrete setting several new ideas are needed, including the use of a result by Pólya and Szegő on polynomials that take positive values on the positive real line.

Finite range decomposition for Gaussian measures with improved regularity

We consider a family of gradient Gaussian vector fields on the torus (Z/LNZ)d. Adams, Kotecký, Müller and independently Bauerschmidt established the existence of a uniform finite range decomposition of the corresponding covariance operators, i.e., the covariance can be written as a sum of covariance operators supported on increasing cubes with diameter Lk. We improve this result and show that the decay behaviour of the kernels in Fourier space can be controlled. Then we show the regularity of the integration map that convolves functionals with the partial measures of the finite range decomposition. In particular the new finite range decomposition avoids the loss of regularity which arises in the renormalisation group approach to anisotropic problems in statistical mechanics.

Full extremal process, cluster law and freezing for the two-dimensional discrete Gaussian Free Field

We study the local structure of the extremal process associated with the Discrete Gaussian Free Field (DGFF) in scaled-up (square-)lattice versions of bounded open planar domains subject to mild regularity conditions on the boundary. We prove that, in the scaling limit, this process tends to a Cox process decorated by independent, correlated clusters whose distribution is completely characterized. As an application, we control the scaling limit of the discrete supercritical Liouville measure, extract a Poisson–Dirichlet statistics for the limit of the Gibbs measure associated with the DGFF and establish the “freezing phenomenon” conjectured to occur in the “glassy” phase. In addition, we prove a local limit theorem for the position and value of the absolute maximum. The proofs are based on a concentric, finite-range decomposition of the DGFF and entropic-repulsion arguments for an associated random walk. Although we naturally build on our earlier work on this problem, the methods developed here are largely independent.

On a Finite Range Decomposition of the Resolvent of a Fractional Power of the Laplacian II. The Torus

In previous papers, [M1, M2], [M3], we proved the existence as well as regularity of a finite range decomposition for the resolvent $G_{\alpha} (x-y,m^2) = ((-\Delta)^{\alpha\over 2} + m^{2})^{-1} (x-y) $, for $0<\alpha <2$ and all real $m$, in the lattice ${\bf Z}^{d}$ for dimension $d\ge 2$. In this paper, which is a continuation of the previous one, we extend those results by proving the existence as well as regularity of a finite range decomposition for the same resolvent but now on the lattice torus ${\bf Z}^{d}/L^{N+1}{\bf Z}^{d} $ for $d\ge 2$ provided $m\neq 0$ and $0<\alpha <2$. We also prove differentiability and uniform continuity properties with respect to the resolvent parameter $m^{2}$. Here $L$ is any odd positive integer and $N\ge 2$ is any positive integer.

Erratum to: On a Finite Range Decomposition of the Resolvent of a Fractional Power of the Laplacian

Erratum to: On a Finite Range Decomposition of the Resolvent of a Fractional Power of the Laplacian

On a Finite Range Decomposition of the Resolvent of a Fractional Power of the Laplacian

We prove the existence as well as regularity of a finite range decomposition for the resolvent $G_{\alpha} (x-y,m^2) = ((-\Delta)^{\alpha\over 2} + m^{2})^{-1} (x-y) $, for $0<\alpha<2$ and all real $m$, in the lattice ${\mathbf Z}^{d}$ as well as in the continuum ${\mathbf R}^{d}$ for dimension $d\ge 2$. This resolvent occurs as the covariance of the Gaussian measure underlying weakly self- avoiding walks with long range jumps (stable L\'evy walks) as well as continuous spin ferromagnets with long range interactions in the long wavelength or field theoretic approximation. The finite range decomposition should be useful for the rigorous analysis of both critical and off-critical renormalisation group trajectories. The decomposition for the special case $m=0$ was known and used earlier in the renormalisation group analysis of critical trajectories for the above models below the critical dimension $d_c =2\alpha$. This revised version makes some changes, adds new material, and also corrects some errors in the previous version. It refers to the author's published article with the same title in J Stat Phys (2016) 163: 1235-1246, as well as to an erratum to be published in J Stat Phys.

A simple method for finite range decomposition of quadratic forms and Gaussian fields

We present a simple method to decompose the Green forms corresponding to a large class of interesting symmetric Dirichlet forms into integrals over symmetric positive semi-definite and finite range (properly supported) forms that are smoother than the original Green form. This result gives rise to multiscale decompositions of the associated Gaussian free fields into sums of independent smoother Gaussian fields with spatially localized correlations. Our method makes use of the finite propagation speed of the wave equation and Chebyshev polynomials. It improves several existing results and also gives simpler proofs.

Finite range decomposition for families of gradient Gaussian measures

Let a family of gradient Gaussian vector fields on Zd be given. We show the existence of a uniform finite range decomposition of the corresponding covariance operators, that is, the covariance operator can be written as a sum of covariance operators whose kernels are supported within cubes of diameters ∼Lk. In addition we prove natural regularity for the subcovariance operators and we obtain regularity bounds as we vary within the given family of gradient Gaussian measures.

Finite range decompositions of positive-definite functions

We give sufficient conditions for a positive-definite function to admit decomposition into a sum of positive-definite functions which are compactly supported within disks of increasing diameters L n . More generally we consider positive-definite bilinear forms f → v ( f , f ) defined on C 0 ∞ . We say v has a finite range decomposition if v can be written as a sum v = ∑ G n of positive-definite bilinear forms G n such that G n ( f , g ) = 0 when the supports of the test functions f , g are separated by a distance greater or equal to L n . We prove that such decompositions exist when v is dual to a bilinear form φ → ∫ | B φ | 2 where B is a vector valued partial differential operator satisfying some regularity conditions.

Finite Range Decomposition of Gaussian Processes

Let $\D$ be the finite difference Laplacian associated to the lattice $\bZ^{d}$. For dimension $d\ge 3$, $a\ge 0$ and $L$ a sufficiently large positive dyadic integer, we prove that the integral kernel of the resolvent $G^{a}:=(a-\D)^{-1}$ can be decomposed as an infinite sum of positive semi-definite functions $ V_{n} $ of finite range, $ V_{n} (x-y) = 0$ for $|x-y|\ge O(L)^{n}$. Equivalently, the Gaussian process on the lattice with covariance $G^{a}$ admits a decomposition into independent Gaussian processes with finite range covariances. For $a=0$, $ V_{n} $ has a limiting scaling form $L^{-n(d-2)}\Gamma_{c,\ast}{\bigl (\frac{x-y}{L^{n}}\bigr)}$ as $n\to \infty$. As a corollary, such decompositions also exist for fractional powers $(-\D)^{-\alpha/2}$, $0<\alpha \leq 2$. The results of this paper give an alternative to the block spin renormalization group on the lattice.