'Facebook' for mathematical functions aims to solve Riemann's hypothesis
Seventy mathematicians from 12 countries are creating a massive online database – the L-functions and Modular Forms Database (LMFDB) – in an effort to document the last collection of elementary mathematical functions that we do not fully understand. If written on paper, the LMFDB would be an encyclopaedia of some 10,000 volumes with 500 pages each.
Begun six years ago, it represents the collective work of over 70 collaborators in more than a dozen research areas, all of whom are building connections between their seemingly separate specialities. "Most of us are aware of these relationships in an abstract way, but it takes real work to actually figure out all the details," said Dr Andrew Booker of Bristol's School of Mathematics, a co-investigator on the EPSRC grant.
Several important theoretical discoveries have already occurred as a result of the LMFDB project. These include important steps towards a major goal of twenty-first century mathematics: understanding Riemann's hypothesis. This fundamental theory of a deep connection between addition and multiplication was sketched in 1859 by German mathematician Bernhard Riemann. In essence, it is a statement about the location of the solutions of the equation L = 0 where L is one of an infinite set of functions, appropriately called 'L-functions'.
The LMFDB is set up like a Facebook for these L-functions. Each homepage has a description of the L-function. The pages also give the 'friends' of that particular L-function which might be a modular form, or a number field, or a group representation. The homepages of these 'friends' in turn give detailed description of their properties.
The solutions of L = 0, called the zeros, are supposed to be on the same line called 'Riemann's line', a vertical line which, when plotted on a graph, passes through the point 1/2,0. They are infinite in number so could never be checked by computer. However, LMFDB participants have charted billions of these zeros on millions of L-function landscapes, and so far all of them are on the line predicted by Riemann.
Such progress is only possible through the collaborative approach of LMFDB which has enabled researchers to share huge amounts of data and link their projects together.
Professor Brian Conrey, Director of the American Institute of Mathematics and a Senior Research Fellow in Bristol's School of Mathematics, said: "We are mapping the mathematics of the twenty-first century. The LMFDB is both an educational resource and a research tool which will become indispensable for future exploration."
Professor John Cremona of the University of Warwick, Principal Investigator on the EPRSC grant said: "While the database was built to provide tools that could help tackle the Riemann hypothesis, one of the Millennium Prize Problems nominated by the Clay Mathematics Institute, I also hope it will be a useful tool for researchers of another of the Clay Millennium problems: the Birch and Swinnerton-Dyer conjecture on the set of rational solution to equations defining an elliptic curve. I was privileged to be one of Professor Bryan Birch's doctoral students and would be delights if this work was used to help prove the Birch and Swinnerton-Dyer conjecture."
Provided by University of Bristol