Thick points of the Gaussian free field

Abstract

Let $U\subseteq\mathbf{C}$ be a bounded domain with smooth boundary and let $F$ be an instance of the continuum Gaussian free field on $U$ with respect to the Dirichlet inner product $\int_U\nabla f(x)\cdot \nabla g(x)\,dx$. The set $T(a;U)$ of $a$-thick points of $F$ consists of those $z\in U$ such that the average of $F$ on a disk of radius $r$ centered at $z$ has growth $\sqrt{a/\pi}\log\frac{1}{r}$ as $r\to 0$. We show that for each $0\leq a\leq2$ the Hausdorff dimension of $T(a;U)$ is almost surely $2-a$, that $\nu_{2-a}(T(a;U))=\infty$ when $0<a\leq2$ and $\nu_2(T(0;U))=\nu_2(U)$ almost surely, where $\nu_{\alpha}$ is the Hausdorff-$\alpha$ measure, and that $T(a;U)$ is almost surely empty when $a>2$. Furthermore, we prove that $T(a;U)$ is invariant under conformal transformations in an appropriate sense. The notion of a thick point is connected to the Liouville quantum gravity measure with parameter $\gamma$ given formally by $\Gamma(dz)=e^{\sqrt{2\pi}\gamma F(z)}\,dz$ considered by Duplantier and Sheffield.Comment: Published in at http://dx.doi.org/10.1214/09-AOP498 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org

Liouville quantum gravity and KPZ

“…It was shown by Hu, Miller, and Peres that the set of γ-thick points has Hausdorff dimension 2 − γ 2 2 almost surely [HMP10]. Proof of Proposition 1.2.…”

“…With Θ probability one, z is a γ-thick point of h by the definition in [HMP10]. That is, lim inf ε→0 h ε (z)/log ε −1 ≥ γ.…”

Diffusion in planar Liouville quantum gravity

“…Using the Markov property of the Gaussian Free Field (see e.g. the statement of Proposition 2.3 in [8]), we see that conditionally given the values of h| U where U = S \ (S i ∪ S j ), we can write…”

Imaginary geometry I: interacting SLEs

“…for Z ∼ N (0, 1) (see, e.g., [9,Lemma A.4]) and the Borel-Cantelli lemma that there exists a constant c > 0 such that the average of h on each S ∈ D δ is at most c log δ −1 , at least along a subsequence of (δ k ) tending to 0 sufficiently quickly. Consequently, with N δ equal to the number of squares in D δ which A intersects we almost surely have that…”