P$\mathrm{\wp }$N functions, complete mappings and quasigroup difference sets

We investigate pairs of permutations $F,G$ of ${\mathbb{F}}_{p^n}$ such that $F(x+a)-G(x)$ is a permutation for every $a\in {\mathbb{F}}_{p^n}$. We show that necessarily $G(x)=\mathrm{\wp }(F(x))$ for some complete mapping $-\mathrm{\wp }$ of ${\mathbb{F}}_{p^n}$, and call the permutation $F$ a perfect $\mathrm{\wp }$ nonlinear (P$\mathrm{\wp }$N) function. If $\mathrm{\wp }(x)=cx$, then $F$ is a PcN function, which have been considered in the literature, lately. With a binary operation on ${\mathbb{F}}_{p^n}\times {\mathbb{F}}_{p^n}$ involving $\mathrm{\wp }$, we obtain a quasigroup, and show that the graph of a P$\mathrm{\wp }$N function $F$ is a difference set in the respective quasigroup. We further point to variants of symmetric designs obtained from such quasigroup difference sets. Finally, we analyze an equivalence (naturally defined via the automorphism group of the respective quasigroup) for P$\mathrm{\wp }$N functions, respectively, the difference sets in the corresponding quasigroup.