Fri, 08 Nov 2019

14:00 - 15:00
L6

The role of ice shelves for marine ice sheet stability

Marianne Haseloff
(University of Oxford)
Further Information

The West Antarctic Ice Sheet is a marine ice sheet that rests on a bed below sea level. The stability of a marine ice sheet and its contribution to future sea level rise are controlled by the dynamics of the grounding line, where the grounded ice sheet transitions into a floating ice shelf. Recent observations suggest that Antarctic ice shelves experience widespread thinning due to contact with warming ocean waters, but quantifying the effect of these changes on marine ice sheet stability and extent remains a major challenge for both observational and modelling studies. In this talk, I show that grounding line stability of laterally confined marine ice sheets and outlet glaciers is governed by ice shelf dynamics, in particular calving front and melting conditions. I will discuss the implications of this dependence for projections of the future evolution of the West Antarctic Ice Sheet.

Fri, 08 Nov 2019

14:00 - 15:00
L1

Banish imposter feelings (and trust you belong!)

Maureen Freed and Ben Walker
Abstract

How can it be that so many clever, competent and capable people can feel that they are just one step away from being exposed as a complete fraud? Despite evidence that they are performing well they can still have that lurking fear that at any moment someone is going to tap them on the shoulder and say "We need to have a chat". If you've ever felt like this, or you feel like this right now, then this Friday@2 session might be of interest to you. We'll explore what "Imposter Feelings" are, why we get them and steps you can start to take to help yourself and others. This event is likely to be of interest to undergraduates and MSc students at all stages. 

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.

Fri, 08 Nov 2019

10:00 - 11:00
L3

Financial modelling and utilisation of a diverse range of data sets in oil markets

Milos Krkic
(BP IST Data Strategists)
Abstract

We will present three problems that we are interested in:

Forecast of volatility both at the instrument and portfolio level by combining a model based approach with data driven research
We will deal with additional complications that arise in case of instruments that are highly correlated and/or with low volumes and open interest.
Test if volatility forecast improves metrics or can be used to derive alpha in our trading book.

Price predication using physical oil grades data
Hypothesis:
Physical markets are most reflective of true fundamentals. Derivative markets can deviate from fundamentals (and hence physical markets) over short term time horizons but eventually converge back. These dislocations would represent potential trading opportunities.
The problem:
Can we use the rich data from the physical market prices to predict price changes in the derivative markets?
Solution would explore lead/lag relationships amongst a dataset of highly correlated features. Also explore feature interdependencies and non-linearities.
The prediction could be in the form of a price target for the derivative (‘fair value’), a simple direction without magnitude, or a probabilistic range of outcomes.

Modelling oil balances by satellite data
The flow of oil around the world from being extracted, refined, transported and consumed, forms a very large dynamic network. At both regular and irregular intervals, we can make noisy measurements of the amount of oil at certain points in the network.
In addition, we have general macro-economic information about the supply and demand of oil in certain regions.
Based on that information, with general information about the connections between nodes in the network i.e. the typical rate of transfer, one can build a general model for how oil flows through the network.
We would like to build a probabilistic model on the network, representing our belief about the amount of oil stored at each of our nodes, which we refer to as balances.
We want to focus on particular parts of the network where our beliefs can be augmented by satellite data, which can be done by focusing on a sub network containing nodes that satellite measurements can be applied to.

Thu, 07 Nov 2019
16:00
L6

Number fields with prescribed norms

Rachel Newton
(Reading)
Abstract

Let G be a finite abelian group, let k be a number field, and let x be an element of k. We count Galois extensions K/k with Galois group G such that x is a norm from K/k. In particular, we show that such extensions always exist. This is joint work with Christopher Frei and Daniel Loughran.

Thu, 07 Nov 2019

16:00 - 17:30
L3

Liquid droplets on a surface

Andrew Archer
(Loughborough University)
Abstract

The talk will begin with an introduction to the science of what determines the behaviour of a liquid on a on a surface and giving an overview of some of the different theories that can be used to describe the shape and structure of the liquid in the drop. These include microscopic density functional theory (DFT), which describes the liquid structure on the scale of the individual liquid molecules, and mesoscopic thin film equation (PDE) and kinetic Monte-Carlo models. A DFT based method for calculating the binding potential ?(h) for a film of liquid on a solid surface, where h is the thickness of the liquid film, will be presented. The form of ?(h) determines whether or not the liquid wets the surface. Calculating drop profiles using both DFT and also from inputting ?(h) into the mesoscopic theory and comparing quantities such as the contact angle and the shape of the drops, we find good agreement between the two methods, validating the coarse-graining. The talk will conclude with a discussion of some recent work on modelling evaporating drops with applications to inkjet printing.

Thu, 07 Nov 2019

16:00 - 17:00
L4

Sensitivity Analysis of the Utility Maximization Problem with Respect to Model Perturbations

Oleksii Mostovyi
(University of Connecticut)
Abstract

First, we will give a brief overview of the asymptotic analysis results in the context of optimal investment. Then, we will focus on the sensitivity of the expected utility maximization problem in a continuous semimartingale market with respect to small changes in the market price of risk. Assuming that the preferences of a rational economic agent are modeled by a general utility function, we obtain a second-order expansion of the value function, a first-order approximation of the terminal wealth, and construct trading strategies that match the indirect utility function up to the second order. If a risk-tolerance wealth process exists, using it as numeraire and under an appropriate change of measure, we reduce the approximation problem to a Kunita–Watanabe decomposition. Then we discuss possible extensions and special situations, in particular, the power utility case and models that admit closed-form solutions. The central part of this talk is based on the joint work with Mihai Sirbu.

Thu, 07 Nov 2019

14:30 - 15:30
N3.12

5d SCFT (part 1)

Max Hubner and Marieke Van Beest
Thu, 07 Nov 2019

14:00 - 15:00
L4

A posteriori error analysis for domain decomposition

Simon Tavener
(Colorado State University)
Abstract

Domain decomposition methods are widely employed for the numerical solution of partial differential equations on parallel computers. We develop an adjoint-based a posteriori error analysis for overlapping multiplicative Schwarz domain decomposition and for overlapping additive Schwarz. In both cases the numerical error in a user-specified functional of the solution (quantity of interest), is decomposed into a component that arises due to the spatial discretization and a component that results from of the finite iteration between the subdomains. The spatial discretization error can be further decomposed in to the errors arising on each subdomain. This decomposition of the total error can then be used as part of a two-stage approach to construct a solution strategy that efficiently reduces the error in the quantity of interest.

Thu, 07 Nov 2019

12:00 - 13:00
L4

A new Federer-type characterization of sets of finite perimeter

Panu Lahti
(University of Augsburg)
Abstract

Federer’s characterization, which is a central result in the theory of functions of bounded variation, states that a set is of finite perimeter if and only if n−1-dimensional Hausdorff measure of the set's measure-theoretic boundary is finite. The measure-theoretic boundary consists of those points where both the set and its complement have positive upper density. I show that the characterization remains true if the measure-theoretic boundary is replaced by a smaller boundary consisting of those points where the lower densities of both the set and its complement are at least a given positive constant.

Thu, 07 Nov 2019
11:30
C4

Functional Modular Zilber-Pink with Derivatives

Vahagn Aslanyan
(UEA)
Abstract

I will present Pila's Modular Zilber-Pink with Derivatives (MZPD) conjecture, which is a Zilber-Pink type statement for the j-function and its derivatives, and discuss some weak and functional/differential analogues. In particular, I will define special varieties in each setting and explain the relationship between them. I will then show how one can prove the aforementioned weak/functional/differential MZPD statements using the Ax-Schanuel theorem for the j-function and its derivatives and some basic complex analytic geometry. Note that I gave a similar talk in Oxford last year (where I discussed a differential MZPD conjecture and proved it assuming an Existential Closedness conjecture for j), but this talk is going to be significantly different from that one (the approach presented in this talk will be mostly complex analytic rather than differential algebraic, and the results will be unconditional).

Wed, 06 Nov 2019
16:00
C1

JSJ Decompositions of Groups

Sam Shepherd
(University of Oxford)
Abstract

A graph of groups decomposition is a way of splitting a group into smaller and hopefully simpler groups. A natural thing to try and do is to keep splitting until you can't split anymore, and then argue that this decomposition is unique. This is the idea behind JSJ decompositions, although, as we shall see, the strength of the uniqueness statement for such a decomposition varies depending on the class of groups that we restrict our edge groups to

Tue, 05 Nov 2019

15:30 - 16:30
L4

Hilbert schemes of points of ADE surface singularities

Balazs Szendroi
(Oxford)
Abstract

I will discuss some recent results around Hilbert schemes of points on singular surfaces, obtained in joint work with Craw, Gammelgaard and Gyenge, and their connection to combinatorics (of coloured partitions) and representation theory (of affine Lie algebras and related algebras such as their W-algebra). 

Tue, 05 Nov 2019

15:30 - 16:30
L6

Some new perspectives on moments of random matrices

Neil O’Connell
(University College Dublin)
Abstract

The study of 'moments' of random matrices (expectations of traces of powers of the matrix) is a rich and interesting subject, with fascinating connections to enumerative geometry, as discovered by Harer and Zagier in the 1980’s. I will give some background on this and then describe some recent work which offers some new perspectives (and new results). This talk is based on joint work with Fabio Deelan Cunden, Francesco Mezzadri and Nick Simm.

Tue, 05 Nov 2019
14:30
L5

Parameter Optimization in a Global Ocean Biogeochemical Model

Sophy Oliver
(Oxford)
Abstract

Ocean biogeochemical models used in climate change predictions are very computationally expensive and heavily parameterised. With derivatives too costly to compute, we optimise the parameters within one such model using derivative-free algorithms with the aim of finding a good optimum in the fewest possible function evaluations. We compare the performance of the evolutionary algorithm CMA-ES which is a stochastic global optimization method requiring more function evaluations, to the Py-BOBYQA and DFO-LS algorithms which are local derivative-free solvers requiring fewer evaluations. We also use initial Latin Hypercube sampling to then provide DFO-LS with a good starting point, in an attempt to find the global optimum with a local solver. This is joint work with Coralia Cartis and Samar Khatiwala.
 

Tue, 05 Nov 2019

14:15 - 15:15
L4

Axiomatizability and profinite groups

Dan Segal
(Oxford University)
Abstract

A mathematical structure is `axiomatizable' if it is completely determined by some family of sentences in a suitable first-order language. This idea has been explored for various kinds of structure, but I will concentrate on groups. There are some general results (not many) about which groups are or are not axiomatizable; recently there has been some interest in the sharper concept of 'finitely axiomatizable' or FA - that is, when only a finite set of sentences (equivalently, a single sentence) is allowed.

While an infinite group cannot be FA, every finite group is so, obviously. A profinite group is kind of in between: it is infinite (indeed, uncountable), but compact as a topological group; and these groups share many properties of finite groups, though sometimes for rather subtle reasons. I will discuss some recent work with Andre Nies and Katrin Tent where we prove that certain kinds of profinite group are FA among profinite groups. The methods involve a little model theory, and quite a lot of group theory.

 

Tue, 05 Nov 2019

14:00 - 15:00
L6

Combinatorial discrepancy and a problem of J.E. Littlewood

Julian Sahasrabudhe
(University of Cambridge)
Further Information

Given a collection of subsets of a set X, the basic problem in combinatorial discrepancy theory is to find an assignment of 1,-1 to the elements of X so that the sums over each of the given sets is as small as possible. I will discuss how the sort of combinatorial reasoning used to think about problems in combinatorial discrepancy can be used to solve an old conjecture of J.E. Littlewood on the existence of ``flat Littlewood polynomials''.

This talk is based on joint work with Paul Balister, Bela Bollobas, Rob Morris and Marius Tiba.
 

Tue, 05 Nov 2019
14:00
L5

Globally convergent least-squares optimisation methods for variational data assimilation

Maha Kaouri
(University of Reading)
Abstract

The variational data assimilation (VarDA) problem is usually solved using a method equivalent to Gauss-Newton (GN) to obtain the initial conditions for a numerical weather forecast. However, GN is not globally convergent and if poorly initialised, may diverge such as when a long time window is used in VarDA; a desirable feature that allows the use of more satellite data. To overcome this, we apply two globally convergent GN variants (line search & regularisation) to the long window VarDA problem and show when they locate a more accurate solution versus GN within the time and cost available.
Joint work with Coralia Cartis, Amos S. Lawless, Nancy K. Nichols.

Tue, 05 Nov 2019

12:45 - 14:00
C5

Dimensionality reduction techniques for global optimization

Adilet Otemissov
((Oxford University))
Abstract

We consider the problem of global minimization with bound constraints. The problem is known to be intractable for large dimensions due to the exponential increase in the computational time for a linear increase in the dimension (also known as the “curse of dimensionality”). In this talk, we demonstrate that such challenges can be overcome for functions with low effective dimensionality — functions which are constant along certain linear subspaces. Such functions can often be found in applications, for example, in hyper-parameter optimization for neural networks, heuristic algorithms for combinatorial optimization problems and complex engineering simulations.

Extending the idea of random subspace embeddings in Wang et al. (2013), we introduce a new framework (called REGO) compatible with any global min- imization algorithm. Within REGO, a new low-dimensional problem is for- mulated with bound constraints in the reduced space. We provide probabilistic bounds for the success of REGO; these results indicate that the success is depen- dent upon the dimension of the embedded subspace and the intrinsic dimension of the function, but independent of the ambient dimension. Numerical results show that high success rates can be achieved with only one embedding and that rates are independent of the ambient dimension of the problem.

 

Tue, 05 Nov 2019

12:00 - 13:15
L4

Quantum Chaos in Perspective

Jon Keating
(Oxford University)
Abstract

 I will review some of the major research themes in Quantum Chaos over the past 50 years, and some of the questions currently attracting attention in the mathematics and physics literatures.

Tue, 05 Nov 2019

12:00 - 13:00
C1

Population distribution as pattern formation on landscapes

Takaaki Aoki
(Mathematical Institute)
Abstract

Cities and their inter-connected transport networks form part of the fundamental infrastructure developed by human societies. Their organisation reflects a complex interplay between many natural and social factors, including inter alia natural resources, landscape, and climate on the one hand, combined with business, commerce, politics, diplomacy and culture on the other. Nevertheless, despite this complexity, there has been some success in capturing key aspects of city growth and network formation in relatively simple models that include non-linear positive feedback loops. However, these models are typically embedded in an idealised, homogeneous space, leading to regularly-spaced, lattice-like distributions arising from Turing-type pattern formation. Here we argue that the geographical landscape plays a much more dominant, but neglected role in pattern formation. To examine this hypothesis, we evaluate the weighted distance between locations based on a least cost path across the natural terrain, determined from high-resolution digital topographic databases for Italy. These weights are included in a co-evolving, dynamical model of both population aggregation in cities, and movement via an evolving transport network. We compare the results from the stationary state of the system with current population distributions from census data, and show a reasonable fit, both qualitatively and quantitatively, compared with models in homogeneous space. Thus we infer that that addition of weighted topography from the natural landscape to these models is both necessary and almost sufficient to reproduce the majority of the real-world spatial pattern of city sizes and locations in this example.

Mon, 04 Nov 2019

16:00 - 17:00
C1

What is Arakelov Geometry?

Esteban Gomezllata Marmolejo
(Oxford)
Abstract

Arakelov geometry studies schemes X over ℤ, together with the Hermitian complex geometry of X(ℂ).
Most notably, it has been used to give a proof of Mordell's conjecture (Faltings's Theorem) by Paul Vojta; curves of genus greater than 1 have at most finitely many rational points.
In this talk, we'll introduce some of the ideas behind Arakelov theory, and show how many results in Arakelov theory are analogous—with additional structure—to classic results such as intersection theory and Riemann Roch.

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.