Fuglede's conjecture for elementary abelian groups

About 7 years old · traced to

Let pp be a prime and d≥1d\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+t∣t∈T}\{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 {χa∣a∈A}\{\chi_{\mathbf a}\mid \mathbf a\in A\} form an orthogonal basis of L2(E)L^2(E), where χa(x)=e2πip⟨a,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.

References

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.