Algebraic Relaxations and Hardness Results in Polynomial Optimization and Lyapunov Analysis
Amir Ali Ahmadi

TL;DR
This thesis explores the computational complexity and algebraic relaxations in polynomial optimization and Lyapunov analysis, providing new insights into their limitations and capabilities.
Contribution
It offers new hardness results and algebraic relaxation techniques for polynomial optimization and control problems.
Findings
Establishes new computational hardness results.
Develops algebraic relaxation methods.
Analyzes limitations of semidefinite programming relaxations.
Abstract
This thesis settles a number of questions related to computational complexity and algebraic, semidefinite programming based relaxations in optimization and control.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Optimization Algorithms Research · Numerical Methods and Algorithms · Formal Methods in Verification
