Abstract:This paper introduces state polynomials, i.e., polynomials in noncommuting variables and formal states of their products. A state analog of Artin's solution to Hilbert's 17th problem is proved showing that state polynomials, positive over all matrices and matricial states, are sums of squares with denominators. Somewhat surprisingly, it is also established that a Krivine-Stengle Positivstellensatz fails to hold in the state polynomial setting. Further, archimedean Positivstellensätze in the spirit of Putinar and Helton-McCullough are presented leading to a hierarchy of semidefinite relaxations converging monotonically to the optimum of a state polynomial subject to state constraints. This hierarchy can be seen as a state analog of the Lasserre hierarchy for optimization of polynomials, and the Navascués-Pironio-Acín scheme for optimization of noncommutative polynomials. The motivation behind this theory arises from the study of correlations in quantum networks. Determining the maximal quantum violation of a polynomial Bell inequality for an arbitrary network is reformulated as a state polynomial optimization problem. Several examples of quadratic Bell inequalities in the bipartite and the bilocal tripartite scenario are analyzed. To reduce the size of the constructed SDPs, sparsity, sign symmetry and conditional expectation of the observables' group structure are exploited. To obtain the above-mentioned results, techniques from noncommutative algebra, real algebraic geometry, operator theory, and convex optimization are employed.

Positive univariate trace polynomials

Stable Lifting of Polynomial Traces on Triangles

Cross-positive linear maps, positive polynomials and sums of squares

Trace formulas in higher dimensions

There are many more positive maps than completely positive maps

Positivity is undecidable in tensor products of free algebras

A different approach to positive traces on generalized q-Weyl algebras

Trace identities and almost polynomial growth

Distinguishing Off-Shell Supergravities With On-Shell Physics

Further techniques on a polynomial positivity question of Collins, Dykema, and Torres-Ayala

Some convexity and monotonicity results of trace functionals

Matrix algebras with degenerate traces and trace identities

On positive Jacobi matrices with compact inverses

Arithmetic exponent pairs for algebraic trace functions and applications

A Note on the Trace Quotient Problem.

State polynomials: positivity, optimization and nonlinear Bell inequalities

Partial trace inequalities for partial transpose of positive semidefinite block matrices

Sum-of-squares Chordal Decomposition of Polynomial Matrix Inequalities

A regularity condition under which integral operators with operator-valued kernels are trace class

Stable Liftings of Polynomial Traces on Tetrahedra