Weighted bilinear identities and supercongruences for Ap\'ery-like polynomials

Yu-Tian Li; Zhi-Hong Sun

In the authors' words

We establish weighted bilinear summation identities for two families of Ap\'ery-like polynomials $g_{n} (x)$ and $v_{n} (x)$ . The identities express weighted sums in terms of consecutive endpoint values and, when necessary, lower moments. For $g_{n} (x)^{2}$ we obtain identities with weights $(2 n + 1)^{r}$ for $1 \leq r \leq 4$ ; for $v_{n} (x)^{2}$ we treat the cubic and quintic weights. Combining these formulas with congruences for the endpoint values gives supercongruences modulo $p^{3}$ and $p^{4}$ , together with special evaluations modulo $p^{5}$ and $p^{7}$ , where $p$ is a prime greater than $3$ . In particular, $\sum_{n = 0}^{p - 1} (2 n + 1)^{3} v_{n} (\frac{5}{2})^{2} \equiv 6 p^{4} - \frac{143}{3} p^{6} (mod p^{7}),$ confirming a congruence conjectured by Sun. The proofs use explicit quadratic telescoping identities and $p$ -adic endpoint expansions.

Main resultThe abstract does not state a limitation.

Weighted bilinear identities and supercongruences for Ap\'ery-like polynomials

In the authors' words

More on Algebra & number theory that day

A separably representable counterexample to Naimark's problem in ZFC

Some Infinite Families of Arithmetic Symplectic Hypergeometric Groups

The Kazhdan-Lusztig category of osp1∣2n​ at irrational levels

Degrees and directional defects of embedded algebraic vector bundles

Euler characteristics of strata of k-differentials

The Kazhdan-Lusztig category of $osp_{1∣2 n}$ at irrational levels

Euler characteristics of strata of $k$ -differentials