Fri, 08 Nov 2019

12:00 - 13:00
L4

Algebra, Geometry and Topology of ERK Enzyme Kinetics

Heather Harrington
(Mathematical Institute (University of Oxford))
Abstract

In this talk I will analyse ERK time course data by developing mathematical models of enzyme kinetics. I will present how we can use differential algebra and geometry for model identifiability, and topological data analysis to study these the dynamics of ERK. This work is joint with Lewis Marsh, Emilie Dufresne, Helen Byrne and Stanislav Shvartsman.

Tue, 22 Oct 2019

12:45 - 14:00
C5

Numerical Simulations using Approximate Random Numbers

Oliver Sheridan-Methven
((Oxford University))
Abstract

Introducing cheap function proxies for quickly producing approximate random numbers, we show convergence of modified numerical schemes, and coupling between approximation and discretisation errors. We bound the cumulative roundoff error introduced by floating-point calculations, valid for 16-bit half-precision (FP16). We combine approximate distributions and reduced-precisions into a nested simulation framework (via multilevel Monte Carlo), demonstrating performance improvements achieved without losing accuracy. These simulations predominantly perform most of their calculations in very low precisions. We will highlight the motivations and design choices appropriate for SVE and FP16 capable hardware, and present numerical results on Arm, Intel, and NVIDIA based hardware.

 

Mon, 21 Oct 2019

16:00 - 17:00
C1

Relative decidability via the tilting correspondence

Konstantinos Kartas
(Oxford University)
Abstract

The goal of the talk is to present a proof of the following statement:
Let (K,v) be an algebraic extension of (Q_p,v_p) whose completion is perfectoid. We show that K is relatively decidable to its tilt K^♭, i.e. if K^♭ is decidable in the language of valued fields, then so is K. 
In the first part [of the talk], I will try to cover the necessary background needed from model theory and the theory of perfectoid fields.

Thu, 14 Nov 2019

16:00 - 17:00
L4

Viscosity solutions for controlled McKean-Vlasov jump-diffusions

Matteo Burzoni
((Oxford University))
Abstract

We study a class of non linear integro-differential equations on the Wasserstein space related to the optimal control of McKean-Vlasov jump-diffusions. We develop an intrinsic notion of viscosity solutions that does not rely on the lifting to an Hilbert space and prove a comparison theorem for these solutions. We also show that the value function is the unique viscosity solution. Based on a joint work with V. Ignazio, M. Reppen and H. M. Soner

Mon, 04 Nov 2019

16:00 - 17:00
L4

An optimal transport formulation of the Einstein equations of general relativity

Andrea Mondino
(Oxford)
Abstract

In the seminar I will present a recent work joint with  S. Suhr (Bochum) giving an optimal transport formulation of the full Einstein equations of general relativity, linking the (Ricci) curvature of a space-time with the cosmological constant and the energy-momentum tensor. Such an optimal transport formulation is in terms of convexity/concavity properties of the Shannon-Bolzmann entropy along curves of probability measures extremizing suitable optimal transport costs. The result gives a new connection between general relativity and  optimal transport; moreover it gives a mathematical reinforcement of the strong link between general relativity and thermodynamics/information theory that emerged in the physics literature of the last years.

Tue, 29 Oct 2019

17:00 - 18:00
C1

Functional and Geometric Inequalities via Optimal Transport

Andrea Mondino
(University of Oxford)
Abstract

I will give an overview of the localization technique: a powerful dimension-reduction tool for proving geometric and functional inequalities.  Having its roots in a  pioneering work of Payne-Weinberger in the 60ies about sharp Poincare’-Wirtinger inequality on Convex Bodies in Rn, recently such a technique found new applications for a range of sharp geometric and functional inequalities in spaces with Ricci curvature bounded below.

Subscribe to