Table of Contents
Fetching ...

Nonlinear forward-backward-half forward splitting with momentum for monotone inclusions

Liqian Qin, Yuchao Tang, Jigen Peng

TL;DR

The paper addresses solving structured monotone inclusions of the form $0\in Ax+Bx+Cx$ by proposing a nonlinear forward-backward-half forward splitting algorithm with momentum, plus a stochastic variance-reduced variant for finite-sum problems. It establishes weak convergence and linear convergence under strong monotonicity, and proves weak almost sure convergence with linear rates for the VR variant. The authors provide a comprehensive convergence analysis using Lyapunov-type functions and operator-theoretic assumptions, and validate the methods with numerical experiments on nonlinear constrained optimization and portfolio optimization problems. The work yields a scalable, fully splitting framework that leverages the distinct properties of each operator, with practical impact for large-scale monotone inclusions in signal processing, imaging, and optimization contexts.

Abstract

In this work, we propose a new splitting algorithm for solving structured monotone inclusion problems composed of a maximally monotone operator, a maximally monotone and Lipschitz continuous operator and a cocoercive operator. Our method augments the forward-backward-half forward splitting algorithm with a nonlinear momentum term. Under appropriate conditions on the step-size, we prove the weak convergence of the proposed algorithm. A linear convergence rate is also obtained under the strong monotonicity assumption. Furthermore, we investigate a stochastic variance-reduced forward-backward-half forward splitting algorithm with momentum for solving finite-sum monotone inclusion problems. Weak almost sure convergence and linear convergence are also established under standard condition. Preliminary numerical experiments on synthetic datasets and real-world quadratic programming problems in portfolio optimization demonstrate the effectiveness and superiority of the proposed algorithm.

Nonlinear forward-backward-half forward splitting with momentum for monotone inclusions

TL;DR

The paper addresses solving structured monotone inclusions of the form by proposing a nonlinear forward-backward-half forward splitting algorithm with momentum, plus a stochastic variance-reduced variant for finite-sum problems. It establishes weak convergence and linear convergence under strong monotonicity, and proves weak almost sure convergence with linear rates for the VR variant. The authors provide a comprehensive convergence analysis using Lyapunov-type functions and operator-theoretic assumptions, and validate the methods with numerical experiments on nonlinear constrained optimization and portfolio optimization problems. The work yields a scalable, fully splitting framework that leverages the distinct properties of each operator, with practical impact for large-scale monotone inclusions in signal processing, imaging, and optimization contexts.

Abstract

In this work, we propose a new splitting algorithm for solving structured monotone inclusion problems composed of a maximally monotone operator, a maximally monotone and Lipschitz continuous operator and a cocoercive operator. Our method augments the forward-backward-half forward splitting algorithm with a nonlinear momentum term. Under appropriate conditions on the step-size, we prove the weak convergence of the proposed algorithm. A linear convergence rate is also obtained under the strong monotonicity assumption. Furthermore, we investigate a stochastic variance-reduced forward-backward-half forward splitting algorithm with momentum for solving finite-sum monotone inclusion problems. Weak almost sure convergence and linear convergence are also established under standard condition. Preliminary numerical experiments on synthetic datasets and real-world quadratic programming problems in portfolio optimization demonstrate the effectiveness and superiority of the proposed algorithm.

Paper Structure

This paper contains 14 sections, 11 theorems, 111 equations, 1 figure, 2 tables, 2 algorithms.

Key Result

Lemma 2.1

(Morin ) Let $C$ be the $\beta^{-1}$-cocoercive operator w.r.t. $S$. Then the following inequality holds:

Figures (1)

  • Figure 1: Portfolio optimization solutions for problem \ref{['portfolio-problem']}: Algorithm \ref{['4operator']} (top row) versus FBHF splitting \ref{['FBHF']} (bottom row).

Theorems & Definitions (22)

  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Lemma 2.1
  • Lemma 2.2
  • Lemma 2.3
  • Lemma 2.4
  • Proposition 3.1
  • Lemma 3.1
  • proof
  • ...and 12 more