Square distance functions are Polyak-Łojasiewicz and vice-versa (2301.10332v1)

Abstract: This short note gathers known results to state that the squared distance function to a (nonconvex) closed set of an Euclidean space is Polyak-{\L}ojasiewicz. As a fuzzy reciprocate, we also recall that every Polyak-{\L}ojasiewicz function can be bounded from below by the squared distance function to its set of minimizers.