Fri, 29 Jan 2016

13:00 - 14:00
L6

The Fatou Property under Model Uncertainty and the Fundamental Theorem of Asset Pricing

Marco Maggis
(Visiting the Mathematical Institute from Universita Degli Studi Di Milano)
Abstract

We provide a characterization in terms of Fatou property for weakly closed monotone sets in the space of P-quasisure bounded random variables, where P is a (eventually non-dominated) class of probability measures. Our results can be applied to obtain a topological deduction of the First Fundamental Theorem of Asset Pricing for discrete time processes, the dual representation of the superhedging price and more in general the robust dual representation for (quasi)convex increasing functionals.
This is a joint paper with T. Meyer-Brandis and G. Svindland.
 

Fri, 29 Jan 2016

10:00 - 11:00
L4

Causal Calculus and Actionable Associations in Market-Basket Data

Marco Brambilla
(dunnhumby)
Abstract

“Market-Basket (MB) and Household (HH) data provide a fertile substrate for the inference of association between marketing activity (e.g.: prices, promotions, advertisement, etc.) and customer behaviour (e.g.: customers driven to a store, specific product purchases, joint product purchases, etc.). The main aspect of MB and HH data which makes them suitable for this type of inference is the large number of variables of interest they contain at a granularity that is fit for purpose (e.g.: which items are bought together, at what frequency are items bought by a specific household, etc.).

A large number of methods are available to researchers and practitioners to infer meaningful networks of associations between variables of interest (e.g.: Bayesian networks, association rules, etc.). Inferred associations arise from applying statistical inference to the data. In order to use statistical association (correlation) to support an inference of causal association (“which is driving which”), an explicit theory of causality is needed.

Such a theory of causality can be used to design experiments and analyse the resultant data; in such a context certain statistical associations can be interpreted as evidence of causal associations.

On observational data (as opposed to experimental), the link between statistical and causal associations is less straightforward and it requires a theory of causality which is formal enough to support an appropriate calculus (e.g.: do-calculus) of counterfactuals and networks of causation.

My talk will be focused on providing retail analytic problems which may motivate an interest in exploring causal calculi’s potential benefits and challenges.”

Thu, 28 Jan 2016
17:30
L6

Characterizing diophantine henselian valuation rings and ideals

Sylvy Anscombe
(University of Central Lancashire)
Abstract

I will report on joint work with Arno Fehm in which we apply
our previous `existential transfer' results to the problem of
determining which fields admit diophantine nontrivial henselian
valuation rings and ideals. Using our characterization we are able to
re-derive all the results in the literature. Also, I will explain a
connection with Pop's large fields.

Thu, 28 Jan 2016

16:00 - 17:00
L5

Iwasawa theory for the symmetric square of a modular form

David Loeffler
(University of Warwick)
Abstract

Iwasawa theory is a powerful technique for relating the behaviour of arithmetic objects to the special values of L-functions. Iwasawa originally developed this theory in order to study the class groups of number fields, but it has since been generalised to many other settings. In this talk, I will discuss some new results in the Iwasawa theory of the symmetric square of a modular form. This is a joint project with Sarah Zerbes, and the main tool in this work is the Euler system of Beilinson-Flach elements, constructed in our earlier works with Kings and Lei.

Thu, 28 Jan 2016

16:00 - 17:30
L4

Equilibrium in risk-sharing games

Kostas Kardaras
(Dept of Statistics London School of Economics)
Abstract

The large majority of risk-sharing transactions involve few agents, each of whom can heavily influence the structure and the prices of securities. This paper proposes a game where agents' strategic sets consist of all possible sharing securities and pricing kernels that are consistent with Arrow-Debreu sharing rules. First, it is shown that agents' best response problems have unique solutions, even when the underlying probability space is infinite. The risk-sharing Nash equilibrium admits a finite-dimensional characterisation and it is proved to exist for general number of agents and be unique in the two-agent game. In equilibrium, agents choose to declare beliefs on future random outcomes different from their actual probability assessments, and the risk-sharing securities are endogenously bounded, implying (amongst other things) loss of efficiency. In addition, an analysis regarding extremely risk tolerant agents indicates that they profit more from the Nash risk-sharing equilibrium as compared to the Arrow-Debreu one.
(Joint work with Michail Anthropelos)

Thu, 28 Jan 2016

16:00 - 17:00
L3

Predictive simulations for optimisation of inhaled drug delivery

Laura Nicolaou
(ICL)
Abstract

Respiratory illnesses, such as asthma and chronic obstructive pulmonary disease, account for one in five deaths worldwide and cost the UK over £6 billion a year. The main form of treatment is via inhaled drug delivery. Typically, however, a low fraction of the inhaled dose reaches the target areas in the lung. Predictive numerical capabilities have the potential for significant impact in the optimisation of pulmonary drug delivery. However, accurate and efficient prediction is challenging due to the complexity of the airway geometries and of the flow in the airways. In addition, geometric variation of the airways across subjects has a pronounced effect on the aerosol deposition. Therefore, an accurate model of respiratory deposition remains a challenge.

High-fidelity simulations of the flow field and prediction of the deposition patterns motivate the use of direct numerical simulations (DNS) in order to resolve the flow. Due to the high grid resolution requirements, it is desirable to adopt an efficient computational strategy. We employ a robust immersed boundary method developed for curvilinear coordinates, which allows the use of structured grids to model the complex patient-specific airways, and can accommodate the inter-subject geometric variations on the same grid. The proposed approach reduces the errors at the boundary and retains the stability guarantees of the original flow solver.

A Lagrangian particle tracking scheme is adopted to model the transport of aerosol particles. In order to characterise deposition, we propose the use of an instantaneous Stokes number based on the local properties of the flow field. The effective Stokes number is then defined as the time-average of the instantaneous value. This effective Stokes number thus encapsulates the flow history and geometric variability. Our results demonstrate that the effective Stokes number can deviate significantly from the reference value based solely on a characteristic flow velocity and length scale. In addition, the effective Stokes number shows a clear correlation with deposition efficiency.

Thu, 28 Jan 2016

14:00 - 15:00
L5

Redundant function approximation in theory and in practice

Prof. Daan Huybrechs
(KU Leuven)
Abstract
Functions are usually approximated numerically in a basis, a non-redundant and complete set of functions that span a certain space. In this talk we highlight a number of benefits of using overcomplete sets, in particular using the more general notion of a "frame". The main 

benefit is that frames are easily constructed even for functions of several variables on domains with irregular shapes. On the other hand, allowing for possible linear depencies naturally leads to ill-conditioning of approximation algorithms. The ill-conditioning is 

potentially severe. We give some useful examples of frames and we first address the numerical stability of best approximations in a frame. Next, we briefly describe special point sets in which interpolation turns out to be stable. Finally, we review so-called Fourier extensions and an efficient algorithm to approximate functions with spectral accuracy on domains without structure.
Thu, 28 Jan 2016
12:00
L6

Meaning of infinities in singular SPDEs

Wei-Jun Xu
(Warwick University)
Abstract
Many interesting stochastic PDEs arising from statistical physics are ill-posed in the sense that they involve products between distributions. Hence, the solutions to these equations are obtained after suitable renormalisations, which typically changes the original equation by a quantity that is infinity. In this talk, I will use KPZ and Phi^4_3 equations as two examples to explain the physical meanings of these infinities. As a consequence, we will see how these two equations, interpreted after suitable renormalisations, arise naturally as universal limits for two distinct classes of statistical physics systems. Part of the talk based on joint work with Martin Hairer.
Thu, 28 Jan 2016
11:00
C5

Not having rational roots is diophantine."

Philip Dittmann
(Oxford)
Abstract

 "We give a diophantine criterion for a polynomial with rational coefficients not to have any
rational zero, i.e. an existential formula in terms of the coefficients expressing this property. This can be seen as a kind of restricted
model-completeness for Q and answers a question of Koenigsmann."

Wed, 27 Jan 2016
16:00
C3

Profinite rigidity of Seifert fibre spaces

Gareth Wilkes
(Oxford University)
Abstract

One can ask whether the fundamental groups of 3-manifolds are distinguished by their sets of finite quotients. I will discuss the recent solution of this question for Seifert fibre spaces.

Wed, 27 Jan 2016
15:00
L4

STAR-Vote: A Secure, Transparent, Auditable and Reliable Voting System

Olivier Pereira
(Universite catholique de louvain)
Abstract

STAR-Vote is voting system that results from a collaboration between a number of
academics and the Travis County, Texas elections office, which currently uses a
DRE voting system and previously used an optical scan voting system. STAR-Vote
represents a rare opportunity for a variety of sophisticated technologies, such
as end-to-end cryptography and risk limiting audits, to be designed into a new
voting system, from scratch, with a variety of real world constraints, such as
election-day vote centers that must support thousands of ballot styles and run
all day in the event of a power failure.
We present and motivate the design of the STAR-Vote system, the benefits that we
expect from it, and its current status.

This is based on joint work with Josh Benaloh, Mike Byrne, Philip Kortum,
Neal McBurnett, Ron Rivest, Philip Stark, Dan Wallach
and the Office of the Travis County Clerk

Tue, 26 Jan 2016

14:15 - 15:30
L4

Extensions of modules for graded Hecke algebras

Kei Yuen Chan
(Amsterdam)
Abstract

Graded affine Hecke algebras were introduced by Lusztig for studying the representation theory of p-adic groups. In particular, some problems about extensions of representations of p-adic groups can be transferred to problems in the graded Hecke algebra setting. The study of extensions gives insight to the structure of various reducible modules. In this talk, I shall discuss some methods of computing Ext-groups for graded Hecke algebras.
The talk is based on arXiv:1410.1495, arXiv:1510.05410 and forthcoming work.

Tue, 26 Jan 2016

12:00 - 13:15
L4

Elliptic polylogarithms and string amplitudes

Dr Erik Panzer
(Oxford)
Abstract
Recent results showed that the low energy expansion of closed superstring amplitudes can be expressed in terms of

single-valued multiple elliptic polylogarithms. I will explain how these functions may be defined as iterated integrals on the torus and

sketch how they arise from Feynman integrals.
Mon, 25 Jan 2016
16:30
C1

Iterating the algebraic étale-Brauer obstruction

Francesca Balestrieri
((Oxford University))
Abstract

A question by Poonen asks whether iterating the étale-Brauer set can give a finer obstruction set. We tackle the algebraic version of Poonen's question and give, in many cases, a negative answer.

Mon, 25 Jan 2016

16:00 - 17:00
L4

Global well-posedness of the axisymmetric Navier-Stokes equations in the exterior of an infinite cylinder

Ken Abe
(Kyoto and Oxford)
Abstract
We consider the initial-boundary value problem of the Navier-Stokes equations for axisymmetric initial data with swirl in the exterior of an infinite cylinder, subject to the slip boundary condition. We construct global solutions and give an upper bound for azimuthal component of vorticity in terms of the size of cylinder. The proof is based on the Boussinesq system. We show that the system is globally well-posed for axisymmetric data without swirl.
Mon, 25 Jan 2016
15:45
L6

Minimal surfaces in 3-manifold topology

Dan Ketover
(Imperial College)
Abstract

I will explain some recent work using minimal surfaces to address problems in 3-manifold topology.  Given a Heegaard splitting, one can sweep out a three-manifold by surfaces isotopic to the splitting, and run the min-max procedure of Almgren-Pitts and Simon-Smith to construct a smooth embedded minimal surface.   If the original splitting were strongly irreducible (as introduced by Casson-Gordon), H. Rubinstein sketched an argument in the 80s showing that the limiting minimal surface should be isotopic to the original splitting.  I will explain some results in this direction and how jointly with T. Colding and D. Gabai we can use such min-max minimal surfaces to complete the classification problem for Heegaard splittings of non-Haken hyperbolic 3-manifolds.

Mon, 25 Jan 2016

15:45 - 16:45
L5

Higher order theory for renewal sequences with infinite mean.

Dalia Terhesiu
(Exeter University)
Abstract


First order asymptotic of scalar renewal sequences with infinite mean characterized by regular variation has been classified in the 60's (Garsia and Lamperti). In the recent years, the question of higher order asymptotic for renewal sequences with infinite mean was motivated by obtaining 'mixing rates' for dynamical systems with infinite measure. In this talk I will present the recent results we have obtained on higher order expansion for renewal sequences with infinite mean (not necessarily generated by independent processes) in the regime of slow regular variation (with small exponents).  I will also discuss some consequences of these results for error rates in certain limit theorems (such as arcsine law for null recurrent Markov processes).

 

Mon, 25 Jan 2016

14:15 - 15:45
L5

Propagation in a non-local reaction-diffusion equation

Christopher Henderson
(ENS Lyon)
Abstract

The first reaction-diffusion equation developed and studied is the Fisher-KPP equation.  Introduced in 1937, it accounts for the spatial spreading and growth of a species.  Understanding this population-dynamics model is equivalent to understanding the distribution of the maximum particle in a branching Brownian motion.  Various generalizations of this model have been studied in the eighty years since its introduction, including a model with non-local reaction for the cane toads of Australia introduced by Benichou et. al.  I will begin the talk by giving an extended introduction on the Fisher-KPP equation and the typical behavior of its solutions.  Afterwards, I will describe the model for the cane toads equations and give new results regarding this model.  In particular, I will show how the model may be viewed as a perturbation of a local equation using a new Harnack-type inequality and I will discuss the super-linear in time propagation of the toads.  The talk is based on a joint work with Bouin and Ryzhik.

 

---
 

Fri, 22 Jan 2016

16:00 - 17:00
L1

Scientific writing

Prof. Nick Trefethen
(Mathematical Institute, Oxford)
Abstract

Writing is a part of any career in science or mathematics. I will make some remarks about the role writing has played in my life and the role it might play in yours.