Semi-local Perturbations in Mathematical Physics

• Semi-local perturbations are spatially confined modifications with decaying influence that bridge purely local and global effects.
• They are rigorously analyzed in diverse frameworks including quantum spin systems, operator algebras, and PDE-constrained optimization with explicit error bounds.
• These perturbations facilitate controlled system responses, enabling precise stability analysis and efficient computational strategies in complex systems.

A semi-local perturbation is a change to a mathematical or physical system that, while not strictly pointwise or infinitesimal (local), is nonetheless spatially confined, decays, or retains an identifiable finite-range structure—often intermediate between strictly local and truly global/globalized modifications. This concept appears across various domains from quantum spin systems, operator algebras, and dynamical systems to parametric optimization, where semi-local perturbations enable refined analysis of stability, error propagation, and system responses that cannot be captured solely by local or global frameworks. Their mathematical and physical manifestations are context-dependent but are unified by the theme of controlled, spatially or structurally limited influence.

1. Mathematical Formalism and Canonical Definitions

In set-valued mapping theory and variational analysis, semi-locality emerges in stability notions bridging pointwise/local and global properties. For a set-valued map $F:P \rightrightarrows X$ between metric spaces, the Lipschitz upper semicontinuity modulus (Lipusc) quantifies the “semi-local” global rate with which images $F(p)$ deviate from a nominal solution $F(p_0)$:

$$\operatorname{Lipusc} F(p_0) := \inf\left\{ \kappa \ge 0 \mid \exists V \ni p_0 : \forall p \in V, \forall x \in F(p),\ d_X(x,F(p_0)) \le \kappa\, d_P(p,p_0) \right\}.$$

This is contrasted with the local calmness modulus at a specific point $(p_0, \bar{x})$,

$$\operatorname{clm} F(p_0, \bar{x}) = \limsup_{(p,x) \to (p_0, \bar{x}),\, x\in \operatorname{gph} F} \frac{d_X(x,F(p_0))}{d_P(p,p_0)},$$

which measures purely local response. Under mild regularity hypotheses (outer semicontinuity in the Painlevé–Kuratowski sense and local compactness), the key result (Camacho, 11 Mar 2026) is

$$\operatorname{Lipusc} F(p_0) = \sup_{\bar{x} \in F(p_0)} \operatorname{clm} F(p_0, \bar{x}),$$

bridging the local and semi-local scales via a supremum construction. Semi-local error bounds follow directly as

$$d_X(x, F(p_0)) \le K\, d_P(p, p_0) \implies \operatorname{dist}_P(p, \{p' \mid x \in F(p')\}) \le K\, \operatorname{dist}_X(x, S(p)),$$

where $K$ is this supremum of calmness moduli. This framework allows for explicit semi-local error estimates, especially in nonconvex or complicated set-valued mappings (Camacho, 11 Mar 2026).

2. Semi-Local Perturbations in Quantum Spin Systems and Many-Body Physics

In quantum lattice systems, a perturbation $P$ is deemed “semi-local” (or localized) if its support is restricted to a finite region $F(p)$0 but its influence can extend to macroscopic observables. The rigorous definition in the context of weakly interacting, gapped quantum spin systems (with local Hilbert spaces $F(p)$1 on sites $F(p)$2 in a finite lattice $F(p)$3) is:

• $F(p)$4 is self-adjoint
• $F(p)$5
• $F(p)$6 is relatively bounded with respect to $F(p)$7 with $F(p)$8-bound $F(p)$9

The strong “local perturbations perturb locally” (LPPL) principle asserts that for any ground states $F(p_0)$0 (unperturbed) and $F(p_0)$1 (perturbed), and any observable $F(p_0)$2 supported in $F(p_0)$3,

$F(p_0)$4

with exponential suppression in the distance from $F(p_0)$5 to $F(p_0)$6 (Henheik et al., 2021). This extends to “semi-local” (locally gapped) Hamiltonians, where only a subregion $F(p_0)$7 is weakly interacting and gapped, and the decay rate involves the minimal distance to both the perturbation and the boundary of $F(p_0)$8.

3. Semi-Locality in Operator Algebras and Unbounded KK-Theory

In noncommutative geometry and KK-theory, a “semi-local” perturbation commonly takes the form of a locally bounded operator. For a Hilbert module $F(p_0)$9 and an unbounded, regular, self-adjoint operator $$\operatorname{Lipusc} F(p_0) := \inf\left\{ \kappa \ge 0 \mid \exists V \ni p_0 : \forall p \in V, \forall x \in F(p),\ d_X(x,F(p_0)) \le \kappa\, d_P(p,p_0) \right\}.$$0, a symmetric operator $$\operatorname{Lipusc} F(p_0) := \inf\left\{ \kappa \ge 0 \mid \exists V \ni p_0 : \forall p \in V, \forall x \in F(p),\ d_X(x,F(p_0)) \le \kappa\, d_P(p,p_0) \right\}.$$1 is locally bounded with respect to a sequential approximate identity $$\operatorname{Lipusc} F(p_0) := \inf\left\{ \kappa \ge 0 \mid \exists V \ni p_0 : \forall p \in V, \forall x \in F(p),\ d_X(x,F(p_0)) \le \kappa\, d_P(p,p_0) \right\}.$$2 if each $$\operatorname{Lipusc} F(p_0) := \inf\left\{ \kappa \ge 0 \mid \exists V \ni p_0 : \forall p \in V, \forall x \in F(p),\ d_X(x,F(p_0)) \le \kappa\, d_P(p,p_0) \right\}.$$3 is bounded and $$\operatorname{Lipusc} F(p_0) := \inf\left\{ \kappa \ge 0 \mid \exists V \ni p_0 : \forall p \in V, \forall x \in F(p),\ d_X(x,F(p_0)) \le \kappa\, d_P(p,p_0) \right\}.$$4. If $$\operatorname{Lipusc} F(p_0) := \inf\left\{ \kappa \ge 0 \mid \exists V \ni p_0 : \forall p \in V, \forall x \in F(p),\ d_X(x,F(p_0)) \le \kappa\, d_P(p,p_0) \right\}.$$5 is locally bounded and the commutators $$\operatorname{Lipusc} F(p_0) := \inf\left\{ \kappa \ge 0 \mid \exists V \ni p_0 : \forall p \in V, \forall x \in F(p),\ d_X(x,F(p_0)) \le \kappa\, d_P(p,p_0) \right\}.$$6 are uniformly bounded, then $$\operatorname{Lipusc} F(p_0) := \inf\left\{ \kappa \ge 0 \mid \exists V \ni p_0 : \forall p \in V, \forall x \in F(p),\ d_X(x,F(p_0)) \le \kappa\, d_P(p,p_0) \right\}.$$7 remains regular and self-adjoint (Dungen, 2016).

This permits controlled perturbations of spectral triples, with stability of KK-classes under such semi-local modifications, inclusion of unbounded multipliers, and explicit construction of perturbations yielding compact resolvents via locally bounded operators. This semi-locality manages the support/spread of the perturbation at the operator-algebraic level rather than geometric support.

4. Semi-Local Phenomena in Non-Hermitian Quantum Systems

Semi-localization describes scenarios in which the single-particle or many-body state, though not truly localized (finite microscopic length), shows a decay profile with localization length scaling with global system size. For the non-Hermitian tight-binding ring with an asymmetric dimer impurity, the semi-localized eigenstates have decay length $$\operatorname{Lipusc} F(p_0) := \inf\left\{ \kappa \ge 0 \mid \exists V \ni p_0 : \forall p \in V, \forall x \in F(p),\ d_X(x,F(p_0)) \le \kappa\, d_P(p,p_0) \right\}.$$8, i.e.,

$$\operatorname{Lipusc} F(p_0) := \inf\left\{ \kappa \ge 0 \mid \exists V \ni p_0 : \forall p \in V, \forall x \in F(p),\ d_X(x,F(p_0)) \le \kappa\, d_P(p,p_0) \right\}.$$9

when the impurity parameters $(p_0, \bar{x})$0 satisfy $(p_0, \bar{x})$1 (Wang et al., 2019). Such semi-localization results in nonanalytic macroscopic observables (center of mass, staggered current) even though the ground-state energy density remains analytic, indicating a crossover phase distinct from Anderson localization and driven by the extensive, but not strictly global, influence of the perturbation.

5. Exponential Decay of Semi-Local Perturbations in PDE-Constrained Optimization

In PDE-constrained optimal control, semi-locality arises through exponential spatial decay of the impact of local or spatially concentrated data perturbations, provided stabilizability and detectability conditions are met. Let $(p_0, \bar{x})$2 be a domain, and consider a perturbation $(p_0, \bar{x})$3 supported in $(p_0, \bar{x})$4. Under operator-theoretic coercivity and uniform invertibility of the optimality system, the difference $(p_0, \bar{x})$5 between perturbed and nominal solutions satisfies

$(p_0, \bar{x})$6

where $(p_0, \bar{x})$7 bounds the localized data perturbation and $(p_0, \bar{x})$8 depends on analytical parameters of the system (Göttlich et al., 2024). This shows that in large-scale domains, the effect of a local perturbation is semi-local—decaying exponentially rather than being strictly confined.

6. Structural and Physical Mechanisms for Semi-Local Perturbations

Mechanistically, semi-local perturbations arise from:

• Finite-range generator constructions in integrable models, e.g., bilocal generators $(p_0, \bar{x})$9 and boosted generators $$\operatorname{clm} F(p_0, \bar{x}) = \limsup_{(p,x) \to (p_0, \bar{x}),\, x\in \operatorname{gph} F} \frac{d_X(x,F(p_0))}{d_P(p,p_0)},$$0 producing weak integrability-breaking terms with support intermediate between local and global. The adiabatic gauge potential (AGP) in finite rings enables systematic identification of “semi-local” or quasi-local perturbations, with support controlled by truncation order and decaying weight in the Pauli-string basis (Vanovac et al., 2024).
• Concatenation and gluing arguments in dynamical systems permitting $$\operatorname{clm} F(p_0, \bar{x}) = \limsup_{(p,x) \to (p_0, \bar{x}),\, x\in \operatorname{gph} F} \frac{d_X(x,F(p_0))}{d_P(p,p_0)},$$1-small perturbations of diffeomorphisms along periodic orbits that manipulate the derivative while preserving “semi-local” strong stable/unstable structures of prescribed finite size. These semi-local invariant manifolds interpolate between infinitesimal “local” patches and the full global leaves, giving a powerful perturbative tool in hyperbolic dynamics (Gourmelon, 2012).

Illustrative Example Table: Mechanism vs. Context

Mechanism/Model	Structural Type	Reference
Bilocal generator in Heisenberg chain	Bilocal/Semi-local support	(Vanovac et al., 2024)
Locally bounded operator on Hilbert module	Algebraic (localization by id)	(Dungen, 2016)
Exponential decay in PDE-constrained OCP	Exponential spatial decay	(Göttlich et al., 2024)
Non-Hermitian ring with asymmetrical dimer	Decay length $$\operatorname{clm} F(p_0, \bar{x}) = \limsup_{(p,x) \to (p_0, \bar{x}),\, x\in \operatorname{gph} F} \frac{d_X(x,F(p_0))}{d_P(p,p_0)},$$2	(Wang et al., 2019)
Dynamical systems: semi-local invariant manifold	Geometric (finite-size patch)	(Gourmelon, 2012)

7. Computational and Practical Impact

The adoption of semi-local perturbation frameworks allows:

• Reduction of intractable set-based stability constants (e.g., Lipschitz moduli) to supremum of pointwise calculable local moduli (via coderivative/KKT for optimization with nonconvex mappings) (Camacho, 11 Mar 2026).
• Exponential control of perturbation effects in high-dimensional domains (for domain decomposition, parallelization, or mesh refinement in PDE control), justifying localized computations and analysis (Göttlich et al., 2024).
• Physically implementable control of weak integrability breaking via truncation in quantum chains, supporting quantitative analysis of prethermalization and thermalization rates (Vanovac et al., 2024).
• Model and algorithm design (e.g., federated optimization, where using semi-local/global perturbation estimates in minimization improves sharpness and generalization) (Fan et al., 2024).

A plausible implication is that semi-local perturbation analysis is central for precise error analysis, stability guarantees, and efficient parallel or distributed algorithms in large-scale systems where full localization or global uniformity is unattainable or undesirable.

---

Semi-local perturbations thus constitute a unifying analytical and physical principle across multiple fields, yielding rigorous, computable bounds and practical mechanisms to manage the tradeoff between strictly local and global influence in both mathematical and applied settings.