L3

Feedforward layers are integral step in processing and transmitting sensory information across different regions the brain. Yet experiments reveal the difficulty of stable propagation through layers without causing neurons to synchronize their activity. We study the limits of stable propagation in a discrete feedforward model of binary neurons. By analyzing the spectral properties of a mean-field Markov chain model, we show when such information transmission persists. Addition of inhibitory neurons and synaptic noise increases the robustness of asynchronous rate transmission. We close with an example of feedforward processing in the input layer to cerebellum. 

We consider the impact of spatial heterogeneities on the dynamics of 
localized patterns in systems of partial differential equations (in one 
spatial dimension). We will mostly focus on the most simple possible 
heterogeneity: a small jump-like defect that appears in models in which 
some parameters change in value as the spatial variable x crosses 
through a critical value -- which can be due to natural inhomogeneities, 
as is typically the case in ecological models, or can be imposed on the 
model for engineering purposes, as in Josephson junctions. Even such a 
small, simplified heterogeneity may have a crucial impact on the 
dynamics of the PDE. We will especially consider the effect of the 
heterogeneity on the existence of defect solutions, which boils down to 
finding heteroclinic (or homoclinic) orbits in an n-dimensional 
dynamical system in `time' x, for which the vector field for x > 0 
differs slightly from that for x < 0 (under the assumption that there is 
such an orbit in the homogeneous problem). Both the dimension of the 
problem and the nature of the linearized system near the limit points 
have a remarkably rich impact on the defect solutions. We complement the 
general approach by considering two explicit examples: a heterogeneous 
extended Fisher–Kolmogorov equation (n = 4) and a heterogeneous 
generalized FitzHugh–Nagumo system (n = 6).

We study the motion of a eukaryotic cell on a substrate and investigate the dependence of this motion on key physical parameters such as strength of protrusion by actin filaments and adhesion. This motion is modeled by a system of two PDEs consisting of the Allen-Cahn equation for the scalar phase field function coupled with a vectorial parabolic equation for the orientation of the actin filament network. The two key properties of this system are (i) presence of gradients in the coupling terms and (ii) mass (volume) preservation constraints. We pass to the sharp interface limit to derive the equation of the motion of the cell boundary, which is mean curvature motion perturbed by a novel nonlinear term. We establish the existence of two distinct regimes of the physical parameters. In the subcritical regime, the well-posedness of the problem is proved (M. Mizuhara et al., 2015). Our main focus is the supercritical regime where we established surprising features of the motion of the interface such as discontinuities of velocities and hysteresis in the 1D model, and instability of the circular shape and rise of asymmetry in the 2D model. Because of properties (i)-(ii), classical comparison principle techniques do not apply to this system. Furthermore, the system can not be written in a form of gradient flow, which is why Γ-convergence techniques also can not be used. This is joint work with V. Rybalko and M. Potomkin.

In this talk I will give an overview of the algorithms used by Chebfun to numerically compute polynomial and trigonometric minimax approximations of continuous functions. I'll also present Chebfun's capabilities to compute best approximations on compact subsets of an interval and how these methods can be used to design digital filters.

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.

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.