Thick points of the Gaussian free field

DOI10.1214/09-AOP498MaRDI QIDQ964786zbMATH OpenFDO

Authors Xiaoyu Hu, Jason Miller, Yuval Peres

Publication date 21 April 2010

Published in The Annals of Probability (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0902.3842

zbMATH Keywords

conformal invariance extremal point fractal Gaussian free field Hausdorff dimension thick point

Mathematics Subject Classification ID

Fractals (28A80) Gaussian processes (60G15) Self-similar stochastic processes (60G18) Random fields (60G60)

Abstract: Let

U s u b s e t e q m a t h b f 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

i n t_{U} a b l a f (x) c d o t a b l a g (x), d x

. The set

T (a; U)

of

a

-thick points of

F

consists of those

z i n U

such that the average of

F

on a disk of radius

r

centered at

z

has growth

s q r t a / p i l o g f r a c 1 r

as

r o 0

. We show that for each

0 l e q a l e q 2

the Hausdorff dimension of

T (a; U)

is almost surely

2 - a

, that

u_{2 - a} (T (a; U)) = i n f t y

when

0 < a l e q 2

and

u_{2} (T (0; U)) = u_{2} (U)

almost surely, where

u_{a l p h a}

is the Hausdorff-

a l p h a

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

g a m m a

given formally by

G a m m a (d z) = e^{s q r t 2 p i g a m m a F (z)}, d z

considered by Duplantier and Sheffield.

Review text

Let \(U\subseteq \mathbb{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\left( x\right) \cdot \nabla g\left( x\right) \mathrm{d}x\). The set \( T\left( a;U\right) \) 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 \displaystyle\frac{1}{r}\) as\(\;r\rightarrow 0\). The authors show that for each \(0\leq a\leq 2\) the Hausdorff dimension of \( T\left( a;U\right) \) is almost surely \(2-a,\) that \(v_{2-a}\left( T\left( a;U\right) \right) =\infty \) when \(0<a\leq 2\) and \(\nu _{2}\left( T\left( 0;U\right) \right) =\nu _{2}\left( U\right) \) almost surely, where \(\nu _{\alpha }\) is a Hausdorff-\(\alpha \) measure, and that \(T\left( a;U\right) \) is almost surely empty when \(a>2\). Furthermore, they prove that \(T\left( a;U\right) \) 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 \left( \mathrm{d}z\right) =e^{\sqrt{2\pi }\gamma F\left( z\right) }\mathrm{d}z\) considered by \textit{B. Duplantier} and \textit{S.\ Sheffield} [\url{arXiv:0808.1560}].

Recommendations

Cites work

Cited in

(71)

This page was built for publication: Thick points of the Gaussian free field

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q964786)