1: \begin{abstract}

2: Motivated by recent progress in quantum information theory,

3: this article aims at optimizing trace polynomials, i.e., polynomials in noncommuting variables and traces of their products. 

4: A novel Positivstellensatz certifying positivity of trace polynomials subject to trace constraints is presented, and 

5: a hierarchy of semidefinite relaxations 

6: converging monotonically to the optimum of a trace polynomial subject to tracial constraints is provided.

7: This hierarchy can be seen as a tracial analog of the 

8: Pironio, Navascu\'es and Ac\'in scheme [New J. Phys., 2008] 

9: for optimization of noncommutative polynomials.

10: The Gelfand-Naimark-Segal (GNS) construction is applied to extract optimizers of the trace optimization problem if flatness and extremality conditions are satisfied.

11: These conditions are sufficient to obtain finite convergence of our hierarchy.

12: \revise{The results obtained are applied to violations of polynomial Bell inequalities in quantum information theory.}

13: The main techniques used in this paper are inspired by 

14: real algebraic geometry, operator theory, and noncommutative algebra.

15: \end{abstract}

16: