Past

The classical Ingham-Karamata Tauberian theorem has many applications in different fields of mathematics, varying from number theory to $C_0$-semigroup theory and is considered to be one of the most important Tauberian theorems. We will discuss how to obtain remainder estimates in the theorem if one strengthens the assumptions on the Laplace transform. Moreover, we will give new (re­mainder) versions of this theorem under the more general one-sided Tauberian condition of $\rho(x) \ge −f(x)$ where $f$ is an arbitrary function satisfying some regularity assumptions. The talk is based on collaborative work with Jasson Vindas.

We discuss the connections and differences between the ZFC set theory and univalent foundations and answer the above question in the negative.
 

The birth of fixed-wing, powered flight in the first decade of the twentieth century brought with it significant potential for pilots to return to Earth by unintended, often fatal, means. I will discuss the nature of the contemporary mathematical and engineering debates associated with these facets of flight, and the practical steps taken to facilitate safer aircraft and more robust operating procedures.

I will introduce a cohomology theory which combines topological and algebraic concepts. Interpretations of certain cohomology groups will be given. We also generalise the construction of the second Stiefel-Whitney class of a line bundle. As I will explain in my talk, the refined Stiefel-Whitney class of the canonical bundle on certain moduli stacks provides an obstruction for the construction of cohomological Hall algebras.

The edge isoperimetric problem for a graph G is to find, for each n, the minimum number of edges leaving any set of n vertices.  Exact solutions are known only in very special cases, for example when G is the usual cubic lattice on Z^d, with edges between pairs of vertices at l_1 distance 1.  The most attractive open problem was to answer this question for the "strong lattice" on Z^d, with edges between pairs of vertices at l_infty distance 1.  Whilst studying this question we in fact solved the edge isoperimetric problem asymptotically for every Cayley graph on Z^d.  I'll talk about how to go from the specification of a lattice to a corresponding near-optimal shape, for both this and the related vertex isoperimetric problem, and sketch the key ideas of the proof. Joint work with Joshua Erde.

The design of shapes that are in some sense optimal is a task faced by engineers in a wide range of disciplines. In shape optimisation one aims to improve a given initial shape by iteratively deforming it - if the shape is represented by a mesh, then this means that the mesh has to deformed. This is a delicate problem as overlapping or highly stretched meshes lead to poor accuracy of numerical methods.

In the presented work we consider a novel mesh deformation method motivated by the Riemannian mapping theorem and based on conformal mappings.

Pseudo-reductive groups are smooth connected linear algebraic groups over a field k whose k-defined unipotent radical is trivial. If k is perfect then all pseudo-reductive groups are reductive, but if k is imperfect (hence of characteristic p) then one gets a strictly larger collection of groups. They come up in a number of natural situations, not least when one wishes to say something about the simple representations of all smooth connected linear algebraic groups. Recent work by Conrad-Gabber-Prasad has made it possible to reduce the classification of the simple representations of pseudo-reductive groups to the split reductive case. I’ll explain how. This is joint work with Mike Bate.

Time parallelisation techniques provide an additional direction for the parallelisation of the solution of time-dependent PDEs or of systems of ODEs. In particular, the Parareal algorithm has imposed itself as the canonical choice to achieve parallelisation in time, also because of its simplicity and flexibility. The algorithm works by splitting the time domain in chunks, and iteratively alternating a prediction step (parallel), in which a "fine" solver is employed to achieve a high-accuracy solution within each chunk, to a correction step (serial) where a "coarse" solver is used to quickly propagate the update between the chunks. However, the stability of the method has proven to be highly sensitive to the choice of fine and coarse solver, even more so when applied to chaotic systems or advection-dominated problems.

In this presentation, an alternative formulation of Parareal is discussed. This aims to conduct the update by estimating directly the sensitivity of the solution of the integration with respect to the initial conditions, thus eliminating altogether the necessity of choosing the most apt coarse solver, and potentially boosting its convergence properties.

 

This will be a quick introduction to tropical algebra and the main results from the paper https://arxiv.org/pdf/1604.00113.pdf

Many species of insects adhere to vertical and inverted surfaces using footpads that secrete thin films of a mediating fluid. The fluid bridges the gap between the foot and the target surface. The precise role of this liquid is still subject to debate, but it is thought that the contribution of surface tension to the adhesive force may be significant. It is also known that the footpad is soft, suggesting that capillary forces might deform its surface. Inspired by these physical ingredients, we study a model problem in which a thin, deformable membrane under tension is adhered to a flat, rigid surface by a liquid droplet. We find that there can be multiple possible equilibrium states, with the number depending on the applied tension and aspect ratio of the system. The presence of elastic deformation significantly enhances the adhesion force compared to a rigid footpad. A mathematical model shows that the equilibria of the system can be controlled via two key parameters depending on the imposed separation of the foot and target surface, and the tension applied to the membrane. We confirm this finding experimentally and show that the system may transition rapidly between two states as the two parameters are varied. This suggests that different strategies may be used to adhere strongly and then detach quickly.

Temporal networks are increasingly being used to model the interactions of complex systems. 
Most studies require the temporal aggregation of edges (or events) into discrete time steps to perform analysis.
In this article we describe a static, behavioural representation of a temporal network, the temporal event graph (TEG).
The TEG describes the temporal network in terms of both inter-event time and two-event temporal motifs.
By considering the distributions of these quantities in unison we provide a new method to characterise the behaviour of individuals and collectives in temporal networks as well as providing a natural decomposition of the network.
We illustrate the utility of the TEG by providing examples on both synthetic and real temporal networks.

We consider two-dimensional chiral, first-order conformal field theories governing maps from the Riemann sphere to the projective light cone inside Minkowski space -- the natural setting for describing conformal field theories in two fewer dimensions. These theories have a SL(2) algebra of local bosonic constraints which can be supplemented by additional fermionic constraints depending on the matter content of the theory. By computing the BRST charge associated with gauge fixing these constraints, we find anomalies which vanish for specific target space dimensions. These critical dimensions coincide precisely with those for which (biadjoint) cubic scalar theory, gauge theory and gravity are classically conformally invariant. Furthermore, the BRST cohomology of each theory contains vertex operators for the full conformal multiplets of single field insertions in each of these space-time CFTs. We give a prescription for the computation of three-point functions, and compare our formalism with the scattering equations approach to on-shell amplitudes.

I will report on a joint project with Frank Swenton whose goal is to develop an algorithm to determine whether an alternating knot is ribbon.  We can’t do this yet but we have an algorithm that has been remarkably, and indeed mysteriously, successful in finding a great deal of new slice knots.

There is a deep connection between the stability of oil rigs, the bending of light during gravitational lensing and the act of life drawing. To understand each, we must understand how we view curved surfaces. We are familiar with the language of straight-line geometry – of squares, rectangles, hexagons - but curves also have a language – of folds, cusps and swallowtails - that few of us know.

Allan will explain how the key to understanding the language of curves is René Thom’s Catastrophe Theory, and how – remarkably – the best place to learn that language is perhaps in the life drawing class. Sharing its title with Allan's new book, the talk will wander gently across mathematics, physics, engineering, biology and art, but always with a focus on curves.

Warning: this talk contains nudity.

Allan McRobie is Reader in Engineering, University of Cambridge

Please email @email to register

We prove that for closed surfaces of fixed topological type, orientable or non-orientable, there exists a unit volume metric, smooth away from finitely many conical singularities, that
maximizes the first eigenvalue of the Laplace operator among all unit volume metrics. The key ingredient are several monotonicity results, which have partially been conjectured to hold before. This
is joint work with Henrik Matthiesen.

The Monster Lie algebra m, which admits an action of the Monster finite simple group M, was constructed by Borcherds as part of his program to solve the Conway-Norton conjecture about the representation theory of M. We associate the analog of a Lie group G(m) to the Monster Lie algebra m. We give generators for large free subgroups and we describe relations in G(m).

Abstract: Butcher’s B-series is a fundamental tool in analysis of numerical integration of differential equations. In the recent years algebraic and geometric understanding of B-series has developed dramatically. The interplay between geometry, algebra and computations reveals new mathematical landscapes with remarkable properties. 

The shuffle Hopf algebra,  which is fundamental in Lyons’s groundbreaking work on rough paths,  is based on Lie algebras without additional properties.  Pre-Lie algebras and the Connes-Kreimer Hopf algebra are providing algebraic descriptions of the geometry of Euclidean spaces. This is the foundation of B-series and was used elegantly in Gubinelli’s theory of Branched Rough Paths. 
Lie-Butcher theory combines Lie series with B-series in a unified algebraic structure based on post-Lie algebras and the MKW Hopf algebra, which is giving algebraic abstractions capturing the fundamental geometrical properties of Lie groups, homogeneous spaces and Klein geometries. 

In these talks we will give an introduction to these new algebraic structures. Building upon the works of Lyons, Gubinelli and Hairer-Kelly, we will present a new theory for rough paths on homogeneous spaces built upon the MKW Hopf algebra.

Joint work with: Charles Curry and Dominique Manchon

Abstract: Butcher’s B-series is a fundamental tool in analysis of numerical integration of differential equations. In the recent years algebraic and geometric understanding of B-series has developed dramatically. The interplay between geometry, algebra and computations reveals new mathematical landscapes with remarkable properties. 

The shuffle Hopf algebra,  which is fundamental in Lyons’s groundbreaking work on rough paths,  is based on Lie algebras without additional properties.  Pre-Lie algebras and the Connes-Kreimer Hopf algebra are providing algebraic descriptions of the geometry of Euclidean spaces. This is the foundation of B-series and was used elegantly in Gubinelli’s theory of Branched Rough Paths. 
Lie-Butcher theory combines Lie series with B-series in a unified algebraic structure based on post-Lie algebras and the MKW Hopf algebra, which is giving algebraic abstractions capturing the fundamental geometrical properties of Lie groups, homogeneous spaces and Klein geometries. 

In these talks we will give an introduction to these new algebraic structures. Building upon the works of Lyons, Gubinelli and Hairer-Kelly, we will present a new theory for rough paths on homogeneous spaces built upon the MKW Hopf algebra.

Joint work with: Charles Curry and Dominique Manchon

A generic surface homeomorphism (up to isotopy) is what we call it pseudo-Anosov. These maps come equipped with an algebraic integer that measures
how much the map stretches/shrinks in different direction, called the stretch factor. Given a surface homeomorsphism, one can ask if it is the lift (by a branched or unbranched cover) of another homeomorphism on a simpler surface possibly of small genus. Farb conjectured that if the algebraic degree of the stretch factor is bounded above, then the map can be obtained by lifting another homeomorphism on a surface of bounded genus.
This was known to be true for quadratic algebraic integers by a Theorem of Franks-Rykken. We construct counterexamples to Farb's conjecture.

Any four dimensional N=2 superconformal field theory (SCFT) contains a subsector of local operator which is isomorphic to a two dimensional chiral algebra.  If the 4d theory possesses N= 4 superconformal symmetry, the corresponding chiral algebra is an extension of the (small) N=4 super-Virasoro algebra.  In this talk I  will present some results on the classification of N=4 chiral algebras and discuss the conditions they should satisfy in order to correspond to a 4d theory. 
 

Hypoxia, i.e. a reduction in dissolved oxygen concentration below physiologically normal levels, has been identified as playing a critical role
in the progression of many types of disease and as a key determinant of the success of cancer treatment. It poses a particular challenge for treatments
such as radiotherapy, photodynamic and sonodynamic therapy which rely on the production of reactive oxygen species. Strategies for treating hypoxia have
included the development of hypoxia-selective drugs as well as methods for directly increasing blood oxygenation, e.g. hyperbaric oxygen therapy, pure
oxygen or carbogen breathing, ozone therapy, hydrogen peroxide injections and administration of suspensions of oxygen carrier liquids. To date, however,
these approaches have delivered limited success either due to lack of proven efficacy and/or unwanted side effects. Gas microbubbles, stabilised by a
biocompatible shell have been used as ultrasound contrast agents for several decades and have also been widely investigated as a means of promoting drug
delivery. This talk will present our recent research on the use of micro and nanobubbles to deliver both drug molecules and oxygen simultaneously to a
tumour to facilitate treatment.

Laura Capuano's talk 'Pell equations and continued fractions in number theory'

The classical Pell equation has an extraordinary long history and it is very useful in many different areas of number theory. For example, they given a way to write a prime congruent to 1 modulo 4 as a sum of two squares, or they can also be used to break RSA excryption when the decription key is too small. In this talk, I will present some properties of this wonderful equation and its relation with continued fractions. I will also treat the case of Pell equations in other contexts, such as the ring of polynomials, showing the differences with the classical case. 

Noemi Picco's talk 'Cortical neurogenesis: how humans (and mathematicians) can do more than macaque, with less'

The cerebral cortex is perhaps the crowning achievement of evolution and is the region of the brain that distinguishes us from other species. Studying the developmental programmes that generate cortices of different sizes and neuron counts, is the key to understanding both brain evolution and disease. I will show what mathematical modeling has to say about cortex evolution, when data resolution is poor. I will then discuss why humans are so special in the way they create their cortex, and how we are just like everybody else in many other aspects of brain development.

The fourth QBIOX Colloquium will take place in the Mathematical Institute on Friday 10th November (5th week) and feature talks from Professor Paul Riley (Department of Pathology, Anatomy and Genetics / BHF Oxbridge Centre for Regenerative Medicine, https://www.dpag.ox.ac.uk/research/riley-group) and Professor Eleanor Stride (Institute of Biomedical Engineering, http://www.ibme.ox.ac.uk/research/non-invasive-therapy-drug-delivery/pe…).

1600-1645 - Paul Riley, "Enroute to mending broken hearts".
1645-1730 - Eleanor Stride, "Reducing tissue hypoxia for cancer therapy".
1730-1800 - Networking and refreshments.

We very much hope to see you there. As ever, tickets are not necessary, but registering to attend will help us with numbers for catering.
Please see the following link for further details and a link to register.
https://www.eventbrite.co.uk/e/qbiox-colloquium-michelmas-term-2017-tic…

Abstracts
Paul Riley - "En route to mending broken hearts".
We adopt the paradigm of understanding how the heart develops during pregnancy as a first principal to inform on adult heart repair and regeneration. Our target for cell-based repair is the epicardium and epicardium-derived cells (EPDCs) which line the outside of the forming heart and contribute vascular endothelial and smooth muscle cells to the coronary vasculature, interstitial fibroblasts and cardiomyocytes. The epicardium can also act as a source of signals to condition the growth of the underlying embryonic heart muscle. In the adult heart, whilst the epicardium is retained, it is effectively quiescent. We have sought to extrapolate the developmental potential of the epicardium to the adult heart following injury by stimulating dormant epicardial cells to give rise to new muscle and vasculature. In parallel, we seek to modulate the local environment into which the new cells emerge: a cytotoxic mixture of inflammation and fibrosis which prevents cell engraftment and integration with survived heart tissue. To this end we manipulate the lymphatic vessels in the heart given that, elsewhere in the body, the lymphatics survey the immune system and modulate inflammation at peripheral injury sites. We recently described the development of the cardiac lymphatic vasculature and revealed in the adult heart that they undergo increased vessel sprouting (lymphangiogenesis) in response to injury, to improve function, remodelling and fibrosis. We are currently investigating whether increased lymphangiogenesis functions to clear immune cells and constrain the reparative response for optimal healing. 

Eleanor Stride - "Reducing tissue hypoxia for cancer therapy"
Hypoxia, i.e. a reduction in dissolved oxygen concentration below physiologically normal levels, has been identified as playing a critical role in the progression of many types of disease and as a key determinant of the success of cancer treatment. It poses a particular challenge for treatments such as radiotherapy, photodynamic and sonodynamic therapy which rely on the production of reactive oxygen species. Strategies for treating hypoxia have included the development of hypoxia-selective drugs as well as methods for directly increasing blood oxygenation, e.g. hyperbaric oxygen therapy, pure oxygen or carbogen breathing, ozone therapy, hydrogen peroxide injections and administration of suspensions of oxygen carrier liquids. To date, however, these approaches have delivered limited success either due to lack of proven efficacy and/or unwanted side effects. Gas microbubbles, stabilised by a biocompatible shell have been used as ultrasound contrast agents for several decades and have also been widely investigated as a means of promoting drug delivery. This talk will present our recent research on the use of micro and nanobubbles to deliver both drug molecules and oxygen simultaneously to a tumour to facilitate treatment.

We adopt the paradigm of understanding how the heart develops during pregnancy as a first principal to inform on adult heart repair and regeneration. Our target for cell-based repair is the epicardium and epicardium-derived cells (EPDCs) which line the outside of the forming heart and contribute vascular endothelial and smooth muscle cells to the coronary vasculature, interstitial fibroblasts and cardiomyocytes. The epicardium can also act as a source of signals to condition the growth of the underlying embryonic heart muscle. In the adult heart, whilst the epicardium is retained, it is effectively quiescent. We have sought to extrapolate the developmental potential of the epicardium to the adult heart following injury by stimulating dormant epicardial cells to give rise to new muscle and vasculature. In parallel, we seek to modulate the local environment into which the new cells emerge: a cytotoxic mixture of inflammation and fibrosis which prevents cell engraftment and integration with survived heart tissue. To this end we manipulate the lymphatic vessels in the heart given that, elsewhere in the body, the lymphatics survey the immune system and modulate inflammation at peripheral injury sites. We recently described the development of the cardiac lymphatic vasculature and revealed in the adult heart that they undergo increased vessel sprouting (lymphangiogenesis) in response to injury, to improve function, remodelling and fibrosis. We are currently investigating whether increased lymphangiogenesis functions to clear immune cells and constrain the reparative response for optimal healing.