Past

Stevenhagen conjectured that the density of d such that the negative Pell equation x^2-dy^2=-1 is solvable over the integers is 58.1% (to the nearest tenth of a percent), in the set of positive squarefree integers having no prime factors congruent to 3 modulo 4. In joint work with Peter Koymans, Djordjo Milovic, and Carlo Pagano, we use a recent breakthrough of Smith to prove that the infimum of this density is at least 53.8%, improving previous results of Fouvry and Klüners, by studying the distribution of the 8-rank of narrow class groups of quadratic number fields.

The problem of a bubble moving steadily in a Hele-Shaw cell goes back to Taylor and Saffman in 1959.  It is analogous to the well-known selection problem for Saffman-Taylor fingers in a Hele-Shaw channel.   We apply techniques in exponential asymptotics to study the bubble problem in the limit of vanishing surface tension, confirming previous numerical results, including a previously predicted surface tension scaling law.  Our analysis sheds light on the multiple tips in the shape of the bubbles along solution branches, which appear to be caused by switching on and off exponentially small wavelike contributions across Stokes lines in a conformally mapped plane. 

In the talk we will define higher K-groups, and explain some of their relations to number theory

We present some regularity estimates for viscosity solutions to a class of possible degenerate and singular integro-differential equations whose leading operator switches between two different types of fractional elliptic phases, according to the zero set of a modulating coefficient a = a(·, ·). The model case is driven by the following nonlocal double phase operator,

$$\int \frac{|u(x) − u(y)|^{p−2} (u(x) − u(y))} {|x − y|^{n+sp}} dy+ \int a(x, y) \frac{|u(x) − u(y)|^{ q−2} (u(x) − u(y))} {|x − y|^{n+tq}} dy$$

where $q ≥ p$ and $a(·, ·) = 0$. Our results do also apply for inhomogeneous equations, for very general classes of measurable kernels. By simply assuming the boundedness of the modulating coefficient, we are able to prove that the solutions are Hölder continuous, whereas similar sharp results for the classical local case do require a to be Hölder continuous. To our knowledge, this is the first (regularity) result for nonlocal double phase problems.

   It is a long-standing open problem whether the ring of integers Z has an existential first-order definition in Q, the field of rational numbers. A few years ago, Jochen Koenigsmann proved that Z has a universal first-order definition in Q, building on earlier work by Bjorn Poonen. This result was later generalised to number fields by Jennifer Park and to global function fields of odd characteristic by Kirsten Eisenträger and Travis Morrison, who used classical machinery from number theory and class field theory related to the behaviour of quaternion algebras over global and local fields.

   In this talk, I will sketch a variation on the techniques used to obtain the aforementioned results. It allows for a relatively short and uniform treatment of global fields of all characteristics that is significantly less dependent on class field theory. Instead, a central role is played by Hilbert's Reciprocity Law for quaternion algebras. I will conclude with an example of a non-global set-up where the existence of a reciprocity law similarly yields universal definitions of certain subrings.

Knotoids are a generalisation of knots that deals with open curves. In the past few years, they’ve been extensively used to classify entanglement in proteins. Through a double branched cover construction, we prove a 1-1 correspondence between knotoids and strongly invertible knots. We characterise forbidden moves between knotoids in terms of equivariant band attachments between strongly invertible knots, and in terms of crossing changes between theta-curves. Finally, we present some applications to the study of the topology of proteins. This is based on joint works with D.Buck, H.A.Harrington, M.Lackenby and with D. Goundaroulis.

Finitely presented groups are a natural algebraic generalisation of the collection of finite groups. Unlike the finite case there is almost no hope of any kind of classification.

The goal of random groups is therefore to understand the properties of the "typical" finitely presented group. I will present a couple of models for random groups and survey some of the main theorems and open questions in the area, demonstrating surprising correlations between these probabilistic models, geometry and analysis.

The hard Lefschetz theorem is a fundamental statement about the symmetry of the cohomology of algebraic varieties. In nearly all cases that we systematically understand it, it comes with a geometric meaning, often in form of Hodge structures and signature data for the Hodge-Riemann bilinear form.

Nevertheless, similar to the role the standard conjectures play in number theory, several intriguing combinatorial problems can be reduced to hard Lefschetz properties, though in extreme cases without much geometric meaning, lacking any existence of, for instance,  an ample cone to do Hodge theory with.

I will present a way to prove the hard Lefschetz theorem in such a situation, by introducing biased pairing and perturbation theory for intersection rings. The price we pay is that the underlying variety, in a precise sense, has itself to be sufficiently generic. For instance, we shall see that any quasismooth, but perhaps nonprojective toric variety can be "perturbed" to a toric variety with the same equivariant cohomology, and that has the hard Lefschetz property.

Finally, I will discuss how this applies to prove some interesting theorems in geometry, topology and combinatorics. In particular, we shall see a generalization of a classical result due to Descartes and Euler: We prove that if a simplicial complex embeds into euclidean 2d-space, the number of d-simplices in it can exceed the number of (d-1)-simplices by a factor of at most d+2.

We consider estimation of ordinary differential equation (ODE) models from noisy observations. For this problem, one conventional approach is to fit numerical solutions (e.g., Euler, Runge–Kutta) of ODEs to data. However, such a method does not account for the discretization error in numerical solutions and has limited estimation accuracy. In this study, we develop an estimation method that quantifies the discretization error based on data. The key idea is to model the discretization error as random variables and estimate their variance simultaneously with the ODE parameter. The proposed method has the form of iteratively reweighted least squares, where the discretization error variance is updated with the isotonic regression algorithm and the ODE parameter is updated by solving a weighted least squares problem using the adjoint system. Experimental results demonstrate that the proposed method improves estimation accuracy by accounting for the discretization error in a data-driven manner. This is a joint work with Yuto Miyatake (Osaka University).

In this talk, I will report about a joint work with D. Ciubotaru, in which we investigate the Dunkl version of the classical Howe-duality (O(k),spo(2|2)). Similar Fischer-type decompositions were studied before in the works of Ben-Said, Brackx, De Bie, De Schepper, Eelbode, Orsted, Soucek and Somberg for other Howe-dual pairs. Our work builds on the notion of a Dirac operator for Drinfeld algebras introduced by Ciubotaru, which was inspired by the analogous theory for Lie algebras, as well as the work of Cheng and Wang on classical Howe dualities.

A mechanism is described to symmetrize the ultraspherical spectral method for self-adjoint problems. The resulting discretizations are symmetric and banded. An algorithm is presented for an adaptive spectral decomposition of self-adjoint operators. Several applications are explored to demonstrate the properties of the symmetrizer and the adaptive spectral decomposition.

Topology optimisation finds the optimal material distribution of a fluid or solid in a domain, subject to PDE and volume constraints. There are many formulations and we opt for the density approach which results in a PDE, volume and inequality constrained, non-convex, infinite-dimensional optimisation problem without a priori knowledge of a good initial guess. Such problems can exhibit many local minima or even no minima. In practice, heuristics are used to obtain the global minimum, but these can fail even in the simplest of cases. In this talk, we will present an algorithm that solves such problems and systematically discovers as many of these local minima as possible along the way.

This talk will explain how Lie polynomials underpin the structure of the so-called double copy relationship between gauge and gravity theories (and a network of other theories besides).  ABHY have recently shown that Lie polynomials arise naturally also in the geometry of the space K_n of momentum invariants, Mandelstams, and can be expressed in the space of n-3-forms dual to certain associahedral (n-3)-planes. They also arise in the moduli space M_{0,n} of n points on a Riemann sphere up to Mobius transformations in the n-3-dimensional homology.  The talk goes on to give a natural correspondendence between K_n and the cotangent bundle of M_{0.n} through which the relationships of some of these structures can be expressed.  This in particular gives a natural framework for expressing the CHY and ambitwistor-string formulae for scattering amplitudes of gauge and gravity theories and goes some way to expressing their double copy relations.   This is part of joint work in progress with Hadleigh Frost.

We aim to generate gene coexpression networks from gene expression data. In our networks, nodes represent genes and edges depict high positive correlation in their expression across different samples. Methods based on Pearson correlation are the most commonly used to generate gene coexpression networks. We propose the use of distance correlation as an effective alternative to Pearson correlation when constructing gene expression networks. Our methodology pipeline includes a thresholding step which allows us to discriminate which pairs of genes are coexpressed. We select the value of the threshold parameter by studying the stability of the generated network, rather than relying on exogenous biological information known a priori.

Charles Babbage (1791–1871) was Lucasian Professor of mathematics in Cambridge from 1828–1839. He displayed a fertile curiosity that led him to study many contemporary processes and problems in a way which emphasised an analytic, data driven view of life.

In popular culture Babbage has been celebrated as an anachronistic Victorian engineer. In reality, Babbage is best understood as a figure rooted in the enlightenment, who had substantially completed his core investigations into 'mechanisation of thought' by the mid 1830s: he is thus an anachronistic Georgian: the construction of his first difference engine design is contemporary with the earliest public railways in Britain.

A fundamental question that must strike anybody who examines Babbage's precocious designs is: how could one individual working alone have synthesised a workable computer design, designing an object whose complexity of behaviour so far exceeded that of contemporary machines that it would not be matched for over a hundred years?

We shall explore the extent to which the answer lies in the techniques Babbage developed to reason about complex systems. His Notation which shows the geometry, timing, causal chains and the abstract components of his machines, has a direct parallel in the Hardware Description Languages developed since 1975 to aid the design of large scale electronics. In this presentation, we shall provide a basic tutorial on Babbage's notation showing how his concepts of 'pieces' and 'working points' effectively build a graph in which both parts and their interactions are represented by nodes, with edges between part-nodes and interaction-nodes denoting ownership, and edges between interaction-nodes denoting the transmission of forces between individual assemblies within a machine. We shall give examples from Babbage's Difference Engine 2 for which a complete set of notations was drawn in 1849, and compare them to a design of similar complexity specified in 1987 using the Inmos HDL.

L-functions have become a vital part of modern number theory over the past century, allowing comparisons between arithmetic objects with seemingly very different properties. In the first part of this talk, I will give an overview of where they arise, their properties, and the mathematics that has developed in order to understand them. In the second part, I will give a sketch of the beautiful result of Herbrand-Ribet concerning the arithmetic interpretations of certain special values of the Riemann zeta function, the prototypical example of an L-function.

The AO-model describes crystalline solids in the presence of defects like dislocation lines. We demonstrate that the model supports low-energy structures like grains and determine for simple geometries the grain boundary energy density. At small misorientation angles we recover the well-known Read-Shockley law. Due to the atomistic nature of the model it is possible to consider the the Boltzmann-Gibbs distribution at non-zero temperature. Using ideas by Froehlich and Spencer we prove rigorously the presence of long-range order if the temperature is sufficiently small.
 

We consider the coordinate-iterated-integral as an algebraic product on the shuffle algebra, called the (right) half-shuffle product. Its anti-symmetrization defines the biproduct  area(.,.), interpretable as the signed-area between two real-valued coordinate paths. We consider specific sets of binary, rooted trees known as Hall sets. These set have a complex combinatorial structure, which can be almost entirely circumvented by introducing the equivalent notion of Lazard sets. Using analytic results from dynamical systems and algebraic results from the theory of Lie algebras, we show that shuffle-polynomials in areas-of-areas on Hall trees generate the shuffle algebra.

We construct a cellular decomposition of the
Axelrod-Singer-Fulton-MacPherson compactification of the configuration
spaces in the plane, that is compatible with the operad composition.
Cells are indexed by trees with bi-coloured edges, and vertices are labelled by 
cells of the cacti operad. This answers positively a conjecture stated in 
2000 by Kontsevich and Soibelman.

This paper evaluates the effect of market integration on prices and welfare, in a model where two Lucas trees grow in separate regions with similar investors. We find equilibrium asset price dynamics and welfare both in segmentation, when each region holds its own asset and consumes its dividend, and in integration, when both regions trade both assets and consume both dividends. Integration always increases welfare. Asset prices may increase or decrease, depending on the time of integration, but decrease on average. Correlation in assets' returns is zero or negative before integration, but significantly positive afterwards, explaining some effects commonly associated with financialization.

The aim of this talk is to describe joint work with Gergely Berczi using a recent extension to non-reductive actions of geometric invariant theory, and its links with moment maps in symplectic geometry, to study hyperbolicity of generic hypersurfaces in a projective space. Using intersection theory for non-reductive GIT quotients applied to  compactifications of bundles of invariant jet differentials over complex manifolds leads to a proof of the Green-Griffiths-Lang conjecture for a generic projective hypersurface of dimension n whose degree is greater than n^6. A recent result of Riedl and Yang then implies the Kobayashi conjecture for generic hypersurfaces of degree greater than (2n-1)^6.

We consider CFTs with large gap in the spectrum of operators and a large number of degrees of freedom (large central charge). We analytically study a Heavy-Heavy-Light-Light correlation function, where Heavy, refers to an operator with conformal dimension which scales like the central charge and Light, refers to an operator whose dimension is of order unity in the large central charge limit. In certain regimes, the correlation function can be examined analytically leading to very simple and suggestive expressions.

Dominic Vella will talk about writing grants, Anna Seigal will talk about writing research fellow applications and Jason Lotay will talk about his experience and tips for applying for faculty positions. 

This session is particularly aimed at fourth-year and OMMS students who are completing a dissertation this year. The talk will be given by Dr Richard Earl who chairs Projects Committee. For many of you this will be the first time you have written such an extended piece on mathematics. The talk will include advice on planning a timetable, managing the  workload, presenting mathematics, structuring the dissertation and creating a narrative, providing references and avoiding plagiarism.

In the first part of the talk, I will describe surface colonization strategies of the motile bacteria Pseudomonas aeruginosa. During early stages of biofilm formation, the majority of cells that land on a surface eventually detach. After a prolonged lag time, cells begin to cover the surface rapidly. Reversible attachments provide cells and their descendants with multigenerational memory of the surface that primes the planktonic population for colonization. Two different strains use different surface sensing machinery and show different colonization strategies. We use theoretical modelling to investigate how the hydrodynamics of type IV pili and flagella activity lead to increased detachment rates and show that the contribution from this hydrodynamic effect plays a role in the different colonization strategies observed in the two strains.

In the second part of the talk, I will show that when cells migrate through constricting pores, there is an increase in DNA damage and mutations. Experimental observations show that this breakage is not due to mechanical stress. I present an elastic-fluid model of the cell nucleus, coupled to kinetics of DNA breakage and repair proposing a mechanism by which nuclear deformation can lead to DNA damage. I show that segregation of soluble repair factors from the chromatin during migration leads to a decrease in the repair rate and an accumulation of damage that is sufficient to account for the extent of DNA damage observed experimentally.

We present our works on two problems in global analysis (i.e.,analysis on manifolds): One concerns the compactness of the space of smooth $d$-dimensional immersed hypersurfaces with uniformly $L^d$-bounded second fundamental forms, and the other concerns the validity of W^{2,p}$-elliptic estimates for the Laplace--Beltrami operator on open manifolds. We construct explicit counterexamples to both problems. The onstructions involve rapid oscillations and wild spirals, with motivations derived from physical phenomena.

Background

The RON test is an engine test that is used to measure the research octane number (RON) of a gasoline. It is a parameter that is set in fuels specifications and is an indicator of a fuel to partially explode during burning rather than burn smoothly.

The efficiency of a gasoline engine is limited by the RON value of the fuel that it is using. As the world moves towards lower carbon, predicting the RON of a fuel will become more important.

Typical market gasolines are blended from several hundred hydrocarbon components plus alcohols and ethers. Each component has a RON value and therefore, if the composition is known then the RON can be calculated. Unfortunately, components can have antagonistic or complimentary effects on each other and therefore this needs to be taken into account in the calculation.

Several models have been produced over the years (the RON test has been around for over 60 years) but the accuracy of the models is variable. The existing models are empirically based rather than taking into account the causal links between fuel component properties and RON performance.

Opportunity

BP has developed intellectual property regarding the causal links and we need to know if these can be used to build a functional based model. There is also an opportunity to build a better empirically based model using data on individual fuel components (previous models have grouped similar components to lessen the computing effort)

A big problem in Riemannian geometry is the search for a "best possible" Riemannian metric on a given compact smooth manifold. When the manifold is complex, one very nice metric we could look for is a Kahler-Einstein metric. For compact Kahler manifolds with non-positive first chern class, these were proven to always exist by Aubin and Yau in the 70's. However, the case of positive first chern class is much more delicate, and there are non-trivial obstructions to existence. It wasn't until this decade that a complete abstract characterisation of Kahler-Einstein metrics became available, in the form of K-stability. This is a purely algebro-geometric stability condition, whose equivalence to the existence of a Kahler-Einstein metric in the Fano case is analogous to the Hitchin-Kobayashi correspondence for vector bundles. In this talk, I will cover the definition of K-stability, its relation to Kahler-Einstein metrics, and (time permitting) give some examples of how K-stability is verified or disproved in practice.

The 2007-2008 financial crisis forced governments to choose between the unattractive alternatives of either bailing out a systemically important bank (SIBs) or having it fail in a disruptive manner. Bail-in has been put forward as the primary tool to resolve a failing bank, which would end the too-big-to-fail problem by letting stakeholders shoulder the losses, while minimising the calamitous systemic impact of a bank failure. Though the aptness of bail-in has been evinced in relatively minor idiosyncratic bank failures, its efficacy in maintaining stability in cases of large bank failures and episodes of system-wide crises remains to be practically tested. This paper investigates the financial stability implications of the bail-in design, in all these cases. We develop a multi-layered network model of the European financial system that captures the prevailing endogenous-amplification mechanisms: exposure loss contagion, overlapping portfolio contagion, funding contagion, bail-inable debt revaluations, and bail-inable debt runs. Our results reveal that financial stability hinges on a set of `primary' and `secondary' bail-in parameters, including the failure threshold, recapitalisation target, debt-to-equity conversion rate, loss absorption requirements, debt exclusions and bail-in-design certainty – and we uncover how. We also demonstrate that the systemic footprint of the bail-in design is not properly understood without the inclusion of multiple contagion mechanisms and non-banks. Our evidence fortunately suggests that the pivot for stability is in the hands of policymakers. It also suggests, however, that the current bail-in design might be in the regime of instability.

My talk will have two protagonists: (1) Automorphic representations which -- let's be honest -- are very complicated and mysterious, but also (2) Involutions  (=automorphisms of order at most 2) of connected reductive groups -- these are very concrete and can often be represented by diagonal matrices with entries 1,-1 or i, -i. The goal is to explain how difficult questions about (1) can be reduced to relatively easy, concrete questions about (2).
Automorphic representations are representation-theoretic generalizations of modular forms. Like modular forms, automorphic representations are initially defined analytically. But unlike modular forms -- where we have a reinterpretation in terms of algebraic geometry -- for most automorphic representations we currently only have a (real) analytic definition. The Langlands Program predicts that a wide class of automorphic representations admit the same algebraic properties which have been known to hold for modular forms since the 1960's and 70's. In particular, certain complex numbers "Hecke eigenvalues" attached to these automorphic representations are conjectured to be algebraic numbers. This remains open in many cases (especially those cases of interest in number theory and algebraic geometry), in particular for Maass forms -- functions on the upper half-plane which are a non-holomorphic variant of modular forms.
I will explain how elementary structure theory of reductive groups over the complex numbers provides new insight into the above algebraicity conjectures; in particular we deduce that the Hecke eigenvalues are algebraic for an infinite class of examples where this was not previously known. 
After applying a bunch of "big, old theorems" (in particular Langlands' own archimedean correspondence), it all comes down to studying how involutions of a connected, reductive group vary under group homomorphisms. Here I will write down the key examples explicitly using matrices.

Iterative algorithms for the solution of convex quadratic optimization problems are investigated, which exploit inaccurate matrix-vector products. Theoretical bounds on the performance of a Conjugate Gradients method are derived, the necessary quantities occurring in the theoretical bounds estimated and a new practical algorithm derived. Numerical experiments suggest that the new method has significant potential, including in the steadily more important context of multi-precision computations.

Formation of singularities for the relativistic Euler equations (N. Athanasiou): An archetypal phenomenon in the study of hyperbolic systems of conservation laws is the development of singularities (in particular shocks) in finite time, no matter how smooth or small the initial data are. A series of works by Lax, John et al confirmed that for some important systems, when the initial data is a smooth small perturbation of a constant state, singularity formation in finite time is equivalent to the existence of compression in the initial data. Our talk will address the question of whether this dichotomy persists for large data problems, at least for the system of the Relativistic Euler equations in (1+1) dimensions. We shall also give some interesting studies in (3+1) dimensions. This is joint work with Dr. Shengguo Zhu.

Global Well-Posedness for a Class of Stochastic McKean-Vlasov Equations in One Dimension (A. Mayorcas): We show global well-posedness for a family of parabolic McKean--Vlasov SPDEs with additive space-time white noise. The family of interactions we consider are those given by convolution with kernels that are at least integrable. We show that global well-posedness holds in both the repulsive/defocussing and attractive/focussing cases. Our strategy relies on both pathwise and probabilistic techniques which leverage the Gaussian structure of the noise and well known properties of the deterministic PDEs.

I will be talking of recent results by Ayse Berkman and myself, as well as about a more general program of research in this area.

A group splits as an HNN-extension if and only if the rank of its abelianisation is strictly positive. If we fix a class of groups one may ask a few questions about these splittings: How distorted are the vertex and edge groups? What form can the vertex and edge groups take? If they remain in our fixed class, do they also split? If so, under iteration will we terminate at something nice? In this talk we will answer all these questions for the class of one-relator groups and go through an example or two. Time permitting, we will also discuss possible generalisations to groups with staggered presentations.

An important property of Gromov hyperbolic spaces is the fact that every path for which all sufficiently long subpaths are quasi-geodesics is itself a quasi-geodesic. Gromov showed that this property is actually a characterization of hyperbolic spaces. In this talk, we will consider a weakened version of this local-to-global behaviour, called the Morse local-to-global property. The class of spaces that satisfy the Morse local-to-global property include several examples of interest, such as CAT(0) spaces, Mapping Class Groups, fundamental groups of closed 3-manifolds and more. The leverage offered by knowing that a space satisfies this property allows us to import several results and techniques from the theory of hyperbolic groups. In particular, we obtain results relating to stable subgroups, normal subgroups and algorithmic properties.

I will consider the problem of reconstructing a signal from its encrypted and corrupted image
by a Least Square Scheme. For a certain class of random encryption the problem is equivalent to finding the
configuration of minimal energy in a (unusual) version of spherical spin
glass model.  The Parisi replica symmetry breaking (RSB) scheme is then employed for evaluating
the quality of the reconstruction. It  reveals a phase transition controlled
by RSB and reflecting impossibility of the signal retrieval beyond certain level of noise.

This talk is an update on joint work with Geoff Penington on extending Morse theory to smooth functions on compact manifolds with very mild nondegeneracy assumptions. The only requirement is that the critical locus should have just finitely many connected components. To such a function we associate a quiver with vertices labelled by the connected components of the critical locus. The analogue of the Morse–Witten complex in this situation is a spectral sequence of multicomplexes supported on this quiver which abuts to the homology of the manifold.

The Alternating Directions Method of Multipliers (ADMM) is a widely popular first-order method for solving convex optimization problems. Its simplicity is arguably one of the main reasons for its popularity. For a broad class of problems, ADMM iterates by repeatedly solving perhaps the two most standard Linear Algebra problems: linear systems and symmetric eigenproblems. In this talk, we discuss how employing standard Krylov-subspace methods for ADMM can lead to tenfold speedups while retaining convergence guarantees.