Families of Spectral Sets for Bernoulli Convolutions

We study the harmonic analysis of Bernoulli measures μ _λ , a one-parameter family of compactly supported Borel probability measures on the real line. The parameter λ is a fixed number in the open interval (0,1). The measures μ _λ may be understood in any one of the following three equivalent ways: as infinite convolution measures of a two-point probability distribution; as the distribution of a random power series; or as an iterated function system (IFS) equilibrium measure determined by the two transformations λ(x±1). For a given λ, we consider the harmonic analysis in the sense of Fourier series in the Hilbert space L ²(μ _λ ). For L ²(μ _λ ) to have infinite families of orthogonal complex exponential functions e ^2πis(⋅), it is known that λ must be a rational number of the form \fracm2n\frac{m}{2n}, where m is odd. We show that L²(m_\frac12n)L^{2}(\mu_{\frac{1}{2n}}) has a variety of Fourier bases; i.e. orthonormal bases of exponential functions. For some other rational values of λ, we exhibit maximal Fourier families that are not orthonormal bases.