Space-efficient evaluation of hypergeometric series

We consider the evaluation of the truncated hypergeometric series [EQUATION] to high precision, where a, b, p, and q are polynomials with integer coefficients, and a(n), b(n), p(n), q(n) have bit length O(log n). We also assume that the series is linearly convergent, so that the nth term of (1) is O(c-n) with c > 1. These series are commonly used in the high precision evaluation of elementary functions and other constants, including the exponential function, logarithms, trigonometric functions, and constants such as the Apéry's constant ζ(3) [9, 10]. "Binary splitting" is an approach that has been independently discovered and used by many authors in the computation of (1) [2, 3, 4, 5, 8, 10, 12]. Binary splitting computes the numerator and denominator of the rational number S(N). The decimal representation of S(N) is then computed by fixed-point division of the numerator by the denominator. The binary splitting approach takes advantage of the special form of the series (1) to obtain a denominator that is relatively small (of size O(N log N)). It also takes advantage of fast integer multiplication to obtain a time complexity of O((log N)2M(N)), where M(N) = O(N log N log log N) is the complexity of integer multiplication of two N-bit integers [16]. The space complexity of the algorithm is O(N log N), the size of the computed numerator and denominator. Typically, the numerator and denominator computed by binary splitting have large common factors. For example, in the computation of 640000 digits of ζ(3), as much as 86% of the size of the computed numerator and denominator can be attributed to their common factor [7]. Empirically, we have observed that the size of the reduced numerator and denominator is O(N) instead of O(N log N) as computed by binary splitting. The additional digits computed not only slow down the final division but also require more memory to be used during the computation. For computing a large number of decimal digits, either the computation cannot be done at all or some data would have to be swapped out of memory, increasing the computation time dramatically. In this poster, we study the application of well-known techniques in computer algebra to the evaluation of (1). If a bound on the size of the reduced numerator and denominator is known, we can compute the image of S(N) in (1) under an appropriately chosen modulus. Fast rational number reconstruction can then be applied to recover the reduced numerator and denominator [13, 14, 15, 17]. We show how to apply our techniques to the computation of ζ(3), including the prediction of the size of the reduced numerator and denominator. In particular, we obtain the desired O(N) bound on the size of reduced numerator and denominator, which is an interesting result by itself. The techniques used in the analysis can be applied to similar hypergeometric series.

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.