numerical linear algebra From ADI Tuning to Topological Redefinition: A Banach–Space View of Indefinite Lyapunov Equations Classical low-rank Alternating Direction Implicit (ADI) algorithms for large-scale Lyapunov equations rely