2018/08/25 by Seidler, Henning, de Wolff, Timo
#52B20 #68Q25 #90-04 #90C22 #90C26 #Algebraic Geometry (math.AG) #FOS: Computer and information sciences #FOS: Mathematics #G.4 #Mathematical Software (cs.MS) #Optimization and Control (math.OC) #Primary: 14P99 #Secondary: 14Q20
paper · doi:10.48550/arxiv.1808.08431
Finding the minimum of a multivariate real polynomial is a well-known hard problem with various applications. We present a polynomial time algorithm to approximate such lower bounds via sums of nonnegative circuit polynomials (SONC). As a main result, we carry out the first large-scale comparison of SONC, using this algorithm and different geometric programming (GP) solvers, with the classical sums of squares (SOS) approach, using several of the most common semidefinite programming (SDP) solvers. SONC yields bounds competitive to SOS in several cases, but using significantly less time and memory. In particular, SONC/GP can handle much larger problem instances than SOS/SDP.