YoVDO

Certificates of Nonnegativity and Their Applications in Theoretical Computer Science

Offered By: Society for Industrial and Applied Mathematics via YouTube

Tags

Applied Mathematics Courses Theoretical Computer Science Courses Nonconvex Optimization Courses Real Algebraic Geometry Courses

Course Description

Overview

Explore the intricacies of certifying nonnegativity in real algebraic geometry during this 58-minute seminar presented by Timo de Wolff from Technische Universität Braunschweig. Delve into the historical context of nonnegativity certification, focusing on sums of squares (SOS) and the more recent sums of nonnegative circuit polynomials (SONC). Discover the applications of these concepts in polynomial optimization and theoretical computer science. Examine the theoretical bounds for hierarchies applied to optimization problems on the Boolean Hypercube, including standard problems like Maxcut and Knapsack. Gain insights into nonconvex optimization, nonnegative polynomials, and dual hierarchies through this comprehensive presentation moderated by Jose Israel Rodriguez from the University of Wisconsin-Madison.

Syllabus

Intro
Announcements
General Introduction
Nonconvex Optimization
Applications
Nonnegative polynomials
Historical results
Gregs theorem
Bruce Resnick
sums of nonnegative polynomials
a new cone
general approach
definition
polynomial optimization
polynomial equality
Special instances
Comparison of hierarchies
Results
Discriminants
Dual hierarchies
Hypercubes


Taught by

Society for Industrial and Applied Mathematics

Related Courses

Hilbert's 16th Problem and O-Minimality - Lecture 1
Fields Institute via YouTube
Global Optimization via the Dual SONC Cone and Linear Programming
Fields Institute via YouTube
How to Prove a Calculation Correct? - IPAM at UCLA
Institute for Pure & Applied Mathematics (IPAM) via YouTube
Techniques of Resolution of Singularities in Quasianalytic Classes - Lecture 1
Fields Institute via YouTube
Polynomial Time Guarantees for the Burer-Monteiro Method
Fields Institute via YouTube