A refinement of Reznick's Positivstellensatz with applications to quantum information theory

Alexander Müller-Hermes, Ion Nechita, David Reeb

In his solution of Hilbert's 17th problem Artin showed that any positive definite polynomial in several variables can be written as the quotient of two sums of squares. Later Rezni…