Thu, 13 Nov 2014

17:30 - 18:30
L6

Independence in exponential fields

Robert Henderson
(UEA)
Abstract

Little is known about C_exp, the complex field with the exponential function. Model theoretically it is difficult due to the definability of the integers (so its theory is not stable), and a lack of clear algebraic structure; for instance, it is not known whether or not pi+e is irrational. In order to study C_exp, Boris Zilber constructed a class of pseudo-exponential fields which satisfy all the properties we desire of C_exp. This class is categorical for every uncountable cardinal, and other more general classes have been defined. I shall define the three main classes of exponential fields that I study, one of which being Zilber's class, and show that they exhibit "stable-like" behaviour modulo the integers by defining a notion of independence for each class. I shall also explicitly apply one of these independence relations to show that in the class of exponential fields ECF, types that are orthogonal to the kernel are exactly the generically stable types.
 

Thu, 13 Nov 2014

16:00 - 17:00
C2

Non-commutative topology and K-theory for applications to topological insulators

Guo Chuan Thiang
(Oxford University)
Abstract

I will recall basic notions of operator K-theory as a non-commutative (C*-algebra) generalisation of topological K-theory. Twisted crossed products will be introduced as generalisations of group C*-algebras, and a model of Karoubi's K-theory, which makes sense for super-algebras, will be sketched. The motivation comes from physics, through the study of quantum mechanical symmetries, charged free quantum fields, and topological insulators. The relevant theorems, which are interesting in their own right but scattered in the literature, will be consolidated.

Thu, 13 Nov 2014

16:00 - 17:00
L5

Sieving very thin sets of primes

Kevin Ford
(The University of Illinois at Urbana-Champaign)
Abstract

We discuss a new method to bound the number of primes in certain very thin sets. The sets $S$ under consideration have the property that if $p\in S$ and $q$ is prime with $q|(p-1)$, then $q\in S$. For each prime $p$, only 1 or 2 residue classes modulo $p$ are omitted, and thus the traditional small sieve furnishes only the bound $O(x/\log^2 x)$ (at best) for the counting function of $S$. Using a different strategy, one related to the theory of prime chains and Pratt trees, we prove that either $S$
contains all primes or $\# \{p\in S : p\le x \} = O(x^{1-c})$ for some positive $c$. Such sets arise, for example, in work on Carmichael's conjecture for Euler's function.

Thu, 13 Nov 2014

16:00 - 17:30
L4

Optimal Stopping under Coherent Risk Measures

Professor Dr. Denis Belomestny
(Duisburg-Essen University)
Abstract

In this talk we consider optimal stopping problems under a class of coherent risk measures which includes such well known risk measures as weighted AV@R or absolute semi-deviation risk measures. As a matter of fact, the dynamic versions of these risk measures do not have the so-called time-consistency property necessary for the dynamic programming approach. So the standard approaches are not applicable to optimal stopping problems under coherent risk measures. In this paper, we prove a novel representation, which relates the solution of an optimal stopping problem under a coherent risk measure to the sequence of standard optimal stopping problems and hence makes the application of the standard dynamic programming-based approaches possible. In particular, we derive the analogue of the dual representation of Rogers and Haugh and Kogan. Several numerical examples showing the usefulness of the new representation in applications are presented as well.

Thu, 13 Nov 2014

16:00 - 17:00
L3

The transition to turbulent fluid flow

Larry Forbes (Tasmania)
Abstract

It is well known that the Navier-Stokes equations of viscous fluid flow do not give good predictions of when a viscous flow is likely to become unstable.  When classical linearized theory is used to explore the stability of a viscous flow, the Navier-Stokes equations predict that instability will occur at fluid speeds (Reynolds numbers) far in excess of those actually measured in experiments.  In response to this discrepancy, theories have arisen that suggest the eigenvalues computed in classical stability analysis do not give a full account of the behaviour, while others have suggested that fluid instability is a fundamentally non-linear process which is not accessible to linearized stability analyses.

In this talk, an alternative account of fluid instability and turbulence will be explored.  It is suggested that the Navier-Stokes equations themselves might not be entirely appropriate to describe the transition to turbulent flow.  A slightly more general model allows the possibility that the classical viscous fluid flows predicted by Navier-Stokes theory may become unstable at Reynolds numbers much closer to those seen in experiments, and so might perhaps give an account of the physics underlying turbulent behaviour.

Thu, 13 Nov 2014

14:00 - 15:00
L5

Quadrature in infinite dimensions and applications in uncertainty quantification

Professor Rob Scheichl
(University of Bath)
Abstract

The coefficients in mathematical models of physical processes are often impossible to determine fully or accurately, and are hence subject to uncertainty. It is of great importance to quantify the uncertainty in the model outputs based on the (uncertain) information that is available on the model inputs. This invariably leads to very high dimensional quadrature problems associated with the computation of statistics of quantities of interest, such as the time it takes a pollutant plume in an uncertain subsurface flow problem to reach the boundary of a safety region or the buckling load of an airplane wing. Higher order methods, such as stochastic Galerkin or polynomial chaos methods, suffer from the curse of dimensionality and when the physical models themselves are complex and computationally costly, they become prohibitively expensive in higher dimensions. Instead, some of the most promising approaches to quantify uncertainties in continuum models are based on Monte Carlo sampling and the “multigrid philosophy”. Multilevel Monte Carlo (MLMC) Methods have been introduced recently and successfully applied to many model problems, producing significant gains. In this talk I want to recall the classical MLMC method and then show how the gains can be improved further (significantly) by using quasi-Monte Carlo (QMC) sampling rules. More importantly the dimension independence and the improved gains can be justified rigorously for an important model problem in subsurface flow. To achieve uniform bounds, independent of the dimension, it is necessary to work in infinite dimensions and to study quadrature in sequence spaces. I will present the elements of this new theory for the case of lognormal random coefficients in a diffusion problem and support the theory with numerical experiments.

Thu, 13 Nov 2014
14:00
L4

The topology of rationally and polynomially convex domains

Kai Cieliebak
(Augsburg)
Abstract

Rationally and polynomially convex domains in ${\mathbb C}^n$ are fundamental objects of study in the theory of functions of several complex variables. After defining and illustrating these notions, I will explain joint work with Y.Eliashberg giving a complete characterization of the possible topologies of such domains in complex dimension at least three. The proofs are based on recent progress in symplectic topology, most notably the h-principles for loose Legendrian knots and Lagrangian caps.

Thu, 13 Nov 2014
11:00
C5

Convergence properties in Stone spaces

Robert Leek
((Oxford University)))
Abstract

In this talk, I will introduce an internal, structural 
characterisation of certain convergence properties (Fréchet-Urysohn, or 
more generally, radiality) and apply this structure to understand when 
Stone spaces have these properties. This work can be generalised to 
certain Zariski topologies and perhaps to larger classes of spaces 
obtained from other structures.

Wed, 12 Nov 2014

16:00 - 17:00
C1

The gap in the isoperimetric spectrum

Giles Gardam
(Oxford)
Abstract

The Dehn function of a group measures the complexity of the group's word problem, being the upper bound on the number of relations from a group presentation required to prove that a word in the generators represents the identity element. The Filling Theorem which was first stated by Gromov connects this to the isoperimetric functions of Riemannian manifolds. In this talk, we will see the classification of hyperbolic groups as those with a linear Dehn function, and give Bowditch's proof that a subquadratic isoperimetric inequality implies a linear one (which gives the only gap in the "isoperimetric spectrum" of exponents of polynomial Dehn functions).

Wed, 12 Nov 2014
12:30
N3.12

The boundary of the curve complex: a journey by train

Antonio De Capua
(Oxford University)
Abstract

The curve graph of a surface has a vertex for each curve on the surface and an edge for each pair of disjoint curves. Although it deals with very simple objects, it has connections with questions in low-dimensional topology, and some properties that encourage people to study it. Yet it is more complicated than it may look from its definition: in particular, what happens if we start following a 'diverging' path along this graph? It turns out that the curves we hit get so complicated that eventually give rise to a lamination filling up the surface. This can be understood by drawing some train track-like pictures on the surface. During the talk I will keep away from any issue that I considered too technical.

Tue, 11 Nov 2014
17:00
C2

On computing homology gradients over finite fields

Lukasz Grabowski
(Warwick)
Abstract

 Recently several conjectures about l2-invariants of
CW-complexes have been disproved. At the heart of the counterexamples
is a method of computing the spectral measure of an element of the
complex group ring. We show that the same method can be used to
compute the finite field analog of the l2-Betti numbers, the homology
gradient. As an application we point out that (i) the homology
gradient over any field of characteristic different than 2 can be an
irrational number, and (ii) there exists a CW-complex whose homology
gradients over different fields have infinitely many different values.
 

Tue, 11 Nov 2014

14:30 - 15:30
L6

Matroid bases polytope decomposition

Jorge Ramirez-Alfonsin
(Université Montpellier 2)
Abstract
Let $P(M)$ be the matroid base polytope of a matroid $M$. A decomposition of $P(M)$ is a subdivision of the form $P(M)=\cup_{i=1}^t P(M_i)$ where each $P(M_i)$ is also a matroid base polytope for some matroid $M_i$, and for each $1\le i\neq j\le t$ the intersection $P(M_i)\cap P(M_j)$ is a face of both $P(M_i)$ and $P(M_j)$. In this talk, we shall discuss some results on hyperplane splits, that is, polytope decomposition when $t=2$. We present sufficient conditions for $M$ so $P(M)$ has a hyperplane split and a characterization when $P(M_i\oplus M_j)$ has a hyperplane split, where $M_i\oplus M_j$ denotes the direct sum of $M_i$ and $M_j$. We also show that $P(M)$ has not a hyperplane split if $M$ is binary. Finally, we present some recent results concerning the existence of decompositions with $t\ge 3$.
Tue, 11 Nov 2014

14:00 - 14:30
L5

Fast evaluation of the inverse Poisson CDF

Mike Giles
(University of Oxford)
Abstract

One general approach to random number generation is to take a uniformly distributed (0,1) random variable and then invert the cumulative distribution function (CDF) to generate samples from another distribution.  This talk follows this approach, approximating the inverse CDF for the Poisson distribution in a way which is particularly efficient for vector execution on NVIDIA GPUs.

Tue, 11 Nov 2014

12:00 - 13:00
L5

SYM amplitudes from BRST symmetry

Oliver Schlotterer
(AEI Golm)
Abstract
This talk describes a method to compute supersymmetric tree amplitudes and loop integrands in ten-dimensional super Yang-Mills theory. It relies on the constructive interplay between their cubic graph organization and BRST invariance of the underlying pure spinor superspace description. After a general introduction to this kind of superspace, we discuss a canonical set of multiparticle building blocks which represent tree level subdiagrams and are guided by their BRST transformation. These building blocks are shown to yield a compact solution for tree level amplitudes, and the applicability of the BRST approach to loop integrands is exemplified through recent examples at one-loop.
Mon, 10 Nov 2014
17:00
L2

Non-Newtonian Flows: The mathematics of surfactant mixtures

Pam Cook
(University of Delaware)
Abstract

In highly concentrated surfactant solutions the surfactant molecules self-assemble into long flexible "wormy" structures. Properties of these wormlike micellar solutions make them ideal for use in oil recovery and in body care products (shampoo). These properties depend strongly on temperature and concentration conditions.   In solution the "worms" entangle, forming a network, but also continuously break and reform, thus earning the name ‘living polymers’. In flow these fluids exhibit spatial inhomogeneities,  shear-banding, and dynamic elastic recoil. In this talk a rheological equation of state that is capable of describing these fluids is described   The resultant governing  macroscale equations consist of a coupled nonlinear partial differential equation system.  Model predictions are presented, contrasted with experimental results, and contrasted with predictions of other existing models.  Generalizations of the model to allow the capturing of  behaviors under changing concentration or temperature conditions, namely power law and stretched exponential relaxation as opposed to exponential relaxation, will be discussed and  particularly a mesoscale stochastic simulation network model will be presented.  

Mon, 10 Nov 2014

16:00 - 17:00
C2

Tropical Jacobians

Jan Vonk
(Oxford)
Abstract

We will discuss Raynaud's classical theory on Néron models of Jacobians of curves, and mention some tropical aspects of the theory that help us understand modular curves from a modern non-Archimedean viewpoint. There will be an annoyingly large number of examples illustrating the key principles throughout. 

Mon, 10 Nov 2014

16:00 - 17:00
L1

Stability of the Kerr Cauchy horizon

Jonathan Luk
(University of Cambridge)
Abstract

The celebrated strong cosmic censorship conjecture in general relativity in particular suggests that the Cauchy horizon in the interior of the Kerr black hole is unstable and small perturbations would give rise to singularities. We present a recent result proving that the Cauchy horizon is stable in the sense that spacetime arising from data close to that of Kerr has a continuous metric up to the Cauchy horizon. We discuss its implications on the nature of the potential singularity in the interior of the black hole. This is joint work with Mihalis Dafermos.

Mon, 10 Nov 2014
15:45
Oxford-Man Institute

"Limit theorems for ambit fields"

MARK PODOLSKIJ
(Heidelberg University)
Abstract

In this talk we will present some recent developments in the theory of ambit fields with a particular focuson limit theorems.
Ambit fields is a tempo-spatial class of models, which has been originally introduced by Barndorff-Nielsen and Schmiegel in the context of turbulence,
but found applications also in biology and finance. Its purely temporal analogue, Levy semi-stationary processes, has a continuous moving average structure
with an additional multiplicative random input (volatility or intermittency). We will briefly describe the main challenges of ambit stochastics, which
include questions from stochastic analysis, statistics and numerics. We will then focus on certain type of high frequency functionals typically called power variations.
We show some surprising non-standard limit theorems, which strongly depend on the driving Levy process. The talk is based on joint work with O.E. Barndorff-Nielsen, A. Basse-O'Connor,
J.M. Corcuera and R. Lachieze-Rey.