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 Matrices
- Polynomial Optimization and the Moment-SOS Hierarchy
- Correlative Sparsity:
- The Moment-SOS Hierarchy Based on Correlative Sparsity
- Application in Computer Arithmetic
- Application in Deep Networks
- Noncommutative Optimization and Quantum Information
- Term Sparsity:
- The Moment-SOS Hierarchy Based on Term Sparsity
- Exploiting Both Correlative and Term Sparsity
- Application in Optimal Power Flow
- Exploiting Term Sparsity in Noncommutative Polynomial Optimization
- Application in Stability of Control Systems
- Miscellaneous
- Appendices: Software Libraries:
- Programming with MATLAB
- Programming 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