1 research outputs found
Computing rational points in convex semi-algebraic sets and SOS decompositions
Let ,
for , bounding the bit length of the coefficients of
the 's, and be a quantifier-free -formula defining a
convex semi-algebraic set. We design an algorithm returning a rational point in
if and only if {\cal S}\cap \Q\neq\emptyset. It requires
\sigma^{\bigO(1)}D^{\bigO(k^3)} bit operations. If a rational point is
outputted its coordinates have bit length dominated by \sigma D^{\bigO(k^3)}.
Using this result, we obtain a procedure deciding if a polynomial is a sum of squares of polynomials in \Q[X_1, ..., X_n]. Denote
by the degree of , the maximum bit length of the coefficients in
, and . This
procedure requires \tau^{\bigO(1)}D^{\bigO(k^3)} bit operations and the
coefficients of the outputted polynomials have bit length dominated by \tau
D^{\bigO(k^3)}