The Zero Set of Fractional Brownian Motion Is a Salem Set

The existence of sets supporting a Borel measure such that its Fourier transform tends to zero at infinity can be traced back to the problem of uniqueness of trigonometric series, studied extensively by Cantor. Given alpha is an element of (0, 1), Beurling asked if there exists a subset of the real line of Hausdorff dimension alpha supporting a Borel measure whose Fourier transform converges to zero at infinity with rate alpha/2. Salem answered the question in the affirmative and such sets are now called Salem sets or rounded sets. Kahane showed that images of compact sets by fractional Brownian motion are Salem sets and this was recently extended to Gaussian random fields with stationary increments and to multi-parameter Brownian sheets. He asked if the level sets of fractional Brownian motion are also Salem sets and the problem has remained open since. This paper answers Kahane's question in the affirmative. The argument is based on the study of oscillatory integrals with non-smooth amplitudes and new properties of the generalised Euler spiral which have independent interest.