Mon, 03 Feb 2014

15:30 - 16:30

Bordism representation theory in dimension 3

Bruce Bartlett
(Oxford and Stellenbosch)
Abstract

A "bordism representation" (*) is a representation of the abstract

structure formed by manifolds and bordisms between them, and hence of

fundamental interest in topology. I will give an overview of joint work

establishing a simple generators-and-relations presentation of the

3-dimensional oriented bordism bicategory, and also its "signature" central

extension. A representation of this bicategory corresponds in a 2-1 fashion

to a modular category, which must be anomaly-free in the oriented case. J/w

Chris Douglas, Chris Schommer-Pries, Jamie Vicary.

(*) These are also known as "topological quantum field theories".

Mon, 03 Feb 2014
14:15
L5

The topology of toric origami manifolds

Tara Holm
(Cornell)
Abstract

A folded symplectic form on a manifold is a closed 2-form with the mildest possible degeneracy along a hypersurface. A special class of folded symplectic manifolds are the origami manifolds. In the classical case, toric symplectic manifolds can classified by their moment polytope, and their topology (equivariant cohomology) can be read directly from the polytope. In this talk we examine the toric origami case: we will recall how toric origami manifolds can also be classified by their combinatorial moment data, and present some theorems, almost-theorems, and conjectures about the topology of toric origami manifolds.

Mon, 03 Feb 2014

14:15 - 15:15
Eagle House

TBC

DANYU YANG
(University of Oxford)
Mon, 03 Feb 2014

12:00 - 13:00
L5

Partition functions and superconformal indices as applications of Kohn-Rossi cohomology

Johannes Schmude
(RIKEN)
Abstract
I this talk, I will discuss two entirely different classes of super Yang-Mills theories; the four dimensional SCFTs dual to AdS x Y where Y is Sasaki-Einstein, and five dimensional theories defined directly on such manifolds. What the two classes have in common is that they lend themselves to the application of Kohn-Rossi cohomology. Intuitively, one can think of this as an odd-dimensional relative of Dolbeault cohomology. Kohn-Rossi cohomology groups appear naturally when doing supergravity calculations of superconformal indices in the first class of theories or when calculating the partition functions of the latter using localisation. After a brief introduction to the relevant aspects of Sasaki-Einstein geometry, I will give an overview of both these applications.
Fri, 31 Jan 2014

16:30 - 17:30
L1

The Surface Subgroup Problem

Professor Vladimir Markovic
(University of Cambridge (DPMMS))
Abstract

The surface subgroup problem asks whether a given group contains a subgroup that is isomorphic to the fundamental group of a closed surface. In this talk I will survey the role that the surface subgroup problem plays in some important solved and unsolved problems in the theory of 3-manifolds, the geometric group theory, and the theory of arithmetic manifolds.

Fri, 31 Jan 2014

14:15 - 15:15
C6

The fast flow of Jakobshavn and its subglacial drainage system

Mauro Werder
(University of Bristol)
Abstract

Jakobshavn Isbrae and many other fast flowing outlet glaciers of present

and past ice sheets lie in deep troughs which often have several

overdeepened sections. To make their fast flow possible their bed needs

to be slippery which in turn means high basal water pressures. I will

present a model of subglacial water flow and its application to

Jakobshavn. I find that, somewhat surprisingly, the reason for

Jakobshavn's fast flow might be the pressure dependence of the melting

point of ice. The model itself describes the unusual fluid dynamics occurring underneath the ice; it has an interesting mathematical structure that presents computational challenges.

Fri, 31 Jan 2014

13:00 - 14:00
L6

Model-independent no-arbitrage conditions on American put options

Alex Cox
Abstract

We consider the pricing of American put options in a model-independent setting: that is, we do not assume that asset prices behave according to a given model, but aim to draw conclusions that hold in any model. We incorporate market information by supposing that the prices of European options are known. In this setting, we are able to provide conditions on the American Put prices which are necessary for the absence of arbitrage. Moreover, if we further assume that there are finitely many European and American options traded, then we are able to show that these conditions are also sufficient. To show sufficiency, we construct a model under which both American and European options are correctly priced at all strikes simultaneously. In particular, we need to carefully consider the optimal stopping strategy in the construction of our process. (Joint with Christoph Hoeggerl).

Thu, 30 Jan 2014

17:15 - 18:15
L6

Tame theories of pseudofinite groups

Dugald Macpherson
(Leeds)
Abstract

A pseudofinite group is an infinite model of the theory of finite groups. I will discuss what can be said about pseudofinite groups under various tameness assumptions on the theory (e.g. NIP, supersimplicity), structural results on pseudofinite permutation groups, and connections to word maps and generalisations.

Thu, 30 Jan 2014

16:00 - 17:00
C6

Ricci Solitons and Symmetry

Alejandro Betancourt
Abstract

Ricci solitons were introduced by Richard Hamilton in the 80's and they are a generalization of the better know Einstein metrics. During this talk we will define the notion of Ricci soliton and I will try to convince you that these metrics arise "naturally" in a number of different settings. I will also present various examples and talk a bit about some symmetry properties that Ricci solitons have.

Note: This talk is meant to be introductory and no prior knowledge about Einstein metrics will be assumed (or necessary).

Thu, 30 Jan 2014

16:00 - 17:00
L5

Modular forms, Eisenstein series and the ternary divisor function

Emmanuel Kowalski
(ETH Zuerich)
Abstract

After a short survey of the notion of level of distribution for
arithmetic functions, and its importance in analytic number theory, we
will explain how our recent studies of twists of Fourier coefficients of
modular forms (and especially Eisenstein series) by "trace functions"
lead to an improvement of the results of Friedlander-Iwaniec and
Heath-Brown for the ternary divisor function in arithmetic progressions
to prime moduli.

This is joint work with É. Fouvry and Ph. Michel.

Thu, 30 Jan 2014

16:00 - 17:00
L3

Bottlenecks, burstiness and fat tails regulate mixing times of diffusion over temporal networks

Jean-Charles Delvenne
(Université catholique de Louvain (Belgium))
Abstract

Many real-life complex systems arise as a network of simple interconnected individual agents. A central question is to determine how network topology and individual agent dynamics combine to create the global dynamics.

In this talk we focus on the case of continuous-time random walks on networks, with a waiting time of the walker on each node assuming arbitrary probability distributions. Such random walks are useful to model diffusion processes over complex temporal networks representing human interactions, often characterized by non-Poissonian contact patterns.

We find that the mixing time of the random walker, i.e. the relaxation time for the process to reach stationarity, is determined by a combination of three factors: the spectral gap, associated to bottlenecks in the underlying topology, burstiness, related to the second moment of the waiting time distribution, and the characteristic time of its exponential tail, which is an indicator of the tail `fatness'. We show

theoretically that a strong modular structure dampens the importance of burstiness, and empirically that either of the three factors may be dominant in real-life data.

These results are available in arXiv:1309.4155

Thu, 30 Jan 2014
11:00
L5

Locomotion of microorganisms in complex fluids

Prof Roberto Zenit
(Universidad Nacional Autonoma de Mexico)
Abstract

The fundamental mechanisms of microorganism motility have been extensively studied in the past. Most previous work focused on cell locomotion in simple (Newtonian) fluids.
However, in many cases of biological importance (including mammalian reproduction and bacterial infections), the fluids that surround the organisms are strongly non-Newtonian (so-called complex fluids), either because they have shear-dependent viscosities, or because they display an elastic response. These non-Newtonian effects challenge the most fundamental intuition in fluid mechanics, resulting in our incapacity to predict its implications in biological cell locomotion. In this talk, our on-going experimental investigation to quantify the effect of non-Newtonian behavior on the locomotion and fluid transport of microorganisms will be described. Several types of magnetic micro-robots were designed and built. These devices were actuated to swim or move in a variety of fluids : Newtonian, elastic with constant viscosity (Boger fluids) or inelastic with shear-thinning viscosity. We have found that, depending on the details of locomotion, the swimming performance can either be increased, decreased or remain unaffected by the non Newtonian nature of the liquid. Some key elements to understand the general effect of viscoelasticity and shear-thinning viscosity of the motility of microorganisms will be discussed.

Wed, 29 Jan 2014

15:00 - 16:00
L6

Existence and regularity results for the heat flow of higher dimensional H-systems

Professor Chiara Leone
(Universita Degli Studi 'Frederic II' di Napoli)
Abstract

In this talk we will show the existence  of a regular "small" weak solution to the flow of the higher dimensional H-systems with initial-boundary conditions. We also analyze its time asymptotic bahavior and we give a stability result.

Wed, 29 Jan 2014
10:30

Hopf Algebras and Graphical Calculus

Robert Laugwitz
Abstract

This talk aims to illustrate how graphical calculus can be used to reason about Hopf algebras and their modules. The talk will be aimed at a general audience requiring no previous knowledge of the topic.

Wed, 29 Jan 2014
10:15
L4

Two exact solutions in the theory of biogenic mixing by microorganisms

Mitya Pushkin
(Department of Physics)
Abstract

Suspensions of active particles, such as swimming microorganisms, turn out to be efficient stirrers of the surrounding fluid. This fact may be directly relevant to the feeding and evolutionary strategies of swimming cells. Microfluidic devices exploring swimmers-induced mixing have been proposed. The possibility of a significant biogenic contribution to the ocean circulation is currently under intense debate. However, understanding fluctuations and the effective tracer diffusion in these non-equilibrium systems remains a challenge.  

In this talk we focus on the fundamentals of these processes.  We discuss the impediments to stirring by force-free microswimmers and give a classification of the possible stirring mechanisms. We show that enhanced mixing may arise due to entrainment of the surrounding fluid by individual swimmers moving on infinite straight trajectories. Our first exact result shows that the total amount of fluid entrained by a swimmer, also know as its Darwin drift, is finite and can be decomposed into a universal and model-dependent parts that have a clear physical meaning.

A different stirring mechanism arises for swimmers having curved trajectories. We show that the previously suggested model of swimmers moving in straight finite runs interspersed with random reorientations can be solved exactly. In particular, we calculate the effective tracer diffusion coefficient for a suspension of dipolar swimmers and show that swimmers confined to a plane give rise to a Levy flight process.

Our results provide a quantitative description of the enhanced tracer mixing in dilute suspensions of microswimmers. They agree with the results of numerical simulations and recent experiments with suspension of E. coli.

Tue, 28 Jan 2014

14:30 - 15:30
L6

The existence of designs

Peter Keevash
(University of Oxford)
Abstract

A Steiner Triple System on a set X is a collection T of 3-element subsets of X such that every pair of elements of X is contained in exactly one of the triples in T. An example considered by Plücker in 1835 is the affine plane of order three, which consists of 12 triples on a set of 9 points. Plücker observed that a necessary condition for the existence of a Steiner Triple System on a set with n elements is that n be congruent to 1 or 3 mod 6. In 1846, Kirkman showed that this necessary condition is also sufficient.

In 1853, Steiner posed the natural generalisation of the question: given integers q and r, for which n is it possible to choose a collection Q of q-element subsets of an n-element set X such that any r elements of X are contained in exactly one of the sets in Q? There are some natural necessary divisibility conditions generalising the necessary conditions for Steiner Triple Systems. The Existence Conjecture states that for all but finitely many n these divisibility conditions are also sufficient for the existence of general Steiner systems (and more generally designs).

We prove the Existence Conjecture, and more generally, we show that the natural divisibility conditions are sufficient for clique decompositions of simplicial complexes that satisfy a certain pseudorandomness condition.

Tue, 28 Jan 2014

14:30 - 15:00
L5

An algorithm for the convolution of Legendre expansions

Nick Hale
(University of Oxford)
Abstract

Convolution is widely-used and fundamental mathematical operation
in signal processing, statistics, and PDE theory.

Unfortunately the CONV() method in Chebfun for convolving two chebfun 
objects has long been one of the most disappointingly slow features of 
the project. In this talk we will present a new algorithm, which shows 
performance gains on the order of a factor 100.

The key components of the new algorithm are:
* a convolution theorem for Legendre polynomials 
* recurrence relations satisfied by spherical Bessel functions
* recent developments in fast Chebyshev-Legendre transforms [1]

Time-permitting, we shall end with an application from statistics,
using the fact that the probability distribution of the sum of two 
independent random variables is the convolution of their individual 
distributions.

[1] N. Hale and A. Townsend, "A fast, simple, and stable Chebyshev-
Legendre transform using an asymptotic formula”, SISC (to appear).

Tue, 28 Jan 2014

14:00 - 14:30
L5

Preconditioning and deflation techniques for interior point methods

Rachael Tappenden
(University of Edinburgh)
Abstract

The accurate and efficient solution of linear systems $Ax=b$ is very important in many engineering and technological applications, and systems of this form also arise as subproblems within other algorithms. In particular, this is true for interior point methods (IPM), where the Newton system must be solved to find the search direction at each iteration. Solving this system is a computational bottleneck of an IPM, and in this talk I will explain how preconditioning and deflation techniques can be used, to lessen this computational burden.  This work is joint with Jacek Gondzio.