Heterogeneity in Space and Time: Novel Dispersion Relations in Morphogenesis

Dr. Andrew Krause

Motivated by recent work with biologists, I will showcase some results on Turing instabilities in complex domains. This is scientifically related to understanding developmental tuning in the whiskers of mice, and in synthetic quorum-sensing patterning of bacteria. Such phenomena are typically modelled using reaction-diffusion systems of morphogens, and one is often interested in emergent spatial and spatiotemporal patterns resulting from instabilities of a homogeneous equilibrium. In comparison to the well-known effects of how advection or manifold structure impacts the modes which may become unstable in such systems, I will present results on instabilities in heterogeneous systems, reaction-diffusion systems on evolving manifolds, as well as layered reaction-diffusion systems. These contexts require novel formulations of classical dispersion relations, and may have applications beyond developmental biology, such as in understanding niche formation for populations of animals in heterogeneous environments. These approaches also help close the vast gap between the simplistic theory of instability-driven pattern formation, and the messy reality of biological development, though there is still much work to be done in concretely demonstrating such a theory's applicability in real biological systems.
 

Cavity flow characteristics and applications to kidney stone removal

Dr. Jessica Williams

Ureteroscopy is a minimally invasive surgical procedure for the removal of kidney stones. A ureteroscope, containing a hollow, cylindrical working channel, is inserted into the patient's kidney. The renal space proximal to the scope tip is irrigated, to clear stone particles and debris, with a saline solution that flows in through the working channel. We consider the fluid dynamics of irrigation fluid within the renal pelvis, resulting from the emerging jet through the working channel and return flow through an access sheath . Representing the renal pelvis as a two-dimensional rectangular cavity, we investigate the effects of flow rate and cavity size on flow structure and subsequent clearance time of debris. Fluid flow is modelled with the steady incompressible Navier-Stokes equations, with an imposed Poiseuille profile at the inlet boundary to model the jet of saline, and zero-stress conditions on the outlets. The resulting flow patterns in the cavity contain multiple vortical structures. We demonstrate the existence of multiple solutions dependent on the Reynolds number of the flow and the aspect ratio of the cavity using complementary numerical simulations and PIV experiments. The clearance of an initial debris cloud is simulated via solutions to an advection-diffusion equation and we characterise the effects of the initial position of the debris cloud within the vortical flow and the Péclet number on clearance time. With only weak diffusion, debris that initiates within closed streamlines can become trapped. We discuss a flow manipulation strategy to extract debris from vortices and decrease washout time.

 

Nonlinear generalizations of the Schrödinger equation are of wide applicability to a range of areas including atomic and optical systems, 
plasma physics and water waves.  In this  talk we revisit some principal excitations in atomic and optical systems (such as Bose-Einstein condensates and photo-refractive crystals), namely dark solitonic fronts in single-component systems, and dark-bright waves in multi-component systems. Upon introducing them and explaining their existence and stability properties in one spatial dimension, we will extend them both in the form of stripes and in that rings in two-dimensions, presenting an alternative (adiabatic-invariant based) formulation of their stability and excitations. We will explore their filamentary dynamics, as well as the states that emerge from their transverse (snaking) instability. Then, we will consider these structures even in three dimensions, in the form of planar, as well as spherical shell wave patterns and generalize our adiabatic invariant formulation there. Finally, time permitting, we will give some glimpses of how some of these dynamical features in 1d and 2d generalize in a multi-orbital, time-dependent quantum setting.

The flow of a thin film down an inclined plane is an important physical phenomenon appearing in many industrial applications, such as coating (where it is desirable to maintain the fluid interface flat) or heat transfer (where a larger interfacial area is beneficial). These applications lead to the need of reliably manipulating the flow in order to obtain a desired interfacial shape. The interface of such thin films can be described by a number of models, each of them exhibiting instabilities for certain parameter regimes. In this talk, I will propose a feedback control methodology based on same-fluid blowing and suction. I use the Kuramoto–Sivashinsky (KS) equation to model interface perturbations and to derive the controls. I will show that one can use a finite number of point-actuated controls based on observations of the interface to stabilise both the flat solution and any chosen nontrivial solution of the KS equation. Furthermore, I will investigate the robustness of the designed controls to uncertain observations and parameter values, and study the effect of the controls across a hierarchy of models for the interface, which include the KS equation, (nonlinear) long-wave models and the full Navier–Stokes equations.

The Navier-Stokes paradigm does not capture thermal fluctuations that drive familiar effects such as Brownian motion and are seen to be key to understanding counter-intuitive phenomena in nanoscale interfacial flows.  On the other hand, molecular simulations naturally account for these fluctuations but are limited to exceptionally short time scales. A framework that incorporates thermal noise is provided by fluctuating hydrodynamics, based on the so-called Landau-Lifshitz-Navier-Stokes equations, and in this talk we shall exploit these equations to gain insight into nanoscale free surface flows.  Particular attention will be given to flows with topological changes, such as the coalescence of drops, breakup of jets and rupture of thin liquid films for which both analytic linear stability results and numerical simulations will be presented and compared to the results of molecular dynamics.

A hereditary graph property is a class of finite graphs closed under isomorphism and induced subgraphs.  Given a hereditary graph property H, the speed of H is the function which sends an integer n to the number of distinct elements in H with underlying set {1,...,n}.  Not just any function can occur as the speed of hereditary graph property.  Specifically, there are discrete ``jumps" in the possible speeds.  Study of these jumps began with work of Scheinerman and Zito in the 90's, and culminated in a series of papers from the 2000's by Balogh, Bollob\'{a}s, and Weinreich, in which essentially all possible speeds of a hereditary graph property were characterized.  In contrast to this, many aspects of this problem in the hypergraph setting remained unknown.  In this talk we present new hypergraph analogues of many of the jumps from the graph setting, specifically those involving the polynomial, exponential, and factorial speeds.  The jumps in the factorial range turned out to have surprising connections to the model theoretic notion of mutual algebricity, which we also discuss.  This is joint work with Chris Laskowski.

We take a look at difference fields with several commuting automorphisms. The theory of difference fields with one distinguished automorphism has a model companion known as ACFA, which Zoe Chatzidakis and Ehud Hrushovski have studied in depth. However, Hrushovski has proved that if you look at fields with two or more commuting automorphisms, then the existentially closed models of the theory do not form a first order model class. We introduce a non-elementary framework for studying them. We then discuss how to generalise a result of Kowalski and Pillay that every definable group (in ACFA) virtually embeds into an algebraic group. This is joint work in progress with Zoe Chatzidakis and Nick Ramsey.

We will be discussing a Fourier-analytic approach
to optimal matching between independent samples, with
an elementary proof of the Ajtai-Komlos-Tusnady theorem.
The talk is based on a joint work with Michel Ledoux.

Consider a random N by N unitary matrix chosen according to Haar measure. A classical result of Diaconis and Shashahani shows that traces of low powers of this matrix tend in distribution to independent centered gaussians as N grows. A result of Johansson shows that this convergence is very fast -- superexponential in fact. Similar results hold for other classical compact groups. This talk will discuss analogues of these results for N by N matrices taken from a classical group over a finite field, showing that as N grows, traces of powers of these matrices equidistribute superexponentially. A little surprisingly, the proof is connected to the distribution in short intervals of certain arithmetic functions in F_q[T]. This is joint work with O. Gorodetsky.

Background: The traditional business models for B2B freight and distribution are struggling with underutilised transport capacities resulting in higher costs, excessive environmental damage and unnecessary congestion. The scale of the problem is captured by the European Environmental Agency: only 63% of journeys carry useful load and the average vehicle utilisation is under 60% (by weight or volume). Decarbonisation of vehicles would address only part of the problem. That is why leading sector researchers estimate that freight collaboration (co-shipment) will deliver a step change improvement in vehicle fill and thus remove unproductive journeys delivering over 20% of cost savings and >25% reduction in environmental footprint. However, these benefits can only be achieved at a scale that involves 100’s of players collaborating at a national or pan-regional level. Such scale and level of complexity creates a massive optimisation challenge that current market solutions are unable to handle (modern route planning solutions optimise deliveries only within the “4 walls” of a single business).

Maths challenge: The mentioned above optimisation challenge could be expressed as an extended version of the TSP, but with multiple optimisation objectives (other than distance). Moreover, besides the scale and multi-agent setup (many shippers, carriers and recipients engaged simultaneously) the model would have to operate a number of variables and constraints, which in addition to the obvious ones also include: time (despatch/delivery dates/slots and journey durations), volume (items to be delivered), transport equipment with respective rate-cards from different carriers, et al. With the possible variability of despatch locations (when clients have multi-warehouse setup) this potentially creates a very-large non-convex optimisation problem that would require development of new, much faster algorithms and approaches. Such algorithm should be capable of finding “local” optimums and subsequently improve them within a very short window i.e. in minutes, which would be required to drive and manage effective inter-company collaboration across many parties involved. We tried a few different approaches eg used Gurobi solver, which even with clustering was still too slow and lacked scalability, only to realise that we need to build such an algorithm in-house.

Ask: We started to investigate other approaches like Simulated Annealing or Gravitational Emulation Local Search but this work is preliminary and new and better ideas are of interest. So in support of our Technical Feasibility study we are looking for support in identification of the best approach and design of the actual algorithm that we’ll use in the development of our Proof of Concept.