Sparse matrices occur in numerical simulations throughout science and engineering. In particular, it is often desirable to solve systems of the form Ax=b, where A is a sparse matrix with 100,000+ rows and columns. The order that the rows and columns occur in can have a dramatic effect on the viability of a direct solver e.g., the time taken to find x, the amount of memory needed, the quality of x,... We shall consider symmetric matrices and, with the help of playdough, explore how best to order the rows/columns using a nested dissection strategy. Starting with a straightforward strategy, we will discover the pitfalls and develop an adaptive strategy with the aim of coping with a large variety of sparse matrix structures.

Some of the talk will involve the audience playing with playdough, so bring your inner child along with you!

We review a class of systems of non-linear PDEs, derived from the Cahn--Hilliard and Ohta--Kawasaki functionals, that describe the energy evolution of diblock copolymers. These are long chain molecules that can self assemble into repeating patterns as they cool. We are particularly interested in finite element numerical methods that approximate these PDEs in the two-phase (in which we model the polymer only) and three-phase (in which we imagine the polymer surrounded by, and interacting with, a void) cases.

We present a brief derivation of the underlying models, review a class of numerical methods to approximate them, and showcase some early results from our codes.

The talk will present ongoing work on medical image reconstruction from x-ray scanners. A suitable method for reconstruction of these undersampled systems is compressed sensing. The presentation will show respective reconstruction methods and their analysis. Furthermore, work in progress about extensions of the standard approach will be shown.

Our everyday usage of the Internet generates huge amounts of data on how humans collect and exchange information worldwide. In this talk, I will outline recent work in which we investigate whether data from sources such as Google, Wikipedia and Flickr can be used to gain new insight into real world human behaviour. I will provide case studies from a range of domains, including disease detection, crowd size estimation, and evaluating whether the beauty of the environment we live in might affect our health.

Dave Hewett: Canonical solutions in wave scattering

By a "canonical solution" I have in mind a closed-form exact solution of the scalar wave equation in a simple geometry, for example the exterior of a circular cylinder, or the exterior of an infinite wedge. In this talk I hope to convince you that the study of such problems is (a) interesting; (b) important; and (c) a rich source of (difficult) open problems involving eigenfunction expansions, special functions, the asymptotic evaluation of integrals, and matched asymptotic expansions.

Surfactants are chemicals that adsorb onto the air-liquid interface and lower the surface tension there. Non-uniformities in surfactant concentration result in surface tension gradients leading to a surface shear stress, known as a Marangoni stress. This stress, if sufficiently large, can influence the flow at the interface.

Surfactants are ubiquitous in many aspects of technology and industry to control the wetting properties of liquids due to  their ability to modify surface tension. They are used in detergents, crop spraying, coating processes and oil recovery. Surfactants also occur naturally, for example in the mammalian lung. They reduce the surface tension within the liquid lining the airways, which assists in preventing the collapse of the smaller airways. In the lungs of premature infants, the quantity of surfactant produced is insufficient as the lungs are under- developed. This leads to a respiratory distress syndrome which is treated by Surfactant Replacement Therapy.

Motivated by this medical application, we theoretically investigate a model problem involving the spreading of a drop laden with an insoluble surfactant down an inclined and pre-wetted substrate.  Our focus is in understanding the mechanisms behind a “fingering” instability observed experimentally during the spreading process. High-resolution numerics reveal a multi-region asymptotic wave-like structure of the spreading droplet. Approximate solutions for each region is then derived using asymptotic analysis. In particular, a quasi-steady similarity solution is obtained for the leading edge of the droplet. A linear stability analysis of this region shows that the base state is linearly unstable to long-wavelength perturbations. The Marangoni effect is shown to be the dominant driving mechanism behind this instability at small wavenumbers. A small wavenumber stability criterion is derived and it's implication on the onset of the fingering instability will be discussed.

A Simple Generative Model of Collective Online Behavior (Mason Porter)

Human activities increasingly take place in online environments, providing novel opportunities for relating individual behaviors to population-level outcomes. In this paper, we introduce a simple generative model for the collective behavior of millions of social networking site users who are deciding between different software applications. Our model incorporates two distinct mechanisms: one is associated with recent decisions of users, and the other reflects the cumulative popularity of each application. Importantly, although various combinations of the two mechanisms yield long-time behav- ior that is consistent with data, the only models that reproduce the observed temporal dynamics are those that strongly emphasize the recent popularity of applications over their cumulative popularity.

This demonstrates --- even when using purely observational data with- out experimental design --- that temporal data-driven modeling can effectively distinguish between competing microscopic mechanisms, allowing us to uncover previously unidentified aspects of collective online behavior.

---

Bubbles, Turing machines, and possible routes to Navier-Stokes blow-up (Robert van Gorder)

Navier-Stokes existence and regularity in three spatial dimensions for an incompressible fluid... is hard. Indeed, while the original equations date back to the 1840's, existence and regularity remains an open problem and is one of the six remaining Millennium Prize Problems in mathematics that were stated by the Clay Mathematics Institute in 2000. Despite the difficulty, a resolution to this problem may say little about real-world fluids, as many real fluid problems do not seem to blow-up, anyway.
In this talk, we shall briefly outline the mathematical problem, although our focus shall be on the negative direction; in particular, we focus on the possibility of blow-up solutions. We show that many existing blow-up solutions require infinite energy initially, which is unreasonable. Therefore, obtaining a blow-up solution that starts out with nice properties such as bounded energy on three dimensional Euclidean space is rather challenging. However, if we modify the problem, there are some results. We survey recent results on averaged Navier-Stokes equations and compressible Navier-Stokes equations, and this will take us anywhere from bubbles to fluid Turing machines. We discuss how such results might give insight into the loss of regularity in the incompressible case (or, insight into how hard it might be to loose regularity of solutions when starting with finite energy in the incompressible case), before philosophizing about whether mathematical blow-up solutions could ever be physically relevant.

Permanent deformations of crystalline materials are known to be carried out by a large
number of atomistic line defects, i.e. dislocations. For specimens on micron scales or above, it
is more computationally tractable to investigate macroscopic material properties based on the
evolution of underlying dislocation densities. However, classical models of dislocation
continua struggle to resolve short-range elastic interactions of dislocations, which are believed
responsible for the formation of various heterogeneous dislocation substructures in crystals. In
this talk, we start with discussion on formulating the collective behaviour of a row of
dislocation dipoles, which would be considered equivalent to a dislocation-free state in
classical continuum models. It is shown that the underlying discrete dislocation dynamics can
be asymptotically captured by a set of evolution equations for dislocation densities along with
a set of equilibrium equations for variables characterising the self-sustained dislocation
substructures residing on a shorter length scale, and the strength of the dislocation
substructures is associated with the solvability conditions of their governing equilibrium
equations. Under the same strategy, a (continuum) flow stress formula for multi-slip systems
is also derived, and the formula resolves more details from the underlying dynamics than the
ubiquitously adopted Taylor-type formulae.

My main purpose in this talk is try and convey a sense of my enthusiasm for mathematical modelling generally and how I've come to use it in a range of transport applications. For concreteness, I am going to talk in particular about work I have been doing on EPSRC grant EP/K000438/1 (PI: Jillian Anable, Aberdeen) where we are using the UK government's Department for Transport MOT data to estimate mileage totals and study how they are broken down across the population in various different ways. Embedded inside this practical problem is a whole set of miniature mathematical puzzles and challenges which are quite particular to the problem area itself, and one wider question which is rather deeper and more general: whether it is possible (and how) to convert usage data that is low-resolution in time but high-resolution in individuals to knowledge that is high-resolution in time but only expressed at a population level.

Surface plasmons are collective electron-density oscillations at a metal-dielectric interface. In particular, highly localised surface-plasmon modes of nanometallic structures with narrow nonmetallic gaps, which enable a tuneable resonance frequency and a giant near-field enhancement, are at the heart of numerous nanophotonics applications. In this work, we elucidate the singular near-contact asymptotics of the plasmonic eigenvalue problem governing the resonant frequencies and modes of such structures. In the classical regime, valid for gap widths > 1nm, we find a generic scaling describing the redshift of the resonance frequency as the gap width is reduced, and in several prototypical dimer configurations derive explicit expressions for the plasmonic eigenvalues and eigenmodes using matched asymptotic expansions; we also derive expressions describing the resonant excitation of such modes by light based on a weak-dissipation limit. In the subnanometric ``nonlocal’’ regime, we show intuitively and by systematic analysis of the hydrodynamic Drude model that nonlocality manifests itself as a potential discontinuity, and in the near-contact limit equivalently as a widening of the gap. We thereby find the near-contact asymptotics as a renormalisation of the local asymptotics, and in particular a lower bound on plasmon frequency, scaling with the 1/4 power of the Fermi wavelength. Joint work with Vincenzo Giannini, Richard V. Craster and Stefan A. Maier.