Binary BBP-Formulae for Logarithms and Generalized Gaussian-Mersenne Primes

Constants of the form C = 1 X k=0 p(k) q(k)b k where p and q are integer polynomials, degp < degq, and p(k)=q(k) is non-singular for nonnegative k and b‚ 2, have special properties. The n th digit (base b) of C may be calculated in (essentially) linear time without computing its preceding digits, and constants of this form are conjectured to be either rational or normal to base b. This paper constructs such formulae for constants of the form logp for many primes p. This holds for all Gaussian-Mersenne primes and for a larger class of \generalized GuassianMersenne primes". Finally, connections to Aurifeuillian factorizations are made.

[1]  David H. Bailey,et al.  On the Random Character of Fundamental Constant Expansions , 2001, Exp. Math..

[2]  David Bailey,et al.  On the rapid computation of various polylogarithmic constants , 1997, Math. Comput..

[3]  Peter Stevenhagen,et al.  On Aurifeuillian factorizations , 1987 .

[4]  Richard P. Brent,et al.  Computing Aurifeuillian Factors , 1995 .

[5]  D. Bailey A Compendium of BBP-Type Formulas for Mathematical Constants , 2004 .

[6]  A. Schinzel,et al.  On Primitive Prime Factors of an-bn , 1962, Mathematical Proceedings of the Cambridge Philosophical Society.

[7]  Jonathan M. Borwein,et al.  Finding and Excluding b-ary Machin-Type BBP Formulae , 2004 .

[8]  N. Meyers,et al.  H = W. , 1964, Proceedings of the National Academy of Sciences of the United States of America.