Askey–Gasper rational-function coefficient supercongruence

Let

F(x1,x2,x3)=11(x1+x2+x3)+4x1x2x3F(x_1,x_2,x_3)=\frac{1}{1-(x_1+x_2+x_3)+4x_1x_2x_3}

and write its Taylor expansion as

F(x)=nZ03G(n)xn.F(\boldsymbol{x})=\sum_{\boldsymbol{n}\in\mathbb{Z}_{\geqslant 0}^3}G(\boldsymbol{n})\boldsymbol{x}^{\boldsymbol{n}}.

This is the Askey–Gasper rational function. Askey–Gasper coefficient supercongruence. For every prime p5p\geqslant 5 and integer r1r\geqslant 1,

G(prn)G(pr1n)(modp3r).G(p^r\boldsymbol{n})\equiv G(p^{r-1}\boldsymbol{n})\pmod{p^{3r}}.

The conjecture is motivated by numerical evidence for a rational function on the boundary of positivity and extends the supercongruence phenomenon from diagonal Apéry-like sequences to all coefficients.

Sources & referencesView supporting material

Primary source

Armin Straub, “Multivariate Apéry numbers and supercongruences of rational functions”, arXiv:1401.0854 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.