Past

Abstract:   Let $f$ be a continuous surjection from the compact metric space $X$ to itself. 

We say that the dynamical system $(X,f)$ has shadowing if for every $\epsilon>0$ there is a $\delta>0$ such that every $\delta$-pseudo orbit is $\epsilon$-shadowed.  Here a sequence $(x_n)$ is a $\delta$-pseudo orbit provided the distance from $f(x_n)$ to $x_{n+1}$ is less than $\delta$ and $(x_n)$ is $\epsilon$-shadowed if there is a point $z$ such that the distance from $x_n$ to $f^n(z)$ is less than $\epsilon$.  

If $f$ is a homeomorphism, $(X,f)$ is said to be expansive if there is some $c>0$, such that if the distance from $f^n(x)$ and $f^n(y)$ is less than $c$ for all $n\in \mathbb Z$, then $x=y$.

In his proof that a homeomorphism that is expansive and has shadowing is stable, Walters shows that in an expansive system with shadowing, a pseudo orbit is shadowed by exactly one point.  It turns out that the converse is also true: if the system has unique shadowing (in the above sense), then it is expansive.

In this talk, which is joint work with Joel Mitchell and Joe Thomas, we explore this notion of unique shadowing.

Suppose that you have a long strip of paper, and draw the central line through it. You then glue it together so as to make a Möbius band. Can the drawn curve be contained in a plane?

We'll answer the question in this talk, as well as introduce the concepts from the Geometry of Surfaces course required to go through it; including Gauss' one and only Theorema Egregium! (we won't prove it though).

We begin by reviewing numerical methods for problems in one variable and find that univariate polynomials are the starting point for most of them.  A similar review in several variables, however, reveals that multivariate polynomials are not so important.  Why?  On the other hand in pure mathematics, the field of algebraic geometry is precisely the study of multivariate polynomials.  Why?

Let k be a characteristic $p>0$ perfect field, V be a complete DVR whose residue field is $k$ and fraction field $K$ is of characteristic $0$. We denote by $\mathcal{E}  _K$ the Amice ring with coefficients in $K$, and by $\mathcal{E} ^\dagger _K$ the bounded Robba ring with coefficients in $K$. Berthelot's classical theory of Rigid Cohomology over varieties $X/k((t))$ gives $\mathcal{E}  _K$-valued objects.  Recently, Lazda and Pal developed a refinement of rigid cohomology,
i.e. a theory of $\mathcal{E} ^\dagger _K$-valued Rigid Cohomology over varieties $X/k((t))$. Using this refinement, they proved a semistable version of the variational Tate conjecture. 

The purpose of this talk is to introduce to a theory of arithmetic D-modules with $\mathcal{E} ^\dagger _K$-valued cohomology which satisfies a formalism of Grothendieck’s six operations. 
 

In this talk we will show how the floating point errors in the simulation of SDEs (stochastic differential equations) can be modelled as stochastic. Furthermore, we will show how these errors can be corrected within a multilevel Monte Carlo approach which performs most calculations with low precision, but a few calculations with higher precision. The same procedure can also be used to correct for errors in converting from uniform random numbers to approximate Normal random numbers. Numerical results will be generated on both CPUs (using single/double precision) and GPUs (using half/single precision).

With growing population of humans being clustered in large cities and connected by fast routes more suitable environments for epidemics are being created. Topped by rapid mutation rate of viral and bacterial strains, epidemiological studies stay a relevant topic at all times. From the beginning of 2019, the World Health Organization publishes at least five disease outbreak news including Ebola virus disease, dengue fever and drug resistant gonococcal infection, the latter is registered in the United Kingdom.

To control the outbreaks it is necessary to gain information on mechanisms of appearance and evolution of pathogens. Close to all disease-causing virus and bacteria undergo a specialization towards a human host from the closest livestock or wild fauna of a shared habitat. Every strain (or subtype) of a pathogen has a set of characteristics (e.g. infection rate and burst size) responsible for its success in a new environment, a host cell in case of a virus, and with the right amount of skepticism that set can be framed as fitness of the pathogen. In our model, we consider a population of a mutating strain of a virus. The strain specialized towards a new host usually remains in the environment and does not switch until conditions get volatile. Two subtypes, wild and mutant, of the virus share a host. This talk will illustrate findings on an explicitly independent cycling coexistence of the two subtypes of the parasite population. A rare transcritical bifurcation of limit cycles is discussed. Moreover, we will find conditions when one of the strains can outnumber and eventually eliminate the other strain focusing on an infection rate as fitness of strains.

Mysteries of isolated horizons: the Near Horizon Geometry equation, geometric characterizations of the non-extremal Kerr horizon, spacetimes foliated by non-expanding horizons.

3-dimensional null surfaces  that are  Killing horizons to the second order  are  considered. They are embedded in 4-dimensional spacetimes that satisfy the vacuum Einstein equations with arbitrary cosmological constant. Internal geometry of 2-dimensional cross sections of  the horizons  consists of induced metric tensor and a rotation 1-form potential. It is subject to the type D equation. The equation is interesting from the both, mathematical and physical points of view. Mathematically it  involves  geometry, holomorphic structures and algebraic topology.  Physically, the equation knows the secrete of black holes: the only  axisymmetric solutions on topological sphere  correspond  to the the Kerr / Kerr-de Sitter / Kerr-anti-de-Sitter non-extremal black holes or to the near horizon limit  of the extremal ones.  In the case of bifurcated  horizons the type D equation implies another spacial  symmetry. In this way the axial symmetry may be ensured without the rigidity theorem. The type D equation does not allow rotating horizons of topology different then that of the  sphere (or its quotient). That completes a new local non-her theorem. The type D equation is also  an integrability condition for the  Near Horizon Geometry equation and leads to new results on the solution existence issue.
 

Seeking income during World War II, Piet Hein created the game now called Hex, marketing it through the Danish newspaper Politiken.  The game was popular but disappeared in 1943 when Hein fled Denmark.

The game re-appeared in 1948 when John Nash introduced it to Princeton's game theory group, and became popular again in 1957 after Martin Gardner's column --- "Concerning the game of Hex, which may be played on the tiles of the bathroom floor" --- appeared in Scientific American.

I will survey the early history of Hex, highlighting the war's influence on Hein's design and marketing, Hein's mysterious puzzle-maker, and Nash's fascination with Hex's theoretical properties.

In a joint work with Matt Tointon, we study the fine structure of approximate groups. We deduce various applications on growth, isoperimetry and quantitative estimates for the the simple random walk on finite vertex transitive graphs.

The hypoelliptic Laplacian is a family of operators indexed by $b \in \mathbf{R}^*_+$, acting on the total space of the tangent bundle of a Riemannian manifold, that interpolates between the ordinary Laplacian as $b \to 0$ and the generator of the geodesic flow as $b \to +\infty$. These operators are not elliptic, they are not self-adjoint, they are hypoelliptic. One can think of the total space of the tangent bundle as the phase space of classical mechanics; so that the hypoelliptic Laplacian produces an interpolation between the geodesic flow and its quantisation. There is a dynamical counterpart, which is a natural interpolation between classical Brownian motion and the geodesic flow.

The hypoelliptic deformation preserves subtle invariants of the Laplacian. In the case of locally symmetric spaces (which are defined via Lie groups), the deformation is essentially isospectral, and leads to geometric formulas for orbital integrals, a key ingredient in Selberg's trace formula.

In a first part of the talk, I will describe the geometric construction of the hypoelliptic Laplacian in the context of de Rham theory. In a second part, I will explain applications to the trace formula.

In a joint-work with Andrea Collevecchio and Vladas Sidoravicius,  we study  phase transitions in the recurrence/transience of a class of self-interacting random walks on trees, which includes the once-reinforced random walk. For this purpose, we define the branching-ruin number of a tree, which is  a natural way to measure trees with polynomial growth and therefore provides a polynomial version of the branching number defined by Furstenberg (1970) and studied by R. Lyons (1990). We prove that the branching-ruin number of a tree is equal to the critical parameter for the recurrence/transience of the once-reinforced random walk on this tree. We will also mention two other results where the branching-ruin number arises as critical parameter: first, in the context of random walks on heavy-tailed random conductances on trees and, second, in the case of Volkov's M-digging random walk.

A conjecture from the '80s claims that the isometry type of a closed, negatively curved Riemannian manifold should be uniquely determined by the lengths of its closed geodesics. By work of Otal, this is essentially equivalent to the problem of extending cross-ratio preserving maps between Gromov boundaries of simply connected, negatively curved manifolds. Progress on the conjecture has been remarkably slow, with only the 2-dimensional and locally symmetric cases having been solved so far (Otal '90 and Hamenstädt '99).
Still, it is natural to try leaving the world of manifolds and address the conjecture in the general context of non-positively curved metric spaces. We restrict to the class of CAT(0) cube complexes, as their geometry is both rich and well-understood. We introduce a new notion of cross ratio on their horoboundary and use it to provide a full answer to the conjecture in this setting. More precisely, we show that essential, hyperplane-essential cubulations of Gromov-hyperbolic groups are completely determined by their combinatorial length functions. One can also consider non-proper non-cocompact actions of non-hyperbolic groups, as long as the cube complexes are irreducible and have no free faces.
Joint work with J. Beyrer and M. Incerti-Medici.

Stable commutator length (scl) is a well established invariant of elements g in the commutator subgroup (write scl(g)) and has both geometric and algebraic meaning.  A group has a \emph{gap} in stable commutator length if for every non-trivial element g, scl(g) > C for some C > 0.
SCL may be interpreted as an 'algebraic translation length' and such a gap may be thus interpreted an 'algebraic injectivity radius'.
Many classes of groups have such a gap, like hyperbolic groups, mapping class groups, Baumslag-Solitar groups and graph of groups.
In this talk I will show that Right-Angled Artin Groups have the optimal scl-gap of 1/2. This yields a new invariant for the vast class of subgroups of Right-Angled Artin Groups.

Consider the asymmetric simple exclusion process with k particles on a linear lattice of N sites. I will present results on the asymptotic of the time needed for the system to reach its equilibrium distribution starting from the worst initial configuration (also called mixing time). Two main regimes appear according to the strength of the asymmetry (in terms of k and N), and in both regimes, the system displays a cutoff phenomenon: the distance to equilibrium falls abruptly from 1 to 0. This is a joint work with Hubert Lacoin (IMPA).

In this talk, we are going to talk about the Type I singularity on 4-dimensional manifolds foliated by homogeneous S3 evolving under the Ricci
flow. We review the study on rotationally symmetric manifolds done by Angenent and Isenberg as well as by Isenberg, Knopf and Sesum. In the latter, a global frame for the tangent bundle, called the Milnor frame, was used to set up the problem. We shall look at the symmetries of the manifold, derived from Lie groups and its ansatz metrics, and this global tangent bundle frame developed by Milnor and Bianchi. Numerical simulations of the Ricci flow on these manifolds are done, following the work by Garfinkle and Isenberg, providing insight and conjectures for the main problem. Some analytic results will be proven for the manifolds S1×S3 and S4 using maximum principles from parabolic PDE theory and some sufficiency conditions for a neckpinch singularity will be provided. Finally, a problem from general relativity with similar metric symmetries but endowed on a manifold with differenttopology, the Taub-Bolt and Taub-NUT metrics, will be discussed.

Symmetric spaces and lattices are important objects to model spaces in geometry and topology. They have been studied from many different viewpoints. We will concentrate on their coarse geometry view point in this talk. I will first quickly go over some well-known results about quasi-isometry of those spaces. Then I will move to the study about quasi-isometric embeddings. While results in this direction are far less complete and well-studied, there are some rigidity phenomenons still happening here.

The InFoMM CDT presents The Reddick Lecture Dr. Nira Chamberlain (Holland & Barrett) Modelling the Competition Friday, 15 February 2019 17:00- 18:00 Mathematical Institute, L1 Followed by a drinks reception

It can be argued that any market would not survive without competition. It is everywhere; you can't run away from it. Competition can cause a business to either thrive, survive or die. So one might ask, why is there a need to mathematically model the competition? Two quotes may help to answer this: "Business is a game played for fantastic stakes, and you're in competition with experts. If you want to win, you have to learn to be a master of the game" Anon. “You can't look at the competition and say you're going to do it better. You have to look at the competition and say you're going to do it differently." Steve Jobs In this talk, I wish to demonstrate how mathematical modelling can be used to "master the game" and "do things differently". I will be focusing on three real life examples: Bidding to provide service support for a complex communication asset - dynamic travelling repairman Increasing market share in the Energy Sector - Markov Chain Retail's shop Location Location Location Location - Agent Based Simulation

Mathematicians need to talk and writeabout their mathematics.  This includes undergraduates and MSc students, who may be writing a dissertation or project report, preparing a presentation on a summer research project, or preparing for a job interview.  We think that it can be helpful to think of this as a form of story telling, as this can lead to more effective communication.  For a story to be engaging you also need to know your audience.In this session, we'll discuss what we mean by telling a mathematical story, give you some top tips from our experience, and give you a chance to think about how you might put this into practice.  The session will be of relevance to all undergraduates and MSc students, not only those currently writing a dissertation or preparing an oral presentation.

There is great interest in the molecular characterisation of intestinal metaplasia, such as Barrett’s esophagus (BE), to understand the basic biology of metaplastic development from a tissue of origin. BE is asymptomatic, so it is not generally known how long a patient has lived with this precursor of esophageal adenocarcinoma (EAC) when initially diagnosed in the clinic. We previously constructed a BE clock model using patient-specific methylation data to estimate BE onset times using Bayesian inference techniques, and thus obtain the biological age of BE tissue (Curtius et al. 2016). We find such epigenetic drift to be widely evident in BE tissue (Luebeck et al. 2017) and the corresponding tissue ages show large inter-individual heterogeneity in two patient populations.               

From a basic biological mechanism standpoint, it is not fully understood how the Barrett’s tissue first forms in the human esophagus because this process is never observed in vivo, yet such information is critical to inform biomarkers of risk based on temporal features (e.g., growth rates, tissue age) reflecting the evolution toward cancer. We analysed multi-region samples from 17 BE patients to

1) measure the spatial heterogeneity in biological tissue ages, and 2) use these ages to calibrate mathematical models (agent-based and continuum) of the mechanisms for formation of the segment itself. Most importantly, we found that tissue must be regenerated nearer to the stomach, perhaps driven by wound healing caused by exposure to reflux, implying a gastric tissue of origin for the lesions observed in BE. Combining bioinformatics and mechanistic modelling allowed us to infer evolutionary processes that cannot be clinically observed and we believe there is great translational promise to develop such hybrid methods to better understand multiscale cancer data.

References:

Curtius K, Wong C, Hazelton WD, Kaz AM, Chak A, et al. (2016) A Molecular Clock Infers Heterogeneous Tissue Age Among Patients with Barrett's Esophagus. PLoS Comput Biol 12(5): e1004919

Luebeck EG, Curtius K, Hazelton WD, Made S, Yu M, et al. (2017) Identification of a key role of epigenetic drift in Barrett’s esophagus and esophageal adenocarcinoma. J Clin Epigenet 9:113

Data science has become a topic of great interest lately and has triggered new widescale research activities around efficientl first order methods for optimisation and Bayesian sampling. The National Physical Laboratory is addressing some of these challenges with particular focus on  robustness and confidence in the solution.  In this talk, I will present some problems and recent results concerning i. robust learning in the presence of outliers based on the Median of Means (MoM) principle and ii. stability of the solution in super-resolution (joint work with A. Thompson and B. Toader).

 The talk is about the normal modal logics of elementary classes defined by first-order formulas of the form
 'for all x_0 there exist x_1, ..., x_n phi(x_0, x_1, ... x_n)' with phi being a conjunction of binary atoms.
 I'll show that many properties of these logics, such as finite axiomatisability,
 elementarity,  axiomatisability by a set of canonical formulas or by a single generalised Sahlqvist formula,
 together with modal definability of the initial formula, either simultaneously hold or simultaneously do not hold.
 

The Asai (or twisted tensor) L-function attached to a Bianchi modular form is the 'restriction to the rationals' of the standard L-function. Introduced by Asai in 1977, subsequent study has linked its special values to the arithmetic of the corresponding form. In this talk, I will discuss joint work with David Loeffler in which we construct a p-adic Asai L-function -- that is, a measure on Z_p* that interpolates the critical values L^As(f,chi,1) -- for ordinary weight 2 Bianchi modular forms. We use a new method for constructing p-adic L-functions, using Kato's system of Siegel units to build a 'Betti analogue' of an Euler system, building on algebraicity results of Ghate. I will start by giving a brief introduction to p-adic L-functions and Bianchi modular forms, and if time permits, I will briefly mention another case where the method should apply, that of non-self-dual automorphic representations for GL(3).

A two-layer shear flow in the presence of surfactants is considered. The flow configuration comprises two superposed layers of viscous and immiscible fluids confined in a long horizontal channel, and characterised by different densities, viscosities and thicknesses. The surfactants can be insoluble, i.e. located at the interface between the two fluids only, or soluble in the lower fluid in the form of monomers (single molecules) or micelles (multi-molecule aggregates). A mathematical model is formulated, consisting of governing equations for the hydrodynamics and appropriate transport equations for the surfactant concentration at the interface, the concentration of monomers in the bulk fluid and the micelle concentration. A primary objective of this study is to investigate the effect of surfactants on the stability of the interface, and in particular surfactants in high concentrations and above the critical micelle concentration (CMC). Interfacial instabilities are induced due to the acting forces of gravity and inertia, as well as the action of Marangoni forces generated as a result of the dependence of surface tension on the interfacial surfactant concentration. The underlying physical mechanism responsible for the formation of interfacial waves will be discussed, together with the complex flow dynamics (typical nonlinear phenomena associated with interfacial flows include travelling waves, solitary pulses, quasi-periodic and chaotic dynamics).

I will describe a family of 2d TQFTs, due to Moore-Tachikawa, which take values in a category whose objects are Lie groups and whose morphisms are holomorphic symplectic varieties. They link many interesting aspects of geometry, such as moduli spaces of solutions to Nahm equations, hyperkähler reduction, and geometric invariant theory.

 Multiscale methods based on coupled partial differential equations defined on bulk and embedded manifolds are still poorly explored from the theoretical standpoint, although they are successfully used in applications, such as microcirculation and flow in perforated subsurface reservoirs. This work aims at shedding light on some theoretical aspects of a multiscale method consisting of coupled partial differential equations defined on one-dimensional domains embedded into three-dimensional ones. Mathematical issues arise because the dimensionality gap between the bulk and the inclusions is larger than one, named as the high dimensionality gap case. First, we show that such model derives from a system of full three-dimensional equations, by the application of a topological model reduction approach. Secondly, we rigorously analyze the problem, showing that the averaging operators applied for the model reduction introduce a regularization effect that resolves the issues due to the singularity of solutions and to the ill-posedness of restriction operators. Then, we discretize the problem by means of the finite element method and we analyze the approximation error. Finally, we exploit the structure of the model reduction technique to analyze the modeling error. This study confirms that for infinitesimally small inclusions, the modeling error vanishes.

This is a joint work with Federica Laurino, Department of Mathematics, Politecnico di Milano.

In this talk, we study the long time behaviour of a cloud of weakly interacting Brownian particles, conditionally on the observation of their initial and final configuration. In particular, we connect this problem, which may be regarded as a nonlinear version of the Schrödinger problem, to the study of the long time behaviour of Mean Field Games. Combining tools from optimal transport and stochastic control we prove convergence towards the equilibrium configuration and establish convergence rates. A key ingredient to derive these results is a new functional inequality, which generalises Talagrand’s inequality to the entropic transportation cost.

A stacking is a lift of an immersion of graphs $A\to B$ to an embedding of $A$ into the product of $B$ with the real line; their existence relates to orderability properties of groups. I will describe how Louder and Wilton used them to prove Wise's "$w$-cycles" conjecture: given a primitive word $w$ in a free group $F$, and a subgroup $H < F$, the number of conjugates of $H$ which intersect $<w>$ nontrivially is at most rank($H$). I will also discuss applications of the result to questions of coherence, and possible extensions of it.

The Grothendieck ring of varieties over a field is a simple idea that formalizes various cut-and-paste arguments in algebraic geometry. We will explain how this intuitive construction leads to nontrivial results, such as computing Euler characteristics, counting points of varieties over finite fields, and determining Hodge numbers. As an example, we will investigate cubic hypersurfaces, especially the varieties parametrizing lines on them. If time permits, we will discuss some of the stranger properties of the Grothendieck ring.

We study random (simple) graphs with given vertex degrees, in the sparse case where the average degree is bounded. Assume also that the second moment of the vertex degree is bounded. The standard method then is to use the configuration model to construct a random multigraph and condition it on
being simple.

This works well for results of the type that something holds with high probability, or that something converges in probability, but it does not immediately apply to convergence in distribution, for example asymptotic normality. (Although this has been done by special arguments in a couple of cases, by Janson and Luczak and by Riordan.) A typical example is the recent result by Barbour and Röllin on asymptotic normality of the size of the giant component of the multigraph (in the supercritical case); it is an obvious conjecture that the same results hold for the random simple graph.

We discuss two new approaches to this, both based on old methods. Both apply to the size of the giant component, using rather minor special arguments.

One approach uses the method of moments to obtain joint convergence of the variable of interest together with the numbers of loops and multiple edges
in the  multigraph.

The other approach uses switchings to modify the multigraph and construct a simple graph. This simple random graph will not have a uniform distribution,
but almost, and this is good enough.

The idea of adjusting prices in order to sell goods at the highest acceptable price, such as haggling in a market, is as old as money itself. We consider the problem of pricing multiple products on a network of resources, such as that faced by an airline selling tickets on its flight network. In this talk I will consider various optimization relaxations to the deterministic dynamic pricing problem on a network. This is joint work with Raphael Hauser.

In the 1990s Moy and Prasad revolutionized the representation theory of p-adic groups by showing how to use Bruhat-Tits theory to assign invariants to representations of p-adic groups. The tools they introduced resulted in rapid advancements in both representation theory and harmonic analysis -- areas of central importance in the Langlands program. A crucial ingredient for many results is an explicit construction of (types for) representations of p-adic groups. In this talk I will indicate why, survey what constructions are known (no knowledge about p-adic groups assumed) and present recent developments based on a refinement of Moy and Prasad's invariants.​

In recent years, there has been an increased interest in exploiting rank structure of matrices arising from the discretization of partial differential equations to develop fast direct solvers. In this talk, I will outline the fundamental ideas of this topic in the context of solving the integral equation formulation of the Helmholtz equation, known as the Lippmann-Schwinger equation, and will discuss some plans for future work to develop new, higher-order solvers. This is joint work with Gunnar Martinsson.

We propose a novel class of network models for temporal dyadic interaction data. Our objective is to capture important features often observed in social interactions: sparsity, degree heterogeneity, community structure and reciprocity. We use mutually-exciting Hawkes processes to model the interactions between each (directed) pair of individuals. The intensity of each process allows interactions to arise as responses to opposite interactions (reciprocity), or due to shared interests between individuals (community structure). For sparsity and degree heterogeneity, we build the non time dependent part of the intensity function on compound random measures following (Todeschini et al., 2016). We conduct experiments on real- world temporal interaction data and show that the proposed model outperforms competing approaches for link prediction, and leads to interpretable parameters.

Link to paper: https://papers.nips.cc/paper/7502-modelling-sparsity-heterogeneity-reci…

 I will give a short survey on classical inequalities for Laplace eigenvalues, tell about related history and questions. I will then discuss the so-called Korevaar method, and new results generalising to higher eigenvalues a number of classical inequalities known for the first Laplace eigenvalue only. 

In his famous book on partial differential relations Gromov formulates an exercise concerning local deformations of solutions to open partial differential relations. We will explain the content of this fundamental assertion and sketch a proof. 

In the sequel we will apply this to extend local deformations of closed $G_2$ structures, and to construct 
$C^{1,1}$-Riemannian metrics which are positively curved "almost everywhere" on arbitrary manifolds. 

This is joint work with Christian Bär (Potsdam).

We consider Brownian motion with Kato class measure-valued drift.   A small time large deviation principle and a Varadhan type asymptotics for the Brownian motion with singular drift are established. We also study the existence and uniqueness of the associated Dirichlet boundary value problems.

We first give a short introduction to analysis and stochastic processes on fractal state spaces and the typical difficulties involved.

We then discuss gradient operators and semilinear PDE. They are used to formulate the main result which establishes the hydrodynamic limit of the weakly asymmetric exclusion process on the Sierpinski gasket in the form of a law of large numbers for the particle density. We will explain some details and, if time permits, also sketch a corresponding large deviations principle for the symmetric case.

Roughly speaking, a commutative-by-finite Hopf algebra is a Hopf
algebra which is an extension of a commutative Hopf algebra by a
finite dimensional Hopf algebra.
There are many big and significant classes of such algebras
(beyond of course the commutative ones and the finite dimensional ones!).
I'll make the definition precise, discuss examples
and review results, some old and some new.
No previous knowledge of Hopf algebras is necessary.
 

For a polynomial $h(x)$ in $F[x]$, where $F$ is any field, let $A$ be the
$F$-algebra given by generators $x$ and $y$ and relation $[y, x]=h$.
This family of algebras include the Weyl algebra, enveloping algebras of
$2$-dimensional Lie algebras, the Jordan plane and several other
interesting subalgebras of the Weyl algebra.

In a joint work in progress with Samuel Lopes, we computed the Hochschild
cohomology $HH^*(A)$ of $A$ and determined explicitly the Gerstenhaber
structure of $HH^*(A)$, as a Lie module over the Lie algebra $HH^1(A)$.
In case $F$ has characteristic $0$, this study has revealed that $HH^*(A)$
has finite length as a Lie module over $HH^1(A)$ with pairwise
non-isomorphic composition factors and the latter can be naturally
extended into irreducible representations of the Virasoro algebra.
Moreover, the whole action can be understood in terms of the partition
formed by the multiplicities of the irreducible factors of the polynomial
$h$.
 

Ice streams are fast flowing regions of ice that generally slide over a layer of unconsolidated, water-saturated subglacial sediment known as till.  A striking feature that has been observed geophysically is that subglacial till has been found to accumulate distinctively into sedimentary wedges at the grounding zones (regions where ice sheets begin to detach from the bedrock to form freely floating ice shelves) of both past and present-day ice sheets. These grounding-zone wedges have important implications for ice-sheet stability against grounding zone retreat in response to rising sea levels, and their origins have remained a long-standing question. Using a combination of mathematical modelling, a series of laboratory experiments, field data and numerical simulations, we develop a fluid-mechanical model that explains the mechanism of the formation of these sedimentary wedges in terms of the loading and unloading of deformable till in three dynamical regimes. We also undertake a series of analogue laboratory experiments, which reveal that a similar wedge of underlying fluid accumulates spontaneously in experimental grounding zones, we formulate local conditions relating wedge slopes in each of the scenarios and compare them to available geophysical radargram data at the well lubricated, fast-flowing Whillans Ice Stream.

Mathematical biology has grown enormously over the past 40 years and has changed considerably. At first, biology inspired mathematicians to come up with models that could, at an abstract level, "explain" biological phenomena - one of the most famous being Alan Turing's model for biological pattern formation. However, with the enormous recent advances in biotechnology and computation, the field is now truly inter- and multi-disciplinary. We shall discuss the changing role mathematics is playing in applications to biology and medicine.