Abstract
In this article we study the tail probability of the mass of Gaussian multiplicative chaos. With the novel use of a Tauberian argument and Goldie’s implicit renewal theorem, we provide a unified approach to general log-correlated Gaussian fields in arbitrary dimension and derive precise first order asymptotics of the tail probability, resolving a conjecture of Rhodes and Vargas. The leading order is described by a universal constant that captures the generic property of Gaussian multiplicative chaos, and may be seen as the analogue of the Liouville unit volume reflection coefficients in higher dimensions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Gaussian multiplicative chaos (GMC) was first constructed by Kahane [22] in an attempt to provide a mathematical framework for the Kolmogorov–Obukhov–Mandelbrot model of energy dissipation in turbulence. The theory of (subcritical) GMC consists of defining and studying, for each \(\gamma \in (0, \sqrt{2d})\), the random measure
where \(X(\cdot )\) is a (centred) log-correlated Gaussian field on some domain \(D \subset \mathbb {R}^d\). The expression (1) is formal because \(X(\cdot )\) is not defined pointwise; instead it is only a random generalised function. It is now, however, well understood that \(M_\gamma \) may be defined via a limiting procedure of the form
where \(X_{\epsilon }(\cdot )\) is some suitable sequence of smooth Gaussian fields that converges to \(X(\cdot )\) as \(\epsilon \rightarrow 0\). We refer the readers to e.g. [6] for more details about the construction.
In recent years the theory of GMC has attracted a lot of attention in the mathematics and physics communities due to its wide array of applications – it plays a central role in random planar geometry [15, 16] and the mathematical formulation of Liouville conformal field theory (LCFT) [13], appears as a universal limit in other areas such as random matrix theory [7, 24, 25, 32], and is even used as a model for Riemann zeta function in probabilistic number theory [31] or stochastic volatility in quantitative finance [14].
In spite of the importance of the theory, not much is known about the distributional properties of GMC. For instance, given a bounded open set \(A \subset D\), one may ask what the exact distribution of \(M_{\gamma }(A)\) is, but nothing is known except in very specific cases where specialised LCFT tools are applicable [23, 26, 27]. In the general setting, our knowledge is still limited to the criterion for finite moments (Lemma 5), and weak properties such as the existence of probability density function.Footnote 1
1.1 Main results
Define \(M_{\gamma , g}(dx) = g(x) M_{\gamma }(dx)\) where \(g(x) \ge 0\) is continuous on \({\overline{D}}\). The goal of this paper is to derive the leading order asymptotics for
for non-trivialFootnote 2 bounded open sets \(A \subset D\) as \(t \rightarrow \infty \). This may be seen as a first step towards the goal of understanding the full distribution of \(M_{\gamma , g}(A)\), and will also highlight a new universality phenomenon of GMC. It is a standard fact in the literature that
and this suggests the possibility that the right tail (2) may satisfy a power law with exponent \(2d/\gamma ^2\). Our main result confirms this behaviour.
Theorem 1
Let \(\gamma \in (0, \sqrt{2d})\), \(Q = \frac{\gamma }{2} + \frac{d}{\gamma }\) and \(M_{\gamma , g}\) be the subcritical GMC associated with the Gaussian field \(X(\cdot )\) with covariance
where f is a continuous function on \({\overline{D}} \times {\overline{D}}\). Suppose f can be decomposed into
where \(f_+, f_-\) are covariance kernels for some continuous Gaussian fields on \({\overline{D}}\). Then there exists some constant \({\overline{C}}_{\gamma , d} > 0\) independent of f and g such that for any bounded open set \(A \subset D\),
Remark 1
The continuity assumption on g may be relaxed. As suggested by one of the anonymous referees, it would be interesting to consider more general densities of the form
where \({\overline{g}}(x) \ge 0\) is continuous on \({{\overline{D}}}\), \(x_1, \dots , x_n \in {\overline{D}}\) are n distinct points and \(\alpha _i \in (0, \frac{\gamma }{2})\) for \(i=1, \dots , n\), as they are related to the study of boundary reflection coefficients in Liouville conformal field theory. The asymptotics (5) in Theorem 1 remains true under this extended setting, and the approach in this article will still work up to small changes which will be explained in Remark 6. Note that the assumption on the strength of singularity is crucial: if \({\overline{g}}\) is bounded away from zero and one of the \(\alpha _i\)’s lies in \((\frac{\gamma }{2}, Q)\), then the tail asymptotics for \(M_{\gamma , g}(D)\) becomes entirely different (see Remark 5 and Proposition 1) as the behaviour is dominated by the strongest singularity. The marginal case where \(\max _i \alpha _i = \frac{\gamma }{2}\), however, is not covered in either scenario and is left for future investigation.
While the decomposition condition (4) may look intractable at first glance, it is implied by a more convenient criterion regarding higher regularity of f. This is satisfied, for instance, by the Liouville quantum gravity measure in dimension 2, i.e.
where \(M_{\gamma }(dx)\) is the GMC measure associated with the Gaussian free field with Dirichlet boundary conditions on \(\partial D\), in which case \(f(x, x) = R(x; D)\) is the conformal radius of x in D. Such an application is not covered by any previously known results.
Corollary 1
Assume f is in the local Sobolev space \(H_{\mathrm {loc}}^{s}(D \times D)\) (see Sect. 2.2 for a definition) for some \(s > d\) instead of the decomposition condition (4) on f. Then the tail asymptotics (5) holds for any bounded open sets \(A \subset D\) such that \({\overline{A}} \subset D\).
Proof
Since we can always find another open set \(A'\) such that \({\overline{A}} \subset A' \subset \overline{A'} \subset D\), the decomposition condition on f, when restricted to \({\overline{A}}\), holds by [21, Lemma 3.2]Footnote 3 and Theorem 1 applies immediately. \(\square \)
The constant \({\overline{C}}_{\gamma , d}\) that appears in the tail asymptotics (5) has various probabilistic representations which are summarised in Corollary 5, and we shall call it the reflection coefficient of Gaussian multiplicative chaosFootnote 4 as it may be seen as the d-dimensional analogue of the reflection coefficient in Liouville conformal field theory (LCFT), see Appendix A. Based on existing exact integrability results, we can even provide an explicit expression for \({\overline{C}}_{\gamma , d}\) when \(d=1\) and \(d=2\).
Corollary 2
(cf. [28, Sect. 4]) The constant \({\overline{C}}_{\gamma , d}\) in (5) is given by
Proof
The \(d=2\) case follows from [28] which proves (5) when \(f \equiv 0\) and \(g \equiv 1\). By Theorem 1, our constant \({\overline{C}}_{\gamma , d}\) is independent of f and therefore coincides with the Liouville unit volume reflection coefficient evaluated at \(\gamma \), the value of which is given by the formula in (7).
For \(d=1\), we use the Fyodorov-Bouchaud formula [19] which was verified in [27]. Consider a log-correlated Gaussian field on \((0, 2\pi )\) with covariance
If we write \(M_{\gamma }(dx)\) as the GMC measure associated to (8) on \(D = (0, 2\pi )\), then \(M_{\gamma }((0, 2\pi ))\) corresponds to the random variable \(2\pi Y_{\sqrt{2}\gamma }\) in [27], which is known to distribute as
and hence satisfies
We want to compare the above asymptotics to Theorem 1, but the covariance (8) considered here does not exactly fall into our framework due to the periodicity of the complex exponential: we have
which implies that the function f(x, y) in (3) is not continuous on \({\overline{D}} \times {\overline{D}}\). To circumvent the issue, we fix \(\delta \in (0,1)\) and \(\epsilon \in (0, 1)\) and consider the bounds
Now the field (8) restricted to each of the interval \((0, 2\pi - \epsilon ), (2\pi - \epsilon )\) falls into our framework (3) with \(f(x, x) \equiv 0\) because of (9). Then by Theorem 1
Letting \(\epsilon \rightarrow 0^+\) and then \(\delta \rightarrow 0^+\), the bounds (11) suggest that
By equating the above coefficient to that in (10). we arrive at the formula for \({\overline{C}}_{\gamma , 1}\) in (7) and this concludes the proof. \(\square \)
1.2 Previous work and our approach
Despite being a very fundamental question, the tail probability of GMC has not been investigated very much in the literature. To our knowledge, the first result in this direction is established by Barral and Jin [2] for the GMC associated with the exact scale invariant kernel \(\mathbb {E}[X(x) X(y)] = -\log |x-y|\) on the unit interval [0, 1]:
where the constant \(C_* > 0\) is given by
The issue about their approach is that they rely heavily on the exact scale invariance of the kernel and the symmetry of the unit interval in order to derive a stochastic fixed point equation, and it is not clear how their method may be generalised.
A recent paper [28] by Rhodes and Vargas, who consider the whole-plane Gaussian free field (GFF) restricted to the unit disc (i.e. \(\mathbb {E}[X(x) X(y)] = -\log |x-y|\) on \(D = \{x \in \mathbb {R}^2: |x| < 1\}\)), offers a new perspective for the tail problem. They introduce the new method of localisation trick
which effectively pins down the \(\gamma \)-thick points of \(X(\cdot )\), allowing one to express the dependence of the leading tail coefficient on the test set A in a very explicit way, and in the end they are able to obtain (5) when f only consists of the positive definite part, i.e. \(f_-(x, y) \equiv 0\), in dimension \(d \le 2\).
Our strategy is partly inspired by some ideas from the aforementioned works, with several new input and various fundamental changes in order to treat the much more general setting that is not previously accessible. Let us defer the details of our proof to Sect. 3 and just highlight the difference between our approach and earlier attempts here.
-
(i)
The use of Tauberian theorem: we translate the problem of the asymptotics for \(\mathbb {P}(M_{\gamma , g}(A)>t)\) as \(t \rightarrow \infty \) to the equivalent problem of the asymptotics of
$$\begin{aligned} \mathbb {E}[e^{-\lambda / M_{\gamma , g}(A)}] = \int _A\mathbb {E}\left[ \frac{1}{M_{\gamma , g}(v, A)} e^{-\lambda /M_{\gamma , g}(v, A)}\right] g(v) dv \end{aligned}$$as \(\lambda \rightarrow \infty \) (here the equality comes from a similar localisation trick). Unlike the approach in [28], the expectation we deal with does not involve any indicator functions, which combined with our dominated convergence-based method, makes our analysis (such as the “removal of non-singularity” step) more versatile.
-
(ii)
Gaussian interpolation: thanks to the absence of any indicator functions in
$$\begin{aligned} \mathbb {E}\left[ \frac{1}{M_{\gamma , g}(v, A)} e^{-\lambda /M_{\gamma , g}(v, A)}\right] , \end{aligned}$$(13)there is hope to reduce our problem to the case where the underlying kernel is exact (i.e. \(\mathbb {E}[X(x) X(y)] = -\log |x-y|\)). Unlike many estimates such as moment bounds in GMC, the expectation (13) we are studying here concerns a function \(F: x \mapsto x^{-1} e^{-\lambda x}\) which is not convex or concave. The lack of a convenient convex/concave modification of F without affecting the behaviour of the expectation as \(\lambda \rightarrow \infty \) means that the popular convexity inequality (28) is not applicable, and Kahane’s full interpolation formula (27) plays an indispensable role in our analysis.
-
(iii)
The analysis of the exact kernel: without the localisation trick, [2] has to proceed by generalising Goldie’s implicit renewal theorem to a form that is applicable to \(M_{\gamma }([0,1])\), and they also need to show that the constant \(C_*\) in (12) is finite, the proof of which is not trivial. In contrast, we only need the precise asymptotics for the tail probability
$$\begin{aligned} \mathbb {P}\left( \int _{|x| \le r} |x|^{-\gamma ^2}M_{\gamma }(dx) > t \right) \end{aligned}$$(14)which follows from Goldie’s original result and a simple coupling argument.
The novel elements in our proof not only allow us to bypass many tedious computations in existing approaches, but also extend the tail result (5) in three directions, namely
-
general open test sets A: unlike [28] which requires a \(C^1\)-boundary due to intricacies in dealing with the indicator function, our result holds for any open subsets A without further regularity assumption.
-
general kernels (3): the continuity argument in [28] may treat the case where f(x, y) is positive definite in \(d=2\) but completely breaks down as soon as the negative definite part \(f_-(x, y)\) is non-trivial, whereas we circumvent this issue entirely by an extrapolation principle;
-
arbitrary dimension d: we do not make use of any special decomposition of the log-kernel \(-\log |x-y|\), unlike [2] (which requires the special cone construction in \(d=1\)) or [28] (which relies heavily on a radial/lateral decomposition of GFF in \(d=2\)), and our method allows a unified approach to all dimensions.
Theorem 1 shares the same spirit of the result in [28] in the sense that we have successfully separated the dependence on the test set A and the functions f, g from the rest of the tail coefficient, and the constant \({\overline{C}}_{\gamma , d}\) captures any remaining dependence on d and \(\gamma \) and generic feature of GMC. The fact that we are unable to provide an explicit formula for \({\overline{C}}_{\gamma , d}\) for \(d \ge 3\) should not be seen as a drawback of our approach – explicit expressions are known for \(d=1\) and \(d=2\) only because the constant has an LCFT interpretation, and their formulae are found (independently of the study of tail probability) by LCFT tools which do not seem to have natural generalisation to higher dimension at the moment.
1.3 On the relevance of the kernel decomposition
Based on the continuity assumption of f, it is always possible to decompose f into the difference of two positive definite functions: indeed
is a symmetric Hilbert-Schmidt operator that maps \(L^2(D)\) to \(L^2(D)\) and by the standard spectral theory of compact self-adjoint operators there exist \(\lambda _n \in \mathbb {R}\) and \(\phi _n \in L^2(D)\) such that \((T_f\phi _n)(x) = \lambda _n \phi _n(x)\), \(|\lambda _n| \xrightarrow {n \rightarrow \infty }{0}\) and
in \(L^2(D)\).Therefore, the relevant question is to determine the least regularity on \(f_\pm \) for the power-law profile (5) to hold. Our decomposition condition (4) requires \(f_\pm \) to be kernels of some continuous Gaussian fields. As it turns out, we only use this technical assumption to obtain the following estimate (see for instance Corollary 6(ii)):
-
There exists some \(r > 0\) and \(C > 0\) such that for all \(v \in D\) and \(s \in [0,1]\)
$$\begin{aligned} \mathbb {P}\left( \int _{B(v, r) \cap D} \frac{M_{\gamma }^s(dx)}{|x-v|^{\gamma ^2}}> t\right) \le \frac{C}{t^{\frac{2d}{\gamma ^2}-1}} \qquad \forall t > 0 \end{aligned}$$(15)where \(M_{\gamma }^s(dx) = e^{\gamma Z_s(x) - \frac{\gamma ^2}{2} \mathbb {E}\left[ Z_s(x)^2\right] }dx\) is the Gaussian multiplicative chaos associated with the log-correlated field \(Z_s\) with covariance \(\mathbb {E}[Z_s(x) Z_s(y)] = -\log |x-y| + s f(x, y)\).
Inspecting the proof in Sect. 3, this is the only assumption (other than the continuity of f) we need in order to apply dominated convergence in several places (such as (55)) which ultimately yields the desired power law. In other words our decomposition condition (4) may be relaxed so long as (15) is satisfied, e.g. we may assume instead that
-
The Gaussian fields \(G_{\pm }\) associated with the kernels \(f_\pm \) satisfy
$$\begin{aligned} \mathbb {P}\left( \sup _{x \in D} |G_{\pm }(x)| < \infty \right) > 0 \end{aligned}$$(16)(see Sect. 2.1 for various implications).
All the proofs in Sect. 3 will go through without any modification to cover this slightly more general setting (which obviously includes the case where \(G_\pm \) are continuous on \({\overline{D}}\)). We choose not to phrase Theorem 1 this way because (16) is less tractable and not necessarily much more general. Indeed when \(f_\pm (x, y) = f_\pm (x-y)\) are continuous translation-invariant kernels, a classical result by Belyaev [5] states that \(G_\pm \) are either continuous or unbounded on any non-empty open sets,Footnote 5 and so (16) is equivalent to the original condition (4) in the stationary setting. We also think that the decomposition condition (4) is a very natural assumption because for any \(s \ge 0\), \(\epsilon > 0\) and symmetric function \(f(\cdot , \cdot ) \in H^s(\mathbb {R}^{2d})\), one can always find some symmetric function \({\widetilde{f}}(\cdot , \cdot ) \in C_c^\infty (\mathbb {R}^{2d})\), say by truncating suitable basis expansion (see also [21, Lemma 2.2]), such that \(||f - {\widetilde{f}}||_{H^s(\mathbb {R}^{2d})} < \epsilon \) and that the operator \(T_{{\widetilde{f}}}\) is of finite rank, i.e. the decomposition condition (4) is satisfied by a “dense collection” of covariance kernels of the form (3).
To understand the importance of continuity at the level of the fields \(G_\pm \), let us consider the simpler situation where \(f = f_+\). We have
on a ball of small radius \(r > 0\) centred around \(v \in A\). This says that \(X(\cdot )\) is the sum of an exact scale invariant field Y (with covariance \(\mathbb {E}[Y(x) Y(y)] = K(x, y) = -\log |x-y|\)) and an independent field \(G_+\) which locally behaves like an independent random variable \(N_v \sim {\mathcal N }(0, f(v, v))\), and this leads to
(see Corollary 6 and Remark 5). This allows us to interpret
in the following way: if \(M_{\gamma , g}(A)\) is extremely large, then most of its mass comes from a small neighbourhood \(B(v, r) \subset A\) of some \(\gamma \)-thick point \(v \in A\) of \(X(\cdot )\), and this point v is more likely to come from regions of higher density with respect to g and/or of higher values of f, i.e. where \(G_+\) has higher variance near v.
When \(G_+\) is not continuous, the localisation intuition is not valid anymore and our method breaks down because (16) is possibly false by Belyaev’s dichotomy mentioned earlier. It may happen that (15) is still valid, in which case the power-law profile will still hold, but it is unclear how to proceed with a Gaussian field \(G_+\) that is only guaranteed to have a separable and measurable version but nothing else. Nevertheless, such issue might potentially be circumvented by some approximation argument in the spirit of Lusin’s theorem, and we conjecture that the power law (5) remains true without the generalised decomposition condition (16).
1.4 Critical GMCs and extremal processes: heuristics
Let us abuse the notation and denote by \(M_{\sqrt{2d}}\) the critical GMC (via Seneta–Heyde renormalisationFootnote 6)
and similarly \(M_{\sqrt{2d}, g}(dx) = g(x)M_{\sqrt{2d}}(dx)\). While a similar criterion for the existence of moments [17]
has been known for critical GMCs associated with general fields, previous attempts to understand the tail probability \(\mathbb {P}(M_{\sqrt{2d}, g}(A) > t)\) are again restricted to exact kernels so that the derivation via stochastic fixed point equation may be applied [3]. We believe that the tail probability of critical GMCs, in general, satisfies the asymptotics
and we provide a heuristic proof based on Theorem 1 here.
Recalling the conjectureFootnote 7 that
we should expect that
When \(d=2\) and \(\gamma \in (0, 2)\), the formula from (7) says that
Using the fact that \(\varGamma (x) = x^{-1} \varGamma (1+x) \overset{x \rightarrow 0}{\sim }x^{-1}\), one can easily evaluate \(\lim _{\gamma \rightarrow 2^-} {\overline{C}}_{\gamma , 2} = 1\), which this is consistent with (18).
One can verify that \({\overline{C}}_{\gamma , d} \overset{\gamma \rightarrow \sqrt{2d}^-}{\rightarrow } 1\) also holds for \(d=1\) using the corresponding formula in (7). While the constant \({\overline{C}}_{\gamma , d}\) is not explicitly known in higher dimension \(d \ge 3\), the calculations here suggest the possibility of a dimension-independent limit
and hence the fully explicit asymptotics (18) in all dimensions.
Unfortunately it seems impossible to justify the interchanging of the limits \(\gamma \rightarrow \sqrt{2d}^-\) and \(t \rightarrow \infty \) to turn the above argument into a rigorous proof. The actual analysis for critical GMCs will be quite different from the proof of Theorem 1 here despite sharing similar philosophy. Indeed, various techniques in the current dominated convergence-based approach become inapplicable in the critical regime, whereas the localisation trick requires a very different treatment and also relies on new ingredients such as fusion estimates [4, 12]. We shall pursue the critical result in a separate work [33].
Connection to discrete Gaussian free field The tail probability of critical chaos is not only interesting in its own right but is also closely related to the study of extrema of log-correlated Gaussian fields, which has been an active area of research in the last two decades.
For suitable bounded domains \(D \subset \mathbb {R}^2\), consider the discrete Gaussian free field (DGFF) \(h_N(\cdot )\) on \(V_N := D \cap \frac{1}{N} \mathbb {Z}^2\). This is a Gaussian process indexed by the finite set \(V_N\) with covariance \(\mathbb {E}[h_N(x) h_N(y)]\) proportional to the discrete Green’s function, i.e. the number of visits to y in expectation of a simple random walk on the graph induced by \(V_N\), starting from x and before leaving \(V_N\). Under the normalisation of
it is known [11] that \(\max _{x \in V_N} h_N(x)\) grows like \(m_N = 2 \log N - \frac{3}{4} \log \log N\) as \(N \rightarrow \infty \). Biskup and Louidor [8,9,10] then considered the extremal process of the DGFF, i.e. (for any choice of \(N^{-1} \ll r_N \ll 1\)) the scaling limit of
as \(N \rightarrow \infty \), and they showed that
for some constant \(c > 0\) and random measure \(\mu \) that was conjectured to be the critical Liouville quantum gravity (LQG) measure \(\mu _{\mathrm {LQG}}\), i.e. \(\mu _{\mathrm {LQG}}(dx) = R(x;D)^2 M_{\mathrm {GFF}}(dx)\) where \(M_{\mathrm {GFF}}(dx)\) is the critical GMC associated to the continuum Gaussian free field on D with Dirichlet boundary condition and R(x; D) is the conformal radius, up to a deterministic factor.
The conjecture was finally resolved in the final version of [8], and a very crucial ingredient in their argument was to check that the estimate
is indeed satisfied by the critical LQG measure. The Laplace-type estimate (19), which is among the axioms that characterise the measure \(\mu \) appearing in the limiting Poisson point process ([8, Theorem 2.8]), could have followed immediately from the asymptotics for the tail probability \(\mathbb {P}\left( \mu _{\mathrm {LQG}}(A) > t\right) \) as \(t \rightarrow \infty \), had the latter been available.
1.5 Outline of the paper
The remainder of the article is organised as follows.
In Sect. 2 we compile a list of results that will be used in the proof of Theorem 1. This includes a collection of facts regarding separable Gaussian processes, log-correlated Gaussian fields and GMCs, Karamata’s Tauberian theorem and auxiliary asymptotics, and random recursive equations.
In Sect. 3 we present the proof of Theorem 1 which is divided into two parts. After sketching the idea of the localisation trick, we first establish the tail asymptotics for GMCs associated with exact kernels. We then apply Kahane’s interpolation and extend the result to general kernels (3).
We conclude the article with Appendix A where we define the reflection coefficient \({\overline{C}}_{\gamma , d}(\alpha )\) of Gaussian multiplicative chaos and prove that it is equivalent to the Liouville reflection coefficients in \(d=2\).
2 Preliminaries
2.1 Basic facts of Gaussian processes
We collect a few standard results regarding Gaussian processes in the following theorem.
Theorem 2
Let \((G_t)_{t \in {\mathcal T}}\) be a separable centred Gaussian process such that
Then the following statements are true.
-
Zero-one law: \(\mathbb {P}\left( \sup _{t \in {\mathcal T}} |G_t| < \infty \right) = 1\).
-
Finite moments: \(\mathbb {E}\left[ \sup _{t \in {\mathcal T}} |G_t| \right] < \infty \) and \(\sigma ^2 = \sigma ^2(G) = \sup _{t \in {\mathcal T}} \mathbb {E}\left[ G_t^2\right] < \infty \).
-
Concentration: there exists some \(c > 0\) such that for any \(u \ge 0\),
$$\begin{aligned} \mathbb {P}\left( \left| \sup _{t \in {\mathcal T}} |G_t| - \mathbb {E}\left[ \sup _{t \in {\mathcal T}} |G_t|\right] \right| > u\right) \le 2 e^{-c\frac{u^2}{\sigma ^2}}. \end{aligned}$$(20)
The lemma below is an easy consequence of Theorem 2.
Lemma 1
Let \(G(\cdot )\) be a continuous Gaussian field on some compact domain \(K \subset \mathbb {R}^d\), then the following are true.
-
(i)
There exists some \(c > 0\) such that
$$\begin{aligned} \mathbb {P}\left( \sup _{x \in K} |G(x)| > t \right) \le \frac{1}{c} e^{-c t^2}, \qquad \forall t \ge 0. \end{aligned}$$(21) -
(ii)
Let \(x \in \mathrm {int}(K)\). For any monotone functions \(\varPsi : \mathbb {R}\rightarrow \mathbb {R}\) with at most exponential growth at infinity,
$$\begin{aligned} \lim _{r \rightarrow 0^+} \mathbb {E}\left[ \varPsi \left( \sup _{y \in B(x, r)} G(y)\right) \right] = \lim _{r \rightarrow 0^+} \mathbb {E}\left[ \varPsi \left( \inf _{y \in B(x, r)} G(y)\right) \right] = \mathbb {E}\left[ \varPsi \left( G(x)\right) \right] \end{aligned}$$(22)
Proof
Since \(G(\cdot )\) is continuous on K, it is separable and satisfies \(\sup _{x \in K} |G(x)| < \infty \) almost surely. By Theorem 2 we have \(\mathbb {E}\left[ \sup _{x \in K} |G(x)|\right] < \infty \) and \(\sigma ^2(G) < \infty \). The tail in (i) can thus be obtained from the concentration inequality (20).
For (ii), note that by monotonicity we can split \(\varPsi \) into positive and negative parts \(\varPsi = \varPsi _+ - \varPsi _-\), such that \(\varPsi _{\pm }\) are monotone functions with at most exponential growth at infinity. Since we can deal with \(\varPsi _+\) and \(\varPsi _-\) separately, we may as well assume without loss of generality that \(\varPsi \) is non-negative. Now take \(r_0 > 0\) such that \(B(x, r_0) \in K\), and consider the case where \(\varPsi \) is non-decreasing. By (21) and the assumption on the growth of \(\varPsi \) at infinity, we have
But then for any \(r \in (0, r_0)\),
and (22) follows from the continuity of G and dominated convergence. The case where \(\varPsi \) is non-increasing is similar. \(\square \)
2.2 Decomposition of Gaussian fields
We mention a result concerning the decomposition of symmetric functions from the very recent paper [21]. Let f(x, y) be a symmetric function on \(D \times D\) for some domain \(D \subset \mathbb {R}^d\). We say f is in the local Sobolev space \(H_{\mathrm {loc}}^s(D \times D)\) of index \(s > 0\) if \(\kappa f\) is in \(H^s(D \times D)\) for any \(\kappa \in C_c^\infty (D \times D)\), i.e.
where \(\widehat{(\kappa f)}\) is the Fourier transform of \(\kappa f\) (see more details in [21, Sect. 2]). Then
Lemma 2
(cf. [21, Lemma 3.2]) If \(f \in H_{\mathrm {loc}}^s(D \times D)\) for some \(s > d\), then there exist two centred, Hölder-continuous Gaussian processes \(G_\pm \) on \(\mathbb {R}^d\) such that
for any bounded open set \(D'\) such that \(\overline{D'} \subset D.\)
This decomposition result has various important implications, one of which is the positive-definiteness of the logarithmic kernel. The following result may be seen as a trivial special case of [21, Theorem B] and has been known since [29].
Lemma 3
For each \(L \in \mathbb {R}\), there exists \(r_d(L) > 0\) such that the kernel
is positive definite on \(B(0, r_d(L)) \subset \mathbb {R}^d\). In particular, for any \(R > 0\) there exists some \(L > 0\) such that \(K_L\) is positive definite on B(0, R).
For the sake of convenience, we shall from now on call (24) the L-exact kernel, and when \(L = 0\) we simply call \(K_0(\cdot , \cdot )\) the exact kernel and write \(r_d = r_d(0)\). The exact kernel will play a pivotal role as the reference point from which we extrapolate our tail result to general kernels in the subcritical regime.
2.3 Gaussian multiplicative chaos
Given a log-correlated Gaussian field (3), there are various equivalent constructions of the GMC measure \(M_{\gamma }\). In the subcritical case \(\gamma \in (0, \sqrt{2d})\), one approach is the regularisation procedure, which is first suggested in [30] and then generalised/simplified in [6]. The idea is to pick any suitable mollifier \(\theta (\cdot )\) and define
where \(X_{\epsilon }(\cdot ) = X *\theta _{\epsilon }(\cdot )\) is a continuous Gaussian field on D. Then
Theorem 3
For \(\gamma \in (0, \sqrt{2d})\), the sequence of measures \(M_{\gamma , \epsilon }\) converges in probability to some measure \(M_{\gamma }\) in the weak\(^*\) topology as \(\epsilon \rightarrow 0^+\). The limit \(M_{\gamma }\) is independent of the choice of the mollification \(\theta \).
We collect a few standard results in the literature of GMC. The first is the celebrated interpolation principle by Kahane.
Lemma 4
[22] Let \(\rho \) be a Radon measure on D, \(X(\cdot )\) and \(Y(\cdot )\) be two continuous centred Gaussian fields, and \(F: \mathbb {R}_+ \rightarrow \mathbb {R}\) be some smooth function with at most polynomial growth at infinity. For \(t \in [0,1]\), define \(Z_t(x) = \sqrt{t}X(x) + \sqrt{1-t}Y(x)\) and
Then the derivative of \(\varphi \) is given by
In particular, if
then for any convex \(F: \mathbb {R}_+ \rightarrow \mathbb {R}\)
and the inequality is reversed if F is concave instead.
While Lemma 4 is stated for continuous fields, it may be extended to log-correlated fields if we first apply it to mollified fields \(X_{\epsilon }\) and \(Y_{\epsilon }\) and take the limit \(\epsilon \rightarrow 0^+\). Such argument will work immediately for comparison principles (28) and we shall make no further remarks on that. For the interpolation principle (27) we only need the following weaker statement which may be extended to log-correlated fields in the same way.
Corollary 3
Under the same assumptions and notations in Lemma 4, if there exists some \(C>0\) such that
then
and consequently
The next result is a generalised criterion for the existence of moments of GMC.
Lemma 5
Let \(\gamma \in (0, \sqrt{2d})\), \(Q = \frac{\gamma }{2} + \frac{d}{\gamma }\), \(\alpha < Q\) and \(B(0, r) \subset D\). Then
if \(s < \frac{2d}{\gamma ^2} \wedge \frac{2}{\gamma }(Q - \alpha )\). In particular
Remark 2
The bound on (29) is uniform among the class of fields (3) with \(\sup _{x, y \in D} |f(x, y)| \le C\) for some \(C > 0\) by Gaussian comparison (Lemma 4).
2.4 Tauberian theorem and related auxiliary results
Let us record the classical Tauberian theorem of Karamata.
Theorem 4
[18, Theorem XIII.5.3] Let \(f(d\cdot )\) be a non-negative measure on \(\mathbb {R}_+\), \(F(t):= \int _0^t f(ds)\) and suppose
exists for \(\lambda > 0\). If L is slowly varying at the originFootnote 8 and \(\rho \in [0, \infty )\), then
Our use of Theorem 4 is summarised in the following corollary.
Corollary 4
Let U be a non-negative random variable, \(C>0\) and \(p > 0\). Then
Proof
Let \(V = U^{-1}\). In the notation of Theorem 4, we choose \(f(ds) = \mathbb {P}(V \in ds)\), \(L \equiv C \varGamma (1+p)\) and \(\epsilon = t^{-1}\) such that \({\widetilde{F}}(\lambda ) = \mathbb {E}\left[ e^{-\lambda / U}\right] \) and \(F(\epsilon ) = \mathbb {P}(U > t)\), and our claim is now immediate. \(\square \)
To save ourselves from repeated calculations, we shall collect a few basic estimates below. The first one concerns the Laplace transform estimate of a random variable with power-law tail.
Lemma 6
If U is a non-negative random variable such that
for some \(C > 0\) and \(q > 0\), then for any \(p > 0\)
If \(\mathbb {P}(U > t) \le C t^{-q}\) for all \(t > 0\) instead, then there exists some \(C' > 0\) such that
Proof
For any \(t_0 > 0\), it is not difficult to see that there exists \(c_0 > 0\) such that
For any \(\epsilon > 0\), choose \(t_0 > 0\) such that for all \(t > t_0\) we have
Using Fubini, we have
Note that for any \(m > 0\) we have
and therefore
Similarly we have
This means that
Since \(\epsilon > 0\) is arbitrary, we let \(\epsilon \rightarrow 0^+\) and obtain (32). The claim (33) is similar. \(\square \)
We collect another Laplace transform estimate, the proof of which is similar to that of Lemma 6 and is omitted.
Lemma 7
If U is a non-negative random variable such that
for some \(C > 0\) and \(q > 0\), then
If \(\mathbb {P}(U > t) \le C t^{-q}\) for all t sufficiently large instead, then (34) may be replaced by the statement that the limit superior is upper bounded by Cq.
We also need the following elementary result, the proof of which is again skipped.
Lemma 8
Let U, V be two non-negative random variables. Suppose there exists some \(C > 0\) and \(q > 0\) such that
Then the tail behaviour of UV is given by
Remark 3
The converse of Lemma 8 is false: in general if we are given only conditions (ii) and (iii), we can only show that there exists some \(C' > 0\) such that
which follows immediately from \(\mathbb {P}(UV> t) \ge \mathbb {P}(U> t/a ) \mathbb {P}(V > a)\) for any \(a > 0\) such that \(\mathbb {P}(V>a) \ne 0\).
2.5 Random recursive equation
Here we collect Goldie’s implicit renewal theorem [20] from the literature of random distributional equations.
Theorem 5
Let M and R be two independent non-negative random variables. Suppose there exists some \(q > 0\) such that
-
(i)
\(\mathbb {E}[M^q] = 1\).
-
(ii)
\(\mathbb {E}[M^q \log M] < \infty \).
-
(iii)
The conditional law of \(\log M\) given \(M \ne 0\) is non-arithmetic.Footnote 9
-
(iv)
\(\int _0^\infty |\mathbb {P}(R> t) - \mathbb {P}(MR > t)| t^{q-1} dt < \infty \).
Then \(\mathbb {E}[M^q \log M] \in (0, \infty )\) and as \(t \rightarrow \infty \),
where the constant \(C > 0\) is given by
Theorem 5 will be used alongside the following coupling lemma.
Lemma 9
Let U, V be two non-negative random variables and \(q > 0\). Then
Moreover, for any coupling of (U, V) such that \(\mathbb {E}|U^q - V^q| < \infty \),
Proof
Suppose U, V are bounded by some constant \(M > 0\). The inequality (36) is then a simple consequence of
combined with the fact that
The equality (37) is trivial because \(\mathbb {E}[U^q], \mathbb {E}[V^q]\) are all finite.
For U, V that are not necessarily bounded but \(\mathbb {E}|U^q - V^q| < \infty \) (otherwise (36) is trivial), we introduce a cutoff \(M > 0\) and write \(U_M = \min (U, M), V_M = \min (V, M)\). Then the previous discussion implies that
by dominated convergence since both
are bounded by \(|U^q - V^q|\). We send \(M \rightarrow \infty \) on the LHS of the above inequality and obtain (36) by monotone convergence. The equality (37) may be proved by a similar cutoff argument. \(\square \)
3 Proof of Theorem 1
This section is devoted to the proof of the tail asymptotics of subcritical GMC measures. As advertised earlier, our proof of Theorem 1 consists of two parts.
-
1.
Tail asymptotics of reference measure (Sect. 3.1): we derive the leading order term of \(\mathbb {P}\left( \int _{|x| \le r} |x|^{-\gamma ^2} {\overline{M}}_{\gamma , g}(dx) > t\right) \) for the chaos measure \({\overline{M}}_{\gamma , g}\) associated with the exact kernel. This will serve as an important estimate for the extrapolation principle as well as applications of dominated convergence.
-
2.
Extrapolation principle (Sect. 3.2): we explain how the estimates for certain expectations involving \({\overline{M}}_{\gamma , g}\) may be extended to \(M_{\gamma , g}\) by Gaussian interpolation.
To conclude our proof, we shall apply a Tauberian argument and translate our intermediate results back to the desired claim concerning the tail probability of \(M_{\gamma , g}(A)\).
Let us commence with the localisation trick.
Lemma 10
Let \(A \subset D\) be a non-empty open subset. Then for any \(t > 0\) and \(\lambda > 0\),
where
Proof
For each \(\epsilon > 0\), let \(X_{\epsilon }\) be the mollified field with covariance \(\mathbb {E}[X_{\epsilon }(x) X_{\epsilon }(y)] = -\log \left( |x-y| \vee \epsilon \right) + f_{\epsilon }(x, y)\) where \(f_{\epsilon }(x, y) \xrightarrow {\epsilon \rightarrow 0^+} f(x,y)\) pointwise (cf. [6, Lemma 3.4]). If \(M_{\gamma , \epsilon }(dx)\) is the GMC associated to \(X_{\epsilon }\) and \(M_{\gamma , g, \epsilon }(dx) = g(x)M_{\gamma , \epsilon }(dx)\), then
One may interpret \(e^{\gamma X_{\epsilon }(v) - \frac{\gamma ^2}{2} \mathbb {E}\left[ X_{\epsilon }(v)^2\right] }\) as a Radon–Nikodym derivative, and by applying the Cameron-Martin theorem, we can remove this exponential by shifting the mean of \(X_{\epsilon }(\cdot )\) by \(\mathbb {E}\left[ X_{\epsilon }(\cdot ) \gamma X_{\epsilon }(v)\right] = \gamma \left( - \log \left( |\cdot - v| \vee \epsilon \right) + f_{\epsilon }(\cdot , v)\right) \), i.e.
where
Since \(M_{\gamma , g, \epsilon }(v, A)\) converges to \(M_{\gamma , g}(v, A)\) as \(\epsilon \rightarrow 0^+\), (41) converges to the integrand in (38), and we can interchange the limit and integral in (40) to obtain (38) by bounded convergence. The proof of (39) is similarFootnote 10 and is skipped here. \(\square \)
3.1 The reference measure \({\overline{M}}_{\gamma }\)
Let \({\overline{M}}_{\gamma }^L\) be the GMC associated with the log-correlated field \(Y_L\) with covariance \(\mathbb {E}[Y_L(x) Y_L(y)] = K_L(x, y) = -\log |x-y| + L\), which by Lemma 3 is positive definite on \(B(0, r_d(L))\). We shall suppress the dependence on L when we are referring to the exact kernel, i.e. \(L = 0\). The main estimate in this subsection is the asymptotics of the tail probability of \({\overline{M}}_{\gamma }(0, r) := \int _{|x| \le r} |x|^{-\gamma ^2} {\overline{M}}_{\gamma }(dx)\).
Lemma 11
There exists some constant \({\overline{C}}_{\gamma , d} > 0\) such that for any \(r \in (0, r_d]\),
Proof
Pick \(c \in (0, 1)\). Using the fact that
where \(N_c \sim {\mathcal N }(0, -\log c)\) is an independent random variable, we see that
For convenience, set \(q = \frac{2d}{\gamma ^2} - 1\) and write \(M = c^{d - \frac{\gamma ^2}{2}} e^{\gamma N_c}= c^{\frac{\gamma ^2}{2} q}e^{\gamma N_c}\) and \(R = {\overline{M}}_{\gamma }(0, r)\). We only need to show that conditions (i) – (iv) in Theorem 5 are satisfied for the desired tail behaviour. Conditions (ii) and (iii) are trivial, while
and so condition (i) is also satisfied. If we take \(U = {\overline{M}}_{\gamma }(0, r)\), \(V = {\overline{M}}_{\gamma }(0, cr)\), and
then
where the first inequality follows from Lemma 9 and the second inequality from the elementary estimate
Since \(\mathbb {E}[W^{q+1-\epsilon }] < \infty \) for any \(\epsilon > 0\) (in particular that \(\mathbb {E}[W^q] < \infty \)), we have
for \(\epsilon \) sufficiently small so that \((q-1)(q+1-\epsilon ) / (q-\epsilon ) < q\). Then (44) is finite and condition (iv) is also satisfied, and by Theorem 5 we obtain
To finish the proof we show that the constant \({\overline{C}}_{\gamma , d}\) is independent of \(r \in (0, r_d]\). To this end, let \(0< r < r' \le r_d\) and \(\theta \in (0, 1)\). We have
Since
the tail probability of the random variable \({\overline{M}}_{\gamma }(0, B(0,r')\setminus B(0, r))\) decays faster than \(t^{-q}\) as \(t \rightarrow \infty \) by Markov’s inequality, and therefore
As \(\theta \in (0, 1)\) is arbitrary, we conclude that \({\overline{C}}_{\gamma , d}\) is independent of \(r \in (0, r_d]\). \(\square \)
We summarise various probabilistic representations of \({\overline{C}}_{\gamma , d}\) in the following corollary.
Corollary 5
The constant \({\overline{C}}_{\gamma , d}\) has the following equivalent representations.
Proof
The first representation is an immediate consequence of Lemma 11, and the second representation follows from Lemma 7. For the third representation, we recall from Theorem 5 and Lemma 9 that
where \(q = \frac{2d}{\gamma ^2} - 1\) and \(c \in (0, 1)\). Then it is straightforward to check that
which gives (46). \(\square \)
Remark 4
The fact that (46) holds regardless of \(c \in (0,1)\) is not surprising. Indeed when \(c = 2^{-N}\), we have
and the summand on the RHS does not change with n because of the scaling property (43). The scaling property also explains why (46) is independent of \(r \in (0, r_d)\) (as long as the exact kernel remains positive definite on B(0, r)).
Lemma 11 has several useful implications.
Corollary 6
The following are true.
-
(i)
For any \(L \in \mathbb {R}\) and \(r \in (0, r_d(L)]\), let \({\overline{M}}_{\gamma }^L(0, r) = \int _{|x| \le r} |x|^{-\gamma ^2} e^{\gamma ^2 L} {\overline{M}}_{\gamma }^L(dx)\). We have, as \(t \rightarrow \infty \),
$$\begin{aligned} \mathbb {P}\left( {\overline{M}}_{\gamma }^L(0, r) > t \right) = e^{\frac{2d}{\gamma }(Q-\gamma )L}\frac{{\overline{C}}_{\gamma , d} }{t^{\frac{2d}{\gamma ^2}-1}} + o(t^{-\frac{2d}{\gamma ^2} + 1}). \end{aligned}$$(47) -
(ii)
Let X be the log-correlated field in Theorem 1, and \(A \subset D\) be a fixed, non-trivial open set. Then there exists some \(C > 0\) independent of \(v \in A\) such that
$$\begin{aligned} \mathbb {P}\left( M_{\gamma , g}(v, A)> t \right) \le \frac{C}{t^{\frac{2d}{\gamma ^2} - 1}} \qquad \forall t > 0. \end{aligned}$$(48)
Remark 5
The tail (47) suggests how \(\mathbb {P}\left( M_{\gamma , g}(v, A) > t\right) \) should behave asymptotically as \(t \rightarrow \infty \). As we shall see in the proof, we can pick any \(r > 0\) such that \(B(v, r) \subset A\) and consider instead \(\mathbb {P}\left( M_{\gamma , g}(v, r) > t\right) \) without changing the asymptotic behaviour. When r is small, the covariance structure of X looks like \(-\log |x-y| + f(v, v) = K_{f(v, v)}(x, y)\) locally in B(v, r) and we should expect
It is not hard to verify this claim when f is the covariance of some continuous Gaussian field, but the situation becomes trickier under the setting of Theorem 1 where we only assume that \(f = f_+ - f_-\) is the difference of two such covariance kernels. We shall therefore not attempt to prove (49) here.
Proof of Corollary 6
For convenience, let \(q = \frac{2d}{\gamma ^2}-1 = \frac{2}{\gamma }(Q-\gamma )\).
-
(i)
Based on the argument at the end of the proof of Lemma 11, we may thus assume \(r> 0\) to be as small as we like (but independent of t) without loss of generality.
If \(L \ge 0\), we may interpret \(K_L(x, y) = K_0(x, y) + L\) as the sum of the exact kernel and the variance of an independent random variable \( {\mathcal N }_{L} \sim {\mathcal N }(0, L)\), and hence
$$\begin{aligned} \mathbb {P}\left( {\overline{M}}_{\gamma }^L(0, r)> t\right) = \mathbb {P}\left( e^{\gamma {\mathcal N }_L - \frac{\gamma ^2}{2} L}{\overline{M}}_{\gamma }(0, r) > t\right) \sim \frac{{\overline{C}}_{\gamma , d}\mathbb {E}\left[ \left( e^{\gamma {\mathcal N }_L - \frac{\gamma ^2}{2} L}\right) ^{q}\right] }{t^q} \end{aligned}$$by Lemma 8, and \(\mathbb {E}\left[ \left( e^{\gamma {\mathcal N }_L - \frac{\gamma ^2}{2} L}\right) ^{q}\right] = e^{\frac{2d}{\gamma }(Q-\gamma )L}\).
If \(L < 0\), we instead interpret \(K_L(x, y) = - \log \left| e^{-L}(x-y)\right| \) as the exact kernel with coordinates scaled by \(e^{-L}\). If we restrict ourselves to \(x, y \in B(0, e^{-L} r_d)\) or equivalently \(r \in (0, e^{-L}r_d]\), then
$$\begin{aligned} \mathbb {P}\left( {\overline{M}}_{\gamma }^L(0, r)> t \right)&= \mathbb {P}\left( \int _{|x| \le r} |e^{-L}x|^{-\gamma ^2} e^{\gamma Y(e^{-L}x) - \frac{\gamma ^2}{2} \mathbb {E}\left[ Y(e^{-L}x )^2\right] } dx> t \right) \\&= \mathbb {P}\left( e^{dL}{\overline{M}}_{\gamma }(0, e^L r) > t\right) \sim \frac{{\overline{C}}_{\gamma , d}e^{dqL}}{t^q} \end{aligned}$$where \(e^{dqL} = e^{\frac{2d}{\gamma }(Q-\gamma )L}\) as expected.
-
(ii)
Let \(r = r_d\). Then
$$\begin{aligned} \mathbb {P}\left( M_{\gamma , g}(v, A)> t\right)&\le \mathbb {P}\left( M_{\gamma , g}(v, B(v,r) \cap D)> \frac{t}{2}\right) \\&\quad + \mathbb {P}\left( |r|^{-\gamma ^2} e^{\gamma ^2 \sup _{x, y} |f(x, y)|}M_{\gamma , g}(D) > \frac{t}{2}\right) . \end{aligned}$$Since \(\mathbb {E}\left[ M_{\gamma , g}(D)^q\right] < \infty \) by Lemma 5, Markov’s inequality implies that we only need to verify \(\mathbb {P}\left( M_{\gamma , g}(v, B(v,r) \cap D) > t\right) \le Ct^{-q}\) uniformly in v.
By (i), let \(C > 0\) be such that
$$\begin{aligned} \mathbb {P}\left( {\overline{M}}_{\gamma }(0, r)> t\right) \le \frac{C}{t^q} \qquad \forall t > 0. \end{aligned}$$To go beyond exact kernels, we utilise the decomposition condition of f. Let \(G_\pm (\cdot )\) be independent continuous Gaussian fields on \({\overline{D}}\) with covariance \(f_{\pm }\), and introduce the random variables
$$\begin{aligned} R_+&= e^{\gamma \sup _{x \in D} G_+(x) + \gamma ^2 \sup _{y, z \in D} |f(y, z)|}, \qquad \\ R_-&= e^{\gamma \inf _{x \in D} G_-(x) - \frac{\gamma ^2}{2} \sup _{y \in D} |f_-(y, y)|} \end{aligned}$$which possess moments of all orders by Lemma 1. Let \(a > 0\) be such that
$$\begin{aligned} P_{R_-} := \mathbb {P}(R_-> a) > 0. \end{aligned}$$Since \(\mathbb {E}[X(x)X(y)] + f_-(x, y) = K_0(x-v, y-v) + f_+(x, y)\) and
$$\begin{aligned} \{M_{\gamma , g}(v, B(v, r) \cap D)> t\} \cap \{R_-> a\} \subset \{ R_- M_{\gamma , g}(v, B(v, r) \cap D) > at\}, \end{aligned}$$we have
$$\begin{aligned}&P_{R_-}\mathbb {P}(M_{\gamma , g}(v, B(v, r) \cap D)> t) \le \mathbb {P}( R_- M_{\gamma , g}(v, B(v, r) \cap D)> at)\\&\quad \le \mathbb {P}\left( \int _{B(v, r) \cap D} \frac{e^{\gamma ^2 f(x, v)}e^{\gamma G_-(x) - \frac{\gamma ^2}{2} \mathbb {E}[G_-(x)^2]}}{|x-v|^{\gamma ^2}} M_{\gamma }(dx)> \frac{at}{||g||_\infty }\right) \\&\quad = \mathbb {P}\left( \int _{B(0, r) \cap (D - v)} e^{\gamma ^2 f(x+v, v)}e^{\gamma G_+(x+v) - \frac{\gamma ^2}{2} \mathbb {E}[G_+(x+v)^2]}\frac{{\overline{M}}_{\gamma }(dx)}{|x|^{\gamma ^2}}> \frac{at}{||g||_\infty }\right) \\&\quad \le \mathbb {P}\left( R_+ {\overline{M}}_{\gamma }(0, r)> \frac{at}{||g||_\infty }\right) \\&\quad \le \mathbb {E}\left[ \mathbb {P}\left( {\overline{M}}_{\gamma }(0, r) > \frac{at}{||g||_\infty R_+} \Big | R_+\right) \right] \le \frac{ C (||g||_\infty /a)^q \mathbb {E}\left[ R_+^q \right] }{t^q}. \end{aligned}$$The value of \(P_{R_-}^{-1} C (||g||_\infty /a)^{q} \mathbb {E}\left[ R_+^q \right] < \infty \) is independent of v so we are done.
\(\square \)
3.2 The extrapolation principle
In this subsection we show the existence of the limit
and establish a formula for it.
Step 1: removal of non-singularity. We first show that
Lemma 12
For any \(r > 0\) such that \(B(v, r) \subset A\),
We emphasise that the error in (50) need not be uniform in v or r.
Proof
Starting with the localisation inequality (39), we know by the uniform bound (48) from Corollary 6 that
for all \(t > 0\). In particular
for some \(C_{r, g} > 0\).
To finish our proof we only need to show matching upper/lower bounds for (50). For a lower bound, pick \(\delta \in (0, 1)\) and
where
and
and so we just pick \(\delta > 0\) small enough satisfying \((1-\delta )\left( \frac{2d}{\gamma ^2} + 1\right) > \frac{2d}{\gamma ^2}\) for our desired lower bound.
As for the upper bound,
where
where the last inequality follows from similar calculations in the proof of the lower bound. This concludes the proof of (50). \(\square \)
Step 2: extrapolation. For \(s \in [0,1]\), define \(Z_s(x) = \sqrt{s}X(x) + \sqrt{1-s} Y_{f(v, v)}(x - v)\), \(M_{\gamma }^s(dx) = e^{\gamma Z_s(x) - \frac{\gamma ^2}{2} \mathbb {E}[Z_s(x)^2]}dx\) and
where \(r \in (0, r_d(f(v,v))]\). Our goal is to prove the following extrapolation result.
Lemma 13
Suppose \(v \in D\) satisfies \(g(v) > 0\). Then
Furthermore,
Proof
We first recall that the definition of \(\varphi (t)\) depends on r but the limits (52), if exist, do not because of Lemma 12. Also
by combining Corollary 6 (\(L = f(v, v)\)) with Lemma 6. From now on we shall focus on the equality of the two limits (52).
For any \(\epsilon > 0\) there exists some \(r = r(\epsilon ) \in (0, r_d(f(v, v))]\) such that
for all \(x, y \in B(v, r)\) by continuity. If we write \(F(x) = x^{-1} e^{-\lambda / x}\), then \(F''(x) = e^{-\lambda / x}\left( \frac{2}{x^{3}} - \frac{4\lambda }{x^4} + \frac{\lambda ^2}{x^5}\right) \), and Corollary 3 yields
Going through the proof of Corollary 6(ii) again, we check that the same argument also suggests that there exists some \(C > 0\) independent of \(s \in [0,1]\) and \(v \in D\) such that
By Lemma 6, the integrand in (55) is uniformly bounded by \(C' \lambda ^{-\frac{2d}{\gamma ^2}}\) for some \(C' > 0\) which means that
Since \(\epsilon > 0\) is arbitrary, we have \(\lim _{\lambda \rightarrow \infty } \lambda ^{\frac{2d}{\gamma ^2}} \varphi (1) = \lim _{\lambda \rightarrow \infty } \lambda ^{\frac{2d}{\gamma ^2}} \varphi (0)\).
Finally, let \(\epsilon , r > 0\) be chosen according to (54) and the additional constraint that
which is possible because \(g(v) > 0\) and g is continuous. Then
Given that the \(\liminf \)/\(\limsup \) do not depend on r by Lemma 12, \(\epsilon \) can be made arbitrarily small and the claim (53) follows. \(\square \)
Proof of Theorem 1
By Corollary 6 (ii) and Lemma 6, we see that
With an application of dominated convergence, the localisation identity (38) yields
We substitute the pointwise limit of the integrand from Lemma 13 and obtain
The tail asymptotics of \(M_{\gamma , g}(A)\) then follows immediately from Corollary 4. \(\square \)
Remark 6
In this section we explain how Theorem 1 may be extended to treat densities (6). For simplicity we treat the case with one singularity, i.e.
where \(0 \in {\overline{D}} \subset B(0, 1)\) without loss of generality.Footnote 11 We still follow the localisation trick as in Lemma 10, i.e.
where
We now need to derive an estimate analogous to (48) when g has a singularity. If \(x = v+u \in B(v, \frac{1}{2}|v|)^c\) (equivalently \(|u| \ge \frac{1}{2}|v|\)), note that
In other words, we have
and hence
for some \(C' > 0\) independent of t and v by Corollary 6 (ii). Performing computations similar to the proof of Lemma 6, one can check that there exists some constant \(C'' > 0\) independent of \(\lambda > 0\) and \(v \in A\) such that
which is integrable against g(v)dv since \(\alpha < \frac{\gamma }{2}\) and \(\gamma \alpha (\frac{2d}{\gamma ^2}-1) + \gamma \alpha = \gamma \alpha \frac{2d}{\gamma ^2} < d\). The rest of the analysis in Sect. 3.2 is essentially identicalFootnote 12 and we arrive at the same asymptotics by dominated convergence as before.
Notes
The existence of density was proved in [30] for scale invariant kernels but may be extended to other fields as pointed out by one of the referees. Indeed, by diagonalising the covariance kernel and forcing the inclusion of a constant function by a Gram-Schmidt procedure, we may pull out a global Gaussian random variable of the field and hence \(M_{\gamma }(A)\) may be seen as the product of a lognormal and an independent variable (the GMC associated to the residual log-correlated field) which must have a probability density.
In the sense that \(\int _A g(x) dx > 0\). In particular A has non-trivial Lebesgue measure.
Evaluated at \(\gamma \); see the general definition of \({\overline{C}}_{\gamma , d}(\alpha )\) in Appendix A.
The theorem of Belyaev actually concerns stationary kernels in \(d=1\), but this implies the statement in higher dimension because we may view \(G_\pm \), with \(d-1\) coordinates fixed, as Gaussian fields in 1 dimension.
Our definition differs from the usual one by the factor \(\sqrt{\pi /2}\) for aesthetic purpose.
We say a function \(L: \mathbb {R}_+ \rightarrow \mathbb {R}_+\) is slowly varying at the origin if we have \(\lim _{x \rightarrow 0^+} L(tx)/L(x) = 1\) for any \(t > 0\).
The distribution of a real-valued random variable M is arithmetic if \(M \in h \mathbb {Z}\) almost surely for some \(h > 0\), and non-arithmetic otherwise.
Indeed (39) is an equality if the distribution \(M_{\gamma , g}(v, A)\) is continuous, but this is only proved in the special case when the covariance kernel is exact. We are happy with the inequality here because we only need the estimate \(\mathbb {P}(M_{\gamma , g}(A) > t) \le t^{-1} \int _A \mathbb {P}(M_{\gamma , g}(v, A) \ge t) dv\) later.
We can always shift and rescale our domain and the Gaussian field on the new domain will still be log-correlated.
The only change is that the formulae in Lemma 13 do not apply when \(v = 0\), which is still sufficient for an application of dominated convergence.
We only focus on \(d=2\); for \(d=1\) a similar proof shows that \({\overline{C}}_{\gamma , 1}\) coincides with the boundary unit volume reflection coefficient, see [28, Sect. 4.3].
References
Aru, J., Powell, E., Sepúlveda, A.: Critical Liouville measure as a limit of subcritical measures. Preprint arXiv:1802.08433
Barral, J., Jin, X.: On exact scaling log-infinitely divisible cascades. Probab. Theory Relat. Fields 160(3–4), 521–565 (2014)
Barral, J., Kupiainen, A., Nikula, M., Saksman, E., Webb, C.: Basic properties of critical lognormal multiplicative chaos. Ann. Probab. 43(5), 2205–2249 (2015)
Baverez, G., Wong, M.D.: Fusion asymptotics for Liouville correlation functions. Preprint arXiv:1807.10207
Belyaev, Y.K.: Continuity and Hölder’s conditions for sample functions of stationary Gaussian processes. In: Proceedings of Fourth Berkeley Symposium Mathematical Statistics and Probability (Berkeley, CA, 1960), vol. 2, University of California Press, Berkeley, pp. 23–33
Berestycki, N.: An elementary approach to Gaussian multiplicative chaos. Electron. Commun. Probab. 22(27), 1–12 (2017)
Berestycki, N., Webb, C., Wong, M.D.: Random Hermitian matrices and Gaussian multiplicative chaos. Probab. Theory Relat. Fields 172, 103–189 (2018). https://doi.org/10.1007/s00440-017-0806-9
Biskup, M., Louidor, O.: Conformal symmetries in the extremal process of two-dimensional discrete Gaussian Free Field. Preprint arXiv:1410.4676v2
Biskup, M., Louidor, O.: Extreme local extrema of two-dimensional discrete Gaussian free field. Commun. Math. Phys. 345, 271–304 (2016)
Biskup, M., Louidor, O.: Full extremal process, cluster law and freezing for the two-dimensional discrete Gaussian Free Field. Adv. Math. 330, 589–687 (2018)
Bramson, M., Zeitouni, O.: Tightness of the recentered maximum of the two-dimensional discrete Gaussian free field. Commun. Pure Appl. Math. 65, 1–20 (2011)
David, F., Kupiainen, A., Rhodes, R., Vargas, V.: Renormalizability of Liouville quantum field theory at the Seiberg bound. Electron. J. Probab. (2017) https://doi.org/10.1214/17-EJP113
David, F., Kupiainen, A., Rhodes, R., Vargas, V.: Liouville quantum gravity on the Riemann sphere. Commun. Math. Phys. 342, 869 (2016). https://doi.org/10.1007/s00220-016-2572-4
Duchon, J., Robert, R., Vargas, V.: Forecasting volatility with the multifractal random walk model. Math. Finance 22(1), 83–108 (2012)
Duplantier, B., Miller, J., Sheffield, S.: Liouville quantum gravity as a mating of trees. Preprint arXiv:1409.7055
Duplantier, B., Sheffield, S.: Liouville quantum gravity and KPZ. Invent. Math. 185(2), 333–393 (2011)
Duplantier, B., Rhodes, R., Sheffield, S., Vargas, V.: Renormalization of critical Gaussian multiplicative chaos and KPZ relation. Commun. Math. Phys. 330, 283–330 (2014)
Feller, W.: An Introduction to Probability and Its Applications, vol. II. Wiley, New York (1971)
Fyodorov, Y., Bouchaud, J.-P.: Freezing and extreme value statistics in a Random Energy Model with logarithmically correlated potential. J. Phys. A: Math. Theor. 41, 372001 (2008)
Goldie, C.M.: Implicit renewal theory and tails of solutions of random equations. Ann. Appl. Probab. 1(1), 126–166 (1991)
Junnila, J., Saksman, E., Webb, C.: Decompositions of log-correlated fields with applications. Preprint arXiv:1808.06838
Kahane, J.-P.: Sur le chaos multiplicatif. Ann. Sci. Math. Québec 9(2), 105–150 (1985)
Kupiainen, A., Rhodes, R., Vargas, V.: Integrability of Liouville theory: proof of the DOZZ formula. Preprint arXiv:1707.08785
Lambert, G., Ostrovsky, D., Simm, N.: Subcritical multiplicative chaos for regularized counting statistics from random matrix theory. Commun. Math. Phys. 360, 1 (2018). https://doi.org/10.1007/s00220-018-3130-z
Nikula, M., Saksman, E., Webb, C.: Multiplicative chaos and the characteristic polynomial of the CUE: the \(L^1\)-phase. Preprint arXiv:1806.01831
Remy, G., Zhu, T.: The distribution of Gaussian multiplicative chaos on the unit interval. Preprint arXiv:1804.02942
Remy, G.: The Fyodorov–Bouchaud formula and Liouville conformal field theory. Preprint arXiv:1710.06897
Rhodes, R., Vagras, V.: The tail expansion of Gaussian multiplicative chaos and the Liouville reflection coefficient. Preprint arXiv:1710.02096
Rhodes, R., Vargas, V.: Multidimensional multifractal random measures. Electron. J. Probab. 15(9), 241–258 (2010)
Robert, R., Vargas, V.: Gaussian multiplicative chaos revisited. Ann. Probab. 38(2), 605–631 (2010)
Saksman, E., Webb, C.: The Riemann zeta function and Gaussian multiplicative chaos: statistics on the critical line. Preprint arXiv:1609.00027
Webb, C.: The characteristic polynomial of a random unitary matrix and Gaussian multiplicative chaos: the \(L^2\)-phase. Electron. J. Probab. 20, paper no. 104, 21 pp (2015)
Wong, M.D.: Tail universality of critical Gaussian multiplicative chaos. Preprint arXiv:1912.02755
Acknowledgements
The author would like to thank Rémi Rhodes and Vincent Vargas for suggesting the problem, and Nathanaël Berestycki for useful discussions. He would also like to thank the two anonymous referees for suggestions on the presentation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author was a PhD student at Cambridge Centre for Analysis, supported by the Croucher Foundation Scholarship and EPSRC grant EP/L016516/1. He would also like to acknowledge the support from Universität Wien where most of the work was carried out.
Reflection coefficient of GMC
Reflection coefficient of GMC
In this appendix we explain why \({\overline{C}}_{\gamma , d}\) may be seen as a natural d-dimensional analogue of the Liouville reflection coefficients evaluated at \(\gamma \). To commence with, we define \({\overline{C}}_{\gamma , d}(\alpha )\), which we call the reflection coefficient of GMC, for each \(\alpha \in (\frac{\gamma }{2}, Q)\) as follows.
Proposition 1
Let \({\overline{M}}_{\gamma , \alpha } (0, r) = \int _{|x| \le r} |x|^{-\gamma \alpha } {\overline{M}}_{\gamma }(dx)\) for \(\alpha \in (\frac{\gamma }{2}, Q)\). Then there exists some constant \({\overline{C}}_{\gamma , d}(\alpha ) > 0\) independent of \(r \in (0, r_d)\) such that
Proof
The first equality can be obtained by a straightforward adaption of the proof of Lemma 11, and the second equality follows from Lemma 7. \(\square \)
We now show that \({\overline{C}}_{\gamma , d}(\alpha )\) coincides with the Liouville reflection coefficients.Footnote 13
Proposition 2
When \(d=2\), the reflection coefficient \({\overline{C}}_{\gamma , 2}(\alpha )\) of GMC is equivalent to the unit volume Liouville reflection coefficient \({\overline{R}}(\alpha )\) defined in [28].
Proof
Using the notations in [28], we can write
where
-
\(Z_s ds\) is the GMC associated with the lateral noise of GFF;
-
\(( {\mathcal B }_s^{\alpha })_{s \in \mathbb {R}}\) an independent two-sided Brownian motion with negative drift \(\alpha - Q\) conditioned to stay non-positive;
-
M is an independent \(\mathrm {Exp}(2(Q-\alpha ))\) random variable; and
-
\(L_{-M}\) is the last time \(( {\mathcal B }_s^\alpha )_{s \ge 0}\) hits \(-M\).
Applying (56) and the decomposition above, we have
When \(\lambda \rightarrow 0^+\), the above expectation is dominated by the event that the exponential variable M is large, in which case \(L_{-M}\) is very large and \( {\mathcal I }(L_{-M})\) behaves like \( {\mathcal I }(\infty )\) which does not depend on M. To make this rigorous we aim to prove matching upper/lower bounds. Since \(\mathbb {P}(e^{\gamma M} > t) = t^{-\frac{2}{\gamma }(Q - \alpha )}\) for \(t \ge 1\), a straightforward computation shows that
where the error O(1) is bounded independently of \(\lambda > 0\). Using the fact that \( {\mathcal I }(\infty )\) has moments of all orders smaller than \(\frac{4}{\gamma ^2}\) ([23, Lemma 2.8]), we deduce that
which is the desired upper bound. Now fix any \(T>0\), we have
Since T is arbitrary, we may send \(T \rightarrow \infty \) so that \(L_{-T} \rightarrow \infty \) and obtain \({\overline{C}}_{\gamma , 2}(\alpha ) \ge \mathbb {E}\left[ {\mathcal I }(\infty )^{\frac{2}{\gamma }(Q-\alpha )}\right] \). This matches our upper bound and is precisely the probabilistic definition of the Liouville reflection coefficient \({\overline{R}}(\alpha )\) in [28, equation (1.10)]. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wong, M.D. Universal tail profile of Gaussian multiplicative chaos. Probab. Theory Relat. Fields 177, 711–746 (2020). https://doi.org/10.1007/s00440-020-00960-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00440-020-00960-3