Geometry of 3D Environments and Sum of Squares Polynomials
Amir Ali Ahmadi, Georgina W Hall, Ameesh Makadia, Vikas Sindhwani · 2017
Fig. 1: Sublevel sets of sos-convex polynomials of increasing degree (left); sublevel sets of sos polynomials of increasing nonconvexity (middle); growth and shrinkage of an sos-body with sublevel sets (right) Abstract-Motivated by applications in robotics and computer vision, we study problems related to spatial reasoning of a 3D environment using sublevel sets of polynomials.These include: tightly containing a cloud of points (e.g., representing an obstacle) with convex or nearly-convex basic semialgebraic sets, computation of Euclidean distance between two such sets, separation of two convex basic semalgebraic sets that overlap, and tight containment of the union of several basic semialgebraic sets with a single convex one.We use algebraic techniques from sum of squares optimization that reduce all these tasks to semidefinite programs of small size and present numerical experiments in realistic scenarios.