1: \begin{abstract}

2: Let $\Omega \subset \mathbb{R}^{d}$ have finite positive Lebesgue measure,

3: and let $\mathcal{L}^{2}\left( \Omega \right) $ be the corresponding Hilbert

4: space of $\mathcal{L}^{2}$-functions on $\Omega $. We shall consider the

5: exponential functions $e_{\lambda }$ on $\Omega $ given by

6: $e_{\lambda }\left( x\right)  =e^{i2\pi \lambda \cdot x}$.

7: If these functions form an orthogonal basis for $\mathcal{L}^{2}\left(

8: \Omega \right) $, when $\lambda $ ranges over some subset $\Lambda $ in $%

9: \mathbb{R}^{d}$, then we say that $\left( \Omega ,\Lambda \right) $ is a 

10: \emph{spectral pair}, and that $\Lambda $ is a \emph{spectrum.} 

11: We conjecture that $\left( \Omega ,\Lambda \right) $ is a spectral pair

12: if and only if the translates of some set $\Omega ^{\prime}$

13: by the vectors of $\Lambda $ tile $\mathbb{R}^{d}$.

14: In the special case of 

15: $\Omega =I^{d}$, the $d$-dimensional unit cube,

16: we prove this conjecture,

17: with $\Omega ^{\prime}=I^{d}$,

18: for $d\leq 3$,

19: describing all the tilings by $I^{d}$,

20: and for all

21: $d$ when $\Lambda $ is a discrete

22: periodic set.

23: In an appendix we generalize the notion

24: of spectral pair to measures on a locally

25: compact abelian group and its dual.

26: \end{abstract}

27: