Solving the Offline and Online Min-Max Problem of Non-smooth Submodular-Concave Functions: A Zeroth-Order Approach
Amir Ali Farzin, Yuen-Man Pun, Philipp Braun, Tyler Summers, Iman Shames
TL;DR
The paper tackles offline and online minimax optimization for non-smooth submodular-concave costs by introducing a zeroth-order extragradient method that uses the Lovász extension for subgradients with respect to the minimiser and Gaussian smoothing for gradient estimation with respect to the maximiser, relying only on function evaluations. It proves convergence to an $\epsilon$-saddle point in the offline setting with $O(m^2\epsilon^{-2})$ queries and obtains an online duality gap bound of $O(\sqrt{N\bar{P}_N})$ in the online setting, along with guidance on hyperparameters and complexity. The approach is validated through numerical experiments on adversarial image segmentation, showing robustness and real-time performance without pretraining, and it outperforms baseline U-Nets in online and adversarial scenarios. This work provides a practical, theoretically grounded framework for zeroth-order minimax optimization of combinatorial, non-smooth objectives with applications to robust perception tasks.
Abstract
We consider max-min and min-max problems with objective functions that are possibly non-smooth, submodular with respect to the minimiser and concave with respect to the maximiser. We investigate the performance of a zeroth-order method applied to this problem. The method is based on the subgradient of the Lovász extension of the objective function with respect to the minimiser and based on Gaussian smoothing to estimate the smoothed function gradient with respect to the maximiser. In expectation sense, we prove the convergence of the algorithm to an $ε$-saddle point in the offline case. Moreover, we show that, in the expectation sense, in the online setting, the algorithm achieves $O(\sqrt{N\bar{P}_N})$ online duality gap, where $N$ is the number of iterations and $\bar{P}_N$ is the path length of the sequence of optimal decisions. The complexity analysis and hyperparameter selection are presented for all the cases. The theoretical results are illustrated via numerical examples.
