Pfister's theorem fails in the free case
Rings and Algebras
2011-02-10 v1
Abstract
Artin solved Hilbert's problem by showing that every positive semidefinite polynomial can be realized as a sum of squares of rational functions. Pfister gave a bound on the number of squares of rational functions: if is a positive semi-definite polynomial in variables, then there is a polynomial so that is a sum of at most squares. As shown by D'Angelo and Lebl, the analog of Pfister's theorem fails in the case of Hermitian polynomials. Specifically, it was shown that the rank of any multiple of the polynomial is bounded below by a quantity depending on . Here we prove that a similar result holds in a free -algebra.
Cite
@article{arxiv.1102.1768,
title = {Pfister's theorem fails in the free case},
author = {Martin Harrison},
journal= {arXiv preprint arXiv:1102.1768},
year = {2011}
}