Near-Optimal Distributed Minimax Optimization under the Second-Order Similarity

TL;DR

This paper introduces a stochastic variance-reduced method for distributed minimax optimization that nearly matches theoretical lower bounds in communication and gradient complexity under second-order similarity.

Contribution

The paper proposes SVOGS, a novel algorithm for distributed minimax problems, achieving near-optimal complexity bounds under second-order similarity assumptions.

Findings

SVOGS achieves $ ext{O}(rac{ ext{delta} D^2}{ ext{epsilon}})$ communication rounds.

The method nearly matches the theoretical lower bounds in complexity.

Numerical experiments demonstrate empirical advantages of SVOGS.

Abstract

This paper considers the distributed convex-concave minimax optimization under the second-order similarity. We propose stochastic variance-reduced optimistic gradient sliding (SVOGS) method, which takes the advantage of the finite-sum structure in the objective by involving the mini-batch client sampling and variance reduction. We prove SVOGS can achieve the $\varepsilon$-duality gap within communication rounds of ${\mathcal O}(\delta D^2/\varepsilon)$, communication complexity of ${\mathcal O}(n+\sqrt{n}\delta D^2/\varepsilon)$, and local gradient calls of $\tilde{\mathcal O}(n+(\sqrt{n}\delta+L)D^2/\varepsilon\log(1/\varepsilon))$, where $n$ is the number of nodes, $\delta$ is the degree of the second-order similarity, $L$ is the smoothness parameter and $D$ is the diameter of the constraint set. We can verify that all of above complexity (nearly) matches the corresponding lower bounds. For the specific $\mu$-strongly-convex-$\mu$-strongly-convex case, our algorithm has the upper bounds on communication rounds, communication complexity, and local gradient calls of $\mathcal O(\delta/\mu\log(1/\varepsilon))$, ${\mathcal O}((n+\sqrt{n}\delta/\mu)\log(1/\varepsilon))$, and $\tilde{\mathcal O}(n+(\sqrt{n}\delta+L)/\mu)\log(1/\varepsilon))$ respectively, which are also nearly tight. Furthermore, we conduct the numerical experiments to show the empirical advantages of proposed method.