This question is mainly inspired from a different problem I was working on.
Given the following expression $$Q(x_1,\dots ,x_k)=\sum_{i=1}^k x_1^2$$ where all the $x_i$'s are integers, isIs there a value of $k$ such that, for each $n\in \mathbb N$, the equation $$Q(x_1,\dots ,x_k)=n$$$$\sum_{i=1}^{k}x_i^2=n$$ is solvable in $x_1,\dots ,x_k\in \mathbb P\cup \{0,1\}$ for all $n\in \mathbb N$? Here $\mathbb{P}$ is the set of prime numbers.
That is, can every nonnegative integer be written as a sum of squares of primes (together with $0$ and $1$), where the number of summands is absolutely bounded?
What about sumthe same question but for sums of $n$-th power of primespowers?
I want to know the researchesresearch that has been done in this field.