A Unified Low-rank ADI Framework with Shared Linear Solves for Simultaneously Solving Multiple Lyapunov, Sylvester, and Riccati Equations

A Unified Low-rank ADI Framework with Shared Linear Solves for Simultaneously Solving Multiple Lyapunov, Sylvester, and Riccati Equations
Notice: This research summary and analysis were automatically generated using AI technology. For absolute accuracy, please refer to the [Original Paper Viewer] below or the Original ArXiv Source.

The alternating direction implicit (ADI) methods are computationally efficient and numerically effective tools for computing low-rank solutions of large-scale linear matrix equations. It is known in the literature that the low-rank ADI method for Lyapunov equations is a Petrov-Galerkin projection algorithm that implicitly performs model order reduction. It recursively enforces interpolation at the mirror images of the ADI shifts and places the poles of the reduced-order models at the ADI shifts. In this paper, we show that the low-rank ADI methods for Sylvester and Riccati equations are also Petrov-Galerkin projection algorithms that implicitly perform model order reduction. These methods likewise enforce interpolation at the mirror images of the ADI shifts; however, they do not place the poles at the mirror images of the interpolation points. Instead, their pole placement ensures that the projected Sylvester and Riccati equations they implicitly solve admit a unique solution. By observing that the ADI methods for Lyapunov, Sylvester, and Riccati equations differ only in pole placement and not in their interpolatory nature, we show that the shifted linear solves-which constitute the bulk of the computational cost-can be shared. The pole-placement step involves only small-scale operations and is therefore inexpensive. We propose a unified ADI framework that requires only two shifted linear solves per iteration to simultaneously solve six Lyapunov equations, one Sylvester equation, and ten Riccati equations, thus substantially increasing the return on investment for the computational cost spent on the linear solves. All operations needed to extract the individual solutions from these shared linear solves are small-scale and inexpensive. Three numerical examples are presented to demonstrate the effectiveness of the proposed ADI framework.


💡 Research Summary

**
The paper introduces a unified low‑rank Alternating Direction Implicit (ADI) framework that simultaneously solves multiple large‑scale Lyapunov, Sylvester, and Riccati matrix equations by sharing the most expensive part of the computation – the shifted linear solves.
First, the authors revisit the well‑known fact that low‑rank ADI for Lyapunov equations can be interpreted as a Petrov‑Galerkin projection that implicitly performs model order reduction. They extend this interpretation to Sylvester and Riccati equations, showing that these ADI variants also enforce interpolation at the mirror images of the ADI shifts. However, unlike the Lyapunov case, the poles of the reduced‑order models are not placed at the interpolation points; instead, they are chosen (through inexpensive small‑scale operations) so that the projected Sylvester and Riccati equations admit a unique solution. This subtle distinction is crucial because it reveals that the three families of ADI methods differ only in pole placement, while their interpolatory core and the associated shifted linear systems are identical.

Exploiting this observation, the authors propose to solve only two shifted linear systems per ADI iteration:
\


Comments & Academic Discussion

Loading comments...

Leave a Comment