What can be said about the polynomial $f\in\mathbb Q[x, y]$ which is everywhere nonnegative?
Motivation: this may lead to progress in the question about polynomial onto map $\mathbb Z\times \mathbb Z\to\mathbb N$, but I post it separately as it's interesting in itself.
Note: there are examples of polynomials nonnegative on $\mathbb Z\times \mathbb Z$, but not bounded from below, e.g. $(x^2-x)y^2$, so this doesn't apply directly.