Fri, 01 Dec 2017

13:00 - 14:00
L6

Model-independent pricing with Insider information: a Skorokhod Embedding approach.

Alexander Cox (University of Bath)
Abstract

In this paper, we consider the pricing and hedging of a financial derivative for an insider trader, in a model-independent setting. In particular, we suppose that the insider wants to act in a way which is independent of any modelling assumptions, but that she observes market information in the form of the prices of vanilla call options on the asset. We also assume that both the insider’s information, which takes the form of a set of impossible paths, and the payoff of the derivative are time-invariant. This setup allows us to adapt recent work of Beiglboeck, Cox, and Huesmann [BCH16] to prove duality results and a monotonicity principle, which enables us to determine geometric properties of the optimal models. Moreover, we show that this setup is powerful, in that we are able to find analytic and numerical solutions to certain pricing and hedging problems. (Joint with B. Acciaio and M. Huesmann)

Fri, 01 Dec 2017

10:30 - 11:30
N3.12

Categorical rigidity

Josh Ciappara
(University of Oxford)
Abstract

This talk will introduce the notion of categorical rigidity and the automorphism class group of a category. We will proceed with calculations for several important categories, hopefully illuminating the inverse relationship between the automorphisms of a category and the extent to which the structure of its objects is determined categorically. To conclude, some discussion of what progress there is on currently open/unknown cases.

Thu, 30 Nov 2017
17:00
L3

RG flows in 3d N=4 gauge theories

Benjamin Assel
(Cern)
Abstract

I will present a new approach to study the RG flow in 3d N=4 gauge theories, based on an analysis of the Coulomb branch of vacua. The Coulomb branch is described as a complex algebraic variety and important information about the strongly coupled fixed points of the theory can be extracted from the study of its singularities. I will use this framework to study the fixed points of U(N) and Sp(N) gauge theories with fundamental matter, revealing some surprising scenarios at low amount of matter.

 
Thu, 30 Nov 2017
16:00
C4

Antonio Afieri

Antonio Afieri
(Central European University)
Abstract

 In a recent paper Friedl, Zentner and Livingston asked when a sum of torus knots is concordant to an alternating knot. After a brief analysis of the problem in its full generality, I will describe some effective obstructions based on Floer type theories.

Thu, 30 Nov 2017
16:00
L6

A Galois counting problem

Sam Chow
(York)
Abstract

We count monic quartic polynomials with prescribed Galois group, by box height. Among other things, we obtain the order of magnitude for  quartics, and show that non-quartics are dominated by reducibles. Tools include the geometry of numbers, diophantine approximation, the invariant theory of binary forms, and the determinant method. Joint with Rainer Dietmann.

Thu, 30 Nov 2017

16:00 - 17:30
L1

Mechanics of Incompatible Surface Growth

Giuseppe Zurlo
(NUI Galway)
Abstract

Inelastic surface growth associated with continuous creation of incompatibility on the boundary of an evolving body is behind a variety of both natural processes (embryonic development,  tree growth) and technological processes (dam construction, 3D printing). Despite the ubiquity of such processes, the mechanical aspects of surface growth are still not fully understood. In this talk we present  a new approach to surface growth that allows one to address inelastic effects,  path dependence of the growth process and the resulting geometric frustration. In particular, we show that incompatibility developed during deposition can be fine-tuned to ensure a particular behaviour of the system in physiological (or working) conditions. As an illustration, we compute an explicit deposition protocol aimed at "printing" arteries, that guarantees the attainment of desired stress distributions in physiological conditions. Another illustration is the growth starategy for explosive plants, allowing a complete release of residual elastic energy with a single cut.

Thu, 30 Nov 2017

16:00 - 17:30
L4

Short-term contingent claims on non-tradable assets: static hedging and pricing

Olivier Gueant
(Université Paris 1)
Abstract

In this talk, I consider the problem of pricing and (statically)
hedging short-term contingent claims written on illiquid or
non-tradable assets.
In a first part, I show how to find the best European payoff written
on a given set of underlying assets for hedging (under several
metrics) a given European payoff written on another set of underlying
assets -- some of them being illiquid or non-tradable. In particular,
I present new results in the case of the Expected Shortfall risk
measure. I also address the associated pricing problem by using
indifference pricing and its link with entropy.
In a second part, I consider the more classic case of hedging with a
finite set of simple payoffs/instruments and I address the associated
pricing problem. In particular, I show how entropic methods (Davis
pricing and indifference pricing à la Rouge-El Karoui) can be used in
conjunction with recent results of extreme value theory (in dimension
higher than 1) for pricing and hedging short-term out-of-the-money
options such as those involved in the definition of Daily Cliquet
Crash Puts.

Thu, 30 Nov 2017

14:00 - 15:00
L4

Error analysis for a diffuse interface approach to an advection-diffusion equation on a moving surface

Dr Vanessa Styles
(University of Sussex)
Abstract

We analyze a fully discrete numerical scheme for solving a parabolic PDE on a moving surface. The method is based on a diffuse interface approach that involves a level set description of the moving surface. Under suitable conditions on the spatial grid size, the time step and the interface width we obtain stability and error bounds with respect to natural norms. Test calculations are presented that confirm our analysis.

Thu, 30 Nov 2017

12:00 - 13:00
L4

McKean–Vlasov problems with contagion effects

Sean Ledger
(University of Bristol)
Abstract

I will introduce a McKean—Vlasov problem arising from a simple mean-field model of interacting neurons. The equation is nonlinear and captures the positive feedback effect of neurons spiking. This leads to a phase transition in the regularity of the solution: if the interaction is too strong, then the system exhibits blow-up. We will cover the mathematical challenges in defining, constructing and proving uniqueness of solutions, as well as explaining the connection to PDEs, integral equations and mathematical finance.

Wed, 29 Nov 2017
16:00
C5

Classifying Higgs bundles, stable and unstable

Eloise Hamilton
(Oxford University)
Abstract

 The aim of this talk is to describe the classification problem for Higgs bundles and to explain how a combination of classical and Non-Reductive Geometric Invariant Theory might be used to solve this classification problem.
 
I will start by defining Higgs bundles and their physical origins. Then, I will present the classification problem for Higgs bundles. This will involve introducing the "stack" of Higgs bundles, a purely formal object which allows us to consider all isomorphism classes of Higgs bundles at once. Finally, I will explain how the stack of Higgs bundles can be described geometrically. As we will see, the stack of Higgs bundles can be decomposed into disjoint strata, each consisting of Higgs bundles of a given "instability type". Both classical and Non-Reductive GIT can then be applied to obtain moduli spaces for each of the strata.

Wed, 29 Nov 2017
11:00
N3.12

The mystical field with one element

Alex Saad
Abstract

The “field with one element” is an interesting algebraic object that in some sense relates linear algebra with set theory. In a much deeper vein it is also expected to have a role in algebraic geometry that could potentially “lift" Deligne’s proof of the final Weil Conjecture for varieties over finite fields to a proof of the Riemann hypothesis for the Riemann zeta function. The only problem is that it doesn’t exist. In this highly speculative talk I will discuss some of these concepts, and focus mainly on zeta functions of algebraic varieties over finite fields. I will give a (very) brief sketch of how to interpret various zeta functions in a geometric context, and try to explain what goes wrong for the Riemann zeta function that makes this a difficult problem.

Tue, 28 Nov 2017

18:30 - 19:45

Andrew Wiles - Oxford Mathematics London Public Lecture SOLD OUT

Andrew Wiles
(University of Oxford)
Abstract

Oxford Mathematics Public Lectures - Andrew Wiles, 28th November, 6.30pm, Science Museum, London SW7 2DD

Oxford Mathematics in partnership with the Science Museum is delighted to announce its first Public Lecture in London. World-renowned mathematician Andrew Wiles will be our speaker. Andrew will be talking about his current work and will also be 'in conversation' with mathematician and broadcaster Hannah Fry after the lecture.

This lecture is now sold out, but it will be streamed live and recorded. https://livestream.com/oxuni/wiles
 

Tue, 28 Nov 2017

16:00 - 17:00
C2

Applications of model theory to the study of Roelcke precompact groups and their actions ***Note change of room***

Todor Tsankov
(Institut de mathématiques de Jussieu)
Abstract

Roelcke precompact groups are exactly the topological groups that can be realized as automorphism groups of omega-categorical structures (in continuous logic). In this talk, I will discuss a model-theoretic framework for the study of those groups and their dynamical systems as well as two concrete applications. The talk is based on joint work with Itaï Ben Yaacov and Tomás Ibarlucía.

Tue, 28 Nov 2017

15:45 - 16:45
L4

Specialization of (stable) rationality

Evgeny Shinder
(Sheffield)
Abstract

The specialization question for rationality is the following one: assume that very general fibers of a flat proper morphism are rational, does it imply that all fibers are rational? I will talk about recent solution of this question in characteristic zero due to myself and Nicaise, and Kontsevich-Tschinkel. The method relies on a construction of various specialization morphisms for the Grothendieck ring of varieties (stable rationality) and the Burnside ring of varieties (rationality), which in turn rely on the Weak Factorization and Semi-stable Reduction Theorems.

Tue, 28 Nov 2017

14:30 - 15:00
L3

Shape optimization under overhang constraints imposed by additive manufacturing technologies

Charles Dapogny
(Laboratoire Jean Kuntzmann)
Abstract

The purpose of this work is to introduce a new constraint functional for shape optimization problems, which enforces the constructibility by means of additive manufacturing processes, and helps in preventing the appearance of overhang features - large regions hanging over void which are notoriously difficult to assemble using such technologies. The proposed constraint relies on a simplified model for the construction process: it involves a continuum of shapes, namely the intermediate shapes corresponding to the stages of the construction process where the total, final shape is erected only up to a certain level. The shape differentiability of this constraint functional is analyzed - which is not a standard issue because of its peculiar structure. Several numerical strategies and examples are then presented. This is a joint work with G. Allaire, R. Estevez, A. Faure and G. Michailidis.

Tue, 28 Nov 2017
14:15
L4

Dirac induction for rational Cherednik algebras

Marcelo De Martino
(Oxford University)
Abstract

In this joint work with D. Ciubotaru, we introduce the notion of local and global indices of Dirac operators for a rational Cherednik algebra H, with underlying reflection group G. In the local theory, I will report on some relations between the (local) Dirac index of a simple module in category O, the graded G-character and the composition series polynomials for standard modules. In the global theory, we introduce an "integral-reflection" module over which we define and compute the index of a (global) Dirac operator and show that the index is independent of the parameters. If time permits, I will discuss some local-global relations.

Tue, 28 Nov 2017

14:00 - 14:30
L3

Tomosynthesis with nonlinear compressed sensing

Raphael Hauser
(University of Oxford)
Abstract

A new generation of low cost 3D tomography systems is based on multiple emitters and sensors that partially convolve measurements. A successful approach to deconvolve the measurements is to use nonlinear compressed sensing models. We discuss such models, as well as algorithms for their solution. 

Tue, 28 Nov 2017

12:45 - 13:30
C5

Passive control of viscous flow via elastic snap-through

Michael Gomez
(Mathematical Institute)
Abstract

Snap-through buckling is a type of instability in which an elastic object rapidly jumps from one state to another, just as an umbrella flips upwards in a gust of wind. While snap-through under dry, mechanical loads has already been harnessed in engineering to generate fast motions between two states, the mechanisms underlying snapping in bulk fluid flows remain relatively unexplored. In this talk we demonstrate how elastic snap-through may be used to passively control fluid flows at low Reynolds number, in contrast to some pre-existing valves that rely on active control. We study viscous flow through a channel in which one of the bounding walls is an elastic arch. By performing experiments at the macroscopic scale, we show that snap-through of the arch rapidly changes the channel from a constricted to an unconstricted state, increasing the hydraulic conductivity by up to an order of magnitude. We also observe nonlinear pressure-flux characteristics away from snapping due to the coupling between the driving flow and elasticity. This behaviour is confirmed by a mathematical model that also shows the device may readily be scaled down for microfluidic applications. Finally, we demonstrate that such a device may be used to create a fluidic analogue of a fuse: the fluid flux through a channel may not rise above a given value. 

Tue, 28 Nov 2017

12:00 - 13:00
C3

A networks perspective on automation

Maria del Rio Chanona
(University of Oxford)
Abstract

Current technological progress has raised concerns about automation of tasks performed by workers resulting in job losses. Previous studies have used machine learning techniques to compute the automation probability of occupations and thus, studied the impact of automation on employment. However, such studies do not consider second-order effects, for example, an occupation with low automation probability can have a  surplus of labor supply due to similar occupations being automated. In this work, we study such second-order effects of automation using a network approach.  In our network – the Job Space – occupations are nodes and edges link occupations which share a significant amount of work activities. By mapping employment, automation probabilities into the network, and considering the movement of workers, we show that an occupation’s position in the network may be crucial to determining its employment future.

 

Tue, 28 Nov 2017

12:00 - 13:15
L4

Amplitude relations in Einstein-Yang-Mills theory

Dhritiman Nandan
(Edinburgh University)
Abstract

I will discuss recent developments in the study of scattering amplitudes in Einstein-Yang-Mills theory. At tree level we find new structures at higher order collinear limits and novel connections with amplitudes in Yang-Mills theory using the CHY formalism. Finally I will comment on unitarity based observations regarding one-loop amplitudes in the theory. 

Mon, 27 Nov 2017

16:00 - 17:00
L4

Homogenization of the eigenvalues of the Neumann-Poincaré operator

Charles Dapogny
(Universite Grenoble-Alpes)
Abstract

In this presentation, we investigate the spectrum of the Neumann-Poincaré operator associated to a periodic distribution of small inclusions with size ε, and its asymptotic behavior as the parameter ε vanishes. Combining techniques pertaining to the fields of homogenization and potential theory, we prove that the limit spectrum is composed of the `trivial' eigenvalues 0 and 1, and of a subset which stays bounded away from 0 and 1 uniformly with respect to ε. This non trivial part is the reunion of the Bloch spectrum, accounting for the collective resonances between collections of inclusions, and of the boundary layer spectrum, associated to eigenfunctions which spend a not too small part of their energies near the boundary of the macroscopic device. These results shed new light about the homogenization of the voltage potential uε caused by a given source in a medium composed of a periodic distribution of small inclusions with an arbitrary (possibly negative) conductivity a surrounded by a dielectric medium, with unit conductivity.

Mon, 27 Nov 2017
15:45
L6

SU(2)-cyclic surgeries and the pillowcase

Steven Sivek
(Imperial College)
Abstract

The cyclic surgery theorem of Culler, Gordon, Luecke, and Shalen implies that any knot in S^3 other than a torus knot has at most two nontrivial cyclic surgeries. In this talk, we investigate the weaker notion of SU(2)-cyclic surgeries on a knot, meaning surgeries whose fundamental groups only admit SU(2) representations with cyclic image. By studying the image of the SU(2) character variety of a knot in the “pillowcase”, we will show that if it has infinitely many SU(2)-cyclic surgeries, then the corresponding slopes (viewed as a subset of RP^1) have a unique limit point, which is a finite, rational number, and that this limit is a boundary slope for the knot. As a corollary, it follows that for any nontrivial knot, the set of SU(2)-cyclic surgery slopes is bounded. This is joint work with Raphael Zentner.

Mon, 27 Nov 2017

15:45 - 16:45
L3

Invariance principle for non-homogeneous random walks with anomalous recurrence properties

ALEKSANDAR MIJATOVIC
(King's College London)
Abstract

Abstract: In this talk we describe an invariance principle for a class of non-homogeneous martingale random walks in $\RR^d$ that can be recurrent or transient for any dimension $d$. The scaling limit, which we construct, is a martingale diffusions with law determined uniquely by an SDE with discontinuous coefficients at the origin whose pathwise uniqueness may fail. The radial component of the diffusion is a Bessel process of dimension greater than 1. We characterize the law of the diffusion, which must start at the origin, via its excursions built around the Bessel process: each excursion has a generalized skew-product-type structure, in which the angular component spins at infinite speed at the start and finish of each excursion. Defining a Riemannian metric $g$ on the sphere $S^{d−1}$, different from the one induced by the ambient Euclidean space, allows us to give an explicit construction of the angular component (and hence of the entire skew-product decomposition) as a time-changed Browninan motion with drift on the Riemannian manifold $(S^{d−1}, g)$. In particular, this provides a multidimensional generalisation of the Pitman–Yor representation of the excursions of Bessel process with dimension between one and two. Furthermore, the density of the stationary law of the angular component with respect to the volume element of $g$ can be characterised by a linear PDE involving the Laplace–Beltrami operator and the divergence under the metric $g$. This is joint work with Nicholas Georgiou and Andrew Wade.

Mon, 27 Nov 2017
14:30
L6

Homomorphism Thresholds For Graphs

Mathias Schacht
(Hamburg)
Abstract

The interplay of minimum degree and 'structural properties' of large graphs with a given forbidden subgraph is a central topic in extremal graph theory. For a given graph $F$ we define the homomorphism threshold as the infimum $\alpha$ such that every $n$-vertex $F$-free graph $G$ with minimum degree $>\alpha n$ has a homomorphic image $H$ of bounded size (independent of $n$), which is $F$-free as well. Without the restriction of $H$ being $F$-free we recover the definition of the chromatic threshold, which was determined for every graph $F$ by Allen et al. The homomorphism threshold is less understood and we present recent joint work with O. Ebsen on the homomorphism threshold for odd cycles.

Mon, 27 Nov 2017

14:15 - 15:15
L3

A Hopf-Lax splitting approximation for quasilinear parabolic PDEs with convex and quadratic growth gradients

GECHUN LIANG
(University of Warwick)
Abstract

We propose a new splitting algorithm to solve a class of quasilinear PDEs with convex and quadratic growth gradients. 

By splitting the original equation into a linear parabolic equation and a Hamilton-Jacobi equation, we are able to solve both equations explicitly. 

In particular, we solve the associated Hamilton-Jacobi equation by the Hopf-Lax formula, 

and interpret the splitting algorithm as a stochastic Hopf-Lax approximation of the quasilinear PDE.  

We show that the numerical solution will converge to the viscosity solution of the equation.  

The upper bound of the convergence rate is proved based on Krylov's shaking coefficients technique, 

while the lower bound is proved based on Barles-Jakobsen's optimal switching approximation technique. 

Based on joint work with Shuo Huang and Thaleia Zariphopoulou.

 

Mon, 27 Nov 2017

14:15 - 15:15
L5

Constructions of cohomogeneity one Ricci solitons

Matthias Wink
(Oxford University)
Abstract

In this talk two different methods for constructing complete steady and expanding Ricci solitons of cohomogeneity one will be discussed. The first is based on an estimate on the growth of the soliton potential and holds for large classes of cohomogeneity one manifolds. The second approach is specific to the two summands case and uses a Lyapunov function. This method also carries over to the Einstein case and as an application, a simplified construction of B\"ohm's Einstein metrics of positive scalar curvature on spheres will be explained.

 

Mon, 27 Nov 2017
12:45
L3

D-brane masses and the motivic Hodge conjecture

Albrecht Klemm
(Bonn)
Abstract

We consider the one parameter mirror families W of the Calabi-Yau 3-folds with Picard-Fuchs  equations of hypergeometric type. By mirror symmetry the  even D-brane masses of orginial Calabi-Yau manifolds M can be identified with four periods with respect to an integral symplectic basis of $H_3(W,\mathbb{Z})$ at the point of maximal unipotent monodromy. We establish that the masses of the D4 and D2 branes at the conifold are given by the two algebraically independent values of the L-function of the weight four holomorphic Hecke eigenform with eigenvalue one of $\Gamma_0(N)$. For the quintic in  $\mathbb{P}^4$ it this Hecke eigenform of $\Gamma_0(25)$ was as found by Chad Schoen.  It was discovered  by de la Ossa, Candelas and Villegas that  its  coefficients $a_p$ count the number of  solutions of  the mirror quinitic at the conifold over the finite number field $\mathbb{F}_p$ . Using the theory of periods and quasi-periods of $\Gamma_0(N)$ and the special geometry pairing on Calabi-Yau 3 folds we can fix further values in the connection matrix between the maximal unipotent monodromy point and the conifold point.  

 
 
 
 
Fri, 24 Nov 2017
16:00
L1

North meets South Colloquium

Richard Wade and Andrey Kormilitzin
Abstract

Richard Wade:   Classifying spaces, automorphisms, and right-angled Artin groups 

Right-angled Artin groups (otherwise known as partially commutative groups, or graph groups), interpolate between free abelian groups and free groups. These groups have seen a lot of attention recently, much of this due to some surprising links to the world of hyperbolic 3-manifolds.We will look at classifying spaces for such groups and their associated automorphism groups. These spaces are useful as they give a topological way to understand algebraic invariants of groups. This leads us to study some beautiful mathematical objects: deformation spaces of tori and trees. We will look at some recent results that aim to bridge the gap between these two families of spaces.
 
Andrey Kormilitzin:   Learning from electronic health records using the theory of rough paths

In this talk, we bring the theory of rough paths to the study of non-parametric statistics on streamed data and particularly to the problem of regression and classification, where the input variable is a stream of information, and the dependent response is also (potentially) a path or a stream.  We informally explain how a certain graded feature set of a stream, known in the rough path literature as the signature of the path, has a universality that allows one to characterise the functional relationship summarising the conditional distribution of the dependent response. At the same time this feature set allows explicit computational approaches through machine learning algorithms.

Finally, the signature-based modelling can be applied to some real-world problems in medicine, in particular in mental health and gastro-enterology.

Fri, 24 Nov 2017

14:00 - 15:00
L3

Some topics in infectious disease modelling: strains, claims, signals and more

Professor Julia Gog
(DAMTP University of Cambridge)
Abstract

This will be a whistle-stop tour of a few topics on infectious disease modelling, mainly influenza. Topics to include:

  • challenges in capturing dynamics of pathogens with multiple co-circulating strains
  • untangling the 2009 influenza pandemic from medical insurance claims data from the US
  • bioinformatic methods to detect viral packaging signals
  • and a big science project (top secret until the talk!)

Julia will be visiting the Mathematical Institute on sabbatical this term, and hopes this talk will help us find areas of overlapping interests.

Fri, 24 Nov 2017

11:45 - 13:15
L3

InFoMM CDT Group Meeting

Graham Benham, Ben Sloman, Matteo Croci, Thomas Roy
(Mathematical Institute)
Thu, 23 Nov 2017

16:30 - 17:30
L1

Bendotaxis of Wetting and Non-wetting drops

Alexander Bradley
(University of Oxford)
Abstract

It is thought that the hairy legs of water walking arthropods are able to remain clean and dry because the flexibility of the hairs spontaneously moves drops off the hairs. We present a mathematical model of this bending-induced motion, or bendotaxis, and study how it performs for wetting and non-wetting drops. Crucially, we show that both wetting and non-wetting droplets move in the same direction (using physical arguments and numerical solutions). This suggests that a surface covered in elastic filaments (such as the hairy leg of insects) may be able to universally self-clean. To quantify the efficiency of this effect, we explore the conditions under which drops leave the structure by ‘spreading’ rather than translating and also how long it takes to do so.

Thu, 23 Nov 2017
16:00
C5

Operads with homological stability and infinite loop space structures

Tom Zeman
(Oxford University)
Abstract

In a recent preprint, Basterra, Bobkova, Ponto, Tillmann and Yeakel
defined operads with homological stability (OHS) and showed that after
group-completion, algebras over an OHS group-complete to infinite loop
spaces. This can in particular be used to put a new infinite loop space
structure on stable moduli spaces of high-dimensional manifolds in the
sense of Galatius and Randal-Williams, which are known to be infinite
loop spaces by a different method.

To complicate matters further, I shall introduce a mild strengthening of
the OHS condition and construct yet another infinite loop space
structure on these stable moduli spaces. This structure turns out to be
equivalent to that constructed by Basterra et al. It is believed that
the infinite loop space structure due to Galatius--Randal-Williams is
also equivalent to these two structures.

Thu, 23 Nov 2017
16:00
L6

The fundamental theorem of Weil II (for curves) with ultra product coefficients

Anna Cadoret
(Université Paris 6 (IMJ-PRG))
Abstract

l-adic cohomology was built to provide an etale cohomology with coefficients in a field of characteristic 0. This, via the Grothendieck trace formula, gives  a cohomological interpretation of L-functions - a fundamental tool in Deligne's theory of weights developed in Weil II. Instead of l-adic coefficients one can consider coefficients in ultra products of finite fields. I will state the fundamental theorem of Weil II for curves in this setting and explain briefly what are the difficulties to overcome to adjust Deligne's proof. I will then discuss how this ultra product variant of Weil II allows to extend to arbitrary coefficients  previous results of Gabber and Hui, Tamagawa and myself for constant $\mathbb{Z}_\ell$-coefficients.  For instance,  it implies that, in an $E$-rational compatible system of smooth $\overline{\mathbb{Q}}_\ell$-sheaves all what is true for $\overline{\mathbb{Q}}_\ell$-coefficients (semi simplicity, irreducibility, invariant dimensions etc) is true for $\overline{\mathbb{F}}_\ell$-coefficients provided $\ell$ is large enough or that the $\overline{\mathbb{Z}}_\ell$-models are unique with torsion-free cohomology provided $\ell$ is large enough.

Thu, 23 Nov 2017

16:00 - 16:30
L1

A Bio-inspired Design for a Switchable Elastocapillary Adhesive

Matthew Butler
(University of Oxford)
Abstract

Many species of insects adhere to vertical and inverted surfaces using footpads that secrete thin films of a mediating fluid. The fluid bridges the gap between the foot and the target surface. The precise role of this liquid is still subject to debate, but it is thought that the contribution of surface tension to the adhesive force may be significant. It is also known that the footpad is soft, suggesting that capillary forces might deform its surface. Inspired by these physical ingredients, we study a model problem in which a thin, deformable membrane under tension is adhered to a flat, rigid surface by a liquid droplet. We find that there can be multiple possible equilibrium states, with the number depending on the applied tension and aspect ratio of the system. The presence of elastic deformation  ignificantly enhances the adhesion force compared to a rigid footpad. A mathematical model shows that the equilibria of the system can be controlled via two key parameters depending on the imposed separation of the foot and target surface, and the tension applied to the membrane. We confirm this finding experimentally and show that the system may transition rapidly between two states as the two parameters are varied. This suggests that different strategies may be used to adhere strongly and then detach quickly.

Thu, 23 Nov 2017

16:00 - 17:30
L4

Numerical approximation of quantile hedging problem

Jean-Francois Chassagneux
(Université Paris-Diderot)
Abstract

In this talk, I consider  the problem of
hedging European and Bermudan option with a given probability. This 
question is
more generally linked to portfolio optimisation problems under weak
stochastic target constraints.
I will recall, in a Markovian framework, the characterisation of the 
solution by
non-linear PDEs. I will then discuss various numerical algorithms
to compute in practice the quantile hedging price.

This presentation is based on joint works with B. Bouchard (Université 
Paris Dauphine), G. Bouveret (University of Oxford) and ongoing work 
with C. Benezet (Université Paris Diderot).

Thu, 23 Nov 2017

14:00 - 15:00
L4

(Discrete) spline interpolation on Riemannian manifolds

Professor Benedikt Wirth
(University of Münster)
Abstract

Spline curves represent a simple and efficient tool for data interpolation in Euclidean space. During the past decades, however, more and more applications have emerged that require interpolation in (often high-dimensional) nonlinear spaces such as Riemannian manifolds. An example is the generation of motion sequences in computer graphics, where the animated figure represents a curve in a Riemannian space of shapes. Two particularly useful spline interpolation methods derive from a variational principle: linear splines minimize the average squared velocity and cubic splines minimize the average squared acceleration among all interpolating curves. Those variational principles and their discrete analogues can be used to define continuous and discretized spline curves on (possibly infinite-dimensional) Riemannian manifolds. However, it turns out that well-posedness of cubic splines is much more intricate on nonlinear and high-dimensional spaces and requires quite strong conditions on the underlying manifold. We will analyse and discuss linear and cubic splines as well as their discrete counterparts on Riemannian manifolds and show a few applications.

Thu, 23 Nov 2017

12:00 - 13:00
L4

Weak limits of Sobolev homeomorphisms

Daniel Campbell
(Universität Erlangen-Nürnberg)
Abstract


In the study of variational models for non-linear elasticity in the context of proving regularity we are led to the challenging so-called Ball-Evan's problem of approximating a Sobolev homeomorphism with diffeomorphisms in its Sobolev space. In some cases however we are not able to guarantee that the limit of a minimizing sequence is a homeomorphism and so the closure of Sobolev homeomorphisms comes into the game. For $p\geq 2$ they are exactly Sobolev monotone maps and for $1\leq p<2$ the monotone maps are intricately related to these limits. In our paper we prove that monotone maps can be approximated by diffeomorphisms in their Sobolev (or Orlicz-Sobolev) space including the case $p=1$ not proven by Iwaniec and Onninen.
 

Wed, 22 Nov 2017

16:00 - 17:00
C4

Warped cones as coarse invariants for actions.

Federico Vigolo
(University of Oxford)
Abstract

Warped cones are infinite metric spaces that are associated with actions by homeomorphisms on metric spaces. In this talk I will try to explain why the coarse geometry of warped cones can be seen as an invariant of the action and what it can tell us about the acting group.

Wed, 22 Nov 2017
15:00
L4

Breakdown Resilience of Key Exchange Protocols

Marc Fischlin
(Technische Universitat Darmstadt)
Abstract

Broken cryptographic algorithms and hardness assumptions are a constant
threat to real-world protocols. Prominent examples are
hash functions for which collisions become known, or number-theoretic
assumptions which are threatened by advances in quantum computing.
Especially when it comes to key exchange protocols, the switch to
quantum-resistant primitives has begun and aims to protect today’s
secrets against future developments, moving from common Diffie–Hellman
based solutions to Learning-With-Errors-based approaches. Remarkably,
the authentication step in such protocols is usually still carried out
with quantum-vulnerable signature schemes. The intuition here is that
the adversary would need to break this protocol primitive today, without
having quantum power yet. The question we address here is if this
intuition is justified, and if so, if we can show this rigorously. We
particularly consider the authenticated variant of the recently
introduced post-quantum secure key exchange protocol NewHope (Alkim et
al., USENIX Security 2016), as well as by TLS 1.3, which is currently
being developed by the Internet Engineering Task Force.

Wed, 22 Nov 2017
11:00
N3.12

The geometric calculus of Newton.

Gareth Wilkes
Abstract

I was speak on the way Newton carries out his calculus in the Principia in the framework of classical geometry rather than with fluxions, his deficiencies, and the relation of this work to inverse-square laws.

Tue, 21 Nov 2017
16:00
L6

Local limit theorem for the number of K4 in G(n,p)

Sophia Saller
(Oxford University)
Abstract

Understanding the distribution of subgraph counts has long been a central question in the study of random graphs. In this talk, we consider the distribution of Sn, the number of K4 subgraphs, in the Erdös Rényi random graph G(n, p). When the edge probability p \in (0, 1) is constant, a classical central limit theorem for Sn states that (Sn−µn)/σn converges in distribution. We establish a stronger form of convergence, namely the corresponding local limit theorem, which is joint work with O. Riordan.
 

Tue, 21 Nov 2017

16:00 - 17:00
L5

Distal Shelah Expansions

Lotte Kestner
(Imperial College)
Abstract

 

(Joint with Gareth Boxall) In this talk I will introduce some properties of distal theories. I will remark that distality is preserved neither under reducts nor expansions of the language. I will then go on to discuss a recent result that the Shelah expansion of a theory is distal if and only if the theory itself is distal. 

Tue, 21 Nov 2017

15:45 - 16:45
L4

Mirror symmetry, mixed motives and zeta(3)

Wenzhe Yang
(University of Oxford)
Abstract

In mirror symmetry, the prepotential on the Kahler side has an expansion, the constant term of which is a rational multiple of zeta(3)/(2 pi i)^3 after an integral symplectic transformation. In this talk I will explain the connection between this constant term and the period of a mixed Hodge-Tate structure constructed from the limit MHS at large complex structure limit on the complex side. From Ayoub’s works on nearby cycle functor, there exists an object of Voevodsky’s category of mixed motives such that the mixed Hodge-Tate structure is expected to be a direct summand of the third cohomology of its Hodge realisation. I will present the connections between this constant term and conjecture about how mixed Tate motives sit inside Voevodsky’s category, which will also provide a motivic interpretation to the occurrence of zeta(3) in prepotential. 

Tue, 21 Nov 2017

14:30 - 15:00
L5

The Cascading Haar Wavelet algorithm for computing the Walsh-Hadamard Transform

Andrew Thompson
(University of Oxford)
Abstract

I will describe a novel algorithm for computing the Walsh Hadamard Transform (WHT) which consists entirely of Haar wavelet transforms. The algorithm shares precisely the same serial complexity as the popular divide-and-conquer algorithm for the WHT. There is also a natural way to parallelize the algorithm which appears to have a number of attractive features.