Experimental mathematics
Experimental mathematics is an approach to mathematics in which computation is used to investigate mathematical objects and identify properties and patterns.[1] It has been defined as "that branch of mathematics that concerns itself ultimately with the codification and transmission of insights within the mathematical community through the use of experimental (in either the Galilean, Baconian, Aristotelian or Kantian sense) exploration of conjectures and more informal beliefs and a careful analysis of the data acquired in this pursuit."[2]
As expressed by
History
Mathematicians have always practiced experimental mathematics. Existing records of early mathematics, such as Babylonian mathematics, typically consist of lists of numerical examples illustrating algebraic identities. However, modern mathematics, beginning in the 17th century, developed a tradition of publishing results in a final, formal and abstract presentation. The numerical examples that may have led a mathematician to originally formulate a general theorem were not published, and were generally forgotten.
Experimental mathematics as a separate area of study re-emerged in the twentieth century, when the invention of the electronic computer vastly increased the range of feasible calculations, with a speed and precision far greater than anything available to previous generations of mathematicians. A significant milestone and achievement of experimental mathematics was the discovery in 1995 of the Bailey–Borwein–Plouffe formula for the binary digits of π. This formula was discovered not by formal reasoning, but instead by numerical searches on a computer; only afterwards was a rigorous proof found.[4]
Objectives and uses
The objectives of experimental mathematics are "to generate understanding and insight; to generate and confirm or confront conjectures; and generally to make mathematics more tangible, lively and fun for both the professional researcher and the novice".[5]
The uses of experimental mathematics have been defined as follows:[6]
- Gaining insight and intuition.
- Discovering new patterns and relationships.
- Using graphical displays to suggest underlying mathematical principles.
- Testing and especially falsifying conjectures.
- Exploring a possible result to see if it is worth formal proof.
- Suggesting approaches for formal proof.
- Replacing lengthy hand derivations with computer-based derivations.
- Confirming analytically derived results.
Tools and techniques
Experimental mathematics makes use of
If a counterexample is being sought or a large-scale proof by exhaustion is being attempted, distributed computing techniques may be used to divide the calculations between multiple computers.
Frequent use is made of general mathematical software or domain-specific software written for attacks on problems that require high efficiency. Experimental mathematics software usually includes error detection and correction mechanisms, integrity checks and redundant calculations designed to minimise the possibility of results being invalidated by a hardware or software error.
Applications and examples
Applications and examples of experimental mathematics include:
- Searching for a counterexample to a conjecture
- Roger Frye used experimental mathematics techniques to find the smallest counterexample to Euler's sum of powers conjecture.
- The ZetaGrid project was set up to search for a counterexample to the Riemann hypothesis.
- Tomás Oliveira e Silva[7] searched for a counterexample to the Collatz conjecture.
- Finding new examples of numbers or objects with particular properties
- The Great Internet Mersenne Prime Search is searching for new Mersenne primes.
- The Great Periodic Path Hunt is searching for new periodic paths.
- distributed.net's OGR project searched for optimal Golomb rulers.
- The PrimeGrid project is searching for the smallest Riesel and Sierpiński numbers.
- Finding serendipitous numerical patterns
- Lorenz attractor, an early example of a chaotic dynamical system, by investigating anomalous behaviours in a numerical weather model.
- The Ulam spiral was discovered by accident.
- The pattern in the Ulam numbers was discovered by accident.
- Feigenbaum constantwas based initially on numerical observations, followed by a rigorous proof.
- Use of computer programs to check a large but finite number of cases to complete a computer-assisted proof by exhaustion
- Thomas Hales's proof of the Kepler conjecture.
- Various proofs of the four colour theorem.
- Clement Lam's proof of the non-existence of a finite projective plane of order 10.[8]
- Gary McGuire proved a minimum uniquely solvable Sudoku requires 17 clues.[9]
- Symbolic validation (via computer algebra) of conjectures to motivate the search for an analytical proof
- Solutions to a special case of the quantum hydrogen molecule-ion were found standard quantum chemistry basis sets before realizing they all lead to the same unique analytical solution in terms of a generalization of the Lambert W function. Related to this work is the isolation of a previously unknown link between gravity theory and quantum mechanics in lower dimensions (see quantum gravityand references therein).
- In the realm of relativistic many-bodied mechanics, namely the time-symmetric Wheeler–Feynman absorber theory: the equivalence between an advanced Liénard–Wiechert potential of particle j acting on particle i and the corresponding potential for particle i acting on particle j was demonstrated exhaustively to order before being proved mathematically. The Wheeler-Feynman theory has regained interest because of quantum nonlocality.
- In the realm of linear optics, verification of the series expansion of the envelope of the electric field for ultrashort light pulses travelling in non isotropic media. Previous expansions had been incomplete: the outcome revealed an extra term vindicated by experiment.
- Solutions to a special case of the quantum
- Evaluation of
- Visual investigations
- In Indra's Pearls, David Mumford and others investigated various properties of Möbius transformation and the Schottky group using computer generated images of the groups which: furnished convincing evidence for many conjectures and lures to further exploration.[12]
Plausible but false examples
Some plausible relations hold to a high degree of accuracy, but are still not true. One example is:
The two sides of this expression actually differ after the 42nd decimal place.[13]
Another example is that the maximum
Practitioners
The following mathematicians and computer scientists have made significant contributions to the field of experimental mathematics:
- Fabrice Bellard
- David H. Bailey
- Jonathan Borwein
- David Epstein
- Helaman Ferguson
- Ronald Graham
- Thomas Callister Hales
- Donald Knuth
- Clement Lam
- Oren Patashnik
- Simon Plouffe
- Eric Weisstein
- Stephen Wolfram
- Doron Zeilberger
- A.J. Han Vinck
See also
- Borwein integral
- Computer-aided proof
- Proofs and Refutations
- Experimental Mathematics (journal)
- Institute for Experimental Mathematics
References
- ^ Weisstein, Eric W. "Experimental Mathematics". MathWorld.
- ^ Experimental Mathematics: A Discussion Archived 2008-01-21 at the Wayback Machine by J. Borwein, P. Borwein, R. Girgensohn and S. Parnes
- ^ I Want to be a Mathematician: An Automathography (1985), p. 321 (in 2013 reprint)
- ^ The Quest for Pi Archived 2011-09-27 at the Wayback Machine by David H. Bailey, Jonathan M. Borwein, Peter B. Borwein and Simon Plouffe.
- ISBN 978-1-56881-211-3.
- ISBN 978-1-56881-211-3.
- ^ Silva, Tomás (28 December 2015). "Computational verification of the 3x+1 conjecture". Institute of Electronics and Informatics Engineering of Aveiro. Archived from the original on 18 March 2013.
- JSTOR 2323798.
- ^ arXiv, Emerging Technology from the. "Mathematicians Solve Minimum Sudoku Problem". MIT Technology Review. Retrieved 27 November 2017.
- ^ Bailey, David (1997). "New Math Formulas Discovered With Supercomputers" (PDF). NAS News. 2 (24).
- ^ H. F. Sandham and Martin Kneser, The American mathematical monthly, Advanced problem 4305, Vol. 57, No. 4 (Apr., 1950), pp. 267-268
- ISBN 978-0-521-35253-6.
- ^ David H. Bailey and Jonathan M. Borwein, Future Prospects for Computer-Assisted Mathematics Archived 2011-07-20 at the Wayback Machine, December 2005
- ^ The height of Φ4745 is 3 and 14235 = 3 x 4745. See Sloane sequences OEIS: A137979 and OEIS: A160338.
External links
- Experimental Mathematics (Journal)
- Centre for Experimental and Constructive Mathematics (CECM) at Simon Fraser University
- Collaborative Group for Research in Mathematics Education at University of Southampton
- Recognizing Numerical Constants by David H. Bailey and Simon Plouffe
- Psychology of Experimental Mathematics
- Experimental Mathematics Website (Links and resources)
- The Great Periodic Path Hunt Website (Links and resources)
- An Algorithm for the Ages: PSLQ, A Better Way to Find Integer Relations (Alternative link Archived 2021-02-13 at the Wayback Machine)
- Experimental Algorithmic Information Theory
- Sample Problems of Experimental Mathematics by David H. Bailey and Jonathan M. Borwein
- Ten Problems in Experimental Mathematics Archived 2011-06-10 at the Wayback Machine by David H. Bailey, Jonathan M. Borwein, Vishaal Kapoor, and Eric W. Weisstein
- Institute for Experimental Mathematics Archived 2015-02-10 at the Wayback Machine at University of Duisburg-Essen