1: \begin{abstract}Nonnegativity certificates can be used to obtain tight dual bounds for polynomial

2: optimization problems.

3: %

4: Hierarchies of certificate-based relaxations ensure convergence to the global optimum, but higher

5: levels of such hierarchies can become very computationally expensive, and the well-known sums of

6: squares hierarchies scale poorly with the degree of the polynomials.

7: %

8: This has motivated research into alternative certificates and approaches to global optimization.

9: %

10: We consider sums of nonnegative circuit polynomials (SONC) certificates, which are well-suited for sparse

11: problems since the computational cost depends on the number of terms in the

12: polynomials and does not depend on the degrees of the polynomials.

13: %

14: We propose a method that guarantees that given finite variable domains, a SONC relaxation will

15: yield a finite dual bound.

16: %

17: This method opens up a new approach to utilizing variable bounds in SONC-based methods, which is

18: particularly crucial for integrating SONC relaxations into branch-and-bound algorithms.

19: %

20: We report on computational experiments with incorporating SONC relaxations into the spatial branch-and-bound algorithm of the mixed-integer

21: nonlinear programming framework SCIP.

22: %

23: Applying our strengthening method increases the number of instances where the SONC relaxation of

24: the root node yielded a finite dual bound from 9 to 330 out of 349

25: instances in the test set.

26: \end{abstract}

27: