Optimization over trace polynomials

DOI10.1007/S00023-021-01095-4zbMATH Open1483.90106arXiv2006.12510OpenAlexW3193079914MaRDI QIDQ2068367FDOQ2068367

Authors: Igor Klep, Victor Magron, Jurij Volčič 

Publication date: 19 January 2022

Published in: Annales Henri Poincaré (Search for Journal in Brave)

Abstract: Motivated by recent progress in quantum information theory, this article aims at optimizing trace polynomials, i.e., polynomials in noncommuting variables and traces of their products. A novel Positivstellensatz certifying positivity of trace polynomials subject to trace constraints is presented, and a hierarchy of semidefinite relaxations converging monotonically to the optimum of a trace polynomial subject to tracial constraints is provided. This hierarchy can be seen as a tracial analog of the Pironio, Navascu'es and Ac'in scheme [New J. Phys., 2008] for optimization of noncommutative polynomials. The Gelfand-Naimark-Segal (GNS) construction is applied to extract optimizers of the trace optimization problem if flatness and extremality conditions are satisfied. These conditions are sufficient to obtain finite convergence of our hierarchy. The results obtained are applied to violations of polynomial Bell inequalities in quantum information theory. The main techniques used in this paper are inspired by real algebraic geometry, operator theory, and noncommutative algebra.

Full work available at URL: https://arxiv.org/abs/2006.12510

Recommendations

• The tracial moment problem and trace-optimization of polynomials
• Constrained polynomial optimization problems with noncommuting variables
• Convergent relaxations of polynomial optimization problems with noncommuting variables
• Sparse noncommutative polynomial optimization
• Constrained trace-optimization of polynomials in freely noncommuting variables

zbMATH Keywords

semidefinite programmingvon Neumann algebraPositivstellensatznoncommutative polynomialsemialgebraic settrace optimization(pure) trace polynomial

Mathematics Subject Classification ID

Semidefinite programming (90C22) Applications of functional analysis in quantum physics (46N50) Applications of operator theory in optimization, convex analysis, mathematical programming, economics (47N10) Computational methods for problems pertaining to quantum theory (81-08) Programming in abstract spaces (90C48) Semialgebraic sets and related spaces (14P10) Real algebra (13J30) Polynomial optimization (90C23)

Cites Work

• NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials
• Global optimization with polynomials and the problem of moments
• Proposed Experiment to Test Local Hidden-Variable Theories
• Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model
• The \(K\)-moment problem for compact semi-algebraic sets
• Sums of squares, moment matrices and optimization over polynomials
• Title not available (Why is that?)
• Title not available (Why is that?)
• Exploiting Symmetries in SDP-Relaxations for Polynomial Optimization
• Handbook of semidefinite programming. Theory, algorithms, and applications
• Separability of \(n\)-particle mixed states: necessary and sufficient conditions in terms of linear maps
• Theory of operator algebras I.
• Title not available (Why is that?)
• Semidefinite characterization and computation of zero-dimensional real radical ideals
• The invariant theory of \(n\times n\) matrices
• ``Positive noncommutative polynomials are sums of squares.
• Monotonic converging variational approximations to the functional integrals in quantum statistical mechanics
• Proof of the BMV conjecture
• Flat extensions of positive moment matrices: recursively generated relations
• A positivstellensatz for non-commutative polynomials
• Proper analytic free maps
• Positive polynomials and sums of squares
• Differential equations, difference equations and matrix theory
• Handbook on semidefinite, conic and polynomial optimization
• Factoriality and Connes' invariant T(M) for free products of von Neumann algebras.
• Connes' embedding conjecture and sums of Hermitian squares
• Convergent relaxations of polynomial optimization problems with noncommuting variables
• Engineering systems and free-semi-algebraic geometry
• Factorization of operator-valued polynomials in several non-commuting variables
• The tracial moment problem and trace-optimization of polynomials
• Equivalent forms of the Bessis-Moussa-Villani conjecture
• A noncommutative moment problem
• Constrained polynomial optimization problems with noncommuting variables
• Problems and theorems in analysis II. Theory of functions, zeros, polynomials, determinants, number theory, geometry. Transl. from the German by C. E. Billigheimer.
• Separability properties of tripartite states with \(U\otimes u\otimes U\) symmetry
• Asymptotically well-behaved input states do not violate additivity for conjugate pairs of random quantum channels
• Hyperbolic polynomials and generalized Clifford algebras
• Multivariate trace inequalities
• A numerical algorithm for block-diagonal decomposition of matrix \(*\)-algebras with application to semidefinite programming
• Configuration of separability and tests for multipartite entanglement in Bell-type experiments
• Optimization of Polynomials in Non-Commuting Variables
• Free Function Theory Through Matrix Invariants
• Title not available (Why is that?)
• Bounds on entanglement dimensions and quantum graph parameters via noncommutative polynomial optimization
• Generalized log-majorization and multivariate trace inequalities
• Polynomial Bell Inequalities
• Positive trace polynomials and the universal Procesi-Schacher conjecture
• Lower bounds on matrix factorization ranks via noncommutative polynomial optimization
• Characterization of equivariant maps and application to entanglement detection
• Minimizer Extraction in Polynomial Optimization Is Robust
• Positive maps and trace polynomials from the symmetric group

Cited In (11)

• Dimension-free entanglement detection in multipartite Werner states
• The tracial moment problem and trace-optimization of polynomials
• Positive maps from the walled Brauer algebra
• Optimization via Chebyshev polynomials
• Positive univariate trace polynomials
• State polynomials: positivity, optimization and nonlinear Bell inequalities
• Real algebraic geometry with a view toward Koopman operator methods. Abstracts from the workshop held March 12--17, 2023
• A Characterization of Perfect Strategies for Mirror Games
• Globally trace-positive noncommutative polynomials and the unbounded tracial moment problem
• Noncommutative Christoffel-Darboux kernels
• Partial isospectrality of a matrix pencil and circularity of the \(c\)-numerical range

Uses Software

• NCSOStools

This page was built for publication: Optimization over trace polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2068367)