---
title: 'Quasi-Nonexpansive Operators: Theory & Applications'
url: https://www.emergentmind.com/topics/quasi-nonexpansive-operators
type: topic
---

# Quasi-Nonexpansive Operators: Theory & Applications

A quasi-nonexpansive operator is a mapping acting on a metric, Banach, or Hilbert space that preserves or decreases the distance to its fixed point set, generalizing both nonexpansive and firmly nonexpansive operators. This notion underpins the analysis of many splitting, projection, and fixed-point algorithms that are central in convex optimization and nonlinear analysis, and has robust generalizations to Bregman, Wasserstein, and geometric settings beyond linear spaces.

## 1. Definitions and Basic Properties

Let \( (X, \|\cdot\|) \) be a Banach or Hilbert space, or more generally a metric space \( (X,d) \). Let \(T: X \to X\) (or, more generally, \(T: X \rightrightarrows X\) in the multivalued case). The set of fixed points is \(\Fix(T) := \{ x \in X \mid T(x) = x \}\).

**Quasi-nonexpansive mappings:**

- **Single-valued**: \(T\) is quasi-nonexpansive (QNE) if \(\Fix(T) \neq \emptyset\) and
  \[
  \|T(x) - p\| \le \|x - p\|, \quad \forall x \in X,\, \forall p \in \Fix(T).
  \]
  In metric spaces, replace norm with ambient metric.

- **Multivalued (Hausdorff)**: For \(T: D(T) \to CB(D(T))\), take
  \[
  H(Tx, Tp) \le \|x - p\|, \quad \forall x \in D(T),\, p \in \Fix(T),
  \]
  where \(H(\cdot, \cdot)\) is the Hausdorff metric [2501.06576].

- **Strict** and **strong** variants: T is strictly QNE (sQNE) if the inequality is strict for \(x\notin \Fix(T)\); T is strongly QNE if vanishing of the Fejér gap implies vanishing of the residual [2511.14873, 2504.21402].

**Relations:** Every nonexpansive map is QNE; every firmly nonexpansive map is QNE and, often, strongly QNE. The quasi-firmly nonexpansive property adds a term penalizing the residual [2104.05304, 2203.04851]. The class of QNE operators is strictly larger than nonexpansive or firmly nonexpansive maps [1610.02133].

## 2. Geometric and Functional-Analytic Generalizations

Quasi-nonexpansiveness extends beyond normed linear spaces:

- **Hilbert geometry**: \(T\) is QNE if for all \(x\) and all fixed points \(p\), the norm decreases to \(p\) [2404.05753]. QNE maps arise in the context of demicontractive and pseudocontractive mappings, with averaging providing embeddings between these classes.

- **Banach spaces**: In uniformly convex Banach spaces, quasi-nonexpansiveness is defined via Lyapunov functionals (as in \(\phi(x, y)\)) or using Bregman/Vaĭnberg–Brègman divergences \(D_\Psi(x, y)\) [1510.08165, 2511.14873], and is intrinsically asymmetric. Calculus rules (closure under convex combinations, compositions) remain, though with adjustments to the modulus [2104.05304].

- **Geodesic spaces / CAT(0) and Hadamard spaces**: QNE maps are key in fixed-point theory for nonpositively curved spaces, with Δ-convergence (asymptotic center convergence) replacing weak convergence [2504.21402, 2010.05726]. Operators are classified as strongly QNE if their residuals vanish when the Fejér gap closes.

- **Wasserstein and metric measure spaces**: Quasi-nonexpansive and quasi-α-firmly nonexpansive mappings admit analogous definitions based on transportation cost, enabling convergence results for measure-valued proximal and splitting algorithms [2203.04851].

- **Information/Bregman geometry**: Quasi-nonexpansiveness arises for operators that are nonexpansive relative to Bregman or Csiszár–Morimoto-type divergences, e.g., left DΨ-quasinonexpansiveness [2511.14873]. Here, Chebyshev (entropic) projections and generalized resolvents are central.

## 3. Composition, Averaging, and Calculus Rules

Critical algorithmic and structural properties stem from the stability of QNE mappings under functional calculus:

| Operation              | Condition            | Result                                            | Source                       |
|------------------------|---------------------|---------------------------------------------------|------------------------------|
| Convex combination     | QNE, weights in Δ   | Combination is QNE                                | [2104.05304, 2010.05726]     |
| Composition            | QNE, nonempty common fixed set | Composition is QNE or qα-firmly NE, with parameters updated | [2010.05726, 2104.05304, 2504.21402] |
| Averaging/relaxation   | QNE and λ-in [0,1)  | Averaged map is QNE and preserves fixed points     | [2404.05753, 1911.11094]     |
| Generalized relaxation | sQNE and σ(x)>0     | Map remains sQNE for appropriate σ                 | [2104.14832]                 |

A central fact is the embedding of demicontractive maps into the QNE class by averaging [2404.05753]. All standard convergence theorems derived for QNE iterates transfer to demicontractive maps via this embedding. Variants such as quasi-firm nonexpansive and quasi-φ-nonexpansive operators are stable under similar operations in uniformly convex or information-geometric contexts [1510.08165, 2511.14873].

## 4. Fixed-Point Iteration, Convergence Properties, and Regularity

Fejér monotonicity is inherent to QNE operators: the iterative sequence reduces (or at least does not increase) the distance to \(\Fix(T)\). Convergence analysis is stratified by space geometry and operator properties:

- **Hilbert/Banach:**
  - Mann and Halpern iterations with QNE maps converge weakly under mild control on step sizes, with strong convergence possible under enhanced regularity (demiclosedness, uniform convexity, Opial property) [1704.03563, 1502.06240, 1610.02133].
  - Strong convergence is ensured in uniformly convex Banach spaces for Halpern-type schemes over (possibly infinite) families of QNE operators [1502.06240].
  - Demiclosedness at 0 is often needed for strong/weak convergence, but in some schemes may be relaxed to the fixed-point closedness property [1211.1639].

- **Geodesic spaces (CAT(0)/Hadamard):**
  - Δ-convergence to a fixed point is established for (finite or infinite) compositions/products of strongly QNE, Δ-demiclosed maps [2504.21402, 2010.05726].
  - Weak convergence is replaced by convergence in the sense of asymptotic centers.

- **Stochastic and random settings:**
  - Iterative schemes over random QNE operators yield almost sure and mean-square convergence to the solution of convex feasibility or minimization problems under mild diameter and step decays [1911.11094].

- **Bregman/entropic geometry:**
  - QNE maps are characterized through generalized Pythagorean inequalities for Bregman divergences; entropic projections and resolvents satisfy norm/Hölder regularity estimates matching those of the underlying Banach geometry [2511.14873].

## 5. Principal Applications and Algorithmic Contexts

Quasi-nonexpansive operators feature as fundamental components in iterative methods for addressing fixed-point, feasibility, and equilibrium problems:

- **Convex feasibility and splitting:** Projection, block-iterative, string-averaging, and hybrid methods utilize QNE maps and their generalizations for rapid and robust solution of large-scale feasibility systems [1510.08165, 2104.14832, 1704.03563].
- **Operator-splitting frameworks:** Krasnoselskii–Mann, forward–backward, and adaptive Douglas–Rachford schemes rely on QNE forms to extend classical contraction-mapping arguments to broader operator classes [2404.05753, 2001.04628].
- **Wasserstein proximal and cyclic splitting:** Proximal maps and compositions in Wasserstein geometry are shown to be quasi-α-firmly nonexpansive, enabling convergence of measure-valued splitting algorithms [2203.04851].
- **Bregman projection and noncommutative state geometry:** Entropic projections and relative-entropy-based procedures leverage left/right QNE properties to realize robust projection algorithms over general state spaces [2511.14873].

Concrete domains exploited in applications include infinite-dimensional neural network architectures (stabilized by QNE/averaged layer maps), variational inequalities, distributed optimization over random networks, and image reconstruction from projections [2104.05304, 2210.03791, 1911.11094, 2104.14832].

## 6. Structural Extensions and Open Directions

Recent research extends quasi-nonexpansiveness to diverse analytic, geometric, and probabilistic frameworks:

- **Divergence-based and asymmetric geometries:** The theory of QNE operators on spaces with Bregman, Tsallis–Petz, and related divergences unifies convex analysis with information geometry, providing a compositional and functorial language for entropic projections and resolvents [2511.14873].
- **Nonlinear metric spaces:** The Δ-convergence paradigm in Hadamard and general CAT(0) spaces adapts classical weak-convergence results, supporting convex optimization in singular or geodesically convex contexts [2504.21402, 2010.05726].
- **Strong and linear rates:** When QNE maps become strictly or strongly QNE (e.g., quasi-contractive), convergence accelerates to strong or even linear [2210.03791, 1710.00534].
- **Stochastic and adaptive frameworks:** Quasi-nonexpansive theory underpins adaptive and distributed stochastic optimization algorithms, providing both mean-square and almost sure convergence guarantees [1911.11094].

Challenges and open problems include the characterization of QNE operator classes under nonconvexity, extension to nonmetric settings, robust and adaptive parameter selection, and analysis of operator compositions in infinite and dynamically changing environments.

## 7. Examples and Illustrative Constructions

A representative selection:

| Setting              | Operator Construction                      | QNE Property and Role                                   | Reference    |
|----------------------|--------------------------------------------|---------------------------------------------------------|--------------|
| Hilbert/Euclidean    | Subgradient/projectors, Halpern/KM         | QNE/fQNE/strong QNE iterations, strong convergence      | [1610.02133, 1502.06240] |
| Operator Splitting   | Demicontractive \(T\), averaging \(T_\lambda\) | Averaged map QNE; convergence results port to \(T\)      | [2404.05753] |
| CAT(0)/Hadamard      | Projections in geodesic spaces             | Products/compositions strongly QNE, Δ-convergence        | [2010.05726, 2504.21402] |
| Bregman geometry     | Entropic projection, Bregman resolvent     | QNE w.r.t. \(D_\Psi\), generalized Pythagoras, Hölder   | [2511.14873] |
| Stochastic systems   | Random QNE block/coordinate/consensus map  | A.s. and mean-square convergence in distributed systems | [1911.11094] |
| Wasserstein geometry | Pushforward and cycle of proximity maps    | Quasi-α-firm NE, narrow convergence in \(\mathcal{P}_2\)| [2203.04851]  |

These setups enable robust fixed-point algorithms across a vast spectrum of mathematical, statistical, and computational problems.

---

**References:**  
- "On a useful lemma that relates quasi-nonexpansive and demicontractive mappings in Hilbert spaces" [2404.05753]  
- "On a notion of averaged operators in CAT(0) spaces" [2010.05726]  
- "Quasi $α$-Firmly Nonexpansive Mappings in Wasserstein Spaces" [2203.04851]  
- "Vaĭnberg--Brègman geometry and quasinonexpansive operators" [2511.14873]  
- "A product of strongly quasi-nonexpansive mappings in Hadamard spaces" [2504.21402]  
- "On $α$-Firmly Nonexpansive Operators in $r$-Uniformly Convex Spaces" [2104.05304]  
- "Asymptotic behavior of a nonautonomous evolution equation governed by a quasi-nonexpansive operator" [2001.04628]  
- "Inertial Krasnoselskii-Mann Iterations" [2210.03791]  
- "The split feasibility and fixed point equality problems for quasi-nonexpansive mappings in Hilbert spaces" [1610.02133]  
- "On some strong convergence results of a new Halpern-type iterative process for quasi-nonexpansive mappings and accretive operators in Banach spaces" [1502.06240]  
- "A string averaging method based on strictly quasi-nonexpansive operators with generalized relaxation" [2104.14832]  
- "Regular Sequences of Quasi-Nonexpansive Operators and Their Applications" [1710.00534]  
- "Convex Optimization over Fixed Value Point Set of Quasi-Nonexpansive Random Operators on Hilbert Spaces" [1911.11094]  
- "Parallel and sequential hybrid methods for a finite family of asymptotically quasi $φ$-nonexpansive mappings" [1510.08165]  
- "A projection method for approximating fixed points of quasi nonexpansive mappings without the usual demiclosedness condition" [1211.1639]  
- "Viscosity Iterative algorithm for solving Variational Inclusion and Fixed point problems involving Multivalued Quasi-Nonexpansive and Demicontractive Operators in real Hilbert Space" [2501.06576]

Source: https://www.emergentmind.com/topics/quasi-nonexpansive-operators