Spectra of certain types of polynomials and tiling of integers with translates of finite sets. (Q1421294): Difference between revisions

For \(A\subset{\mathbb Z}\) a finite set define \(A(x)=\sum_{a\in A}x^a\). The set \(\{\theta_1, \theta_2, \dots, \theta_{N-1}\}\) is called an \(N\)-spectrum for \(A(x)\) if the \(\theta_i\) are all distinct and \(A\left(e^{2\pi i(\theta_j-\theta_k)} \right)=0\) for all \(0\leq j\neq k\leq N-1\). In the paper necessary and sufficient conditions are proved for irreducible polynomials \(A(x)\) and polynomials which are products of two factors corresponding to arithmetical sequences with zero leading terms to have spectrum. This proves the so-called \textit{B. Fuglede's} spectral set conjecture [J. Funct. Anal. 16, 101--121 (1974; Zbl 0279.47014)] for associated sets. A note added in the proof of the paper says that T. Tac showed that this conjecture is false in dimensions \(\geq 5\).