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)$).

The conservative matrix field

Algorithm-assisted discovery of an intrinsic order among mathematical constants

The Conservative Matrix on Locally Convex Spaces

Infinite Matrix Method, ($\boldsymbol~{op}$) Type Space, Invariance and Demi-Linear Analysis

An Introduction to Matrix Concentration Inequalities

Generating Matrix Identities and Proof Complexity Lower Bounds.

Two Matrix Model, the Riemann Hypothesis and Master Matrix Obstruction

The altered Hermite matrix: implications and ramifications

Positivity preservers over finite fields

Novel Theory for Polynomial and Rational Matrices at Infinity. Part1. Polynomial Matrices

An extended version of the $_{r+1}R_{s,k}(B,C,z)$ matrix function

Matrix weights, singular integrals, Jones factorization and Rubio de Francia extrapolation

Generalization of real interval matrices to other fields

On the matrix function $_pR_q(A, B; z)$ and its fractional calculus properties

Irrationality proofs for zeta values, moduli spaces and dinner parties

A Matrix Hyperbolic Cosine Algorithm and Applications

Artin's Primitive Root Conjecture in Number Fields and For Matrices

A Conjecture Of Zhi-Wei Sun On Matrices Concerning Multiplicative Subgroups Of Finite Fields

On the Connection Between Irrationality Measures and Polynomial Continued Fractions

On all numbers great and small (Topological fields of Conway's numbers and their completions)

A Number Field Analogue of Ramanujan's identity for $ζ(2m+1)$