Riccati flow

Wiki card — concept node for exp-families-stability.

(i) Formal statement

A matrix Riccati differential equation on symmetric matrices \(S \in \mathrm{Sym}_d(\mathbb{R})\) has the general form

\[ \dot S \;=\; A + B S + S B^\top - S C S, \tag{Ric-gen} \]

for constant matrices \(A \in \mathrm{Sym}_d\), \(B, C \in \mathbb{R}^{d \times d}\) (with \(C \in \mathrm{Sym}_d\)). Special cases for our problem.

Closed-form integration (heat case). \(\dot K = -K^2\) with \(K_0 = K\) has solution \[ K_t \;=\; (K^{-1} + t I)^{-1}, \qquad \Sigma_t = \Sigma_0 + t I. \tag{Ric-sol} \]

(ii) Role in Q1 / Q2 / Q3

(iii) References

(iv) Worked miniature — integrating \(\dot K = -K^2\)

Take \(d = 1\), \(K_0 = 1/\sigma_0^2 > 0\). The ODE \(\dot K = -K^2\) is separable: \(dK/K^2 = -dt\), integrating to \(-1/K = -t - 1/K_0\), i.e. \[ K_t \;=\; \frac{K_0}{1 + t K_0} \;=\; \frac{1}{\sigma_0^2 + t}. \]

So \(\sigma_t^2 = \sigma_0^2 + t\), which matches \(\mathcal{N}(0, \sigma_0^2) * \gamma_{\sqrt{t}} = \mathcal{N}(0, \sigma_0^2 + t)\). ✓

Matrix case. For general \(K_0 \succ 0\), \(K_t = (K_0^{-1} + t I)^{-1}\). One way to see this: differentiate \(K_t \cdot (K_0^{-1} + t I) = I\)\(\dot K_t (K_0^{-1} + tI) + K_t \cdot I = 0\), i.e. \(\dot K_t = -K_t (K_0^{-1} + tI)^{-1} = -K_t \cdot K_t = -K_t^2\). ✓

Information-geometric reading. In \(\eta\)-coordinates (covariance), the flow is linear \(\dot\Sigma = I\); in \(\theta\)-coordinates (precision), the flow is Riccati \(\dot K = -K^2\). The nonlinear transform \(\theta \leftrightarrow \eta\) is the Legendre of the log-partition — Riccati is the dual of a linear flow. This is a universal pattern: any time a quadratic statistic \(\varphi\) is stable, the \(\theta\)-flow is Riccati because the \(\eta\)-flow is affine.

Kalman connection. Kalman (1960)'s covariance propagation for linear- Gaussian dynamics is (Ric-Kalman); the terms \(F P + P F^\top\) come from drift, \(Q\) from process noise, \(-P H^\top R^{-1} H P\) from the innovation (the Gaussian measurement update). Our heat-flow case is Kalman with \(F = 0\), \(Q = I\), no measurement (\(H = 0\)): \(\dot P = I\), equivalently \(\dot K = -K^2\).