Legendre polynomials are a family of mathematical functions that appear throughout physics and engineering, particularly when solving problems with spherical symmetry. Apery-like numbers are special sequences of integers that generalize the numbers Apery used in his famous 1978 proof that a certain mathematical constant (zeta of 3) is irrational. These two objects come from quite different corners of mathematics, so finding precise relationships between them is surprising and noteworthy.
The authors of this paper discover and prove a collection of exact identities that connect sums involving Legendre polynomials to these Apery-like numbers. These identities are described as "curious" because the connection between the two types of objects is not obvious from their definitions, and the resulting formulas have an unexpected elegance. Establishing such identities typically requires clever manipulation of generating functions, combinatorial arguments, or hypergeometric series techniques.
A key application of these identities falls in the area of supercongruences, which are divisibility results about sums of integers that hold modulo high powers of prime numbers. These are far stronger than ordinary congruences and tend to be difficult to prove. By plugging special values into their polynomial identities, the authors are able to derive many new supercongruences as corollaries. This work sits at the intersection of combinatorics, number theory, and special functions, contributing both elegant theoretical relationships and concrete arithmetic results.