Table of Contents
Fetching ...

Smoothing-Enabled Randomized Stochastic Gradient Schemes for Solving Nonconvex Nonsmooth Potential Games under Uncertainty

Zhuoyu Xiao

TL;DR

A randomized smoothed RSG (RS-RSG) scheme for solving stochastic potential games afflicted by nonconvexity and nonsmoothness is introduced and it is shown that RS-RSG asymptotically converges to an equilibrium of the smoothed game with sample complexity.

Abstract

The state of the art in solving nonconvex nonsmooth games under uncertainty remains in its infancy. Existing studies primarily rely on stringent growth conditions or local convexity-like properties, making the development of alternative algorithms desirable. In this work, we study a class of stochastic $N$-player noncooperative games characterized by a potential function. We first consider the nonconvex smooth setting and develop a randomized stochastic gradient (RSG) scheme. The RSG scheme achieves the optimal sample complexity of $\mathcal{O}(N^{2}ε^{-4})$ for reaching a point whose expected residual has norm at most $ε$. Building on this result, we introduce a randomized smoothed RSG (RS-RSG) scheme for solving stochastic potential games afflicted by nonconvexity and nonsmoothness. We show that RS-RSG asymptotically converges to an equilibrium of the smoothed game with sample complexity $\mathcal{O}(L^{4}_{\max}n^{3/2}_{\max}N^{3}η^{-1}ε^{-4})$, where $η>0$ is the smoothing parameter. Under Lipschitz continuity of the Clarke subdifferentials, we show that the expected residual evaluated at the smoothed equilibrium is $\mathcal{O}(η^{2})$. In addition, we discuss the biased RSG and RS-RSG variants and demonstrate the effectiveness of the biased RS-RSG scheme on a class of stochastic potential hierarchical games where the exact lower-level solution is unavailable in finite time. Collectively, our results provide a new pathway that goes beyond classical conditions for solving stochastic nonconvex nonsmooth games. Some preliminary numerics are also provided.

Smoothing-Enabled Randomized Stochastic Gradient Schemes for Solving Nonconvex Nonsmooth Potential Games under Uncertainty

TL;DR

A randomized smoothed RSG (RS-RSG) scheme for solving stochastic potential games afflicted by nonconvexity and nonsmoothness is introduced and it is shown that RS-RSG asymptotically converges to an equilibrium of the smoothed game with sample complexity.

Abstract

The state of the art in solving nonconvex nonsmooth games under uncertainty remains in its infancy. Existing studies primarily rely on stringent growth conditions or local convexity-like properties, making the development of alternative algorithms desirable. In this work, we study a class of stochastic -player noncooperative games characterized by a potential function. We first consider the nonconvex smooth setting and develop a randomized stochastic gradient (RSG) scheme. The RSG scheme achieves the optimal sample complexity of for reaching a point whose expected residual has norm at most . Building on this result, we introduce a randomized smoothed RSG (RS-RSG) scheme for solving stochastic potential games afflicted by nonconvexity and nonsmoothness. We show that RS-RSG asymptotically converges to an equilibrium of the smoothed game with sample complexity , where is the smoothing parameter. Under Lipschitz continuity of the Clarke subdifferentials, we show that the expected residual evaluated at the smoothed equilibrium is . In addition, we discuss the biased RSG and RS-RSG variants and demonstrate the effectiveness of the biased RS-RSG scheme on a class of stochastic potential hierarchical games where the exact lower-level solution is unavailable in finite time. Collectively, our results provide a new pathway that goes beyond classical conditions for solving stochastic nonconvex nonsmooth games. Some preliminary numerics are also provided.
Paper Structure (20 sections, 19 theorems, 123 equations, 2 figures, 6 tables, 4 algorithms)

This paper contains 20 sections, 19 theorems, 123 equations, 2 figures, 6 tables, 4 algorithms.

Key Result

Lemma 2.1

Consider $f: X\subseteq \mathbb{R}^{n}\to \mathbb{R}$ and its randomized smoothing $f^{\eta}$, where $\eta>0$. Then the following hold. (i)$f^{\eta}$ is $C^{1}$ over $X$ and $\nabla_{x} f^{\eta}(x) = (\tfrac{n}{2\eta})\mathbb{E}_{v\in \eta\mathbb{S}}[ (f(x+v)-f(x-v))\tfrac{v}{\|v\|}]$ holds for all

Figures (2)

  • Figure 2: The convergence of RS-RSG.
  • Figure 3: The convergence of b-RS-RSG.

Theorems & Definitions (45)

  • Lemma 2.1: marrinan-shanbhag-yousefian-2024
  • Lemma 2.2: marrinan-shanbhag-yousefian-2024
  • Definition 2.1: cui-pang-2021
  • Remark 2.1
  • Proposition 2.1
  • proof
  • Proposition 3.1
  • proof
  • Theorem 3.1: Convergence of RSG
  • proof
  • ...and 35 more