Independent powers and bounded Fourier partial sums in $L^1$

Abstract

We construct a probability measure on the circle with independent convolution powers and uniformly bounded symmetric Fourier partial sums in $L^1$. Every positive convolution power is therefore singular with respect to Haar measure. The measure is Rajchman. The construction answers a question of Andersson concerning measures with bounded Fourier partial sums outside the radical of $L^1$, and contrasts with his theorem that the classical examples of Weiss, Katznelson, and Brown-Hewitt have convolution squares in $L^2$. Our proof combines sparse probability blocks, an endpoint $L\log L$ estimate, and a diagonal generalized Riesz product. Exact factorization of local moments permits the simultaneous separation of all convolution powers by Brown's singularity criterion. By the classical spectral theory of independent-power measures, its spectrum is the closed unit disc. In particular, it has non-natural spectrum and induces a non-decomposable convolution operator on $L^1$. The image of the measure in $M(\mathbb T)/L^1(\mathbb T)$ has spectral radius one, and the closed unital algebra it generates in $M(\mathbb T)$ is isometrically isomorphic to $\ell^1(\mathbb N_0)$.