Mathematics that unifies

Understanding the relations between different branches of pure mathematics, and creating overarching theories that bind them together.

Mathematics is central to theoretical research, and advancing pure mathematics advances science itself. This is especially true for mathematics that unifies seemingly unconnected fields.

Dualities play a key role in how we form insights. Examples include the Langlands programme, monstrous moonshine, the ADE classification and dualities across quantum field and string theories. We investigate extensions of these, and develop their consequences. Can we develop other dualities, especially ones that exploit our intuition for geometry and arithmetic?

To bring rigour to network science, we investigate graphical notions of geometry and topology compatible with their continuum analogues. We develop a theory of statistical inference suitable for high dimensions, which is the basis for much of artificial intelligence. There are compelling arguments for a computational understanding of the universe, and we seek mathematical insights into the scope and limits of computation, particularly the output of simple rules.

Embedding pure mathematics within theoretical science keeps theorists abreast of the latest tools, and inspires mathematicians to take up new directions. Can we re-conceive mathematics as a core part of science, rather than an adjunct, thereby ensuring it is favoured and funded in proportion to its value?

  • Machine learning the regulatory structure of cell states

    Learning the cell-state space

    Building machine learning models that mimic the behaviour of cells in silico to improve the prediction of genes for cell programming.

  • Mathematics of immortality

    Deriving the mortality equation, which governs the dynamics of an ageing population, and solving it to crack the evolutionary origin of ageing.

  • Informative experiment design

    Developing the mathematical structure of experiments using information theory and combinatorics to speed up the discovery of new cell types.

  • Theory of genetic computation

    Understanding genetic computation using regulatory motifs, a new kind of structural and functional building block of gene regulatory networks.

  • Learning the universe

    Using machine learning to search the vast space of 10-dimensional geometries for ones that predict the Standard Model from string theory.

  • Recursively divisible numbers

    Generalizing the divisor function to find a new kind of number that can be recursively divided into parts, for use in design and technology.

  • Fundamental advances in AI

    Developing radical new approaches to inference and automated decision making using advances in quantum information and statistical physics.

  • The structure of innovation

    Creating a mathematical model of combinatorial innovation to understand how innovation rates can be influenced as components are acquired.

  • Bootstrap percolation

    Advancing the mathematical theory of bootstrap percolation, where active cells on a lattice with few active neighbours cease to be active.

  • Surprises from simple rules

    Understanding complex dynamical behaviours generated by simple rules, such as cellular automata, polyominoes and models of competition.

  • Fractal structures

    Using fractal, or self-similar, patterns to design the lightest possible load-bearing structures with new strength-to-mass scaling laws.

  • Structure of how things relate

    Creating mathematical tools for characterizing the structure of ideal graphs and irregular networks, and the behaviour of processes on them.

  • Reconstructing credit networks

    Using ideas from statistical physics to reconstruct the average properties of financial networks from partial sets of information.

  • Information thermodynamics

    Understanding the physical nature of information and how it relates to energy transfer and new technologies that make use of these insights.

  • Spectre of hypercubes

    Exploring the spectral properties of subgraphs of the hypercube and Hamming graphs for insights into coding theory and models of evolution.

  • Puzzles in packing

    Predicting the geometry and behaviour of densely packed objects from first principles, from spheres to polydisperse spheres to cells.

  • Is continuous space illusory?

    Creating discrete models of space and spacetime that appear continuous over long lengths and set the stage for non-continuum physics.

  • Remembering to learn

    Understanding the dynamics of networks of memristors, a new paradigm for low-power computation inspired by the structure of the brain.

  • Intelligence of graphs

    Predicting the behaviour of graphs and processes on them by treating topological patterns as constraints on a random graph ensemble.