English

Pfister's theorem fails in the free case

Rings and Algebras 2011-02-10 v1

Abstract

Artin solved Hilbert's 17th17^{th} 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 pp is a positive semi-definite polynomial in nn variables, then there is a polynomial qq so that q2pq^2p is a sum of at most 2n2^n 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 z2d(jzj2)d\|z\|^{2d} \equiv (\sum_j |z_j|^2)^d is bounded below by a quantity depending on dd. Here we prove that a similar result holds in a free \ast-algebra.

Keywords

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}
}
R2 v1 2026-06-21T17:23:39.214Z