Differential geometry and stochastic dynamics with deep learning numerics

12/22/2017
by   Line Kuhnel, et al.
0

In this paper, we demonstrate how deterministic and stochastic dynamics on manifolds, as well as differential geometric constructions can be implemented concisely and efficiently using modern computational frameworks that mix symbolic expressions with efficient numerical computations. In particular, we use the symbolic expression and automatic differentiation features of the python library Theano, originally developed for high-performance computations in deep learning. We show how various aspects of differential geometry and Lie group theory, connections, metrics, curvature, left/right invariance, geodesics and parallel transport can be formulated with Theano using the automatic computation of derivatives of any order. We will also show how symbolic stochastic integrators and concepts from non-linear statistics can be formulated and optimized with only a few lines of code. We will then give explicit examples on low-dimensional classical manifolds for visualization and demonstrate how this approach allows both a concise implementation and efficient scaling to high dimensional problems.

READ FULL TEXT
research
06/15/2017

Computational Anatomy in Theano

To model deformation of anatomical shapes, non-linear statistics are req...
research
07/02/2022

Combinatory Adjoints and Differentiation

We develop a compositional approach for automatic and symbolic different...
research
06/01/2017

Automatic Differentiation using Constraint Handling Rules in Prolog

Automatic differentiation is a technique which allows a programmer to de...
research
04/17/2022

SymForce: Symbolic Computation and Code Generation for Robotics

We present SymForce, a library for fast symbolic computation, code gener...
research
08/17/2018

An elementary introduction to information geometry

We describe the fundamental differential-geometric structures of informa...
research
10/20/2020

Algorithmic Reduction of Biological Networks With Multiple Time Scales

We present a symbolic algorithmic approach that allows to compute invari...
research
08/15/2023

Computational General Relativity in the Wolfram Language using Gravitas I: Symbolic and Analytic Computation

We introduce a new, open-source computational general relativity framewo...

Please sign up or login with your details

Forgot password? Click here to reset