Spectral sets and tiles in \(\mathbb{Z}_p^2 \times \mathbb{Z}_q^2\) (Q2123118)

The authors deal with Fuglede's conjecture for finite abelian groups. This conjecture, established for \(\mathbb R^n\) in 1974, was disproved in its general form for \(n\geq 5\) by means of products of finite cyclic groups. In order to investigate whether it holds in \(\mathbb R^2\), the authors find it convenient to study the state of the art for groups of the form \(\mathbb Z_p \times\mathbb Z_q\). They first present a rather complete survey of the results so far obtained in this direction. Let \(G\) be a finite abelian group. A subset \(S\subset G\) is said to be \textit{spectral} if there exists \(\Lambda \subset G\) such that \( \{ \chi_l \}_{l \in \Lambda}\) is an orthogonal basis for the complex valued functions defined on \(S\). The subset \(S\) is a \textit{tile} of \(G\) if there exists a subset \(T \subset G\) auch that \(S + T = G\) and \( |S| |T| = |G|\). Now \textit{Fuglede's Conjecture for a finite abelian group} \(G\) states that the spectral subsets of \(G\) coincide with the tiles of \(G\). The main result of the paper under review states that Fuglede's Conjecture holds for \(\mathbb Z_p^2 \times\mathbb Z_q^2 \) where \(p, q\) are different prime numbers and \(\mathbb Z_p\), \(\mathbb Z_q\) the cyclic groups of orders \(p\) and \(q\).