2026/04/30 by Sebastian Pokutta · 1 voice
Mathematics · #math.OC
arxiv published 2026/04/30 · arxiv updated 2026/05/02
We consider smooth convex minimization over compact convex sets, i.e., minx ∈ C f(x) with the (vanilla) Frank-Wolfe algorithm. Well-known lower bounds establish a worst-case Ω(1/t) primal-gap barrier in the general smooth convex case, and faster convergence usually requires favorable function properties such as Hölder error bounds or strong convexity. We present a new Local Dual Sharpness (LDS) condition, essentially a property of the feasible region and its LMO, under which the Frank-Wolfe algorithm converges in o(1/t) for any smooth convex function, ruling out an Ω(1/t) lower bound under LDS. The condition is a generalization (and localization) of uniform convexity of sets and it is satisfied by any uniformly convex set. To our knowledge, this is the first unconditional o(1/t) convergence result for uniformly convex sets. Combining LDS with stronger function properties, e.g., a local variant of Hölder error bounds, allows us to quantify the actual rates.