Spectral sets and weak tiling (Q6062483)

A set \(\Omega\in\mathbb R^d\) is said to be spectral if the space \(L^2(\Omega)\) admits an orthogonal basis of exponential functions. \textit{B. Fuglede} [J. Funct. Anal. 16, 101--121 (1974; Zbl 0279.47014)] conjectured that \(\Omega\) is spectral if and only if it can tile the space by translations. While this conjecture was disproved for general sets, it was recently proved that the Fuglede conjecture does hold for the class of convex bodies in \(\mathbb R^d\). The proof was based on a new geometric necessary condition for spectrality, called ``weak tiling''. In this paper, further properties of the weak tiling notion are studied, and applications to convex bodies, non-convex polytopes, product domains and Cantor sets of positive measure are given.