Performance Estimation for Smooth and Strongly Convex Sets
Published in ArXiv Preprint, 2024
This work extends recent computer-assisted design and analysis techniques for first-order optimization over structured functions–known as performance estimation–to apply to structured sets. We prove “interpolation theorems” for smooth and strongly convex sets with Slater points and bounded diameter, showing a wide range of extremal questions amount to structured mathematical programs. Our theory provides finite-dimensional formulations of performance estimation problems for algorithms utilizing separating hyperplane oracles, linear optimization oracles, and/or projection oracles of smooth/strongly convex sets, and we demonstrate its applications.
Recommended citation: Alan Luner, Benjamin Grimmer. (2024). "Performance Estimation for Smooth and Strongly Convex Sets." ArXiv Preprint 2410.14811 .
Download Paper