rough path theory

**Rough Path Theory** is a **mathematical framework for rigorously defining and analyzing controlled differential equations driven by highly irregular signals** — including paths that are nowhere differentiable (like Brownian motion) — by replacing the path with its collection of iterated integrals (the "signature"), which captures essential geometric information invariant to time reparametrization, providing the theoretical foundation for Neural CDEs (Controlled Differential Equations) and enabling principled deep learning on time series with guaranteed expressiveness and robustness properties. **The Problem with Irregular Paths** Classical ODE theory requires smooth driving signals: dz/dt = f(z, t) × dx/dt. When x(t) is a smooth path (differentiable), the integral ∫ f(z) dx is well-defined via Riemann integration. But many real-world processes are driven by Brownian motion or other highly irregular signals: - Brownian motion is nowhere differentiable — dx/dt does not exist - Financial processes (Itô integrals) cannot be interpreted classically - Sampled sensor data approximates continuous but rough paths Kiyoshi Itô (1944) solved this for stochastic calculus but introduced a specific integration convention (Itô integral). Rough Path Theory (Terry Lyons, 1998) provides a unified deterministic framework that: 1. Works for any sufficiently regular rough path (Hölder continuous with exponent > 1/p for p < ∞) 2. Allows multiple integration conventions (Itô, Stratonovich) as special cases 3. Provides stability bounds showing solutions depend continuously on the rough path **The Signature: A Path's Fingerprint** The signature S(X)_{s,t} of a path X over interval [s,t] is the collection of iterated integrals: S(X)_{s,t} = (1, X_{s,t}¹, X_{s,t}², ...) where: - X_{s,t}^{(1)} = ∫_{s}^{t} dX_u (first iterated integral — the increment) - X_{s,t}^{(2)} = ∫_{s