Orthonormal bases of exponentials for the \(n\)-cube (Q1568657): Difference between revisions

Consider the unit cube \(Q\) in \({\mathbb R}^d\). It is proved here that a set \(\Lambda \subseteq {\mathbb R}^d\) is a tiling set for \(Q\) (that is, the sets \(Q+\lambda\), \(\lambda\in\Lambda\), are non-overlapping and fill the space) if and only if the set \(E_\Lambda = \{\exp{(2\pi i \lambda\cdot x)}: \lambda\in\Lambda\}\) is a complete orthonormal basis in \(L^2(Q)\). This is related to a conjecture of Fuglede which states that for a domain \(\Omega\) in the space of volume 1, such a basis for \(L^2(\Omega)\) exists if and only if \(\Omega\) can be translated so as to tile the space.