Abstract
We state and analyze a generalization of the “truncation trick” suggested by Gourdon and Sebah to improve the performance of power series evaluation by binary splitting. It follows from our analysis that the values of D-finite functions (i.e., functions described as solutions of linear differential equations with polynomial coefficients) may be computed with error bounded by 2− p in time \(\mathrm{O} (p (\lg p)^{3 + o (1)})\) and space O (p). The standard fast algorithm for this task, due to Chudnovsky and Chudnovsky, achieves the same time complexity bound but requires \(\mathrm\Theta (p \lg p)\) bits of memory.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bernstein, D.J.: Fast multiplication and its applications. In: Buhler, J., Stevenhagen, P. (eds.) Algorithmic Number Theory, pp. 325–384. Cambridge University Press (2008), http://www.msri.org/communications/books/Book44/
Borwein, J.M., Borwein, P.B.: Pi and the AGM. Wiley (1987)
Brent, R.P., Zimmermann, P.: Modern Computer Arithmetic. Cambridge University Press (2010), http://www.loria.fr/~zimmerma/mca/mca-cup-0.5.7.pdf
Cheng, H., Hanrot, G., Thomé, E., Zima, E., Zimmermann, P.: Time- and space-efficient evaluation of some hypergeometric constants. In: Wang, D. (ed.) ISSAC 2007, pp. 85–91. ACM (2007), http://www.cs.uleth.ca/~cheng/papers/issac2007.pdf
Chudnovsky, D.V., Chudnovsky, G.V.: Computer algebra in the service of mathematical physics and number theory. In: Chudnovsky and Jenks [6], pp. 109–232
Chudnovsky, D.V., Jenks, R.D. (eds.): Computers in Mathematics, Stanford University. Lecture Notes in Pure and Applied Mathematics, vol. 125 (1986), Dekker (1990)
Fürer, M.: Faster integer multiplication. SIAM Journal on Computing 39(3), 979–1005 (2009), http://www.cse.psu.edu/~furer/Papers/mult.pdf
Gosper, W.: Strip mining in the abandoned orefields of nineteenth century mathematics. In Chudnovsky and Jenks [6], pp 261–284
Gourdon, X., Sebah, P.: Constants and records of computation. Updated August 12 (2010), http://numbers.computation.free.fr/Constants/constants.html
Gourdon, X., Sebah, P.: Binary splitting method (2001), http://numbers.computation.free.fr/Constants/Algorithms/splitting.ps
Granlund, T., et al.: GNU Multiple Precision Arithmetic Library, http://gmplib.org/
Haible, B., Papanikolaou, T.: Fast multiprecision evaluation of series of rational numbers (1997), http://www.informatik.tu-darmstadt.de/TI/Mitarbeiter/papanik/ps/TI-97-7.ps.gz
Hille, E.: Ordinary differential equations in the complex domain. Wiley (1976), Dover reprint (1997)
Kreckel, R.B.: decimal(γ) = ~ ”0.57721566[0-9]{1001262760}39288477” (2008), http://www.ginac.de/~kreckel/news.html#EulerConstantOneBillionDigits
Mathews, J.H.: Bibliography for Taylor series method for D.E.’s (2003), http://math.fullerton.edu/mathews/n2003/taylorde/TaylorDEBib/Links/TaylorDEBib_lnk_3.html
Mezzarobba, M.: NumGfun: a package for numerical and analytic computation with D-finite functions. In: Koepf, W. (ed.) ISSAC 2010, pp. 139–146. ACM (2010), http://arxiv.org/abs/1002.3077 , doi:10.1145/1837934.1837965
Mezzarobba, M.: Autour de l’évaluation numérique des fonctions D-finies. Thèse de doctorat, École polytechnique (November 2011), http://tel.archives-ouvertes.fr/pastel-00663017/
Mezzarobba, M., Salvy, B.: Effective bounds for P-recursive sequences. Journal of Symbolic Computation 45(10), 1075–1096 (2010), http://arxiv.org/abs/0904.2452 , doi:10.1016/j.jsc.2010.06.024
Roche, D.S.: Efficient Computation with Sparse and Dense Polynomials. PhD thesis, University of Waterloo (2011), http://uwspace.uwaterloo.ca/handle/10012/5869
Serre, D.: Matrices. Graduate Texts in Mathematics, vol. 216. Springer (2002)
Stanley, R.P.: Differentiably finite power series. European Journal of Combinatorics 1(2), 175–188 (1980)
van der Hoeven, J.: Fast evaluation of holonomic functions. Theoretical Computer Science 210(1), 199–216 (1999), http://www.texmacs.org/joris/hol/hol-abs.html
van der Hoeven, J.: Fast evaluation of holonomic functions near and in regular singularities. Journal of Symbolic Computation 31(6), 717–743 (2001), http://www.texmacs.org/joris/singhol/singhol-abs.html
van der Hoeven, J.: Transséries et analyse complexe effective. Habilitation à diriger des recherches, Université Paris-Sud, Orsay, France (2007), http://www.texmacs.org/joris/hab/hab-abs.html
von Zur Gathen, J., Gerhard, J.: Modern Computer Algebra, 2nd edn. Cambridge University Press (2003)
Yakhontov, S.V.: Calculation of hypergeometric series with quasi-linear time and linear space complexity. Vestnik Samarskogo Gosudarstvennogo Tekhnicheskogo Universiteta. Seriya: Fiziko-Matematicheskie Nauki 24, 149–156 (2011)
Yakhontov, S.V.: A simple algorithm for the evaluation of the hypergeometric series using quasi-linear time and linear space. Preprint 1106.2301v1, arXiv (June 2011), English version of [26], http://arxiv.org/abs/1106.2301
Yee, A.J.: Mathematical constants – billions of digits. Updated March 7 (2011), http://www.numberworld.org/digits/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mezzarobba, M. (2012). A Note on the Space Complexity of Fast D-Finite Function Evaluation. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing. CASC 2012. Lecture Notes in Computer Science, vol 7442. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32973-9_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-32973-9_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32972-2
Online ISBN: 978-3-642-32973-9
eBook Packages: Computer ScienceComputer Science (R0)