342e44a47ed52f89.tex
1: \begin{abstract}
2: 	
3: 				We study the ridge method for min-max problems, and investigate its convergence without any convexity, differentiability or qualification assumption. 
4: 				The central issue is to determine whether the ``parametric optimality formula'' provides a  conservative gradient, a notion of generalized derivative well suited for optimization. The answer to this question is positive in a semi-algebraic, and more generally definable, context. As a consequence, the ridge method applied to definable objectives is proved to have a minimizing behavior and to converge to a set of equilibria which satisfy an optimality condition. Definability is key to our proof: we show that for a more general class of nonsmooth functions, conservativity of the parametric optimality formula may fail, resulting in an absurd behavior of the ridge method.
5: \end{abstract}
6: