Table of Contents
Fetching ...

Dealing with unbounded gradients in stochastic saddle-point optimization

Gergely Neu, Nneka Okolo

TL;DR

This work addresses instability in stochastic saddle-point optimization caused by unbounded gradients by introducing a simple regularization-based stabilization that removes the need for projection radii. The core technique augments the objective with initialization-centered penalties, yielding initialization-adaptive duality-gap guarantees that remain valid under data-dependent comparators and even multiplicative gradient noise. The framework extends from unconstrained bilinear games to sub-bilinear objectives with general Bregman divergences and applies to complex domains, including Average-Reward MDP planning via COMIDA-MDP, achieving near-optimal policies without prior bounds on value functions. These results offer a parameter-free, projection-free approach to robust saddle-point optimization with broad applicability and practical reinforcement learning implications.

Abstract

We study the performance of stochastic first-order methods for finding saddle points of convex-concave functions. A notorious challenge faced by such methods is that the gradients can grow arbitrarily large during optimization, which may result in instability and divergence. In this paper, we propose a simple and effective regularization technique that stabilizes the iterates and yields meaningful performance guarantees even if the domain and the gradient noise scales linearly with the size of the iterates (and is thus potentially unbounded). Besides providing a set of general results, we also apply our algorithm to a specific problem in reinforcement learning, where it leads to performance guarantees for finding near-optimal policies in an average-reward MDP without prior knowledge of the bias span.

Dealing with unbounded gradients in stochastic saddle-point optimization

TL;DR

This work addresses instability in stochastic saddle-point optimization caused by unbounded gradients by introducing a simple regularization-based stabilization that removes the need for projection radii. The core technique augments the objective with initialization-centered penalties, yielding initialization-adaptive duality-gap guarantees that remain valid under data-dependent comparators and even multiplicative gradient noise. The framework extends from unconstrained bilinear games to sub-bilinear objectives with general Bregman divergences and applies to complex domains, including Average-Reward MDP planning via COMIDA-MDP, achieving near-optimal policies without prior bounds on value functions. These results offer a parameter-free, projection-free approach to robust saddle-point optimization with broad applicability and practical reinforcement learning implications.

Abstract

We study the performance of stochastic first-order methods for finding saddle points of convex-concave functions. A notorious challenge faced by such methods is that the gradients can grow arbitrarily large during optimization, which may result in instability and divergence. In this paper, we propose a simple and effective regularization technique that stabilizes the iterates and yields meaningful performance guarantees even if the domain and the gradient noise scales linearly with the size of the iterates (and is thus potentially unbounded). Besides providing a set of general results, we also apply our algorithm to a specific problem in reinforcement learning, where it leads to performance guarantees for finding near-optimal policies in an average-reward MDP without prior knowledge of the bias span.
Paper Structure (20 sections, 9 theorems, 100 equations, 1 algorithm)

This paper contains 20 sections, 9 theorems, 100 equations, 1 algorithm.

Key Result

Theorem 3.1

Let $\varrho_{y}=4\eta_{x}L_M^{2}$ and $\varrho_{x}=4\eta_{y}L_M^{2}$. Then, the duality gap achieved by COGDA satisfies the following bound against any adaptive comparator $(\bm{x}^*,\bm{y}^*)\in\mathbb{R}^m\times\mathbb{R}^n$: In particular, setting $\bm{x}_1 = 0$ and $\bm{y}_1 = 0$ and $\eta_x = 1/{L_M \sqrt{2T}}$ and $\eta_y = 1/{L_M\sqrt{2T}}$, the duality gap is upper bounded as

Theorems & Definitions (17)

  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Theorem 3.1
  • proof : Proof sketch of Theorem \ref{['thm:res1']}.
  • Definition 3.2
  • Theorem 3.3
  • Corollary 3.4
  • Theorem 4.1
  • Theorem 3.1
  • ...and 7 more