Geodesic
Rational sums of hermitian squares of free noncommutative polynomials
Ars Mathematica Contemporanea, Tome 9 (2015) no. 2, pp. 243-259.

Voir la notice de l'article provenant de la source Ars Mathematica Contemporanea website

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.
DOI : 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. 
@article{10_26493_1855_3974_518_768,
     author = {Kristijan Cafuta and Igor Klep and Janez Povh},
     title = {Rational sums of hermitian squares of free noncommutative polynomials},
     journal = {Ars Mathematica Contemporanea},
     pages = {243--259},
     publisher = {mathdoc},
     volume = {9},
     number = {2},
     year = {2015},
     doi = {10.26493/1855-3974.518.768},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.26493/1855-3974.518.768/}
}
TY  - JOUR
AU  - Kristijan Cafuta
AU  - Igor Klep
AU  - Janez Povh
TI  - Rational sums of hermitian squares of free noncommutative polynomials
JO  - Ars Mathematica Contemporanea
PY  - 2015
SP  - 243
EP  - 259
VL  - 9
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.26493/1855-3974.518.768/
DO  - 10.26493/1855-3974.518.768
LA  - en
ID  - 10_26493_1855_3974_518_768
ER  - 
%0 Journal Article
%A Kristijan Cafuta
%A Igor Klep
%A Janez Povh
%T Rational sums of hermitian squares of free noncommutative polynomials
%J Ars Mathematica Contemporanea
%D 2015
%P 243-259
%V 9
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.26493/1855-3974.518.768/
%R 10.26493/1855-3974.518.768
%G en
%F 10_26493_1855_3974_518_768
Kristijan Cafuta; Igor Klep; Janez Povh. Rational sums of hermitian squares of free noncommutative polynomials. Ars Mathematica Contemporanea, Tome 9 (2015) no. 2, pp. 243-259. doi : 10.26493/1855-3974.518.768. http://geodesic.mathdoc.fr/articles/10.26493/1855-3974.518.768/

Cité par Sources :