Representación de enteros como imágenes de polinomios de la forma $x^k+y^{\ell}$ en $\mathbb Z_n$

Para un polinomio $f(x_1,\ldots, x_t)$ y un entero positivo $n$, definimos el conjunto $A_n$ formado por los enteros $a\in \{0,\ldots, n-1\}$ para los cuales la congruencia $f(x_1,\ldots, x_t)\equiv a\ ({\rm mod }\ n)$ tiene solución. Definimos $\alpha(n)$ como el cardinal de $A_n$ y resulta que $\a...