Dynamical Low-Rank Kalman-Bucy Process

• DLR-KBP is a filtering approach that approximates the full covariance matrix using a low-rank factorization, thereby reducing computational complexity in high-dimensional systems.
• It projects the classical Riccati equation onto the tangent space of a low-rank manifold using Oja’s principal component flow, ensuring efficient state estimation and convergence.
• The algorithm is widely applied in large-scale data assimilation and PDE-based uncertainty quantification, offering robust theoretical guarantees and computational savings.

The Dynamical Low-Rank Kalman-Bucy Process (DLR-KBP) is a class of filtering algorithms designed to address the computational challenges of high-dimensional Kalman-Bucy filtering by propagating low-rank approximations of the state covariance matrix. The DLR-KBP leverages the dynamical low-rank (DLR) methodology, projecting the infinite-dimensional Riccati flow for the covariance onto a time-dependent manifold of low-rank symmetric positive semidefinite matrices. Central to the dynamics are the evolution of the principal subspace using Oja’s principal component flow, and a reduced-order Riccati equation for the low-dimensional covariance factor. This makes DLR-KBP amenable to large-scale estimation, data assimilation, and state-space modeling under both continuous and discrete observation schemes (Nobile et al., 14 Sep 2025, Schmidt et al., 2023, Tsuzuki et al., 2024, Bonnabel et al., 2012).

1. Mathematical Structure and Model Setting

DLR-KBP operates within the framework of a linear time-invariant (LTI) stochastic system described by

$$dx_t = A x_t\,dt + B\,dw_t,\qquad dy_t = C x_t\,dt + D\,dv_t,$$

where $w_t, v_t$ are independent standard Wiener processes, with covariance matrices $Q = B B^\top$ and $R = D D^\top$ for process and observation noise, respectively. The classical Kalman-Bucy filter propagates the state estimate $\hat x_t$ and its error covariance $P_t$ by

$$d\hat x_t = A\hat x_t\,dt + P_t C^\top R^{-1} \left( dy_t - C\hat x_t\,dt \right),\qquad \frac{d}{dt}P_t = A P_t + P_t A^\top + Q - P_t C^\top R^{-1} C P_t.$$

For high-dimensional systems, maintaining and evolving the full $n \times n$ covariance matrix is computationally prohibitive. DLR-KBP addresses this by seeking a low-rank factorization,

$P_t \approx U_t S_t U_t^\top,$

with $U_t \in \mathbb{R}^{n \times r}$, $w_t, v_t$0, and $w_t, v_t$1 symmetric positive definite, with $w_t, v_t$2 (Tsuzuki et al., 2024, Nobile et al., 14 Sep 2025, Schmidt et al., 2023).

2. Low-Rank Projection and Evolution Equations

The DLR-KBP applies a geometric projection of the filter Riccati operator onto the tangent space of the low-rank manifold. The projection operator at $w_t, v_t$3 is given by

$w_t, v_t$4

where $w_t, v_t$5 is a symmetric matrix. The projected Riccati equation yields the coupled evolution: $w_t, v_t$6 where $w_t, v_t$7, and the process noise $w_t, v_t$8 is typically restricted to the leading subspace (projected or low-rank form). For the filtering mean, the update is

$w_t, v_t$9

The update structure guarantees that both mean and covariance remain in the reduced-order subspace across time (Tsuzuki et al., 2024, Nobile et al., 14 Sep 2025, Bonnabel et al., 2012).

3. Geometry, Stability, and Error Bounds

The manifold of rank-$Q = B B^\top$0 positive semidefinite (PSD) matrices,

$Q = B B^\top$1

is equipped with the geometric “sum-of-parts” Riemannian metric, capturing both subspace (Stiefel manifold) and shape (PSD cone) contributions (Bonnabel et al., 2012). The Oja subspace flow,

$Q = B B^\top$2

preserves the Stiefel constraint and, for generic initializations, converges to the $Q = B B^\top$3-dimensional invariant subspace associated with the eigenvalues of $Q = B B^\top$4 with largest real part. Local stability is proved for the equilibrium corresponding to this dominant subspace; domain-of-attraction results provide sufficient initial misalignment bounds for convergence (Tsuzuki et al., 2024). Once the subspace has converged, the reduced Riccati equation yields a unique steady state provided controllability and observability are inherited.

Error analysis in the small-noise regime ($Q = B B^\top$5) demonstrates that the DLR-KBP estimate remains near-optimal, with Gronwall-type bounds ensuring that the low-rank mean and covariance errors remain controlled for all times: $Q = B B^\top$6 when the neglected noise component is sufficiently small (Nobile et al., 14 Sep 2025).

4. Algorithmic Implementation and Numerical Aspects

DLR-KBP propagates the low-rank factors using explicit time integration (e.g., Euler–Maruyama), with periodic re-orthonormalization of $Q = B B^\top$7. Efficient integrators such as the “Basis-Update–Galerkin” (BUG) scheme provide numerical stability, particularly when singular values of the covariance factor become small (Schmidt et al., 2023). Each iteration involves:

• Advancing $Q = B B^\top$8 via $Q = B B^\top$9, followed by QR-reorthonormalization.
• Updating $R = D D^\top$0 with projected Riccati terms.
• Updating the mean vector $R = D D^\top$1 accordingly.

Assimilation steps (discrete observation updates) can be realized by low-rank variants of the Kalman update, maintaining the rank structure and achieving $R = D D^\top$2 complexity per time step under fast operator assumptions (Schmidt et al., 2023).

A summary of per-step computational costs:

Step	Standard KBP	DLR-KBP
Full Riccati update	$R = D D^\top$3	$R = D D^\top$4
Measurement update	$R = D D^\top$5	$R = D D^\top$6

For $R = D D^\top$7, DLR-KBP provides substantial computational savings while retaining estimation accuracy in low-noise, low-intrinsic-dimensionality regimes (Nobile et al., 14 Sep 2025, Schmidt et al., 2023).

5. Theoretical Guarantees and Rank Selection

DLR-KBP maintains rigorous stability properties under appropriate conditions. If the system is controllable and observable, and the low-rank dimension $R = D D^\top$8 matches or exceeds the number of unstable or weakly stable modes (number of eigenvalues of $R = D D^\top$9 with real part $\hat x_t$0), then the closed-loop dynamics are stabilized: $\hat x_t$1 has all its eigenvalues in the left-half plane, ensuring a bounded estimation error covariance. This condition forms the basis for practical rank selection: count the number $\hat x_t$2 of modes with real part $\hat x_t$3 and set $\hat x_t$4 to guarantee Hurwitz stability and optimality commensurate with the full Kalman-Bucy filter (Tsuzuki et al., 2024).

6. Relation to Ensemble and Hybrid Methods

Extensions of DLR-KBP to ensemble-based filtering, notably the DLR-Ensemble Kalman Filter (DLR-EnKF), enable propagation of large ensembles in the low-dimensional dominant subspace. Propagation-of-chaos results establish convergence of the empirical ensemble to the DLR-KBP mean-field limit at $\hat x_t$5, allowing reduced Monte Carlo error at fixed computational cost compared to standard EnKF (Nobile et al., 14 Sep 2025). DLR-KBP and DLR-EnKF are thus especially effective in regimes where the filter covariance is low-rank and the effective signal dimension is small.

7. Applications, Limitations, and Extensions

DLR-KBP is particularly suited for large-scale data assimilation (e.g., atmospheric or oceanographic state estimation), high-dimensional spatio-temporal regression, and PDE-based uncertainty quantification where the Kalman-Bucy filter is otherwise infeasible. Its main limitation is the assumption that noise and uncertainty are confined predominantly to a low-dimensional subspace; full-rank noise degrades the accuracy of the low-rank approximation. Extensions under investigation include incorporation of hyper-reduction, structure-preserving time integrators, and techniques for localization and inflation in very high-dimensional ensemble filtering settings (Nobile et al., 14 Sep 2025).

8. Summary Table of Key Features

Feature	DLR-KBP	Reference
Covariance factorization	$\hat x_t$6	(Tsuzuki et al., 2024)
Subspace evolution	Oja flow, $\hat x_t$7	(Tsuzuki et al., 2024, Bonnabel et al., 2012)
Reduced Riccati dynamics	$\hat x_t$8	(Tsuzuki et al., 2024)
Computational cost per step	$\hat x_t$9, dominant for $P_t$0	(Nobile et al., 14 Sep 2025, Schmidt et al., 2023)
Stability/Boundedness	Provided $P_t$1, controllable/observable	(Tsuzuki et al., 2024)
Ensemble extension	DLR-EnKF, with propagation-of-chaos	(Nobile et al., 14 Sep 2025)

DLR-KBP offers a mathematically grounded and computationally efficient solution to high-dimensional filtering when signal and uncertainty are concentrated in a low-dimensional manifold, with robust theoretical guarantees for mean and covariance fidelity, provided the rank and initialization conditions are met (Tsuzuki et al., 2024, Nobile et al., 14 Sep 2025, Schmidt et al., 2023, Bonnabel et al., 2012).