Fuglede's conjecture for elementary abelian groups

Let pp be a prime and d1d\geq 1. A set E(Z/pZ)dE\subseteq (\mathbb Z/p\mathbb Z)^d is tiling if there exists T(Z/pZ)dT\subseteq (\mathbb Z/p\mathbb Z)^d such that the translates {E+ttT}\{E+t\mid t\in T\} partition the group. It is spectral if there exists A(Z/pZ)dA\subseteq (\mathbb Z/p\mathbb Z)^d such that the characters {χaaA}\{\chi_{\mathbf a}\mid \mathbf a\in A\} form an orthogonal basis of L2(E)L^2(E), where χa(x)=e2πipa,x\chi_{\mathbf a}(\mathbf x)=e^{\frac{2\pi i}{p}\langle\mathbf a,\mathbf x\rangle}. Fuglede's conjecture. A set E(Z/pZ)dE\subseteq (\mathbb Z/p\mathbb Z)^d is a tiling set if and only if it is a spectral set. The conjecture is refuted in (Z/pZ)4(\mathbb Z/p\mathbb Z)^4 for every odd prime by the paper's construction of a spectral, non-tiling set of size 2p2p; the source also notes that it holds in (Z/2Z)4(\mathbb Z/2\mathbb Z)^4.

Sources & referencesView supporting material

Primary source

Sam Mattheus, “A counterexample to Fuglede's conjecture in (Z/pZ)^4 for all odd primes”, arXiv:1904.11537 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.