Abstract:The problem of minimizing a polynomial over a set of polynomial inequalities is an NP-hard non-convex problem. Thanks to powerful results from real algebraic geometry, one can convert this problem into a nested sequence of finite-dimensional convex problems. At each step of the associated hierarchy, one needs to solve a fixed size semidefinite program, which can be in turn solved with efficient numerical tools. On the practical side however, there is no-free lunch and such optimization methods usually encompass severe scalability issues. Fortunately, for many applications, we can look at the problem in the eyes and exploit the inherent data structure arising from the cost and constraints describing the problem, for instance sparsity or symmetries. This book presents several research efforts to tackle this scientific challenge with important computational implications, and provides the development of alternative optimization schemes that scale well in terms of computational complexity, at least in some identified class of problems. The presented algorithmic framework in this book mainly exploits the sparsity structure of the input data to solve large-scale polynomial optimization problems. We present sparsity-exploiting hierarchies of relaxations, for either unconstrained or constrained problems. By contrast with the dense hierarchies, they provide faster approximation of the solution in practice but also come with the same theoretical convergence guarantees. Our framework is not restricted to static polynomial optimization, and we expose hierarchies of approximations for values of interest arising from the analysis of dynamical systems. We also present various extensions to problems involving noncommuting variables, e.g., matrices of arbitrary size or quantum physic operators.

Syntactic Characterisations of Polynomial-Time Optimisation Classes (Syntactic Characterizations of Polynomial-Time Optimization Classes)

Uniform-Circuit and Logarithmic-Space Approximations of Refined Combinatorial Optimization Problems

Existential Second-Order Logic Over Graphs: A Complete Complexity-Theoretic Classification

An abstract view on optimizations in propositional frameworks

Approximability and proof complexity

On Theoretical Complexity and Boolean Satisfiability

Logical Expressibility of Syntactic NL for Complementarity, Monotonicity, and Maximization

Approximability of Integer Programming with Generalised Constraints

Consistency, Optimality, and Incompleteness

A Class of Polynomially Solvable 0–1 Programming Problems and an Application

Sparse Polynomial Optimization: Theory and Practice

From Almost Optimal Algorithms to Logics for Complexity Classes Via Listings and a Halting Problem

Minimization for Generalized Boolean Formulas

Hybrid Modal Operators for Definite Descriptions

On the Complexity of Solution Extension of Optimization Problems

Choiceless Computation and Symmetry: Limitations of Definability

A Characterization of Simultaneous Optimization, Majorization, and (Bi-)Submodular Polyhedra

Bounded Nondeterminism and Alternation in Parameterized Complexity Theory

First-order optimality conditions for non-commutative optimization problems

Completeness in the Polynomial Hierarchy for many natural Problems in Bilevel and Robust Optimization

Some variants of SAT and their properties