Splitting Compositions of Monotone Operators
Abstract
Coupled convex optimisation equilibria, bilinear saddle and potential systems, and nonlinear electronic device laws lead naturally to inclusions of the form 0∈ Hx+A(Bx)−b, where A and B are maximal monotone but their composition need not be monotone. We introduce a new class of splitting algorithms that solve such inclusions. Introducing the intermediate graph variable y∈ Bx exposes a directed two-row system. A one-parameter family of kernels produces a lower-triangular warped-resolvent iteration evaluated with one application of H and the ordinary resolvents JαA and JβB. Appropriate specializations of the problem data and algorithmic parameters recover forward--backward, inertial, primal--dual, and Douglas--Rachford constructions, while setting H=b=0 generates three novel algorithms for the pure composition 0∈ A(Bx). Convergence of the coupled method is certified by an explicit nonnegative two-block gain matrix. Its Schur condition yields contraction in particular weighted norms, global linear convergence, and residual error estimates. For the general problem class, our convergence condition is shown to be sharp for an explicitly constructed linear family. When the problem is specialized to a pure composition, we prove convergence under the weaker assumption that only one operator is strongly monotone. This weaker regime is illustrated on a nonlinear circuit problem. We further illustrate our methods by solving inference problems for cascaded equilibrium neural networks.
Related
- Splitting Algorithms Using Pairs Monotonicity to Solve the Sum of Two Non-monotone Operators Problem
- Weak and strong convergence of a general splitting approach for monotone multioperator inclusions
- A primal-dual splitting algorithm for monotone inclusions with applications
- Arithmetic localization for quasiperiodic long-range operators with monotone potentials
- Smooth perturbation theory and generic Cantor spectrum for multi-dimensional monotone quasiperiodic operators
BibTeX
@misc{qu2026splitting,
title = {{Splitting Compositions of Monotone Operators}},
author = {Haoming Qu and Yefan Wu and Thomas Chaffey},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.39480},
eprint = {2610.39480},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.39480},
}
RIS
TY - UNPB
TI - Splitting Compositions of Monotone Operators
AU - Haoming Qu
AU - Yefan Wu
AU - Thomas Chaffey
PY - 2026
DA - 2026/10/29
PB - arXiv
DO - 10.48550/arxiv.2610.39480
UR - https://arxiv.org/abs/2610.39480
AB - Coupled convex optimisation equilibria, bilinear saddle and potential systems, and nonlinear electronic device laws lead naturally to inclusions of the form 0∈ Hx+A(Bx)−b, where A and B are maximal monotone but their composition need not be monotone. We introduce a new class of splitting algorithms that solve such inclusions. Introducing the intermediate graph variable y∈ Bx exposes a directed two-row system. A one-parameter family of kernels produces a lower-triangular warped-resolvent iteration evaluated with one application of H and the ordinary resolvents J_αA and J_βB. Appropriate specializations of the problem data and algorithmic parameters recover forward--backward, inertial, primal--dual, and Douglas--Rachford constructions, while setting H=b=0 generates three novel algorithms for the pure composition 0∈ A(Bx). Convergence of the coupled method is certified by an explicit nonnegative two-block gain matrix. Its Schur condition yields contraction in particular weighted norms, global linear convergence, and residual error estimates. For the general problem class, our convergence condition is shown to be sharp for an explicitly constructed linear family. When the problem is specialized to a pure composition, we prove convergence under the weaker assumption that only one operator is strongly monotone. This weaker regime is illustrated on a nonlinear circuit problem. We further illustrate our methods by solving inference problems for cascaded equilibrium neural networks.
ER -