Gram-like matrix preserving extensions and completions of noncommutative polynomials

Arijit Mukherjee, Arindam Sutradhar

Given a positive noncommutative polynomial $f$, equivalently a sum of Hermitian squares (SOHS), there exists a positive semidefinite Gram matrix that encrypts all the structural es…