SPARSE POLYNOMIAL OPTIMIZATION: THEORY AND PRACTICE

Many applications, including computer vision, computer arithmetic, deep learning, entanglement in quantum information, graph theory and energy networks, can be successfully tackled within the framework of polynomial optimization, an emerging field with growing research efforts in the last two decades. One key advantage of these techniques is their ability to model a wide range of problems using optimization formulations. Polynomial optimization heavily relies on the moment-sums of squares (moment-SOS) approach proposed by Lasserre, which provides certificates for positive polynomials. On the practical side, however, there is 'no free lunch' and such optimization methods usually encompass severe scalability issues. Fortunately, for many applications, including the ones formerly mentioned, we can look at the problem in the eyes and exploit the inherent data structure arising from the cost and constraints describing the problem.

This book presents several research efforts to resolve this scientific challenge with important computational implications. It provides the development of alternative optimization schemes that scale well in terms of computational complexity, at least in some identified class of problems. It also features a unified modeling framework to handle a wide range of applications involving both commutative and noncommutative variables, and to solve concretely large-scale instances. Readers will find a practical section dedicated to the use of available open-source software libraries.

This interdisciplinary monograph is essential reading for students, researchers and professionals interested in solving optimization problems with polynomial input data.

Contents:
Preliminary Background:Semidefinite Programming and Sparse MatricesPolynomial Optimization and the Moment-SOS HierarchyCorrelative Sparsity:The Moment-SOS Hierarchy Based on Correlative SparsityApplication in Computer ArithmeticApplication in Deep NetworksNoncommutative Optimization and Quantum InformationTerm Sparsity:The Moment-SOS Hierarchy Based on Term SparsityExploiting Both Correlative and Term SparsityApplication in Optimal Power FlowExploiting Term Sparsity in Noncommutative Polynomial OptimizationApplication in Stability of Control SystemsMiscellaneousAppendices: Software Libraries:Programming with MATLABProgramming with Julia
Readership: Anyone interested in solving optimization problems with polynomial input data: advanced undergraduates and graduate students, engineers, and researchers in applied mathematics, quantum physics, deep learning, or power systems.

Key Features:
For the first time, a detailed account of the theory of sparse polynomial optimization along with numerous illustrations of the theory in explicit examples are shown A practical section is dedicated to the use of available open-source software libraries to help people tackle their own problems Suited for graduate students, engineers and researchers in optimization, applied mathematics, quantum physics, deep learning, power systems, etc. This book is complementary to The Moment-SOS Hierarchy by Henrion, Korda and Lasserre, in the sense that it does focus on theoretical and practical tools to solve large-scale polynomial optimization problems in an efficient way