## Numerical results on relations between fundamental constants using a new algorithm

HTML articles powered by AMS MathViewer

- by David H. Bailey and Helaman R. P. Ferguson PDF
- Math. Comp.
**53**(1989), 649-656 Request permission

## 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

- David H. Bailey,
*The computation of $\pi$ to $29,360,000$ decimal digits using Borweins’ quartically convergent algorithm*, Math. Comp.**50**(1988), no. 181, 283–296. MR**917836**, DOI 10.1090/S0025-5718-1988-0917836-3 - David H. Bailey,
*Numerical results on the transcendence of constants involving $\pi ,e$, and Euler’s constant*, Math. Comp.**50**(1988), no. 181, 275–281. MR**917835**, DOI 10.1090/S0025-5718-1988-0917835-1
D. H. Bailey, "A high performance FFT algorithm for vector supercomputers," - J. M. Borwein and P. B. Borwein,
*The arithmetic-geometric mean and fast computation of elementary functions*, SIAM Rev.**26**(1984), no. 3, 351–366. MR**750454**, DOI 10.1137/1026073
J. M. Borwein & P. B. Borwein, - Mitchell J. Feigenbaum,
*Quantitative universality for a class of nonlinear transformations*, J. Statist. Phys.**19**(1978), no. 1, 25–52. MR**501179**, DOI 10.1007/BF01020332 - H. R. P. Ferguson and R. W. Forcade,
*Generalization of the Euclidean algorithm for real numbers to all dimensions higher than two*, Bull. Amer. Math. Soc. (N.S.)**1**(1979), no. 6, 912–914. MR**546316**, DOI 10.1090/S0273-0979-1979-14691-3 - Helaman Ferguson,
*A short proof of the existence of vector Euclidean algorithms*, Proc. Amer. Math. Soc.**97**(1986), no. 1, 8–10. MR**831375**, DOI 10.1090/S0002-9939-1986-0831375-X - Helaman R. P. Ferguson,
*A noninductive $\textrm {GL}(n,\textbf {Z})$ algorithm that constructs integral linear relations for $n\;\textbf {Z}$-linearly dependent real numbers*, J. Algorithms**8**(1987), no. 1, 131–145. MR**875331**, DOI 10.1016/0196-6774(87)90033-2
H. R. P. Ferguson, - I. J. Good,
*On the masses of the proton, neutron and hyperons*, J. Roy. Naval Sci. Service**12**(1957), 144. MR**0090432** - Ravi Kannan and Lyle A. McGeoch,
*Basis reduction and evidence for transcendence of certain numbers*, Foundations of software technology and theoretical computer science (New Delhi, 1986) Lecture Notes in Comput. Sci., vol. 241, Springer, Berlin, 1986, pp. 263–269. MR**889925**, DOI 10.1007/3-540-17179-7_{1}6 - J. Håstad, B. Helfrich, J. Lagarias, and C.-P. Schnorr,
*Polynomial time algorithms for finding integer relations among real numbers*, STACS 86 (Orsay, 1986) Lecture Notes in Comput. Sci., vol. 210, Springer, Berlin, 1986, pp. 105–118. MR**827729**, DOI 10.1007/3-540-16078-7_{6}9 - A. M. Odlyzko and H. J. J. te Riele,
*Disproof of the Mertens conjecture*, J. Reine Angew. Math.**357**(1985), 138–160. MR**783538**, DOI 10.1515/crll.1985.357.138
B. Robertson, "Wyler’s expression for the fine-structure constant $\alpha$," - Paul N. Swarztrauber,
*Multiprocessor FFTs*, Proceedings of the international conference on vector and parallel computing—issues in applied research and development (Loen, 1986), 1987, pp. 197–210. MR**898043**, DOI 10.1016/0167-8191(87)90018-4

*Internat. J. Supercomput Appl.*, v. 2, 1988, pp. 82-87.

*Pi and the AGM—A Study in Analytic Number Theory and Computation Complexity*, Wiley, New York, 1987. J. M. Borwein & P. B. Borwein, "Ramanujan and Pi,"

*Sci. Amer.*, v. 258, 1988, pp. 112-117. J. V. Drazil,

*Quantities and Units of Measurement*:

*A Dictionary and Handbook*, Mansell Publishing, Ltd., London, 1983.

*A New Integral Relation Finding Algorithm Involving Partial Sums of Squares*, Brigham Young University preprint, Sept. 1987. 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.

*Phys. Rev. Lett.*, v. 27, 1971, pp. 1545-1547.

## Additional Information

- © Copyright 1989 American Mathematical Society
- Journal: Math. Comp.
**53**(1989), 649-656 - MSC: Primary 11Y16; Secondary 68Q25
- DOI: https://doi.org/10.1090/S0025-5718-1989-0979934-9
- MathSciNet review: 979934