We study the stability properties of the Eulerian mean flow generated by monochromatic surface-gravity waves propagating in a rotating frame. The wave averaged equations, also known as the Craik-Leibovich equations, govern the evolution of the mean flow. For propagating waves in a rotating frame these equations admit a steady depth-dependent base flow sometimes called the Ekman-Stokes spiral, because of its resemblance to the standard Ekman spiral. This base flow profile is controlled by two non-dimensional numbers, the Ekman number Ek and the Rossby number Ro. We show that this steady laminar velocity profile is linearly unstable above a critical Rossby number Roc(Ek). We determine the threshold Rossby number as a function of Ek using a numerical eigenvalue solver, before confirming the numerical results through asymptotic expansions in the large/low Ek limit. These were also confirmed by nonlinear simulations of the Craik-Leibovich equations. When the system is well above the linear instability threshold, Ro >> Roc, the resulting flow fluctuates chaotically. We will discuss the possible implications in an oceanographic context, as well as for laboratory experiments.

We aim to establish and experimentally test mathematical models of embryogenesis. While the foundation of this research is based on models of isolated developmental events, the ultimate challenge is to formulate and understand dynamical systems encompassing multiple stages of development and multiple levels of regulation. These range from specific chemical reactions in single cells to coordinated dynamics of multiple cells during morphogenesis. Examples of our dynamical systems models of embryogenesis – from the events in the Drosophila egg to the early stages of gastrulation – will be presented. Each of these will demonstrate what had been learned from model analysis and model-driven experiments, and what further research directions are guided by these models.

In this talk I shall describe recent work inspired by problems in cell biology, namely how the dynamics of small G-proteins underlies polarity formation. Their dynamics is such that their active membrane bound form diffuses more slowly. Hence you might expect Turing patterns. Yet how do cells form backs and fronts or single isolated patches. In understanding these questions we shall show that the key is to identify the parameter region where Turing bifurcations are sub-critical. What emerges is a unified 2-parameter bifurcation diagram containing pinned fronts, localised spots, localised patterns. This diagram appears in many canonical models such as Schnakenberg and Brusselator, as well as biologically more realistic systems. A link is also found between theories of semi-string interaction asymptotics and so-called homoclinic snaking. I will close with some remarks about relevance to root hair formation and to the importance of subcriticality in biology. 

Automatic structures are algebraic structures, such as graphs, groups
and partial orders, that can be presented by automata. By varying the 
classes of automata (e.g. finite automata, tree automata, omega-automata) 
one varies the classes of automatic structures. The class of all automatic 
structures is robust in the sense that it is closed under many natural
algebraic and model-theoretic operations.  
In this talk, we give formal definitions to 
automatic structures, motivate the study, present many examples, and
explain several fundamental theorems.  Some results in the area
are deeply connected  with algebra, additive combinatorics, set theory, 
and complexity theory. 
We then motivate and pose several important  unresolved questions in the
area.

In this talk, I will talk about the existence of global weak solutions for the compressible Navier-Stokes equations, in particular, the viscosity coefficients depend on the density. Our main contribution is to further develop renormalized techniques so that the Mellet-Vasseur type inequality is not necessary for the compactness.  This provides existence of global solutions in time, for the barotropic compressible Navier-Stokes equations, for any $\gamma>1$, in three dimensional space, with large initial data, possibly vanishing on the vacuum. This is a joint work with D. Bresch, A. Vasseur.

We find a new duality for form factors of lightlike Wilson loops in planar N=4 super-Yang-Mills theory. The duality maps a form factor involving an n-sided lightlike polygonal super-Wilson loop together with m external on-shell states, to the same type of object but with the edges of the Wilson loop and the external states swapping roles. This relation can essentially be seen graphically in Lorentz harmonic chiral (LHC) superspace where it is equivalent to planar graph duality. However there are some crucial subtleties with the cancellation of spurious poles due to the gauge fixing. They are resolved by finding the correct formulation of the Wilson loop and by careful analytic continuation from Minkowski to Euclidean space. We illustrate all of these subtleties explicitly in the simplest non-trivial NMHV-like case.