Table of Contents
Fetching ...

Relocated Fixed-Point Iterations with Applications to Variable Stepsize Resolvent Splitting

Felipe Atenas, Heinz H. Bauschke, Minh N. Dao, Matthew K. Tam

TL;DR

The paper develops a relocated fixed-point framework to enable convergence analysis of resolvent-based splitting methods with variable stepsizes, without assuming a common fixed-point across parameters. It introduces fixed-point relocators that map fixed-points across parameter changes and proves a parametric demiclosedness principle to support convergence proofs. The framework is applied to graph-based Douglas–Rachford for sums of $N\ge2$ maximally monotone operators and to variable-stepsize Malitsky–Tam type splits, establishing weak convergence to solutions under mild step-size conditions. This approach unifies nonstationary and graph-based DR variants and provides a path to rate and extension analyses for broader monotone inclusion problems.

Abstract

In this work, we develop a convergence framework for iterative algorithms whose updates can be described by a one-parameter family of nonexpansive operators. Within the framework, each step involving one of the main algorithmic operators is followed by a second step which ''relocates'' fixed-points of the current operator to the next. As a consequence, our analysis does not require the family of nonexpansive operators to have a common fixed-point, as is common in the literature. Our analysis uses a parametric extension of the demiclosedness principle for nonexpansive operators. As an application of our convergence results, we develop a version of the graph-based extension of the Douglas--Rachford algorithm for finding a zero of the sum of $N\geq 2$ maximally monotone operators, which does not require the resolvent parameter to be constant across iterations.

Relocated Fixed-Point Iterations with Applications to Variable Stepsize Resolvent Splitting

TL;DR

The paper develops a relocated fixed-point framework to enable convergence analysis of resolvent-based splitting methods with variable stepsizes, without assuming a common fixed-point across parameters. It introduces fixed-point relocators that map fixed-points across parameter changes and proves a parametric demiclosedness principle to support convergence proofs. The framework is applied to graph-based Douglas–Rachford for sums of maximally monotone operators and to variable-stepsize Malitsky–Tam type splits, establishing weak convergence to solutions under mild step-size conditions. This approach unifies nonstationary and graph-based DR variants and provides a path to rate and extension analyses for broader monotone inclusion problems.

Abstract

In this work, we develop a convergence framework for iterative algorithms whose updates can be described by a one-parameter family of nonexpansive operators. Within the framework, each step involving one of the main algorithmic operators is followed by a second step which ''relocates'' fixed-points of the current operator to the next. As a consequence, our analysis does not require the family of nonexpansive operators to have a common fixed-point, as is common in the literature. Our analysis uses a parametric extension of the demiclosedness principle for nonexpansive operators. As an application of our convergence results, we develop a version of the graph-based extension of the Douglas--Rachford algorithm for finding a zero of the sum of maximally monotone operators, which does not require the resolvent parameter to be constant across iterations.

Paper Structure

This paper contains 13 sections, 17 theorems, 57 equations, 3 algorithms.

Key Result

Lemma 3.1

Let $A$ be maximally monotone on $X$, and let $\alpha,\beta\in\mathbb{R}_{++}$. Then and Consequently,

Theorems & Definitions (30)

  • Definition 2.1: Demiclosedness
  • Definition 2.8: Opial sequence
  • Lemma 3.1
  • Proposition 3.2
  • Remark 3.3
  • Proposition 3.4
  • Theorem 3.5
  • Corollary 3.6
  • Definition 3.8: Parametric demiclosedess
  • Theorem 3.9: Parametric demiclosedness principle
  • ...and 20 more