State polynomials: positivity, optimization and nonlinear Bell inequalities
arXiv:2301.12513 · doi:10.1007/s10107-023-02024-5
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.
References in corpus (24)
- A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
- Beyond Bell's Theorem: Correlation Scenarios
- Bell nonlocality in networks
- Polynomial Bell inequalities
- Nonlinear Bell inequalities tailored for quantum networks
- Convergent relaxations of polynomial optimization problems with non-commuting variables
- Quadratic Bell inequalities as tests for multipartite entanglement
- Connes' embedding conjecture and sums of hermitian squares
- Semidefinite Characterization and Computation of Real Radical Ideals
- Bounding the sets of classical and quantum correlations in networks
- Configuration of separability and tests for multipartite entanglement in Bell-type experiments
- The convex Positivstellensatz in a free algebra
- Sparse Noncommutative Polynomial Optimization
- Free function theory through matrix invariants
- Covariance Bell inequalities
- Optimization over trace polynomials
- Dimension-free entanglement detection in multipartite Werner states
- Positive trace polynomials and the universal Procesi-Schacher conjecture
- A convergent inflation hierarchy for quantum causal structures
- The inflation hierarchy and the polarization hierarchy are complete for the quantum bilocal scenario
- Positive univariate trace polynomials
- Globally trace-positive noncommutative polynomials and the unbounded tracial moment problem
- Two convergent NPA-like hierarchies for the quantum bilocal scenario
- A more efficient reformulation of complex SDP as real SDP