In computational anatomy and, more generally, shape analysis, the Large Deformation Diffeomorphic Metric Mapping framework models shape variations as diffeomorphic deformations. An important shape space within this framework is the space consisting of shapes characterised by $n \geq 2$ distinct landmark points in $\mathbb{R}^d$. In diffeomorphic landmark matching, two landmark configurations are compared by solving an optimization problem which minimizes a suitable energy functional associated with flows of compactly supported diffeomorphisms transforming one landmark configuration into the other one. The landmark manifold $Q$ of $n$ distinct landmark points in $\mathbb{R}^d$ can be endowed with a Riemannian metric $g$ such that the above optimization problem is equivalent to the geodesic boundary value problem for $g$ on $Q$. Despite its importance for modeling stochastic shape evolutions, no general result concerning long-time existence of Brownian motion on the Riemannian manifold $(Q, g)$ is known. I will present joint work with Philipp Harms and Stefan Sommer on first progress in this direction which provides a full characterization of long-time existence of Brownian motion for configurations of exactly two landmarks, governed by a radial kernel.[-]

We discuss how to simulate bridge processes by conditioning a stochastic process on a manifold whose generator is a hypo-elliptic operator. This operator is, up to a drift-term, the sub-Laplacian of a bracketgenerating sub-Riemannian structure, meaning in particular that it has positive smooth density everywhere. The logarithmic gradient of this density is called the score, and we show that it is needed to describe the generator of the bridge process. We therefore discuss several methods for how we can estimate the score using a neural network, with examples. The results are from a joint work with Stefan Sommer (Copenhagen) and Karen Habermann (Warwick).[-]

We discuss hypoelliptic and subelliptic diffusions; the lectures include the following topics: Malliavin calculus; Hormander's theorem; smoothness of transition probabilities under Hormander's brackets condition; control theory and Stroock-Varadhan's support theorems; hypoelliptic heat kernel estimates; gradient estimates and Harnack type inequalities for subelliptic diffusion semi-groups; notions of curvature related to sub-Riemannian diffusions.[-]

An early motivation of smooth ergodic theory was to provide a mathematical account for the unpredictable, chaotic behavior of real-world fluids. While many interesting questions remain, in the last 25 years significant progress has been achieved in understanding models of fluid mechanics, e.g., the Navier-Stokes equations, in the presence of stochastic driving. Noise is natural for modeling purposes, and certain kinds of noise have a regularizing effect on asymptotic statistics. These kinds of noise provide an effective technical tool for rendering tractable otherwise inaccessible results on chaotic regimes, e.g., positivity of Lyapunov exponents and the presence of a strange attractor supporting a physical (SRB) measure. In this talk I will describe some of my work in this vein, including a recent result with Jacob Bedrossian and Sam Punshon-Smith providing positive Lyapunov exponents for f inite-dimensional (a.k.a. Galerkin) truncations of the Navier-Stokes equations.[-]