With the general election looming upon I will discuss the various different kinds of voting system that one could implement in such an election. I will show that these can give very different answers to the same set of voters. I will then discuss Arrow's Impossibility Theorem which shows that no voting system is compatible with 4 simple axioms which may be desireable.

In recent years, several preconditioning strategies have been proposed for control problems in fluid dynamics. These are a special case of the general saddle point problem in optimisation. Here, we will extend a preconditionier for distributed Stokes control problems, developed by Rees and Wathen, to the case of boundary control. We will show the usefulness of low-rank structures in constructing a good approximation for the Schur complement of the saddle point matrix. In the end, we will discuss the applicability of this strategy for Navier-Stokes control.

When the Computing Laboratory discarded its hardcopy journals around 2008, I kept the first ten years or so of each of six classic numerical analysis journals, starting from volume 1, number 1.  This will not be a seminar in the usual sense but a mutual exploration.  Come prepared to look through a few of these old volumes yourself and perhaps to tell the group of something interesting you find.  Bring a pen and paper.  All are welcome.

Mathematics of Computation, from 1943
SIAM Journal, from 1953
Numerische Mathematik, from 1959
BIT, from 1961
SIAM Journal on Numerical Analysis, from 1964
Journal of the IMA, from 1965

We develop a spectral method for solving univariate singular integral equations over unions of intervals and circles, by utilizing Chebyshev, ultraspherical and Laurent polynomials to reformulate the equations as banded infinite-dimensional systems. Low rank approximations are used to obtain compressed representations of the bivariate kernels. The resulting system can be solved in linear time using an adaptive QR factorization, determining an optimal number of unknowns needed to resolve the solution to any pre-determined accuracy. Applications considered include fracture mechanics, the Faraday cage, and acoustic scattering. The Julia software package https://github.com/ApproxFun/SIE.jl implements our method with a convenient, user-friendly interface.

Representations of free loop groups possess an operation, akin to
tensor product, under which they form a braided tensor category. I
will discuss a similar operation, which is present on the category of
representations of the based loop groups, and which equips it with the
structure of a monoidal cateogory. Finally, I will present a recent
result, according to which the Drinfel'd centre of the category of
representations of a based loop group is equivalent to the category of
representations of the corresponding free loop group.

A result of Jeffrey Brock states that, given a hyperbolic 3-manifold which is a mapping torus over a surface $S$, its volume can be expressed in terms of the distance induced by the monodromy map in the pants graph of $S$. This is an abstract graph whose vertices are pants decompositions of $S$, and edges correspond to some 'elementary alterations' of those.
I will show how this theorem gives an estimate for the volume of hyperbolic complements of closed braids in the solid torus, in terms of braid properties. The core piece of such estimate is a generalization of a result of Masur, Mosher and Schleimer that train track splitting sequences (which I will define in the talk) induce quasi-geodesics in the marking graph.

In this talk we're going to discuss Hamilton's maximum principle for the Ricci flow. As an application, I would like to explain a technique due to Boehm and Wilking which provides a general tool to obtain new Ricci flow invariant curvature conditions from given ones. As we'll see, it plays a key role in Brendle and Schoen's proof of the differentiable sphere theorem.

The Ising model is a well-known statistical physics model, defined on a two-dimensional lattice. It is interesting because it exhibits a "phase transition" at a certain critical temperature. Recent mathematical research has revealed an intriguing geometry in the model, involving discrete holomorphic functions, spinors, spin structures, and the Dirac equation. I will try to outline some of these ideas.