Title:Factoring Non-negative Operator Valued Trigonometric Polynomials in Two Variables

Abstract:Using Schur complement techniques, it is shown that a non-negative operator valued trigonometric polynomial in two variables with degree (d_1,d_2) can be written as a finite sum of hermitian squares of at most 2d_2 analytic polynomials with degrees at most (d_1, 2d_2-1). In analogy with the Tarski transfer principle in real algebra, when the coefficient space is finite dimensional, the proof lifts the problem to an ultraproduct, solves it there, and then shows that this implies the existence of a solution in the original context. The general result is obtained through a compactness argument. While the proof is non-constructive, it nevertheless leads to a concrete algorithm for the factorization.