New representations for all sporadic Apéry-like sequences, with applications to congruences

Abstract

We find new representations, in terms of constant terms of powers of Laurent polynomials, for all the 15 sporadic Ap{é}ry-like sequences discovered by Zagier, Almkvist-Zudilin and Cooper. The new representations lead to binomial expressions for the sequences, which, as opposed to previous expressions, do not involve powers of 3 or 8. We use these to establish the supercongruence $B_{n{p}^k}\equiv B_{n{p}^{k-1}}\mathrm{mod}{p}^{2k}$ for all primes $p\ge 3$ and integers $n,k\ge 1$, where $B_n$ is a sequence discovered by Zagier, known as Sequence $\mathbf{B}$. Additionally, for 14 of the 15 sequences, the Newton polytopes of the Laurent polynomials contain the origin as their only interior integral point. This property allows us to prove that these sequences satisfy a strong form of the Lucas congruences, extending work of Malik and Straub. Moreover, we obtain lower bounds on the $p$-adic valuation of these sequences via recent work of Delaygue.

arXiv comment20 pages, accepted version. This version includes a new section ('Legendrian and hypergeometric sequences') not included in v1

References in corpus (14)

• Differential equations, mirror maps and zeta values
• Multiple binomial sums
• Ising n-fold integrals as diagonals of rational functions and integrality of series expansions
• Supercongruences for sporadic sequences
• q-Congruences, with applications to supercongruences and the cyclic sieving phenomenon
• Multivariate Apéry numbers and supercongruences of rational functions
• Explicit formula for the generating series of diagonal 3D rook paths
• Positivity of rational functions and their diagonals
• Supercongruences for Apery-like numbers
• A supercongruence for generalized Domb numbers
• Diagonals of rational functions and selected differential Galois groups
• Congruences via modular forms
• Arithmetic properties of Apéry-like numbers
• Congruences Among Power Series Coefficients of Modular Forms

Cited by in corpus (1)

• Analytic Periods via Twisted Symmetric Squares