{"id":"arxiv/2608.07111","url":"https://arxiv.org/abs/2608.07111","tags":["math.RA"],"score":0,"title":"Noncommutative Rational Sums of Squares in Free Algebras","domain":"math.RA","source":"arxiv","authors":["Sizhuo Yan","Jianting Yang","Lihong Zhi"],"reviews":0,"subject":"math.RA","summary":"This paper introduces rational sums of squares for symmetric noncommutative polynomials in free algebras. Under the assumption that the polynomial admits a strictly positive scalar self-adjoint evaluation, our main result gives an operator-theoretic characterization of this class: a polynomial is a rational sum of squares if and only if there exists a degree bound such that, for every self-adjoint operator evaluation satisfying a natural nondegeneracy condition, the compression of the evaluated polynomial to the associated finite-dimensional cyclic subspace is not negative definite. We also…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-07","reactions":{}}