Remote Access Mathematics of Computation
Green Open Access

Mathematics of Computation

ISSN 1088-6842(online) ISSN 0025-5718(print)



Numerical results on relations between fundamental constants using a new algorithm

Authors: David H. Bailey and Helaman R. P. Ferguson
Journal: Math. Comp. 53 (1989), 649-656
MSC: Primary 11Y16; Secondary 68Q25
MathSciNet review: 979934
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ x = ({x_1},{x_2}, \ldots ,{x_n})$ be a vector of real numbers, x is said to possess an integer relation if there exist integers $ {a_i}$ not all zero such that $ {a_1}{x_1} + {a_2}{x_2} + \cdots + {a_n}{x_n} = 0$. Beginning ten years ago, algorithms were discovered by one of us which, for any n, are guaranteed to either find a relation if one exists, or else establish bounds within which no relation can exist. One of those algorithms has been employed to study whether or not certain fundamental mathematical constants satisfy simple algebraic polynomials.

Recently, one of us discovered a new relation-finding algorithm that is much more efficient, both in terms of run time and numerical precision. This algorithm has now been implemented on high-speed computers, using multiprecision arithmetic. With the help of these programs, several of the previous numerical results on mathematical constants have been extended, and other possible relationships between certain constants have been studied. This paper describes this new algorithm, summarizes the numerical results, and discusses other possible applications.

In particular, it is established that none of the following constants satisfies a simple, low-degree polynomial: $ \gamma $ (Euler's constant), $ \log \gamma $, $ \log \pi $, $ {\rho _1}$ (the imaginary part of the first zero of Riemann's zeta function), $ \log {\rho _1}$, $ \zeta (3)$ (Riemann's zeta function evaluated at 3), and $ \log \zeta (3)$. Several classes of possible additive and multiplicative relationships between these and related constants are ruled out. Results are also cited for Feigenbaum's constant, derived from the theory of chaos, and two constants of fundamental physics, derived from experiment.

References [Enhancements On Off] (What's this?)

  • [1] D. H. Bailey, "The computation of $ \pi $ to 29,360,000 decimal digits using Borweins' quartically convergent algorithm," Math. Comp., v. 50, 1988, pp. 283-296. MR 917836 (88m:11114)
  • [2] D. H. Bailey, "Numerical results on the transcendence of constants involving $ \pi $, e, and Euler's constant," Math. Comp., v. 50, 1988, pp. 275-281. MR 917835 (88m:11056)
  • [3] D. H. Bailey, "A high performance FFT algorithm for vector supercomputers," Internat. J. Supercomput Appl., v. 2, 1988, pp. 82-87.
  • [4] J. M. Borwein & P. B. Borwein, "The arithmetic-geometric mean and fast computation of elementary functions," SIAM Rev., v. 26, 1984, pp. 351-365. MR 750454 (86d:65029)
  • [5] J. M. Borwein & P. B. Borwein, Pi and the AGM--A Study in Analytic Number Theory and Computation Complexity, Wiley, New York, 1987.
  • [6] J. M. Borwein & P. B. Borwein, "Ramanujan and Pi," Sci. Amer., v. 258, 1988, pp. 112-117.
  • [7] J. V. Drazil, Quantities and Units of Measurement: A Dictionary and Handbook, Mansell Publishing, Ltd., London, 1983.
  • [8] M. J. Feigenbaum, "Quantitative universality for a class of nonlinear transformations," J. Statist. Phys., v. 19, 1978, pp. 25-52. MR 0501179 (58:18601)
  • [9] H. R. P. Ferguson & R. W. Forcade, "Generalization of the Euclidean algorithm for real numbers to all dimensions higher than two," Bull. Amer. Math. Soc., v. 1, 1979, pp. 912-914. MR 546316 (80i:10039)
  • [10] H. R. P. Ferguson, "A short proof of the existence of vector Euclidean algorithms," Proc. Amer. Math. Soc., v. 97, 1986, pp. 8-10. MR 831375 (87i:11080)
  • [11] H. R. P. Ferguson, "A non-inductive $ {\text{GL}}(n,Z)$ algorithm that constructs linear relations for n Z-linearly dependent real numbers," J. Algorithms, v. 8, 1987, pp. 131-145. MR 875331 (88h:11096)
  • [12] H. R. P. Ferguson, A New Integral Relation Finding Algorithm Involving Partial Sums of Squares, Brigham Young University preprint, Sept. 1987.
  • [13] H. R. P. Ferguson, "A new integral relation finding algorithm involving partial sums of squares and no square roots," Abstracts Amer. Math. Soc., v. 9, 1988, p. 214.
  • [14] I. J. Good, "On the masses of the proton, neutron, and hyperons," J. Roy. Naval Sci. Service, v. 12, 1957, pp. 82-83. MR 0090432 (19:813g)
  • [15] R. Kannan & L. A. McGeoch, Basis Reduction and Evidence for Transcendence of Certain Numbers, Springer Lecture Notes in Comput. Sci., vol. 241, 1986, pp. 263-269. MR 889925 (88g:11038)
  • [16] J. Hastad, B. Helfrich, J. C. Lagarias & C. P. Schnorr, "Polynomial time algorithms for finding integer relations among real numbers," SIAM J. Comput. (to appear); A preliminary version has appeared in Proc. STACS 86, Springer Lecture Notes in Comput. Sci., vol. 210, 1986, pp. 105-118. MR 827729 (87e:68041)
  • [17] A. M. Odlyzko & H. J. J. te Riele, "Disproof of the Mertens conjecture," J. Reine Angew. Math., v. 357, 1985, pp. 138-160. MR 783538 (86m:11070)
  • [18] B. Robertson, "Wyler's expression for the fine-structure constant $ \alpha $," Phys. Rev. Lett., v. 27, 1971, pp. 1545-1547.
  • [19] P. N. Swarztrauber, "Multiprocessor FFTs," Parallel Comput., v. 5, 1987, pp. 197-210. MR 898043

Similar Articles

Retrieve articles in Mathematics of Computation with MSC: 11Y16, 68Q25

Retrieve articles in all journals with MSC: 11Y16, 68Q25

Additional Information

Article copyright: © Copyright 1989 American Mathematical Society

American Mathematical Society