On the discrete Fuglede and Pompeiu problems

Abstract

We investigate the discrete Fuglede's conjecture and Pompeiu problem on finite abelian groups and develop a strong connection between the two problems. We give a geometric condition under which a multiset of a finite abelian group has the discrete Pompeiu property. Using this description and the revealed connection we prove that Fuglede's conjecture holds for ${\mathbb{Z}}_{p^n{q}^2}$, where $p$ and $q$ are different primes. In particular, we show that every spectral subset of ${\mathbb{Z}}_{p^n{q}^2}$ tiles the group. Further, using our combinatorial methods we give a simple proof for the statement that Fuglede's conjecture holds for ${\mathbb{Z}}_p^2$.

24 pages. Incorporated referees' and editor's remarks. Corrected typos