Real solutions to underdetermined system of polynomial equations I have the system of multi-variable polynomial (quadratic) equations with real coefficients. The number of equations is given scales as $K$ and the number of unknowns goes as $K^2$. So for for large $K$, this is an underdetermined system.
Can I conclude that I can always find $K$ large enough so that this system has at least one real solution or where should I look for counterexamples?
 A: However large $n$ may be, the equation
$x_1^2 + \ldots + x_n^2 = -1$ has no real solution.
(Similarly, the homogeneous equation $x_1^2 + \ldots + x_n^2 = 0$ has no nontrivial solution.)
If you want to go there, the theorem which gives you a necessary and sufficient condition for a system of real polynomial equations to have a real solution is the Real Nullstellensatz.  See for instance Section 3.9` of
http://alpha.math.uga.edu/~pete/modeltheory2010Chapter3.pdf
(Very roughly, this theorem says that the above is essentially the only way that a system of $n$ real polynomial equations in more than $n$ variables can fail to have a real solution.)
A: If you're dealing with finding solutions to a specific system, the traditional method is cylindrical algebraic decomposition, described for instance in Algorithms in Real Algebraic Geometry
by Saugata Basu, Richard Pollack, Marie-Françoise Roy downloadable HERE. This method is widely implemented in many computer algebra packages. An alternative method is the critical point method, which was implemented in Maple by Mohab Safey El Din (LINK). (Both methods eventually use Groebner bases b the way.)
This might let you experiment, but I doubt that these methods alone can give you all you need to know about a family of systems. Solving over the reals is harder than over the complexes (because the interplay between algebra and geometry is less straightforward). There is active research on the algorithmic aspects of the real Nullstellensatz, (e.g. M. Coste, H. Lombardi, M.-F. Roy. Dynamical method in algebra: efective Nullstellensatze, Annals of Pure and Applied Logic, 111, 203-256 (2001)), but the complexity is even worse than Groebner bases.
