Past

Saturated fusion systems are a next generation approach to the theory of finite groups- one major motivation being the opportunity to borrow techniques from homotopy theory. Extending work of Broto, Levi and Oliver, we introduce a new object - a 'tree of fusion systems' and give conditions (in terms of the orbit graph) for the completion to be saturated. We also demonstrate that these conditions are 'best possible' by producing appropriate counterexamples. Finally, we explain why these constructions provide a powerful way of building infinite families of fusion systems which are exotic (i.e. not realisable as the fusion system of a finite group) and give some concrete examples.

Although the importance of hydrologic uncertainty is widely recognized it is rarely considered in control problems, especially real-time control. One of the reasons is that stochastic control is computationally expensive, especially when control decisions are derived from spatially distributed models. This talk reviews relevant control concepts and describes how reduced order models can make stochastic control feasible for computationally demanding applications. The ideas are illustrated with a classic problem -- hydraulic control of a moving contaminant plume.

Let $X$ be a variety and $Z$ be a sub-variety. Can one glue vector bundles on $X-Z$ with vector bundles on some small neighborhood of $Z$? We survey two recent results on the process of gluing a vector bundle on the complement of a sub-variety with a vector bundle on some 'small' neighborhood of the sub-variety. This is joint work. The first with M. Temkin and is about gluing categories of coherent sheaves over the category of coherent sheaves on a Berkovich analytic space. The second with J. Block and is about gluing dg enhancements of the derived category of coherent sheaves.

In an Erdős--R\'enyi random graph above the phase transition, i.e.,

where there is a giant component, the size of (number of vertices in)

this giant component is asymptotically normally distributed, in that

its centred and scaled size converges to a normal distribution. This

statement does not tell us much about the probability of the giant

component having exactly a certain size. In joint work with B\'ela

Bollob\'as we prove a `local limit theorem' answering this question

for hypergraphs; the graph case was settled by Luczak and Łuczak.

The proof is based on a `smoothing' technique, deducing the local

limit result from the (much easier) `global' central limit theorem.

High-pressure freezing processes are a novel emerging technology in food processing,
offering significant improvements to the quality of frozen foods. To be able to simulate
plateau times and thermal history under different conditions, a generalized enthalpy
model of the high-pressure shift freezing process is presented. The model includes
the effects of pressure on conservation of enthalpy and incorporates the freezing point
depression of non-dilute food samples. In addition, the significant heat-transfer effects of
convection in the pressurizing medium are accounted for by solving the two-dimensional
Navier–Stokes equations.
The next question is: is high-pressure shift freezing good also in the long run?
A growth and coarsening model for ice crystals in a very simple food system will be discussed.

Topological quantum error correcting codes, such as the Toric code, are
ideal candidates for protecting a logical quantum bit against local noise.
How are we to get the best performance from these codes when an unknown
local perturbation is applied? This talk will discuss how knowledge, or lack
thereof, about the error affects the error correcting threshold, and how
thresholds can be improved by introducing randomness to the system. These
studies are directed at trying to understand how quantum information can be
encoded and passively protected in order to maximise the span of time between successive rounds of error correction, and what properties are
required of a topological system to induce a survival time that grows
sufficiently rapidly with system size. The talk is based on the following
papers: arXiv:1208.4924 and Phys. Rev. Lett. 107, 270502 (2011).

The Preisach model of hysteresis has a long history, a convenient algorithmic form and "nice" mathematical properties (for a given value of nice) that make it suitable for use in differential equations and other dynamical systems. The difficulty lies in the fact that the "parameter" for the Preisach model is infinite dimensional—in full generality it is a measure on the half-plane. Applications of the Preisach model (two interesting examples are magnetostrictive materials and vadose zone hydrology) require methods to specify a measure based on experimental or observed data. Current approaches largely rely on direct measurements of experimental samples, however in some cases these might not be sufficient or direct measurements may not be practical. I will present the Preisach model in all its glory, along with some history and applications, and introduce an open inverse problem of fiendish difficulty.

This presentation concerns five topics in computational partial differential equations with the overall goals of reliable error control and efficient simulation.

The presentation is also an advertisement for nonstandard discretisations in linear and nonlinear Computational PDEs with surprising advantages over conforming

finite element schemes and the combination

of the two. The equivalence of various first-order methods is explained for the linear Poisson model problem with conforming

(CFEM), nonconforming (NC-FEM), and mixed finite element methods (MFEM) and others discontinuous Galerkin finite element (dGFEM). The Stokes

equations illustrate the NCFEM and the pseudo-stress MFEM and optimal convergence of adaptive mesh-refining as well as for guaranteed error bounds.

An optimal adaptive CFEM computation of elliptic eigenvalue

problems and the computation of guaranteed upper and lower eigenvalue bounds based on NCFEM. The obstacle problem and its guaranteed error

control follows another look due to D. Braess with guaranteed error bounds and their effectivity indices between 1 and 3. Some remarks on computational

microstructures with degenerate convex minimisation

problems conclude the presentation.

I will discuss recent joint work with S. Galatius, in which we

generalise the Madsen--Weiss theorem from the case of surfaces to the

case of manifolds of higher even dimension (except 4). In the simplest

case, we study the topological group $\mathcal{D}_g$ of

diffeomorphisms of the manifold $\#^g S^n \times S^n$ which fix a

disc. We have two main results: firstly, a homology stability

theorem---analogous to Harer's stability theorem for the homology of

mapping class groups---which says that the homology groups

$H_i(B\mathcal{D}_g)$ are independent of $g$ for $2i \leq g-4$.

Secondly, an identification of the stable homology

$H_*(B\mathcal{D}_\infty)$ with the homology of a certain explicitly

described infinite loop space---analogous to the Madsen--Weiss

theorem. Together, these give an explicit calculation of the ring

$H^*(B\mathcal{D}_g;\mathbb{Q})$ in the stable range, as a polynomial

algebra on certain explicitly described generators.

In the absence of background fluxes and sources, the compactification of string theories on Calabi-Yau threefolds leads to supersymmetric solutions.Turning on fluxes, e.g. to lift the moduli of the compactification, generically forces the geometry to break the Calabi-Yau conditions, and to satisfy, instead, the weaker condition of reduced structure. In this talk I will discuss manifolds with SU(3) structure, and their relevance for heterotic string compacitications. I will focus on domain wall solutions and how explicit example geometries can be constructed.

We consider a class of stochastic control problems with fuel constraint that are closely connected to the problem of finding adaptive mean-variance-optimal portfolio liquidation strategies in the Almgren-Chriss framework. We give a closed-form solution to these control problems in terms of the log-Laplace transforms of certain J-functionals of Dawson-Watanabe superprocesses. This solution can be related heuristically to the superprocess solution of certain quasilinear parabolic PDEs with singular terminal condition as given by Dynkin (1992). It requires us to study in some detail the blow-up behavior of the log-Laplace functionals when approaching the singularity.

In this talk, I will show that Brauer classes of a locally solvable degree 4 del Pezzo surface X are vertical, that is, that every Brauer class is obtained by pullback from an element of Br k(P^1) for some rational map f : X ----> P^1. As a consequence, we see that a Brauer class does not obstruct the existence of a rational point if and only if there exists a fiber of f that is locally solvable. The proof is constructive and gives a simple and practical algorithm, distinct from that in [Bright,Bruin,Flynn,Logan (2007)], for computing all nonconstant classes in the Brauer group of X. This is joint work with Anthony V\'arilly-Alvarado.

We study a thin liquid film on a vertical fibre. Without gravity, there

is a Rayleigh-Plateau instability in which surface tension reduces the

surface area of the initially cylindrical film. Spherical drops cannot

form because of the fibre, and instead, the film forms bulges of

roughly twice the initial thickness. Large bulges then grow very slowly

through a ripening mechanism. A small non-dimensional gravity moves the

bulges. They leave behind a thinner film than that in front of them, and

so grow. As they grow into large drops, they move faster and grow

faster. When gravity is stronger, the bulges grow only to finite

amplitude solitary waves, with equal film thickness behind and in front.

We study these solitary waves, and the effect of shear-thinning and

shear-thickening of the fluid. In particular, we will be interested in

solitary waves of large amplitudes, which occur near the boundary

between large and small gravity. Frustratingly, the speed is only

determined at the third term in an asymptotic expansion. The case of

Newtonian fluids requires four terms.

I will give an introduction to how SU(3)-structures appear in heterotic string theory and string compactifications. I will start by considering the zeroth order SU(3)-holonomy Calabi-Yau scenario, and then see how this generalizes when higher order effects are considered. If time, I will discuss some of my own work.

A triangulated category admits a strong generator if, roughly speaking,

every object can be built in a globally bounded number of steps starting

from a single object and taking iterated cones. The importance of

strong generators was demonstrated by Bondal and van den Bergh, who

proved that the existence of such objects often gives you a

representability theorem for cohomological functors. The importance was

further emphasised by Rouquier, who introduced the dimension of

triangulated categories, and tied this numerical invariant to the

representation dimension. In this talk I will discuss the generation

time for strong generators (the least number of cones required to build

every object in the category) and a refinement of the dimension which is

due to Orlov: the set of all integers that occur as a generation time.

After introducing the necessary terminology, I will focus on categories

occurring in representation theory and explain how to compute this

invariant for the bounded derived category of the path algebras of type

A and D, as well as the corresponding cluster categories.

Partial differential equations (PDEs) with random coefficients are used in computer simulations of physical processes in science, engineering and industry applications with uncertain data. The goal is to obtain quantitative statements on the effect of input data uncertainties for a comprehensive evaluation of simulation results. However, these equations are formulated in a physical domain coupled with a sample space generated by random parameters and are thus very computing-intensive.

We outline the key computational challenges by discussing a model elliptic PDE of single phase subsurface flow in random media. In this application the coefficients are often rough, highly variable and require a large number of random parameters which puts a limit on all existing discretisation methods. To overcome these limits we employ multilevel Monte Carlo (MLMC), a novel variance reduction technique which uses samples computed on a hierarchy of physical grids. In particular, we combine MLMC with mixed finite element discretisations to calculate travel times of particles in groundwater flows.

For coefficients which can be parameterised by a small number of random variables we employ spectral stochastic Galerkin (SG) methods which give rise to a coupled system of deterministic PDEs. Since the standard SG formulation of the model elliptic PDE requires expensive matrix-vector products we reformulate it as a convection-diffusion problem with random convective velocity. We construct and analyse block-diagonal preconditioners for the nonsymmetric Galerkin matrix for use with Krylov subspace methods such as GMRES.

We will discuss numerical solutions of Multi-objective Control problems governed by partial differential equations. More precisely, we will look for Nash Equilibria, which are solutions to non-cooperative differential games. First we will study the continuous case. Then, in order to compute solutions, we will combine finite difference schemes for the time discretization, finite element methods for the space discretization and a conjugate gradient algorithm (or other suitable alternative) for the iterative solution of the discrete differential game. Finally, we will apply this methodology to the solution of several test problems.

We investigate a mixed problem with Robin boundary conditions for a diffusion-reaction equation. We investigate the problem in the sublinear, linear and super linear cases, depending on the nonlinear part. We obtain relations between the parameters of the problem which are sufficient conditions for the existence of generalized solutions to the problem and, in a special case, for their uniqueness. The proof relies on a general existence theorem by Soltanov. Finally we investıgate the time-behaviour of solutions. We show that boundedness of solutions holds under some additional conditions as t is convergent to infinity. This study is joint work with Kamal Soltanov (Hacettepe University).

I'll sketch some context for future and past research around valued fields
and motivic integration, from a model theoretic viewpoint, leaving out technical details. 
The talk will be partly conjectural.

We give a brief overview of hyperbolic metric spaces and the relatively hyperbolic counterparts, with particular emphasis on the quasi-isometry class of trees. We then show that an understanding of the relative version of such spaces - quasi tree-graded spaces -  has strong consequences for mapping class groups. In particular, they are shown to embed into a finite product of (possibly infinite valence) simplicial trees. This uses and extends the work of Bestvina, Bromberg and Fujiwara.

I describe recent work with Pyber, Short and Szabo in which we study the `width' of a finite simple group. Given a group G and a subset A of G, the `width of G with respect to A' - w(G,A) - is the smallest number k such that G can be written as the product of k conjugates of A. If G is finite and simple, and A is a set of size at least 2, then w(G,A) is well-defined; what is more Liebeck, Nikolov and Shalev have conjectured that in this situation there exists an absolute constant c such that w(G,A)\leq c log|G|/log|A|. 
I will present a partial proof of this conjecture as well as describing some interesting, and unexpected, connections between this work and classical additive combinatorics. In particular the notion of a normal K-approximate group will be introduced.

Results that say local information is enough to guarantee global information provide the theoretical underpinnings of many reconstruction algorithms in evolutionary biology. Such results include Buneman's Splits-Equivalence Theorem and the Tree-Metric Theorem. The first result says that, for a collection $\mathcal C$ of binary characters, pairwise compatibility is enough to guarantee compatibility for $\mathcal C$, that is, there is a phylogenetic (evolutionary) tree that realises $\mathcal C$. The second result says that, for a distance matrix $D$, if every $4\times 4$ distance submatrix of $D$ is realisable by an edge-weighted phylogenetic tree, then $D$ itself is realisable by such a tree. In this talk, we investigate these and other results of this type. Furthermore, we explore the closely-related task of determining how much information is enough to reconstruct the correct phylogenetic tree.

I will explain recent results with Emanuele Macrì, in which we systematically study the birational geometry of moduli of sheaves on K3's via wall-crossing for

Bridgeland stability conditions. In particular, we obtain descriptions of their nef cones via the Mukai lattice of the K3, their moveable cones, their divisorial contractions, and obtain counter-examples to various conjectures in the literature. We also give a proof of the Lagrangian fibration conjecture (due to

Hassett-Tschinkel/Huybrechts/Sawon) via wall-crossing.

We review potential theoretic aspects of degenerate parabolic PDEs of p-Laplacian type.

Solutions form a similar basis for a nonlinear parabolic potential theory as the solutions of the heat

equation do in the classical theory. In the parabolic potential theory, the so-called superparabolic

functions are essential. For the ordinary heat equation we have supercaloric functions. They are defined

as lower semicontinuous functions obeying the comparison principle. The superparabolic

functions are of actual interest also because they are viscosity supersolutions of the equation. We discuss

their existence, structural, convergence and Sobolev space properties. We also consider the

definition and properties of the nonlinear parabolic capacity and show that the infinity set of a superparabolic

function is of zero capacity.

I will talk about the fixed-point properties of matrix groups acting CAT(0) paces, spheres and acyclic manifolds. The matrix groups include general linear groups, sympletic groups, orthogonal groups and classical unitary groups over general rings. We will show that for lower dimensional CAT(0) spaces, the group action of a matrix group always has a global fixed point and that for lower dimensional spheres and acyclic manifolds, a group action by homeomorphisms is always trivial. These results give generalizations of results of Farb concerning Chevalley groups over commutative rings and those of Bridson-Vogtmann, Parwani and Zimmermann concerning the special linear groups SL_{n}(Z) and symplectic groups Sp_{2n}(Z).

4D-Var is a widely used data assimilation method, particularly in the field of Numerical Weather Prediction. However, it is highly sequential: integrations of a numerical model are nested within the loops of an inner-outer minimisation algorithm. Moreover, the numerical model typically has a low spatial resolution, limiting the number of processors that can be employed in a purely spatial parallel decomposition. As computers become ever more parallel, it will be necessary to find new dimensions over which to parallelize 4D-Var. In this talk, I consider the possibility of parallelizing 4D-Var in the temporal dimension. I analyse different formulations of weak-constraint 4D-Var from the point of view of parallelization in time. Some formulations are shown to be inherently sequential, whereas another can be made parallel but is numerically ill-conditioned. Finally, I present a saddlepoint formulation of 4D-Var that is both parallel in time and amenable to efficient preconditioning. Numerical results, using a simple two-level quasi-geotrophic model, will be presented.

Links between:

• storm tracks, sediment movement and an icy environment

• fluvial flash flooding to coastal erosion in the UK

Did you know that the recent Japanese, Chilean and Samoan tsunami all led to strong currents from resonance at the opposite end of the ocean?

Journey around the world, from the north Atlantic to the south Pacific, on a quest to explore and explain the maths of nature.

We discuss the question of the existence of the smallest size of a family of Banach spaces of a given density which embeds all Banach spaces of that same density. We shall consider two kinds of embeddings, isometric and isomorphic. This type of question is well studied in the context of separable spaces, for example a classical result by Banach states that C([0,1]) embeds all separable Banach spaces. However, the nonseparable case involves a lot of set theory and the answer is independent of ZFC.

Given a variety X over a number field, one is interested in the collection X(F) of rational points on X. Weil defined a variety X' (the restriction of scalars of X) defined over the rational numbers whose set of rational points is naturally equal to X(F). In this talk, I will compare the number of rational points of bounded height on X with those on X'.

Some striking, and potentially useful, effects in electrokinetics occur for

bipolar membranes: applications are in medical diagnostics amongst other areas.

The purpose of this talk is to describe the experiments, the dominant features observed

and then model the phenomena: This uncovers the physics that control this process.

Time-periodic reverse voltage bias

across a bipolar membrane is shown to exhibit transient hysteresis.

This is due to the incomplete depletion of mobile ions, at the junction

between the membranes, within two adjoining polarized layers; the layer thickness depends on

the applied voltage and the surface charge densities. Experiments

show that the hysteresis consists of an Ohmic linear rise in the

total current with respect to the voltage, followed by a

decay of the current. A limiting current is established for a long

period when all the mobile ions are depleted from the polarized layer.

If the resulting high field within the two polarized layers is

sufficiently large, water dissociation occurs to produce proton and

hydroxyl travelling wave fronts which contribute to another large jump

in the current. We use numerical simulation and asymptotic analysis

to interpret the experimental results and

to estimate the amplitude of the transient hysteresis and the

water-dissociation current.