A counterexample to Fuglede's conjecture in \((\mathbb{Z}/p\mathbb{Z})^4\) for all odd primes (Q1999133)

The author constructs a spectral, non-tiling set of size \(2p\) in \((\mathbb{Z}/p\mathbb{Z})^4\) for \(p\) an odd prime. Fix a non-square \(n\in \mathbb{Z}/p\mathbb{Z}\). Define the sets \(E\) and \(A\) as follows. \[ E=\{(t^2,t,t,1)\mid t\in \mathbb{Z}/p\mathbb{Z}\}\cup\{(nt^2,nt,t,n)\mid t\in \mathbb{Z}/p\mathbb{Z}\} \] and \[ A=\{(1,2i,0,i^2)\mid i\in \mathbb{Z}/p\mathbb{Z}\}\cup\{(0,0,-2ni,ni^2)\mid i\in \mathbb{Z}/p\mathbb{Z}\}. \] Then the author proves that \(\{\chi_{\mathbf a}\mid {\mathbf a}\in A\}\) is an orthogonal basis of \(L^2(E)\). So \(E\) is spectral with spectrum \(A\) and since \(|E| =2p\nmid p^4\) for \(p\) odd, the set \(E\) is not tiling.