2026/07/21 by Aaron Zoll, Benjamin Grimmer · 1 citation
#math.OC
We consider the design of optimal fixed-step first-order methods for M-Lipschitz convex optimization given ‖x0-x_⋆‖≤ D. Prior works have identified several distinct fixed-step methods, parameterized by a matrix of stepsizes W, with the (information-theoretic) minimax optimal rate MD/√(N+1) of objective gap convergence. We provide a complete characterization of every optimal fixed-step method. Moreover, we show every optimal fixed-step method can be derived from the constructive approach of~\citeconstructiveapproach and provide a polyhedral representation of the set of optimal methods through proof multipliers. From this characterization, we show that no anytime optimal fixed-step subgradient methods exist.