Title: Complexity for exact polynomial optimization strengthened with Fritz John conditions

Abstract: Let $f,g_1,\dots,g_m$ be polynomials of degree at most $d$ with real coefficients in a vector of variables $x=(x_1,\dots,x_n)$. Assume that $f$ is non-negative on the basic semi-algebraic set $S$ defined by polynomial inequalities $g_j(x)\ge 0$, for $j=1,\dots,m$. Our previous work [arXiv:2205.04254 (2022)] has stated several representations of $f$ based on the Fritz John conditions. In this paper, we provide some explicit degree bounds depending on $n$, $m$, and $d$ for some of these representations. Accordingly, we obtain some explicit convergence rates of the sequences of values that are returned by semidefinite programs and that finitely converge to the optimal value for a given polynomial optimization problem.