CORVALLIS, Ore. - An international team of mathematicians that includes an Oregon State University professor has released a massive mathematical database that catalogs objects of central importance in number theory and maps out the intricate connections between them.
The "L-functions and Modular Forms Database," or LMFDB, serves as an atlas of mathematical functions and other objects, and also reveals deep relationships in the abstract universe of mathematics.
L-functions are like DNA in that having the same L-function distinguishes when mathematical objects are related. The LMFDB can be viewed as analogous to the DNA sequencing of many genomes. An example of objects with this type of DNA are elliptic curves, which form the basis of cryptographic protocols used by most major Internet companies, including Google, Facebook and Amazon.
By coordinating efforts, researchers have made these relationships visible by developing new algorithms and performing calculations on an extensive network of computers. Free and open source, the database is accessible online for anyone to use to learn and discover uncharted mathematical worlds.
The team includes over 70 mathematicians from 12 countries and more than a dozen research areas. They represent a range of institutions including the American Institute of Mathematics; Arizona State University; University of California, San Diego; MIT; Oregon State University; University of Vermont; University of Vienna, Austria; University of Warwick, UK; and others. By joining forces, the mathematicians were able to develop a site that serves as one-stop shopping for big data on key mathematical objects.
Holly Swisher, an associate professor of mathematics in OSU's College of Science, has been a member of the project since its first official workshop in Paris during the fall of 2010. Work on the database generally happens during weeklong workshops where participants cycle between individual work, small group teamwork and large group discussions. The group has no leader--all decisions are made by consensus at workshop meetings.
The quantity and depth of data is staggering. The LMFDB tabulates data which has been produced over many decades, and which is now available in one place in a unified format. Hundreds of CPU years of computing time were involved in compiling the database along with thousands of hours of human effort.
Many of these calculations are so intricate that only a handful of experts can do them, and some computations are so big that it makes sense to only do them once. For example, a recent computation by Andrew Sutherland at MIT used 72,000 cores of Google's Compute Engine to complete in hours a tabulation that would have taken more than a century on a single computer.
The application of large-scale cloud computing to conduct research in pure mathematics is just one of the ways in which the project is pushing the frontier of mathematics forward. Large-scale computer experiments can now take the place of computations by hand or with a calculator, which is rapidly speeding up the process of testing and discovery.
"Our project is akin to the first periodic table of elements," said project member John Voight, an associate professor of mathematics at Dartmouth. "We have found enough of the building blocks that we can see the overall structure and begin to glimpse the underlying relationships."
Similar to the periodic table, fundamental objects in mathematics fall into categories with names like L-function, elliptic curve, and modular form. These broad categories naturally divide into smaller subcategories, each with its own personality. Every object has connections to objects in other categories, which project members refer to as its "friends."
One of the major goals of the project is to determine the "friend" network and to understand how the quirky behavior of a particular object can influence its "friends." The database provides a coherent picture of this web of mathematical relationships.
"The LMFDB is really the only place where these interconnections are given in such clear, explicit, and navigable terms," OSU's Swisher said. "Before our project it was difficult to find more than a handful of examples, and now we have millions."
The database has been funded by the National Science Foundation; the United Kingdom's Engineering and Physical Sciences Research Council; the American Institute of Mathematics; the EU 2020 Horizon Open DreamKit Project; and the Institute for Computational and Experimental Research in Mathematics.
The official release of the LMFDB will take place on May 10 at public lectures occurring at the American Institute of Mathematics, Dartmouth College and University of Bristol. The public release is planned for 1 p.m. Pacific time. The Dartmouth event will be broadcast online at http://math.dartmouth.edu/.