The Fuglede Conjecture holds in ${\Bbb Z}_p \times {\Bbb Z}_p$

TL;DR

This paper proves the Fuglede Conjecture in the two-dimensional finite field setting, establishing the equivalence between spectral sets and tiling sets in ${\Bbb Z}_p^2$ using Fourier analysis and combinatorial methods.

Contribution

It provides the first proof of the Fuglede Conjecture in ${\Bbb Z}_p^2$, demonstrating the equivalence between spectral and tiling sets in this finite field context.

Findings

Spectral sets in ${\Bbb Z}_p^2$ are exactly the tiling sets.

The proof combines Fourier analysis, Galois theory, and geometric combinatorics.

The Fuglede Conjecture holds in the two-dimensional finite field setting.

Abstract

In this paper we study subsets $E$ of ${\Bbb Z}_p^d$ such that any function $f: E \to {\Bbb C}$ can be written as a linear combination of characters orthogonal with respect to $E$. We shall refer to such sets as spectral. In this context, we prove the Fuglede Conjecture in ${\Bbb Z}_p^2$ which says that $E \subset {\Bbb Z}_p^2$ is spectral if and only if $E$ tiles ${\Bbb Z}_p^2$ by translation. Arithmetic properties of the finite field Fourier transform, elementary Galois theory and combinatorial geometric properties of direction sets play the key role in the proof.