Hadamard triples generate self-affine spectral measures

Abstract

Let R R be an expanding matrix with integer entries, and let B , L B,L be finite integer digit sets so that ( R , B , L ) (R,B,L) form a Hadamard triple on R d {\mathbb {R}}^d in the sense that the matrix 1 | det R | [ e 2 π i ⟨ R − 1 b , ℓ ⟩ ] ℓ ∈ L , b ∈ B \begin{equation*} \frac {1}{\sqrt {|\det R|}}\left [e^{2\pi i \langle R^{-1}b,\ell \rangle }\right ]_{\ell \in L,b\in B} \end{equation*} is unitary. We prove that the associated fractal self-affine measure μ = μ ( R , B ) \mu = \mu (R,B) obtained by an infinite convolution of atomic measures μ ( R , B ) = δ R − 1 B ∗ δ R − 2 B ∗ δ R − 3 B ∗ ⋯ \begin{equation*} \mu (R,B) = \delta _{R^{-1} B}\ast \delta _{R^{-2}B}\ast \delta _{R^{-3}B}\ast \cdots \end{equation*} is a spectral measure, i.e., it admits an orthonormal basis of exponential functions in L 2 ( μ ) L^2(\mu ) . This settles a long-standing conjecture proposed by Jorgensen and Pedersen and studied by many other authors. Moreover, we also show that if we relax the Hadamard triple condition to an almost-Parseval-frame condition, then we obtain a sufficient condition for a self-affine measure to admit Fourier frames.

Duality relation on spectra of self-affine measures

“…The conjecture holds in several special cases, its also holds with additional conditions. More recently, Dutkay, Haussermann and Lai [3] proved that the conjecture is true. So the remaining problem relating to this compatible pair case is to determine all the spectra for such a measure μ M,D .…”

Non-spectral problem for the planar self-affine measures

“…This surprising discovery has received a lot of attention, and the research on the spectrality of self-affine measures has become an interesting topic. Also, new spectral measures were found in [9], [1]- [6], [13]- [14] and references cited therein. A related problem is the non-spectral problem of self-affine measure.…”

Spectrality of Moran Sierpinski-type measures on

“…In 1998, Jorgensen and Pedersen [24] gave the first singular spectral measure: the standard middle-fourth Cantor measure. Following these discoveries, many more examples of fractal spectral measures have been constructed, such as self-similar measures [4, 26], self-affine measures [11, 17, 31] and Moran measures [2, 3, 19]. It is surprising that there are many distinctive phenomena that singular spectral measures do have but the absolutely continuous ones do not.…”