Tue, 19 Feb 2019
14:15
L4

Arithmetic D-modules over Laurent series fields

Daniel Caro
(Caen)
Abstract

Let k be a characteristic $p>0$ perfect field, V be a complete DVR whose residue field is $k$ and fraction field $K$ is of characteristic $0$. We denote by $\mathcal{E}  _K$ the Amice ring with coefficients in $K$, and by $\mathcal{E} ^\dagger _K$ the bounded Robba ring with coefficients in $K$. Berthelot's classical theory of Rigid Cohomology over varieties $X/k((t))$ gives $\mathcal{E}  _K$-valued objects.  Recently, Lazda and Pal developed a refinement of rigid cohomology,
i.e. a theory of $\mathcal{E} ^\dagger _K$-valued Rigid Cohomology over varieties $X/k((t))$. Using this refinement, they proved a semistable version of the variational Tate conjecture. 

The purpose of this talk is to introduce to a theory of arithmetic D-modules with $\mathcal{E} ^\dagger _K$-valued cohomology which satisfies a formalism of Grothendieck’s six operations. 
 

Tue, 19 Feb 2019

14:00 - 14:30
L3

Stochastic Analysis and Correction of Floating Point Errors in Monte Carlo Simulations

Oliver Sheridan-Methven
(Oxford)
Abstract

In this talk we will show how the floating point errors in the simulation of SDEs (stochastic differential equations) can be modelled as stochastic. Furthermore, we will show how these errors can be corrected within a multilevel Monte Carlo approach which performs most calculations with low precision, but a few calculations with higher precision. The same procedure can also be used to correct for errors in converting from uniform random numbers to approximate Normal random numbers. Numerical results will be generated on both CPUs (using single/double precision) and GPUs (using half/single precision).

Tue, 19 Feb 2019

12:45 - 13:30
C3

Model of a cycling coexistence of viral strains and a survival of the specialist

Anel Nurtay
Abstract

With growing population of humans being clustered in large cities and connected by fast routes more suitable environments for epidemics are being created. Topped by rapid mutation rate of viral and bacterial strains, epidemiological studies stay a relevant topic at all times. From the beginning of 2019, the World Health Organization publishes at least five disease outbreak news including Ebola virus disease, dengue fever and drug resistant gonococcal infection, the latter is registered in the United Kingdom.

To control the outbreaks it is necessary to gain information on mechanisms of appearance and evolution of pathogens. Close to all disease-causing virus and bacteria undergo a specialization towards a human host from the closest livestock or wild fauna of a shared habitat. Every strain (or subtype) of a pathogen has a set of characteristics (e.g. infection rate and burst size) responsible for its success in a new environment, a host cell in case of a virus, and with the right amount of skepticism that set can be framed as fitness of the pathogen. In our model, we consider a population of a mutating strain of a virus. The strain specialized towards a new host usually remains in the environment and does not switch until conditions get volatile. Two subtypes, wild and mutant, of the virus share a host. This talk will illustrate findings on an explicitly independent cycling coexistence of the two subtypes of the parasite population. A rare transcritical bifurcation of limit cycles is discussed. Moreover, we will find conditions when one of the strains can outnumber and eventually eliminate the other strain focusing on an infection rate as fitness of strains.

Tue, 19 Feb 2019
12:00
L4

Mysteries of isolated horizons

Jerzy Lewandowski
(University of Warsaw)
Abstract

Mysteries of isolated horizons: the Near Horizon Geometry equation, geometric characterizations of the non-extremal Kerr horizon, spacetimes foliated by non-expanding horizons.

3-dimensional null surfaces  that are  Killing horizons to the second order  are  considered. They are embedded in 4-dimensional spacetimes that satisfy the vacuum Einstein equations with arbitrary cosmological constant. Internal geometry of 2-dimensional cross sections of  the horizons  consists of induced metric tensor and a rotation 1-form potential. It is subject to the type D equation. The equation is interesting from the both, mathematical and physical points of view. Mathematically it  involves  geometry, holomorphic structures and algebraic topology.  Physically, the equation knows the secrete of black holes: the only  axisymmetric solutions on topological sphere  correspond  to the the Kerr / Kerr-de Sitter / Kerr-anti-de-Sitter non-extremal black holes or to the near horizon limit  of the extremal ones.  In the case of bifurcated  horizons the type D equation implies another spacial  symmetry. In this way the axial symmetry may be ensured without the rigidity theorem. The type D equation does not allow rotating horizons of topology different then that of the  sphere (or its quotient). That completes a new local non-her theorem. The type D equation is also  an integrability condition for the  Near Horizon Geometry equation and leads to new results on the solution existence issue.
 

Mon, 18 Feb 2019

17:00 - 18:00
L5

A Beautiful Game from the War: Piet Hein, John Nash, Martin Gardner and Hex

Ryan Hayward
(University of Alberta)
Abstract

Seeking income during World War II, Piet Hein created the game now called Hex, marketing it through the Danish newspaper Politiken.  The game was popular but disappeared in 1943 when Hein fled Denmark.

The game re-appeared in 1948 when John Nash introduced it to Princeton's game theory group, and became popular again in 1957 after Martin Gardner's column --- "Concerning the game of Hex, which may be played on the tiles of the bathroom floor" --- appeared in Scientific American.

I will survey the early history of Hex, highlighting the war's influence on Hein's design and marketing, Hein's mysterious puzzle-maker, and Nash's fascination with Hex's theoretical properties.

Mon, 18 Feb 2019
16:30
L1

Structure of approximate subgroups of nilpotent groups and applications

Romain Tessera
(University of Paris Sud)
Abstract

In a joint work with Matt Tointon, we study the fine structure of approximate groups. We deduce various applications on growth, isoperimetry and quantitative estimates for the the simple random walk on finite vertex transitive graphs.

Mon, 18 Feb 2019

16:00 - 17:00
L4

Hypoelliptic Laplacian, Brownian motion and the trace formula

Jean-Michel Bismut
(Universite Paris-Sud)
Abstract

The hypoelliptic Laplacian is a family of operators indexed by $b \in \mathbf{R}^*_+$, acting on the total space of the tangent bundle of a Riemannian manifold, that interpolates between the ordinary Laplacian as $b \to 0$ and the generator of the geodesic flow as $b \to +\infty$. These operators are not elliptic, they are not self-adjoint, they are hypoelliptic. One can think of the total space of the tangent bundle as the phase space of classical mechanics; so that the hypoelliptic Laplacian produces an interpolation between the geodesic flow and its quantisation. There is a dynamical counterpart, which is a natural interpolation between classical Brownian motion and the geodesic flow.

The hypoelliptic deformation preserves subtle invariants of the Laplacian. In the case of locally symmetric spaces (which are defined via Lie groups), the deformation is essentially isospectral, and leads to geometric formulas for orbital integrals, a key ingredient in Selberg's trace formula.

In a first part of the talk, I will describe the geometric construction of the hypoelliptic Laplacian in the context of de Rham theory. In a second part, I will explain applications to the trace formula.

 

Mon, 18 Feb 2019

15:45 - 16:45
L3

The branching-ruin number, the once-reinforced random walk, and other results

DANIEL KIOUS
(University of Bath)
Abstract

In a joint-work with Andrea Collevecchio and Vladas Sidoravicius,  we study  phase transitions in the recurrence/transience of a class of self-interacting random walks on trees, which includes the once-reinforced random walk. For this purpose, we define the branching-ruin number of a tree, which is  a natural way to measure trees with polynomial growth and therefore provides a polynomial version of the branching number defined by Furstenberg (1970) and studied by R. Lyons (1990). We prove that the branching-ruin number of a tree is equal to the critical parameter for the recurrence/transience of the once-reinforced random walk on this tree. We will also mention two other results where the branching-ruin number arises as critical parameter: first, in the context of random walks on heavy-tailed random conductances on trees and, second, in the case of Volkov's M-digging random walk.

Mon, 18 Feb 2019
15:30
L1

Cross ratios on cube complexes and length-spectrum rigidity

Elia Fioravanti
(Oxford)
Abstract

A conjecture from the '80s claims that the isometry type of a closed, negatively curved Riemannian manifold should be uniquely determined by the lengths of its closed geodesics. By work of Otal, this is essentially equivalent to the problem of extending cross-ratio preserving maps between Gromov boundaries of simply connected, negatively curved manifolds. Progress on the conjecture has been remarkably slow, with only the 2-dimensional and locally symmetric cases having been solved so far (Otal '90 and Hamenstädt '99).
Still, it is natural to try leaving the world of manifolds and address the conjecture in the general context of non-positively curved metric spaces. We restrict to the class of CAT(0) cube complexes, as their geometry is both rich and well-understood. We introduce a new notion of cross ratio on their horoboundary and use it to provide a full answer to the conjecture in this setting. More precisely, we show that essential, hyperplane-essential cubulations of Gromov-hyperbolic groups are completely determined by their combinatorial length functions. One can also consider non-proper non-cocompact actions of non-hyperbolic groups, as long as the cube complexes are irreducible and have no free faces.
Joint work with J. Beyrer and M. Incerti-Medici.

Mon, 18 Feb 2019
14:15
L1

RAAGs and Stable Commutator Length

Nicolaus Heuer
(Oxford)
Abstract

Stable commutator length (scl) is a well established invariant of elements g in the commutator subgroup (write scl(g)) and has both geometric and algebraic meaning.  A group has a \emph{gap} in stable commutator length if for every non-trivial element g, scl(g) > C for some C > 0.
SCL may be interpreted as an 'algebraic translation length' and such a gap may be thus interpreted an 'algebraic injectivity radius'.
Many classes of groups have such a gap, like hyperbolic groups, mapping class groups, Baumslag-Solitar groups and graph of groups.
In this talk I will show that Right-Angled Artin Groups have the optimal scl-gap of 1/2. This yields a new invariant for the vast class of subgroups of Right-Angled Artin Groups.

Mon, 18 Feb 2019

14:15 - 15:15
L3

Cut off phenomenon for the weakly asymmetric simple exclusion process

CYRIL LABBE
(Ceremade Dauphin)
Abstract

Consider the asymmetric simple exclusion process with k particles on a linear lattice of N sites. I will present results on the asymptotic of the time needed for the system to reach its equilibrium distribution starting from the worst initial configuration (also called mixing time). Two main regimes appear according to the strength of the asymmetry (in terms of k and N), and in both regimes, the system displays a cutoff phenomenon: the distance to equilibrium falls abruptly from 1 to 0. This is a joint work with Hubert Lacoin (IMPA).

 

 

Mon, 18 Feb 2019

14:15 - 15:15
L4

Ricci Flow in Milnor Frames

Syafiq Johar
(Oxford)
Abstract

In this talk, we are going to talk about the Type I singularity on 4-dimensional manifolds foliated by homogeneous S3 evolving under the Ricci
flow. We review the study on rotationally symmetric manifolds done by Angenent and Isenberg as well as by Isenberg, Knopf and Sesum. In the latter, a global frame for the tangent bundle, called the Milnor frame, was used to set up the problem. We shall look at the symmetries of the manifold, derived from Lie groups and its ansatz metrics, and this global tangent bundle frame developed by Milnor and Bianchi. Numerical simulations of the Ricci flow on these manifolds are done, following the work by Garfinkle and Isenberg, providing insight and conjectures for the main problem. Some analytic results will be proven for the manifolds S1×S3 and S4 using maximum principles from parabolic PDE theory and some sufficiency conditions for a neckpinch singularity will be provided. Finally, a problem from general relativity with similar metric symmetries but endowed on a manifold with differenttopology, the Taub-Bolt and Taub-NUT metrics, will be discussed.

 

 

Mon, 18 Feb 2019
13:15
L1

Quasi-isometric embeddings of symmetric spaces and lattices

Thang Nguyen
(Courant Institute of Mathematical Sciences)
Abstract

Symmetric spaces and lattices are important objects to model spaces in geometry and topology. They have been studied from many different viewpoints. We will concentrate on their coarse geometry view point in this talk. I will first quickly go over some well-known results about quasi-isometry of those spaces. Then I will move to the study about quasi-isometric embeddings. While results in this direction are far less complete and well-studied, there are some rigidity phenomenons still happening here.

Mon, 18 Feb 2019

13:00 - 14:00
N3.12

Mathematrix - Women in Logic

Further Information

This session started from the observation from one of the Logic students that for the past 8 years, there had been no female students in logic. We will look at questions related to the differences between various areas of mathematics and how this may affect potential applicants.

Fri, 15 Feb 2019

17:00 - 18:00
L1

The Reddick Lecture (Modelling and Competition)

Dr. Nira Chamberlain
(Head of Data Science Holland & Barrett)
Abstract

The InFoMM CDT presents The Reddick Lecture Dr. Nira Chamberlain (Holland & Barrett) Modelling the Competition Friday, 15 February 2019 17:00- 18:00 Mathematical Institute, L1 Followed by a drinks reception

It can be argued that any market would not survive without competition. It is everywhere; you can't run away from it. Competition can cause a business to either thrive, survive or die. So one might ask, why is there a need to mathematically model the competition? Two quotes may help to answer this: "Business is a game played for fantastic stakes, and you're in competition with experts. If you want to win, you have to learn to be a master of the game" Anon. “You can't look at the competition and say you're going to do it better. You have to look at the competition and say you're going to do it differently." Steve Jobs In this talk, I wish to demonstrate how mathematical modelling can be used to "master the game" and "do things differently". I will be focusing on three real life examples: Bidding to provide service support for a complex communication asset - dynamic travelling repairman Increasing market share in the Energy Sector - Markov Chain Retail's shop Location Location Location Location - Agent Based Simulation

Fri, 15 Feb 2019

14:00 - 15:00
L1

Telling a mathematical story

Dr Vicky Neale and Dr Richard Earl
Abstract

Mathematicians need to talk and writeabout their mathematics.  This includes undergraduates and MSc students, who may be writing a dissertation or project report, preparing a presentation on a summer research project, or preparing for a job interview.  We think that it can be helpful to think of this as a form of story telling, as this can lead to more effective communication.  For a story to be engaging you also need to know your audience.In this session, we'll discuss what we mean by telling a mathematical story, give you some top tips from our experience, and give you a chance to think about how you might put this into practice.  The session will be of relevance to all undergraduates and MSc students, not only those currently writing a dissertation or preparing an oral presentation.

Fri, 15 Feb 2019

14:00 - 15:00
L3

“How did that get there?” Modelling tissue age evolution of Barrett’s esophagus

Dr Kit Curtius
(Barts Cancer Institute Queen Mary University of London)
Abstract

There is great interest in the molecular characterisation of intestinal metaplasia, such as Barrett’s esophagus (BE), to understand the basic biology of metaplastic development from a tissue of origin. BE is asymptomatic, so it is not generally known how long a patient has lived with this precursor of esophageal adenocarcinoma (EAC) when initially diagnosed in the clinic. We previously constructed a BE clock model using patient-specific methylation data to estimate BE onset times using Bayesian inference techniques, and thus obtain the biological age of BE tissue (Curtius et al. 2016). We find such epigenetic drift to be widely evident in BE tissue (Luebeck et al. 2017) and the corresponding tissue ages show large inter-individual heterogeneity in two patient populations.               

From a basic biological mechanism standpoint, it is not fully understood how the Barrett’s tissue first forms in the human esophagus because this process is never observed in vivo, yet such information is critical to inform biomarkers of risk based on temporal features (e.g., growth rates, tissue age) reflecting the evolution toward cancer. We analysed multi-region samples from 17 BE patients to

1) measure the spatial heterogeneity in biological tissue ages, and 2) use these ages to calibrate mathematical models (agent-based and continuum) of the mechanisms for formation of the segment itself. Most importantly, we found that tissue must be regenerated nearer to the stomach, perhaps driven by wound healing caused by exposure to reflux, implying a gastric tissue of origin for the lesions observed in BE. Combining bioinformatics and mechanistic modelling allowed us to infer evolutionary processes that cannot be clinically observed and we believe there is great translational promise to develop such hybrid methods to better understand multiscale cancer data.

References:

Curtius K, Wong C, Hazelton WD, Kaz AM, Chak A, et al. (2016) A Molecular Clock Infers Heterogeneous Tissue Age Among Patients with Barrett's Esophagus. PLoS Comput Biol 12(5): e1004919

Luebeck EG, Curtius K, Hazelton WD, Made S, Yu M, et al. (2017) Identification of a key role of epigenetic drift in Barrett’s esophagus and esophageal adenocarcinoma. J Clin Epigenet 9:113

Fri, 15 Feb 2019

12:00 - 13:00
L4

Some optimisation problems in the Data Science Division at the National Physical Laboratory

Stephane Chretien
(National Physical Laboratory)
Abstract

Data science has become a topic of great interest lately and has triggered new widescale research activities around efficientl first order methods for optimisation and Bayesian sampling. The National Physical Laboratory is addressing some of these challenges with particular focus on  robustness and confidence in the solution.  In this talk, I will present some problems and recent results concerning i. robust learning in the presence of outliers based on the Median of Means (MoM) principle and ii. stability of the solution in super-resolution (joint work with A. Thompson and B. Toader).

Thu, 14 Feb 2019
17:00
L5

A Dichotomy for Some Elementarily Generated Modal Logics

Stanislav Kikot
(Oxford)
Abstract

 The talk is about the normal modal logics of elementary classes defined by first-order formulas of the form
 'for all x_0 there exist x_1, ..., x_n phi(x_0, x_1, ... x_n)' with phi being a conjunction of binary atoms.
 I'll show that many properties of these logics, such as finite axiomatisability,
 elementarity,  axiomatisability by a set of canonical formulas or by a single generalised Sahlqvist formula,
 together with modal definability of the initial formula, either simultaneously hold or simultaneously do not hold.
 

Thu, 14 Feb 2019

16:00 - 17:00
L6

p-Adic Asai L-functions of Bianchi modular forms

Chris Williams
(Imperial College)
Abstract

The Asai (or twisted tensor) L-function attached to a Bianchi modular form is the 'restriction to the rationals' of the standard L-function. Introduced by Asai in 1977, subsequent study has linked its special values to the arithmetic of the corresponding form. In this talk, I will discuss joint work with David Loeffler in which we construct a p-adic Asai L-function -- that is, a measure on Z_p* that interpolates the critical values L^As(f,chi,1) -- for ordinary weight 2 Bianchi modular forms. We use a new method for constructing p-adic L-functions, using Kato's system of Siegel units to build a 'Betti analogue' of an Euler system, building on algebraicity results of Ghate. I will start by giving a brief introduction to p-adic L-functions and Bianchi modular forms, and if time permits, I will briefly mention another case where the method should apply, that of non-self-dual automorphic representations for GL(3).

Thu, 14 Feb 2019

16:00 - 17:30
L4

Static vs Adaptive Strategies for Optimal Execution with Signals

Eyal Neumann
(Imperial College London)
Further Information

We consider an optimal execution problem in which a trader is looking at a short-term price predictive signal while trading. In the case where the trader is creating an instantaneous market impact, we show that transactions costs resulting from the optimal adaptive strategy are substantially lower than the corresponding costs of the optimal static strategy. Later, we investigate the case where the trader is creating transient market impact. We show that strategies in which the trader is observing the signal a number of times during the trading period, can dramatically reduce the transaction costs and improve the performance of the optimal static strategy. These results answer a question which was raised by Brigo and Piat [1], by analyzing two cases where adaptive strategies can improve the performance of the execution. This is joint work with Claudio Bellani, Damiano Brigo and Alex Done.

Thu, 14 Feb 2019

16:00 - 17:30
L3

The role of soluble surfactants on the stability of two-layer flow in a channel

Dr Anna Kalogirou
(University of East Anglia)
Abstract

A two-layer shear flow in the presence of surfactants is considered. The flow configuration comprises two superposed layers of viscous and immiscible fluids confined in a long horizontal channel, and characterised by different densities, viscosities and thicknesses. The surfactants can be insoluble, i.e. located at the interface between the two fluids only, or soluble in the lower fluid in the form of monomers (single molecules) or micelles (multi-molecule aggregates). A mathematical model is formulated, consisting of governing equations for the hydrodynamics and appropriate transport equations for the surfactant concentration at the interface, the concentration of monomers in the bulk fluid and the micelle concentration. A primary objective of this study is to investigate the effect of surfactants on the stability of the interface, and in particular surfactants in high concentrations and above the critical micelle concentration (CMC). Interfacial instabilities are induced due to the acting forces of gravity and inertia, as well as the action of Marangoni forces generated as a result of the dependence of surface tension on the interfacial surfactant concentration. The underlying physical mechanism responsible for the formation of interfacial waves will be discussed, together with the complex flow dynamics (typical nonlinear phenomena associated with interfacial flows include travelling waves, solitary pulses, quasi-periodic and chaotic dynamics).

Thu, 14 Feb 2019
16:00
C4

TQFTs with values in holomorphic symplectic varieties

Maxence Mayrand
(Oxford University)
Abstract

I will describe a family of 2d TQFTs, due to Moore-Tachikawa, which take values in a category whose objects are Lie groups and whose morphisms are holomorphic symplectic varieties. They link many interesting aspects of geometry, such as moduli spaces of solutions to Nahm equations, hyperkähler reduction, and geometric invariant theory.