Experimental mathematics

:"For the mathematical journal of the same name, see Experimental Mathematics (journal)"Experimental mathematics is an approach to mathematics in which numerical computation is used to investigate mathematical objects and identify properties and patterns. [Mathworld|urlname=ExperimentalMathematics|title=Experimental Mathematics] 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." [ [http://oldweb.cecm.sfu.ca/organics/vault/expmath/expmath/html/node16.html Experimental Mathematics: A Discussion] by J. Borwein, P. Borwein, R. Girgensohn and S. Parnes]

History

Mathematicians have always practised 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 insteadby numerical searches on a computer; only afterwards was a rigorous proof found. [ [http://crd.lbl.gov/~dhbailey/dhbpapers/pi-quest.pdf The Quest for Pi] by David H. Bailey, Jonathan M. Borwein, Peter B. Borwein and Simon Plouffe.]

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". [cite book |title= Mathematics by Experiment: Plausible Reasoning in the 21st Century|last= Borwein|first= Jonathan |coauthors= Bailey, David|year= 2004|publisher= A.K. Peters|isbn= 1-56881-211-6|pages=p"vii"]

The uses of experimental mathematics have been defined as follows: [cite book |title= Mathematics by Experiment: Plausible Reasoning in the 21st Century|last= Borwein|first= Jonathan |coauthors= Bailey, David|year= 2004|publisher= A.K. Peters|isbn= 1-56881-211-6|pages=p2]

#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 numerical methods to calculate approximate values for integrals and infinite series. Arbitrary precision arithmetic is often used to establish these values to a high degree of precision - typically 100 significant figures or more. Integer relation algorithms are then used to search for relations between these values and mathematical constants. Working with high precision values reduces the possibility of mistaking a mathematical coincidence for a true relation. A formal proof of a conjectured relation will then be sought - it is often easier to find a formal proof once the form of a conjectured relation is known.

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 computer algebra systems such as Mathematica, although domain-specific software is also 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.
** [http://www.ieeta.pt/~tos/3x+1.html This project] is searching 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 [http://www.distributed.net/ogr/ OGR] project is searching for optimised Golomb rulers.
**The [http://www.rieselsieve.com/ Riesel Sieve Project] is searching for the smallest Riesel number.
**The Seventeen or Bust project is searching for the smallest Sierpinski number.
**The [http://dist2.ist.tugraz.at/sudoku/ Sudoku Project] is searching for a solution to the minimum Sudoku problem.

*Finding serendipitous numerical patterns
**Edward Lorenz found the 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.
**Mitchell Feigenbaum's discovery of the Feigenbaum constant was 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. [Clement W.H. Lam, [http://www.cecm.sfu.ca/organics/papers/lam/ "The Search for a Finite Projective Plane of Order 10"] , "American Mathematical Monthly" 98, (no. 4) 1991, pp.305 - 318.]

*Evaluation of infinite series, infinite products and integrals, typically by carrying out a high precision numerical calculation, and then using an integer relation algorithm (such as the Inverse Symbolic Calculator) to find a linear combination of mathematical constants that matches this value.

*Visual investigations
**In Indra's Pearls David Mumford and others investigated various properties of Möbius transformation and Schottky group using computer generated images of the groups which: "furnished convincing evidence for many conjectures and lures to further exploration" [cite book | last = Mumford | first = David | coauthors = Series, Caroline; Wright, David |title = Indra's Pearls: The Vision of Felix Klein | publisher = Cambridge | date = 2002 | id = ISBN 0-521-35253-3 |pages=p. viii]

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
*Oren Patashnik
*Simon Plouffe
*Eric Weisstein

See also

* Computer-aided proof
* Proofs and Refutations
* Experimental Mathematics (journal)

References

External links

* [http://www.expmath.org/ Experimental Mathematics] (Journal)
* [http://www.cecm.sfu.ca/ Centre for Experimental and Constructive Mathematics (CECM)] at Simon Fraser University
* [http://www.crme.soton.ac.uk/ Collaborative Group for Research in Mathematics Education] at University of Southampton
* [http://oldweb.cecm.sfu.ca/organics/papers/bailey/paper/html/paper.html Recognizing Numerical Constants] by David H. Bailey and Simon Plouffe
* [http://www.soton.ac.uk/~crime/research/expmath/ Psychology of Experimental Mathematics]
* [http://crd.lbl.gov/~dhbailey/expmath/ Experimental Mathematics Website] (Links and resources)
* [http://www.nersc.gov/news/newsroom/bailey1-20-00.php An Algorithm for the Ages: PSLQ, A Better Way to Find Integer Relations]
* [http://www.mathrix.org/experimentalAIT/ Experimental Algorithmic Information Theory]
* [http://crd.lbl.gov/~dhbailey/expmath/books/expmath-probs.pdf Sample Problems of Experimental Mathematics] by David H. Bailey and Jonathan M. Borwein
* [http://crd.lbl.gov/~dhbailey/dhbpapers/tenproblems.pdf Ten Problems in Experimental Mathematics] by David H. Bailey, Jonathan M. Borwein, Vishaal Kapoor, and Eric W. Weisstein