Rational sums of hermitian squares of free noncommutative polynomials

Authors

  • Kristijan Cafuta Univerza v Ljubljani, Fakulteta za elektrotehniko, Laboratorij za uporabno matematiko
  • Igor Klep The University of Auckland, Department of Mathematics
  • Janez Povh Fakulteta za informacijske študije v Novem mestu

DOI:

https://doi.org/10.26493/1855-3974.518.768

Keywords:

Sum of squares, semidefinite programming, noncommutative polynomial, Matlab toolbox, commutator, cyclic equivalence, free positivity, real algebraic geometry, Motzkin polynomial, Bessis- Moussa-Villani (BMV) conjecture, NCSOStools.

Abstract

In this paper we consider polynomials in noncommuting variables that admit sum of hermitian squares and commutators decompositions. We recall algorithms for finding decompositions of this type that are based on semidefinite programming. The main part of the article investigates how to find such decomposition with rational coefficients if the original polynomial has rational coefficients. We show that the numerical evidence, obtained by the Gram matrix method and semidefinite programming, which is usually an almost feasible point, can be frequently tweaked to obtain an exact certificate using rational numbers. In the presence of Slater points, the Peyrl-Parrilo rounding and projecting method applies. On the other hand, in the absence of strict feasibility, a variant of the facial reduction is proposed to reduce the size of the semidefinite program and to enforce the existence of Slater points. All these methods are implemented in our open source computer algebra package NCSOStools. Throughout the paper many worked out examples are presented to illustrate our results.

Published

2014-11-28

Issue

Section

Articles