Diagram categories and transformation semigroups. A structural understanding of diagram categories is essential in many branches of mathematics and science. Despite this, very few methods for studying such categories are available, a fact this pure mathematics project seeks to rectify. By building strong bridges between diagram categories and semigroup theory, a field of abstract algebra that models transformation and change, the structure of diagram categories may be unlocked with powerful semi ....Diagram categories and transformation semigroups. A structural understanding of diagram categories is essential in many branches of mathematics and science. Despite this, very few methods for studying such categories are available, a fact this pure mathematics project seeks to rectify. By building strong bridges between diagram categories and semigroup theory, a field of abstract algebra that models transformation and change, the structure of diagram categories may be unlocked with powerful semigroup tools developed by the applicant investigator. Diagrammatic insights will also yield new ways to study semigroups, and the many other mathematical structures they interact with. Outcomes will have a lasting impact on both theories as well as the many fields influenced by them.Read moreRead less
Harmonic analysis in rough contexts. Harmonic analysis is a set of mathematical techniques aimed at decomposing complex signals into simple pieces in a way that is reminiscent of the decomposition of sounds into harmonics. It is highly efficient in analysing signals in homogeneous media such as wave propagation through the air that underpins wireless communication technology. However, wave propagation through inhomogeneous media, such as the human body in medical imaging or the Earth in geophysi ....Harmonic analysis in rough contexts. Harmonic analysis is a set of mathematical techniques aimed at decomposing complex signals into simple pieces in a way that is reminiscent of the decomposition of sounds into harmonics. It is highly efficient in analysing signals in homogeneous media such as wave propagation through the air that underpins wireless communication technology. However, wave propagation through inhomogeneous media, such as the human body in medical imaging or the Earth in geophysical imaging, is much harder to model. Phenomena with random components, as considered in finance for instance, are also problematic. This project is an important part of an intense international research effort to develop harmonic analysis in such rough contexts.Read moreRead less
Comprehensive Study of Kahler-Ricci Flows. The intended outcome of the project is to reveal the deep relation between geometry and topology of underlying spaces. Ricci flow has attracted major attention in pure mathematics over the past 30 years, including ground-breaking contributions by Perelman on Ricci flow regarding the famous Poincare and Thurston's Geometrisation Conjectures. The project focuses on the complex version of Ricci flow: Kahler-Ricci flow. The project plans to explore the Kahl ....Comprehensive Study of Kahler-Ricci Flows. The intended outcome of the project is to reveal the deep relation between geometry and topology of underlying spaces. Ricci flow has attracted major attention in pure mathematics over the past 30 years, including ground-breaking contributions by Perelman on Ricci flow regarding the famous Poincare and Thurston's Geometrisation Conjectures. The project focuses on the complex version of Ricci flow: Kahler-Ricci flow. The project plans to explore the Kahler-Ricci flow in the closed and complete non-compact settings and the corresponding versions of Geometric Minimal Model Program; and the Kahler-Ricci flow in the Fano manifold setting and stability conditions.Read moreRead less
Curvature flows and spectral estimates. Curvature flows are a class of geometrically motivated equations, modelled on the heat equation. Recently, researchers have developed new methods for studying the regularity of solutions to these equations, and applied them to a different problem, that of estimating quantities depending on the smaller eigenvalues of a Schroedinger operator. This project builds on the early success of this research and will produce a new understanding of the behaviour of ei ....Curvature flows and spectral estimates. Curvature flows are a class of geometrically motivated equations, modelled on the heat equation. Recently, researchers have developed new methods for studying the regularity of solutions to these equations, and applied them to a different problem, that of estimating quantities depending on the smaller eigenvalues of a Schroedinger operator. This project builds on the early success of this research and will produce a new understanding of the behaviour of eigenvalues, establish sharp estimates for spectral quantities, particularly on manifolds with curvature bounds, and find optimal conditions under which non-compact solutions to curvature flows are stable.Read moreRead less
Edge decomposition of dense graphs. This project aims to address the edge decomposition of dense graphs, including the Nash-Williams conjecture. Edge decomposition of graphs is important for the mathematical fields of graph theory, combinatorial design theory and finite geometry, and also has strong applications to digital communication and information technologies. It is anticipated that the project will result in methods for edge decomposition of dense graphs, the solution of famous open probl ....Edge decomposition of dense graphs. This project aims to address the edge decomposition of dense graphs, including the Nash-Williams conjecture. Edge decomposition of graphs is important for the mathematical fields of graph theory, combinatorial design theory and finite geometry, and also has strong applications to digital communication and information technologies. It is anticipated that the project will result in methods for edge decomposition of dense graphs, the solution of famous open problems, and a deeper, more cohesive understanding of edge decomposition.Read moreRead less
Algebraic evolution and evolutionary algebra. Algebra and biology have developed in extraordinary ways over the last half century yet, to date, the use of algebraic ideas in biology has been limited. This project will address this by modelling evolutionary processes in bacteria using algebraic ideas.
Explicit methods in number theory: Computation, theory and application. This project aims to use explicit estimates to unify three problems in number theory: primitive roots, Diophantine quintuples, and linear independence of zeroes of the Riemann zeta-function. It will use computational and analytic number theory to reduce the quintuples problem to a soluble level. Pursuing relations between the zeta zeroes will overhaul many current results. This project will apply its findings about primitive ....Explicit methods in number theory: Computation, theory and application. This project aims to use explicit estimates to unify three problems in number theory: primitive roots, Diophantine quintuples, and linear independence of zeroes of the Riemann zeta-function. It will use computational and analytic number theory to reduce the quintuples problem to a soluble level. Pursuing relations between the zeta zeroes will overhaul many current results. This project will apply its findings about primitive roots to signal processing, cryptography and cybersecurity.Read moreRead less
The Spectral Theory and Harmonic Analysis of Geometric Differential Operators. The project will involve mathematical research of the highest international standard in two very active and far-reaching field of mathematics: quantum chaos, and harmonic analysis. Progress in these fields will have implications in areas such as communications technology (e.g. image compression), quantum theory, and mathematical analysis (e.g. partial differential equations).
Counting points on algebraic surfaces. This project aims to develop algorithms for calculating the number of solutions to polynomial equations and to compute zeta functions of certain types of algebraic varieties. Existing algorithms cannot solve these problems. The new algorithms will enable researchers in number theory to test and refine conjectures on generalisations of many famous problems, such as the Sato-Tate conjecture, the Lang-Trotter conjecture and the Birch-Swinnerton-Dyer conjecture ....Counting points on algebraic surfaces. This project aims to develop algorithms for calculating the number of solutions to polynomial equations and to compute zeta functions of certain types of algebraic varieties. Existing algorithms cannot solve these problems. The new algorithms will enable researchers in number theory to test and refine conjectures on generalisations of many famous problems, such as the Sato-Tate conjecture, the Lang-Trotter conjecture and the Birch-Swinnerton-Dyer conjecture. The project will also have a flow-on effect in other areas of mathematics and computer science where zeta functions play a central role, including cryptography, coding theory and mathematical physics.Read moreRead less
Towards a new concrete theory of cohomology: a fundamental concept in geometry. This project will develop a geometric linearisation method related to Witt vectors, an exotic but important number system. This will let us take one more step towards solving a fifty-year-old mystery: to find the elusive universal linearisation in algebraic geometry, which is the linearisation that controls all the others.