Y-cruncher

The Chudnovsky algorithm is a fast method for calculating the digits of , based on Ramanujan’s formulae. It was published by the Chudnovsky brothers in 1988.

It was used in the world record calculations of 2.7 trillion digits of in December 2009, 10 trillion digits in October 2011, 22.4 trillion digits in November 2016, 31.4 trillion digits in September 2018–January 2019, 50 trillion digits on January 29, 2020, 62.8 trillion digits on August 14, 2021, and 100 trillion digits on March 21, 2022.

Algorithm

The algorithm is based on the negated Heegner number $d = -163$, the ''j''-function $j \left(\tfrac\right) = -640320^3$, and on the following rapidly convergent generalized hypergeometric series:

:$\frac = 12 \sum^\infty_ \frac$

A detailed proof of this formula can be found here:

For a high performance iterative implementation, this can be simplified to

:$\frac=\frac = \sum^\infty_ \frac$

There are 3 big integer terms (the multinomial term ''M_q'', the linear term ''L_q'', and the exponential term ''X_q'') that make up the series and equals the constant ''C'' divided by the sum of the series, as below:

:$\pi = C \left(\sum^\infty_ \frac\right)^$, where:

:$C = 426880 \sqrt$,
:$M_q = \frac$,
:$L_q = 545140134q + 13591409$,
:$X_q = (-262537412640768000)^q$.

The terms ''M_q'', ''L_q'', and ''X_q'' satisfy the following recurrences and can be computed as such:
:
\begin
L_ &= L_q + 545140134 \,\, && \textrm \,\, L_0 &&= 13591409 \\ pt X_ &= X_q \cdot (-262537412640768000) && \textrm \,\, X_0 &&= 1 \\ pt M_ &= M_q \cdot \left( \frac \right) \,\, && \textrm \,\, M_0 &&= 1 \\ pt\end

The computation of ''M_q'' can be further optimized by introducing an additional term ''K_q'' as follows:

:
\begin
K_ &= K_q + 12 \,\, && \textrm \,\, K_0 &&= -6 \\ pt M_ &= M_q \cdot \left( \frac \right) \,\, && \textrm \,\, M_0 &&= 1 \\2pt\end

Note that

:$e^ \approx 640320^3+743.99999999999925\dots$ and
:$640320^3 = 262537412640768000$
:$545140134 = 163 \cdot 127 \cdot 19 \cdot 11 \cdot 7 \cdot 3^2 \cdot 2$
:$13591409 = 13 \cdot 1045493$

This identity is similar to some of Ramanujan's formulas involving , and is an example of a Ramanujan–Sato series.

The time complexity of the algorithm is $O\left(n (\log n)^3\right)$.

See also

*Borwein's algorithm
* Numerical approximations of
*Ramanujan–Sato series

References

{{reflist

Pi algorithms