solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看5365次
Facial reduction for exact polynomial sum of squares decompositions. (arXiv:1810.04215v1 [math.AG])
来源于:arXiv
We study the problem of decomposing a non-negative polynomial as an exact sum
of squares (SOS) in the case where the associated semidefinite program is
feasible but not strictly feasible (for example if the polynomial has real
zeros). Computing symbolically roots of the original polynomial and applying
facial reduction techniques, we can solve the problem algebraically or restrict
to a subspace where the problem becomes strictly feasible and a numerical
approximation can be rounded to an exact solution.
As an application, we study the problem of determining when can a rational
polynomial that is a sum of squares of polynomials with real coefficients be
written as sum of squares of polynomials with rational coefficients, and answer
this question for some previously unknown cases. We first prove that if $f$ is
the sum of two squares with coefficients in an algebraic extension of ${\mathbb
Q}$ of odd degree, then it can always be decomposed as a rational SOS. For the
case of more than two 查看全文>>