Absolutely Continuous Convolutions of Singular Measures and an Application to the Square Fibonacci Hamiltonian

We prove for the square Fibonacci Hamiltonian that the density of states measure is absolutely continuous for almost all pairs of small coupling constants. This is obtained from a new result we establish about the absolute continuity of convolutions of measures arising in hyperbolic dynamics with exact-dimensional measures.Comment: 28 pages, to appear in Duke Math.

Convolutions of Cantor measures without resonance

Denote by $\mu_a$ the distribution of the random sum $(1-a) \sum_{j=0}^\infty \omega_j a^j$, where $P(\omega_j=0)=P(\omega_j=1)=1/2$ and all the choices are independent. For $0<a<1/2$, the measure $\mu_a$ is supported on $C_a$, the central Cantor set obtained by starting with the closed united interval, removing an open central interval of length $(1-2a)$, and iterating this process inductively on each of the remaining intervals. We investigate the convolutions $\mu_a * (\mu_b \circ S_\lambda^{-1})$, where $S_\lambda(x)=\lambda x$ is a rescaling map. We prove that if the ratio $\log b/\log a$ is irrational and $\lambda\neq 0$, then $$D(\mu_a *(\mu_b\circ S_\lambda^{-1})) = \min(\dim_H(C_a)+\dim_H(C_b),1),$$ where $D$ denotes any of correlation, Hausdorff or packing dimension of a measure. We also show that, perhaps surprisingly, for uncountably many values of $\lambda$ the convolution $\mu_{1/4} *(\mu_{1/3}\circ S_\lambda^{-1})$ is a singular measure, although $\dim_H(C_{1/4})+\dim_H(C_{1/3})>1$ and $\log (1/3) /\log (1/4)$ is irrational

Multifractal structure of Bernoulli convolutions

Let $\nu_\lambda^p$ be the distribution of the random series $\sum_{n=1}^\infty i_n \lambda^n$, where $i_n$ is a sequence of i.i.d. random variables taking the values 0,1 with probabilities $p,1-p$. These measures are the well-known (biased) Bernoulli convolutions. In this paper we study the multifractal spectrum of $\nu_\lambda^p$ for typical $\lambda$. Namely, we investigate the size of the sets $$\Delta_{\lambda,p}(\alpha) = \left\{x\in\R: \lim_{r\searrow 0} \frac{\log \nu_\lambda^p(B(x,r))}{\log r} =\alpha\right\}.$$ Our main results highlight the fact that for almost all, and in some cases all, $\lambda$ in an appropriate range, $\Delta_{\lambda,p}(\alpha)$ is nonempty and, moreover, has positive Hausdorff dimension, for many values of $\alpha$. This happens even in parameter regions for which $\nu_\lambda^p$ is typically absolutely continuous.Comment: 24 pages, 2 figure

Absolute continuity of complex Bernoulli convolutions

We prove that complex Bernoulli convolutions are absolutely continuous in the supercritical parameter region, outside of an exceptional set of parameters of zero Hausdorff dimension. Similar results are also obtained in the biased case, and for other parametrised families of self-similar sets and measures in the complex plane, extending earlier results.Fil: Shmerkin, Pablo Sebastian. Universidad Torcuato Di Tella. Departamento de Matemáticas y Estadística; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Solomyak, Boris. Bar Ilan University; Israe