Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
156 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
45 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Algorithm-assisted discovery of an intrinsic order among mathematical constants (2308.11829v2)

Published 22 Aug 2023 in cs.AI, cs.DC, and math.NT

Abstract: In recent decades, a growing number of discoveries in fields of mathematics have been assisted by computer algorithms, primarily for exploring large parameter spaces that humans would take too long to investigate. As computers and algorithms become more powerful, an intriguing possibility arises - the interplay between human intuition and computer algorithms can lead to discoveries of novel mathematical concepts that would otherwise remain elusive. To realize this perspective, we have developed a massively parallel computer algorithm that discovers an unprecedented number of continued fraction formulas for fundamental mathematical constants. The sheer number of formulas discovered by the algorithm unveils a novel mathematical structure that we call the conservative matrix field. Such matrix fields (1) unify thousands of existing formulas, (2) generate infinitely many new formulas, and most importantly, (3) lead to unexpected relations between different mathematical constants, including multiple integer values of the Riemann zeta function. Conservative matrix fields also enable new mathematical proofs of irrationality. In particular, we can use them to generalize the celebrated proof by Ap\'ery for the irrationality of $\zeta(3)$. Utilizing thousands of personal computers worldwide, our computer-supported research strategy demonstrates the power of experimental mathematics, highlighting the prospects of large-scale computational approaches to tackle longstanding open problems and discover unexpected connections across diverse fields of science.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (48)
  1. Steven R. Finch. Mathematical constants. Cambridge University Press, 2003.
  2. Leonhard Euler. De summis serierum reciprocarum. Commentarii Academiae Scientiarum, 7:123–134, 1740.
  3. Raymond Ayoub. Euler and the Zeta Function. Am. Math. Mon., 81:1067–1086, 1974.
  4. Roger Apéry. Irrationalité de ζ⁢(2)𝜁2\zeta(2)italic_ζ ( 2 ) et ζ⁢(3)𝜁3\zeta(3)italic_ζ ( 3 ). Astérisque, 61:1, 1979.
  5. Alf van der Poorten. A proof that Euler missed. Math. Intelligencer, 1:195–203, 1979.
  6. Irrationalité d’une infinité de valeurs de la fonction zêta aux entiers impairs. Inventiones mathematicae, 146:193–207, 2001.
  7. Wadim Zudilin. One of the numbers ζ⁢(5)𝜁5\zeta(5)italic_ζ ( 5 ), ζ⁢(7)𝜁7\zeta(7)italic_ζ ( 7 ), ζ⁢(9)𝜁9\zeta(9)italic_ζ ( 9 ), ζ⁢(11)𝜁11\zeta(11)italic_ζ ( 11 ) is irrational. Uspekhi Mat. Nauk, 56:149–150, 2001.
  8. On cellular rational approximations to ζ⁢(5)𝜁5\zeta(5)italic_ζ ( 5 ). arXiv:2210.03391, 2022.
  9. An introduction to the theory of numbers. Oxford university press, 1979.
  10. Aleksander Ya. Khinchin. Continued fractions. The University of Chicago Press, 1964.
  11. Oskar Perron. Die Lehre von den Kettenbrüchen. Band II. Analytisch–funktionentheoretische Kettenbrüche. 3. verbesserte und erweiterte Auflage. Teubner, 1957.
  12. Polynomial continued fractions. Acta Arith., 103:329–342, 2002.
  13. Real numbers with polynomial continued fraction expansions. Acta Arith., 116:63–79, 2005.
  14. Handbook of continued fractions for special functions. Springer Science & Business Media, 2008.
  15. Dzmitry Badziahin. On effective irrationality exponents of cubic irrationals. arXiv:2301.02391, 2023.
  16. By default, we shall use the term “formula” to refer to the polynomial continued fraction formulas, such as (1). Our approach covers other types of formulas as well.
  17. Leonhard Euler. Introductio in analysin infinitorum, volume 1,2. Apud Marcum-Michaelem Bousquet & Socios, 1748.
  18. Numerical recipes in C++ : the art of scientific computing. Cambridge University Press, 2002.
  19. Generating conjectures on fundamental constants with the Ramanujan Machine. Nature, 590:67–73, 2021.
  20. Bruce C Berndt. Ramanujan’s notebooks: Part III. Springer Science & Business Media, 2012.
  21. A=B. AK Peters Ltd, 1996.
  22. Stephen Wolfram et al. A new kind of science, volume 5. Wolfram media Champaign, 2002.
  23. Theorema: Towards computer-aided mathematical theory exploration. Journal of applied logic, 4:470–504, 2006.
  24. Experimental mathematics in action. CRC press, 2007.
  25. Siemion Fajtlowicz. On conjectures of Graffiti. Annals of Discrete Mathematics, 38:113–118, 1988.
  26. Advancing mathematics by guiding human intuition with AI. Nature, 600:70–74, 2021.
  27. Discovering faster matrix multiplication algorithms with reinforcement learning. Nature, 610:47–53, 2022.
  28. Results found by the Ramanujan Machine. http://www.ramanujanmachine.com/results/.
  29. Jesus Guillera. History of the formulas and algorithms for pi. arXiv:0807.0872, 2009.
  30. Another continued fraction for π𝜋\piitalic_π. Am. Math. Mon., 115:930–933, 2008.
  31. Ofir David. The conservative matrix field. arXiv:2303.09318, 2023.
  32. Hubert Stanley Wall. Analytic theory of continued fractions. Courier Dover Publications, 2018.
  33. Oskar Perron. Die Lehre von den Kettenbrüchen. Teubner, 1913.
  34. On the Connection Between Irrationality Measures and Polynomial Continued Fractions. arXiv:2111.04468, 2021.
  35. On Catalan Constant Continued Fractions. arXiv:2210.15669, 2022.
  36. The balkans continued fraction. arXiv:2308.06291, 2023.
  37. We can test an infinite sum for the factorial reduction property by converting it to a continued fraction using Euler’s continued fraction formula, or by a direct examination of the growth of the reduced numerators and denominators of the partial sums.
  38. Automatic discovery of irrationality proofs and irrationality measures. Int. J. Number Theory, 17:815–825, 2021.
  39. Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry. The Ramanujan Journal, 58:973–994, 2022.
  40. David P Anderson. Boinc: A system for public-resource computing and storage. Fifth IEEE/ACM international workshop on grid computing, pages 4–10, 2004.
  41. A polynomial time, numerically stable integer relation algorithm. Technical report, 1998.
  42. Analysis of PSLQ, an integer relation finding algorithm. Mathematics of Computation, 68:351–369, 1999.
  43. Ramanujan Machine on BOINC. https://www.ramanujanmachine.com/run-the-ramanujan-machine/.
  44. Library of Integer RElations and Constants. https://github.com/RamanujanMachine/LIReC.
  45. Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences. International Conference on Machine Learning, 202:28809–28842, 2023.
  46. Except for the conservative matrix field of e𝑒eitalic_e, where the convergence is also faster and thus a nontrivial δ𝛿\deltaitalic_δ is still extracted.
  47. Automatic conjecturing and proving of exact values of some infinite families of infinite continued fractions. The Ramanujan Journal, pages 1–17, 2020.
  48. A Note on the Ramanujan Machine. arXiv:2211.01058, 2022.
Citations (3)
View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now