Linearly Constrained Gaussian Processes with Boundary Conditions

by   Markus Lange-Hegermann, et al.

One goal in Bayesian machine learning is to encode prior knowledge into prior distributions, to model data efficiently. We consider prior knowledge from systems of linear partial differential equations together with their boundary conditions. We construct multi-output Gaussian process priors with realizations in the solution set of such systems, in particular only such solutions can be represented by Gaussian process regression. The construction is fully algorithmic via Gröbner bases and it does not employ any approximation. It builds these priors combining two parametrizations via a pullback: the first parametrizes the solutions for the system of differential equations and the second parametrizes all functions adhering to the boundary conditions.


page 5

page 8


Algorithmic Linearly Constrained Gaussian Processes

We algorithmically construct multi-output Gaussian process priors which ...

On boundary conditions parametrized by analytic functions

Computer algebra can answer various questions about partial differential...

Gaussian Process Regression constrained by Boundary Value Problems

We develop a framework for Gaussian processes regression constrained by ...

Machine Learning of Linear Differential Equations using Gaussian Processes

This work leverages recent advances in probabilistic machine learning to...

High dimensional inference for the structural health monitoring of lock gates

Locks and dams are critical pieces of inland waterways. However, many co...

Coarsening in Algebraic Multigrid using Gaussian Processes

Multigrid methods have proven to be an invaluable tool to efficiently so...