2 citations · 5 across the 6 of their papers we have counts for
7 papers · 1 filter
On Approximate Computation of Critical Points
Amir Ali Ahmadi, Georgina Hall
We show that computing even very coarse approximations of critical points is intractable for simple classes of nonconvex functions. More concretely, we prove that if there exists a…
Convex Ternary Quartics Are SOS-Convex
Amir Ali Ahmadi, Grigoriy Blekherman, Pablo A. Parrilo
We prove that convex ternary quartic forms are sum-of-squares-convex (sos-convex). This result is in a meaningful sense the ``convex analogue'' a celebrated theorem of Hilbert from…
Safely Learning Dynamical Systems
Amir Ali Ahmadi, Abraar Chaudhry, Vikas Sindhwani +1
A fundamental challenge in learning an unknown dynamical system is to reduce model uncertainty by making measurements while maintaining safety. We formulate a mathematical definiti…
Sums of Separable and Quadratic Polynomials
Amir Ali Ahmadi, Cemil Dibek, Georgina Hall
We study separable plus quadratic (SPQ) polynomials, i.e., polynomials that are the sum of univariate polynomials in different variables and a quadratic polynomial. Motivated by th…
Safely Learning Dynamical Systems from Short Trajectories
Amir Ali Ahmadi, Abraar Chaudhry, Vikas Sindhwani +1
A fundamental challenge in learning to control an unknown dynamical system is to reduce model uncertainty by making measurements while maintaining safety. In this work, we formulat…
A Survey of Recent Scalability Improvements for Semidefinite Programming with Applications in Machine Learning, Control, and Robotics
Anirudha Majumdar, Georgina Hall, Amir Ali Ahmadi
Historically, scalability has been a major challenge to the successful application of semidefinite programming in fields such as machine learning, control, and robotics. In this pa…