Thin points for Brownian motion

Let Θ(x,r) denote the occupation measure of the ball of radius r centered at x for Brownian motion {W_t}_0≤t≤1 in . We prove that for any analytic set E in [0,1], we have

Full-size image

, where dim_P(E) is the packing dimension of E. We deduce that for any a≥1, the Hausdorff dimension of the set of “thin points” x for which

Full-size image

, is almost surely 2−2/a; this is the correct scaling to obtain a nondegenerate “multifractal spectrum” for the “thin” part of Brownian occupation measure. The methods of this paper differ considerably from those of our work on Brownian thick points, due to the high degree of correlation in the present case. To prove our results, we establish general criteria for determining which deterministic sets are hit by random fractals of ‘limsup type' in the presence of long-range correlations. The hitting criteria then yield lower bounds on Hausdorff dimension. This refines previous work of Khoshnevisan, Xiao and the second author, that required decay of correlations.