Tue, 24 Oct 2017

13:00 - 14:00
C1

Applications of R-graphs to DNA modelling

Agnese Barbensi
Abstract

Finding implementable descriptions of the possible configurations of a knotted DNA molecule has remarkable importance from a biological point of view, and it is a hard and well studied problem in mathematics.
Here we present two newly developed mathematical tools that describe the configuration space of knots and model the action of Type I and II Topoisomerases on a covalently closed circular DNA molecule: the Reidemeister graphs.
We determine some local and global properties of these graphs and prove that in one case the graph-isomorphism type is a complete knot invariant up to mirroring.
Finally, we indicate how the Reidemeister graphs can be used to infer information about the proteins' action.

Tue, 24 Oct 2017

12:00 - 13:15
L4

Convergence and new perspectives in perturbative algebraic quantum field theory

Kasia Rejzner
(University of York)
Abstract

In this talk I will present recent results obtained within the
framework of perturbative algebraic quantum field theory. This novel
approach to mathematical foundations of quantum field theory allows to
combine the axiomatic framework of algebraic QFT by Haag and Kastler with
perturbative methods. Recently also non-perturbative results have been
obtained within this approach. I will report on these results and present
new perspectives that they open for better understanding of foundations of
QFT.

Mon, 23 Oct 2017

16:00 - 17:00
L4

On some problems in random geometry and PDE's

Eero Saksman
(University of Helsinki)
Abstract

We consider a couple of problems belonging to Random Geometry, and describe some new analytical challenges they pose for planar PDE's via Beltrami equations. The talk is based on joint work with various people including K. Astala, P. Jones, A. Kupiainen, Steffen Rohde and T. Tao.

Mon, 23 Oct 2017
15:45
L6

A Reduced Tensor Product of Braided Fusion Categories containing a Symmetric Fusion Category

Thomas Wassermann
(Oxford)
Abstract


In this talk I will construct a reduced tensor product of braided fusion categories containing a symmetric fusion category $\mathcal{A}$. This tensor product takes into account the relative braiding with respect to objects of $\mathcal{A}$ in these braided fusion categories. The resulting category is again a braided fusion category containing $\mathcal{A}$. This tensor product is inspired by the tensor product of $G$-equivariant once-extended three-dimensional quantum field theories, for a finite group $G$.
To define this reduced tensor product, we equip the Drinfeld centre $\mathcal{Z}(\mathcal{A})$ of the symmetric fusion category $\mathcal{A}$ with an unusual tensor product, making $\mathcal{Z}(\mathcal{A})$ into a 2-fold monoidal category. Using this 2-fold structure, we introduce a new type of category enriched over the Drinfeld centre to capture the braiding behaviour with respect to $\mathcal{A}$ in the braided fusion categories, and use this encoding to define the reduced tensor product.
 

Mon, 23 Oct 2017

15:45 - 16:45
L3

The signature approach for the supervised learning problem with sequential data input and its application

Hao Ni
(University College London)
Abstract

In the talk, we discuss how to combine the recurrent neural network with the signature feature set to tackle the supervised learning problem where the input is a data stream. We will apply this method to different datasets, including the synthetic datasets( learning the solution to SDEs ) and empirical datasets(action recognition) and demonstrate the effectiveness of this method.

 

Mon, 23 Oct 2017

14:15 - 15:15
L3

On some heavy-tail phenomena occurring in large deviations

FANNY AUGERI
(Weizmann Institute Israel)
Abstract

In this talk, we will revisit the proof of the large deviations principle of Wiener chaoses partially given by Borell, and then by Ledoux in its full form. We show that some heavy-tail phenomena observed in large deviations can be explained by the same mechanism as for the Wiener chaoses, meaning that the deviations are created, in a sense, by translations. More precisely, we prove a general large deviations principle for a certain class of functionals $f_n : \mathbb{R}^n \to \mathcal{X}$, where $\mathcal{X}$ is some metric space, under the probability measure $\nu_{\alpha}^n$, where $\nu_{\alpha} =Z_{\alpha}^{-1}e^{-|x|^{\alpha}}dx$, $\alpha \in (0,2]$, for which the large deviations are due to translations. We retrieve, as an application, the large deviations principles known for the so-called Wigner matrices without Gaussian tails of the empirical spectral measure, the largest eigenvalue, and traces of polynomials. We also apply our large deviations result to the last-passage time which yields a large deviations principle when the weight matrix has law $\mu_{\alpha}^{n^2}$, where $\mu_{\alpha}$ is the probability measure on $\mathbb{R}^+$ with density $2Z_{\alpha}^{-1}e^{-x^{\alpha}}$ when $\alpha \in (0,1)$.

 

Mon, 23 Oct 2017

14:15 - 15:15
L5

Cubic fourfolds, K3 surfaces, and mirror symmetry

Nicholas Sheridan
(Cambridge)
Abstract

While many cubic fourfolds are known to be rational, it is expected that the very general cubic fourfold is irrational (although none have been
proven to be so). There is a conjecture for precisely which cubics are rational, which can be expressed in Hodge-theoretic terms (by work of Hassett)
or in terms of derived categories (by work of Kuznetsov). The conjecture can be phrased as saying that one can associate a `noncommutative K3 surface' to any cubic fourfold, and the rational ones are precisely those for which this noncommutative K3 is `geometric', i.e., equivalent to an honest K3 surface. It turns out that the noncommutative K3 associated to a cubic fourfold has a conjectural symplectic mirror (due to  Batyrev-Borisov). In contrast to the algebraic side of the story, the mirror is always `geometric': i.e., it is always just an honest K3 surface equipped with an appropriate Kähler form. After explaining this background, I will state a theorem: homological mirror symmetry holds in this context (joint work with Ivan Smith).

 

Mon, 23 Oct 2017
12:45
L3

Supersymmetric Partition Functions and Higher Dimensional A-twist

Heeyeon Kim
(Oxford)
Abstract

I will talk about three-dimensional N=2 supersymmetric gauge theories on a class of Seifert manifold. More precisely, I will compute the supersymmetric partition functions and correlation functions of BPS loop operators on M_{g,p}, which is defined by a circle bundle of degree p over a genus g Riemann surface. I will also talk about four-dimensional uplift of this construction, which computes the generalized index of N=1 gauge theories defined on elliptic fiberation over genus g Riemann surface. We will find that the partition function or the index can be written as a sum over "Bethe vacua” of two-dimensional A-twisted theory obtained by a circle compactification. With this framework, I will show how the partition functions on manifolds with different topologies are related to each other. We will also find that these observables are very useful to study the action of Seiberg-like dualities on co-dimension two BPS operators.

 
Fri, 20 Oct 2017

16:00 - 17:00

Robert Calderbank - the Art of Signaling

Robert Calderbank
(Duke University)
Abstract

Coding theory revolves around the question of what can be accomplished with only memory and redundancy. When we ask what enables the things that transmit and store information, we discover codes at work, connecting the world of geometry to the world of algorithms.

This talk will focus on those connections that link the real world of Euclidean geometry to the world of binary geometry that we associate with Hamming.

Fri, 20 Oct 2017
14:30
L1

Peter Sarnak - Integer points on affine cubic surfaces

Peter Sarnak
(Princeton University)
Abstract

A cubic polynomial equation in four or more variables tends to have many integer solutions, while one in two variables has a limited number of such solutions. There is a body of work establishing results along these lines. On the other hand very little is known in the critical case of three variables. For special such cubics, which we call Markoff surfaces, a theory can be developed. We will review some of the tools used to deal with these and related problems.

Joint works with Bourgain/Gamburd and with Ghosh
 

Fri, 20 Oct 2017
14:15
C3

Modelling wave–ice floe interactions and the overwash phenomenon

Luke Bennetts
(University of Adelaide)
Abstract

Following several decades of development by applied mathematicians, models of ocean wave interactions with sea ice floes are now in high demand due to the rapid recent changes in the world’s sea ice cover. From a mathematical perspective, the models are of interest due to the thinness of the floes, leading to elastic responses of the floes to waves, and the vast number of floes that waves encounter. Existing models are typically based on linear theories, but the thinness of the floes leads to the unique and highly nonlinear phenomenon of overwash, where waves run over the floes, in doing so dissipating wave energy and impacting the floes thermodynamically. I will give an overview of methods developed for the wave-floe problem, and present a new, bespoke overwash model, along with supporting laboratory experiments and numerical CFD simulations.

Fri, 20 Oct 2017

14:00 - 15:00
L3

Revolutionizing medicine through machine learning and artificial intelligence

Professor Mihaela van der Schaar
(Dept of Engineering Science University of Oxford)
Abstract

Current medical practice is driven by the experience of clinicians, by the difficulties of integrating enormous amounts of complex and heterogeneous static and dynamic data and by clinical guidelines designed for the “average” patient. In this talk, I will describe some of my research on developing novel, specially-crafted machine learning theories, methods and systems aimed at extracting actionable intelligence from the wide variety of information that is becoming available (in electronic health records and elsewhere) and enabling every aspect of medical care to be personalized to the patient at hand. Because of the unique and complex characteristics of medical data and medical questions, many familiar machine-learning methods are inadequate.  My work therefore develops and applies novel machine learning theory and methods to construct risk scores, early warning systems and clinical decision support systems for screening and diagnosis and for prognosis and treatment.  This work achieves enormous improvements over current clinical practice and over existing state-of-the-art machine learning methods.  By design, these systems are easily interpretable and so allow clinicians to extract from data the necessary knowledge and representations to derive data-driven medical epistemology and to permit easy adoption in hospitals and clinical practice. My team has collaborated with researchers and clinicians in oncology, emergency care, cardiology, transplantation, internal medicine, etc. You can find more information about our past research in this area at: http://medianetlab.ee.ucla.edu/MedAdvance.

Fri, 20 Oct 2017

13:00 - 14:00
L6

Talks by Phd Students

Christoph Siebenbrunner and Andreas Sojmark
Abstract

Christoph Siebenbrunner:

Clearing Algorithms and Network Centrality

I show that the solution of a standard clearing model commonly used in contagion analyses for financial systems can be expressed as a specific form of a generalized Katz centrality measure under conditions that correspond to a system-wide shock. This result provides a formal explanation for earlier empirical results which showed that Katz-type centrality measures are closely related to contagiousness. It also allows assessing the assumptions that one is making when using such centrality measures as systemic risk indicators. I conclude that these assumptions should be considered too strong and that, from a theoretical perspective, clearing models should be given preference over centrality measures in systemic risk analyses.


Andreas Sojmark:

An SPDE Model for Systemic Risk with Default Contagion

In this talk, I will present a structural model for systemic risk, phrased as an interacting particle system for $N$ financial institutions, where each institution is removed upon default and this has a contagious effect on the rest of the system. Moreover, the financial instituions display herding behavior and they are exposed to correlated noise, which turns out to be an important driver of the contagion mechanism. Ultimately, the motivation is to provide a clearer connection between the insights from dynamic mean field models and the detailed study of contagion in the (mostly static) network-based literature. Mathematically, we prove a propagation of chaos type result for the large population limit, where the limiting object is characterized as the unique solution to a nonlinear SPDE on the positive half-line with Dirichlet boundary. This is based on joint work with Ben Hambly and I will also point out some interesting future directions, which are part of ongoing work with Sean Ledger.

Thu, 19 Oct 2017
16:00
C5

The Drinfeld Centre of a Symmetric Fusion Category

Thomas Wasserman
(Oxford University)
Abstract


This talk will be a gentle introduction to braided fusion categories, with the eventual aim to explain a result from my thesis about symmetric fusion categories. 


Fusion categories are certain kinds of monoidal categories. They can be viewed as a categorification of the finite dimensional algebras, and appear in low-dimensional topological quantum field theories, as well as being studied in their own right. A braided fusion category is additionally commutative up to a natural isomorphism, symmetry is an additional condition on this natural isomorphism. Computations in these categories can be done pictorially, using so-called string diagrams (also known as ``those cool pictures''). 


In this talk I will introduce fusion categories using these string diagrams. I will then discuss the Drinfeld centre construction that takes a fusion category and returns a braided fusion category. We then show, if the input is a symmetric fusion category, that this Drinfeld centre carries an additional tensor product. All of this also serves as a good excuse to draw lots of pictures.
 

Thu, 19 Oct 2017
16:00
L6

Smooth values of polynomials

Trevor Wooley
(University of Bristol)
Abstract

Recall that an integer n is called y-smooth when each of its prime divisors is less than or equal to y. It is conjectured that, for any a>0,  any polynomial of positive degree having integral coefficients should possess infinitely many values at integral arguments n that are n^a-smooth. One could consider this problem to be morally “dual” to the cognate problem of establishing that irreducible polynomials assume prime values infinitely often, unless local conditions preclude this possibility. This smooth values conjecture is known to be true in several different ways for linear polynomials, but in general remains unproven for any degree exceeding 1. We will describe some limited progress in the direction of the conjecture, highlighting along the way analogous conclusions for polynomial smoothness. Despite being motivated by a problem in analytic number theory, most of the methods make use of little more than pre-Galois theory. A guest appearance will be made by several hyperelliptic curves. [This talk is based on work joint with Jonathan Bober, Dan Fretwell and Greg Martin].

Thu, 19 Oct 2017

16:00 - 17:30
L3

Into the crease: nucleation of a discontinuous solution in nonlinear elasticity

Pasquale Ciarletta
(Politecnico di Milano)
Abstract

Discontinuous solutions, such as cracks or cavities, can suddenly appear in elastic solids when a limiting condition is reached. Similarly, self-contacting folds can nucleate at a free surface of a soft material subjected to a critical compression. Unlike other elastic instabilities, such as buckling and wrinkling, creasing is still poorly understood. Being invisible to linearization techniques, crease nucleation is a problem of high mathematical complexity.

In this talk, I will discuss some recent theoretical insights solving the quest for both the nucleation threshold and the emerging crease morphology.  The analytic predictions are in  agreement with experimental and numerical data. They prove a fundamental insight either for understanding the creasing onset in living matter, e.g. brain convolutions, or for guiding engineering applications, e.g. morphable meta-materials.

Thu, 19 Oct 2017

16:00 - 17:30
L4

Bounds for VIX Futures Given S&P 500 Smiles

Julien Guyon
(Bloomberg New York)
Abstract

We derive sharp bounds for the prices of VIX futures using the full information of S&P 500 smiles. To that end, we formulate the model-free sub/superreplication of the VIX by trading in the S&P 500 and its vanilla options as well as the forward-starting log-contracts. A dual problem of minimizing/maximizing certain risk-neutral expectations is introduced and shown to yield the same value. The classical bounds for VIX futures given the smiles only use a calendar spread of log-contracts on the S&P 500. We analyze for which smiles the classical bounds are sharp and how they can be improved when they are not. In particular, we introduce a tractable family of functionally generated portfolios which often improves the classical spread while still being tractable, more precisely, determined by a single concave/convex function on the line. Numerical experiments on market data and SABR smiles show that the classical lower bound can be improved dramatically, whereas the upper bound is often close to optimal.

Thu, 19 Oct 2017
15:00
L4

Dynamic Gauge Linear Sigma Models from Six Dimensions

Fabio Abruzzi
(UPenn)
Abstract

Compactifications of 6D Superconformal Field Theories (SCFTs) on four-manidolfds lead to novel interacting 2D SCFTs. I will describe the various Lagrangian and non-Lagrangian sectors of the resulting 2D theories, as well as their interactions. In general this construction can be embedded in compactifications of the physical superstring, providing a general template for realizing 2D conformal field theories coupled to worldsheet gravity, i.e. a UV completion for non-critical string theories.  

 
Thu, 19 Oct 2017

14:00 - 15:00
L4

Scattering by fractal screens - functional analysis and computation

Dr David Hewett
(University College London)
Abstract


The mathematical analysis and numerical simulation of acoustic and electromagnetic wave scattering by planar screens is a classical topic. The standard technique involves reformulating the problem as a boundary integral equation on the screen, which can be solved numerically using a boundary element method. Theory and computation are both well-developed for the case where the screen is an open subset of the plane with smooth (e.g. Lipschitz or smoother) boundary. In this talk I will explore the case where the screen is an arbitrary subset of the plane; in particular, the screen could have fractal boundary, or itself be a fractal. Such problems are of interest in the study of fractal antennas in electrical engineering, light scattering by snowflakes/ice crystals in atmospheric physics, and in certain diffraction problems in laser optics. The roughness of the screen presents challenging questions concerning how boundary conditions should be enforced, and the appropriate function space setting. But progress is possible and there is interesting behaviour to be discovered: for example, a sound-soft screen with zero area (planar measure zero) can scatter waves provided the fractal dimension of the set is large enough. Accurate computations are also challenging because of the need to adapt the mesh to the fine structure of the fractal. As well as presenting numerical results, I will outline some of the outstanding open questions from the point of view of numerical analysis. This is joint work with Simon Chandler-Wilde (Reading) and Andrea Moiola (Pavia).
 

Thu, 19 Oct 2017

12:00 - 13:00
L4

Maximal Hypersurfaces with boundary conditions

Ben Lambert
(University College London)
Abstract

We construct maximal surfaces with Neumann boundary conditions in Minkowski space using mean curvature flow. In particular we find curvature conditions on a boundary manifold so that mean curvature flow may be shown to exist for all time, and give conditions under which the maximal hypersurfaces are stable under the flow.

Wed, 18 Oct 2017

17:00 - 18:00
L1

Vicky Neale - Closing the Gap: the quest to understand prime numbers

Vicky Neale
(Oxford University)
Abstract

Prime numbers have intrigued, inspired and infuriated mathematicians for millennia and yet mathematicians' difficulty with answering simple questions about them reveals their depth and subtlety. 

Join Vicky to learn about recent progress towards proving the famous Twin Primes Conjecture and to hear the very different ways in which these breakthroughs have been made - a solo mathematician working in isolation, a young mathematician displaying creativity at the start of a career, a large collaboration that reveals much about how mathematicians go about their work.  

Vicky Neale is Whitehead Lecturer at the Mathematical Institute, University of Oxford and Supernumerary Fellow at Balliol College.

Please email @email to register.

Wed, 18 Oct 2017

16:00 - 17:00
C5

Conformal dimension

David Hume
(University of Oxford)
Abstract

I will present a gentle introduction to the theory of conformal dimension, focusing on its applications to the boundaries of hyperbolic groups, and the difficulty of classifying groups whose boundaries have conformal dimension 1.

Wed, 18 Oct 2017

11:00 - 12:30
N3.12

Penrose Tilings: a light introduction

Kieran Calvert
Abstract

This talk will hopefully highlight the general framework in which Penrose tilings are proved to be aperiodic and in fact a tiling. 

Tue, 17 Oct 2017
17:00
C1

Facial structure of the unit ball in a JB*-triple

Lina Oliveira
(Lisbon)
Abstract

We present recent results on the connections existing between the facial
structure of the unit ball in a JB*-triple and the lattice of tripotents in its
bidual.