Abstract:Linear recursions with integer coefficients, such as the one generating the Fibonacci sequence, have been intensely studied over millennia and yet still hide new mathematics. Such a recursion was used by Apéry in his proof of the irrationality of $\zeta(3)$, later named the Apéry constant. Apéry's proof used a specific linear recursion containing integer polynomials forming a continued fraction; called polynomial continued fractions (PCFs). Similar polynomial recursions prove the irrationality of other mathematical constants such as $\pi$ and $e$. More generally, the sequences generated by PCFs form Diophantine approximations (DAs), which are ubiquitous in areas of math such as number theory. It is not known which polynomial recursions create useful DAs and whether they prove irrationality. Here, we present general conclusions and conjectures about DAs created from PCFs. Specifically, we generalize Apéry's work, going beyond his particular choice of PCF, finding the conditions under which a PCF proves irrationality or provides an efficient DA. To provide concrete examples, we apply our findings to PCFs found by the Ramanujan Machine algorithms to represent fundamental constants such as $\pi$, $e$, $\zeta(3)$, and the Catalan constant G. For each such PCF, we demonstrate the extraction of its convergence rate and efficiency, as well as the bound it provides for the irrationality measure of the fundamental constant. We further propose new DA conjectures based on PCFs. Our findings motivate future research on sequences created by any linear recursions with integer coefficients, to aid the development of systematic algorithms for finding DAs of fundamental constants. Consequently, our study may contribute to ongoing efforts to answer open questions, such as the proof of the irrationality of the Catalan constant or of values of the Riemann zeta function (e.g., $\zeta(5)$).

Efficient Recursive Methods for Partial Fraction Expansion of General Rational Functions.

An Easy Pure Algebraic Method for Partial Fraction Expansion of Rational Functions With Multiple High-Order Poles

An Iteration Method with Generally Convergent Property for Cubic Polynomials.

Multiple Fixed Pole-Based Rational Approximation for Fractional Order Systems

Computation of polynomial and rational approximations in complex domains by the -method

Rational Empirical Interpolation Methods with Applications

Convergence, finiteness and periodicity of several new algorithms of p-adic continued fractions

p-adic reconstruction of rational functions in multi-loop amplitudes

Fast and stable rational approximation of generalized hypergeometric functions

Rational function approximation with normalized positive denominators

Generalized Multiple Riccati Equations Rational Expansion Method with Symbolic Computation to Construct Exact Complexiton Solutions of Nonlinear Partial Differential Equations

Computing discrete residues of rational functions

A New Riccati Equation Rational Expansion Method and Its Application

Symbolic computation of exact solutions expressible in rational formal hyperbolic and elliptic functions for nonlinear partial differential equations

New Extended Jacobi Elliptic Function Rational Expansion Method and Its Application

Approximate Common Divisors of Polynomials and Degree Reduction for Rational Curves

Interpolation of rational functions in loop calculations by using p-adic numbers

On the Connection Between Irrationality Measures and Polynomial Continued Fractions

Reconstruction of rational functions made simple

A Rational Approximant for the Digamma Function