2f5c292ba0fc7e24.tex
1: \begin{abstract}
2: 
3: 
4: We are concerned with an harmonic analysis in Hilbert spaces
5: $L^2(\mu)$, where $\mu$  is  a probability measure on $\br^n$. The
6: unifying question is the presence of families of orthogonal
7: (complex) exponentials $e_\lambda(x) = \exp(2\pi i \lambda x)$ in
8: $L^2(\mu)$. This question in turn is connected to the existence of
9: a natural embedding of $L^2(\mu)$ into an $L^2$-space of Bohr
10: almost periodic functions on $\br^n$. In particular we explore
11: when $L^2(\mu)$ contains an orthogonal basis of $e_\lambda$
12: functions, for $\lambda$ in a suitable discrete subset in $\br^n$;
13: i.e, when the measure $\mu$ is spectral. We give a new characterization of finite spectral sets in terms of the existence of a group of local translation. We
14: also consider measures $\mu$ that arise as fixed points (in the sense of Hutchinson) of
15: iterated function systems (IFSs), and we specialize to the case
16: when the function system in the IFS consists of affine and
17: contractive mappings in $\br^n$. We show in this case that if
18: $\mu$ is then assumed spectral then its partitions induced by the
19: IFS at hand have zero overlap measured in $\mu$. This solves part
20: of the \L aba-Wang conjecture. As an application of the new
21: non-overlap result, we solve the spectral-pair problem for
22: Bernoulli convolutions advancing in this way a theorem of Ka-Sing
23: Lau. In addition we present a new perspective
24: on spectral measures and orthogonal Fourier exponentials via the
25: Bohr compactification.
26: \end{abstract}
27: