Name | Product of Commuting PSD Richardson Maps
Object | $\Gamma_a=I-\varepsilon_a K_a$, $\Gamma_b=I-\varepsilon_b K_b$
Type | Finite commuting PSD contraction
Identity | $\operatorname{spec}(\Gamma_a\Gamma_b)\subset[-1,1]$ and strict contraction on $\operatorname{range}(K_a+K_b)$ under the open-window hypothesis
Evidence | E0 + E1
Boundary | Commuting Hermitian PSD family. Non-commuting or nonlinear maps are excluded.
Parents: FPV20-C01, ARR-C011.
Witness: PF-FPV20-FOUND-010.