---
title: Local Error-Bound Conditions
url: https://www.emergentmind.com/topics/local-error-bound-conditions
type: topic
---

# Local Error-Bound Conditions

A local error-bound condition is a quantitative regularity property that links the distance from a point to a reference set (typically a solution set of a system of equations, inequalities, or inclusions) with a function measuring the degree of constraint violation. In nonlinear, nonconvex, nonsmooth, or degenerate contexts, local error bounds provide structure critical for establishing rates of convergence, sharpness of solution geometry, stability under perturbations, and algorithmic guarantees.

## 1. Formal Definition and Scope

A local error bound for a function \( f: X \to \mathbb{R} \cup \{+\infty\} \) on a metric or Banach space \( X \) at a reference point \( \bar{x} \) with \( f(\bar{x}) \leq 0 \) typically takes the form:
\[
\text{There exist }\tau > 0,\, \delta>0 \text{ such that } \quad d(x, S_f) \leq \tau\, [f(x)]_+ \quad \forall x \in B(\bar{x},\delta),
\]
where \( S_f := \{x : f(x) \leq 0\} \), \( d(x, S_f) \) is the distance to the solution set, and \( [f(x)]_+ := \max(f(x),0) \).

Generalizations include nonlinear (Hölder-type) bounds:
\[
d(x, S_f) \leq \varphi([f(x)]_+),
\]
for some modulus \(\varphi\), and set-valued, parametric, or variational system extensions. The property is called *local* as it is asserted in a neighborhood of a reference point; *global* error bounds hold on unbounded sets.

The local error bound modulus is defined as:
\[
\operatorname{Er} f(\bar{x}) := \liminf_{x \to \bar{x},\, f(x)>0} \frac{f(x)}{d(x, S_f)}.
\]

## 2. Characterizations and Necessary/Sufficient Conditions

### Slope and Subdifferential Criteria

A unified quantitative framework for local error bounds is established by slope and subdifferential conditions [2012.03941, 1608.03360]. The primary tools are:
- The **strong slope** \( |\nabla f|(x) \),
- The **nonlocal slope** \( |\nabla f|^\diamond(x) \),
- The **subdifferential slope** \( |\partial f|(x) \).

For lower semicontinuous, proper \(f\) in a complete metric space, a sufficient condition (Theorem 2.2 of [2012.03941]) is:
\[
|\nabla f|(x) \geq \tau \quad \text{for all } x\to \bar{x},\, f(x) > 0 \implies \text{local error bound}.
\]
For normed spaces and convex \(f\), \( d(0, \partial f(x)) \geq \tau \) for all \(x\) near \(\bar{x}\) with \(f(x) > 0\) is both necessary and sufficient.

For nonsmooth, locally Lipschitz and regular \(f\), sharp bounds for the local error bound modulus are provided by [1608.03360]:
\[
d(0, \partial^{>} f(\bar{x})) \leq \mathrm{ebm}(f, \bar{x}) \leq d(0, \text{cl(end}(\partial f(\bar{x}))))
\]
where \(\partial^> f(\bar{x})\) is the **outer limiting subdifferential**, and end is the set of "maximal" directions in the subdifferential.

### Directional Derivative and Geometric Criteria

For convex inequalities, [2110.11818] gives a primal reformulation: the local error bound at \(\bar{x} \in \mathrm{bdry}(S_f)\) is stable under small (linear) perturbations if and only if
\[
\inf_{\|h\|=1} f'(\bar{x}, h) \neq 0,
\]
where \(f'(\bar{x},h)\) is the directional derivative. This covers semi-infinite systems by maximizing over active indices.

### Nonconvex and Structured Cases

For semialgebraic, tame, or polynomial systems, the **Łojasiewicz-Kurdyka (KŁ) inequality** and its exponents underlie the existence of error bounds, both locally and globally, often of Hölder type [1704.06938, 1509.03742, 2510.01709]. For instance, in polynomial optimization and parametric systems ([1509.03742, 2510.01709]), explicit exponents are given in terms of degree and problem dimensions.

## 3. Role in Optimization Algorithms and Complexity

Local error-bound conditions are pivotal for algorithmic convergence analysis and complexity.

- Under a local error bound, fixed-point iterations of averaged operators (including gradient descent, proximal methods, ADMM, operator splitting) converge linearly to the solution set—often in absence of strong convexity [2510.27540].
- The rate is explicit in terms of the error-bound constant \(K_F\):

\[
\operatorname{dist}(x, \mathcal{F}_F) \leq K_F \|F(x)-x\| \implies \operatorname{dist}(x_{k+1}, \mathcal{F}_F) \leq \rho \operatorname{dist}(x_k, \mathcal{F}_F),
\]
with \(\rho\) depending on the averaging parameter and \(K_F\).

- For inertial forward-backward schemes (FISTA/IFB), local error bounds—typically of Luo-Tseng type—enable super-polynomial or even linear rates in composite (nonsmooth) convex minimization [2007.07432].
- In nonconvex optimization, error bounds are central for local linear rates of first-order methods (gradient descent), and for quadratic convergence of cubic-regularization/Newton-type methods even at non-isolated or degenerate minima, where classical assumptions like strong convexity or nondegeneracy fail [1801.09387, 2502.11152].
- Distributed asynchronous methods over graphs also exploit local error bounds for linear convergence without global regularity [2010.09057].

## 4. Connections to Constraint Qualifications and Geometry

Constraint qualifications (CQ) characterize when error bounds hold in constrained problems:

- In convex, polyhedral or conic inclusion problems, error bounds are characterized by suitable CQs such as Abadie's CQ (ACQ), Mangasarian-Fromovitz CQ, or strict constraint qualifications. For smooth cones and smooth mappings, local error bounds are equivalent to the validity of ACQ near the reference point [2502.04716].
- In mathematical programs with vanishing constraints (MPVC), recently developed weak CQs such as MPVC-generalized quasinormality are sufficient for error bounds, extending their applicability to degenerate or nonpolyhedral systems [1805.02186].
- The relationship between EB conditions, quadratic growth, and stationarity (e.g., enhanced M-stationarity, Polyak-Łojasiewicz inequality) has been established for both smooth and structured problems [2502.11152, 1801.09387].

## 5. Stability and Perturbation Analysis

Stability of the error-bound property with respect to data perturbations is characterized in Banach spaces by the boundary subdifferential slope:

\[
|\partial f|_{\rm bd}(\bar{x}) := d(0, \operatorname{bd} \partial f(\bar{x}))
\]
This quantity is the exact "radius of error bounds"—i.e., the supremum size of perturbation (arbitrary, convex, or linear) under which local error bounds are preserved [1512.04742]. For convex systems, stability is further equivalent to strictly positive lower bounds on certain directional derivatives [2110.11818].

## 6. Quantitative and Explicit Error-Bound Estimates

In polynomial, tame, or definable settings, explicit Holder-type exponents and constants can be computed:

- For rank-constrained affine feasibility, an explicit Holder exponent is given in terms of dimension, derived via polynomial Łojasiewicz exponents [2510.01709].
- For parametric and semi-infinite polynomial systems, the exponent depends on all primal and auxiliary variable dimensions and the maximal degree [1509.03742].
- For smooth, regular, or lower-C\( ^1 \) functions, the modulus of the error bound is exactly characterized by geometric data from the subdifferential and its end set [1608.03360].

A summary of main error-bound formulas:

| Setting           | Error Bound Formulation                                                          | Main Quantitative Condition        |
|-------------------|---------------------------------------------------------------------------------|------------------------------------|
| Convex inequality | \(d(x, S) \leq \tau [f(x)]_+ \)                                                | \(d(0, \partial f(x)) \geq 1/\tau\)|
| Polynomial/tame   | \(d(x, S) \leq c[f(x)]_+^{\tau}\)                                               | \(\tau\) via explicit Łojasiewicz  |
| Fixed-point FPI   | \(d(x, \mathcal{F}_F) \leq K_F \|F(x)-x\|\)                                     | \(K_F\) via relative Hoffman const |
| System inclusion  | \(d(x, S) \leq \alpha d(f(x), K)\)                                              | ACQ holds locally                  |
| Variational/PD    | \(\|x-\bar{x}\| + \text{dist}(\lambda, \mathcal{M}(\bar{x})) \leq c\, \sigma(x,\lambda)\) | SOSC + SRC holds                   |

## 7. Functional Equivalences and Broader Frameworks

Recent work unifies various error-bound and subdifferential properties:
- For prox-regular functions, the Kurdyka-Łojasiewicz property, level-set subdifferential error bounds, and Holder error-bounds are locally equivalent, with exponents/constant relationships computable [2308.08735].
- Moreau envelope and other regularization procedures preserve error-bound properties with controlled changes in constants/exponents.
- The equivalence between local error-bound and quadratic growth conditions has been established beyond convexity [1801.09387, 2502.11152].

## 8. Significance, Applications, and Current Directions

Local error-bound conditions are now recognized as a central unifying framework in optimization theory:
- Dictating convergence and complexity of first- and second-order algorithms, including in degenerate, distributed, and nonconvex regimes;
- Underpinning the geometry of solution sets in semialgebraic, matrix, and feasible region constrained problems;
- Offering a foundation for stability and sensitivity analysis under perturbations;
- Providing explicit constants and exponents, which are crucial for algorithmic tuning and theoretical guarantees.

Open directions concern further sharpening of quantitative bounds (larger exponents, tighter constants), characterizations in infinite-dimensional/nonsmooth settings, constructive verification in complex or high-dimensional systems, and integration with nonsmooth, stochastic, or online optimization methodologies.

Source: https://www.emergentmind.com/topics/local-error-bound-conditions