Name | Spectral Mapping of Richardson Iteration
Object | $\Gamma=I-\varepsilon K$, $K=K^\dagger$
Type | Finite polynomial spectral mapping
Identity | $\operatorname{spec}(\Gamma)=\{1-\varepsilon\lambda:\lambda\in\operatorname{spec}(K)\}$
Evidence | E0 + E1
Boundary | Hermitian finite matrices. This is the spectral engine of FPV20-C01, not a new contraction rate.
Parents: FPV20-C01, ARR-C011.
Witness: PF-FPV20-SPEC-002.