Global Solvability and Simultaneously Approximable Vectors

We consider a class of sum of squares operators on a torus and we prove that global solvability is equivalent to an algebraic condition involving simultaneously approximable vectors.