Spectrality of Self-Similar Tiles

We call a set $K \subset {\mathbb R}^s$ with positive Lebesgue measure a {\it spectral set} if $L^2(K)$ admits an exponential orthonormal basis. It was conjectured that $K$ is a spectral set if and only if $K$ is a tile (Fuglede's conjecture). Despite the conjecture was proved to be false on ${\mathbb R}^s$, $s\geq 3$ ([T], [KM2]), it still poses challenging questions with additional assumptions. In this paper, our additional assumption is self-similarity. We study the spectral properties for the class of self-similar tiles $K$ in ${\mathbb R}$ that has a product structure on the associated digit sets. We show that any strict product-form tiles and the associated modulo product-form tiles are spectral sets. As for the converse question, we give a pilot study for the self-similar set $K$ generated by arbitrary digit sets with four elements. We investigate the zeros of its Fourier transform due to the orthogonality, and verify Fuglede's conjecture for this special case.

No reviews yet.

No comments yet.