A two-step supercongruence for an Ap\'ery-like sequence

Huimin Zheng

In the authors' words

Let $G_{n} = \sum_{k = 0}^{n} 4^{k} (n - k 2 n - 2 k)^{2} (k 2 k)$ . Zhi-Hong Sun conjectured that, for primes $p \equiv 3 (mod 4)$ , positive odd integers $m$ , and $r \geq 2$ , the two-step congruence $G_{(m p^{r} - 1) /2} \equiv p^{2} G_{(m p^{r - 2} - 1) /2} (mod p^{2 r - 1})$ holds. We prove the stronger valuation statement $G_{(p^{2} M - 1) /2} - p^{2} G_{(M - 1) /2} \in p^{2 v_{p} (M) + 3} Z_{p}$ for every positive odd $M$ . The proof converts the sum to a terminating $_{3} F_{2}$ , constructs a cancelled digit-transfer operator, and identifies a two-dimensional analytic quotient of its cubic difference operator. The quotient operator has characteristic polynomial $X^{2} - p^{2}$ ; its second trace is evaluated through the Gross--Koblitz formula and Greene's finite-field Dixon identity. A logarithmic-loss Green inverse converts this spectral identity into an actual integral analytic primitive. The exceptional prime $3$ requires a finite exact PARI/GP certificate, while the infinite tail is bounded symbolically. Thus the computation is finite, reproducible, and separated from the uniform part of the proof.

Main resultLimitation the authors admit

A two-step supercongruence for an Ap\'ery-like sequence

In the authors' words

More on Algebra & number theory that day

Inverse Baer deformations and finite simple skew braces of nilpotent type

Mathematical Principles of a Generalized Tonal Practice

A Machine-Checked Proof that Gardam's A~2​ Lattice Does Not Have Unique Products

On Z2​-extensions of real quadratic fields with class group of 2-rank three

Affine Harish-Chandra center in positive characteristic

A Machine-Checked Proof that Gardam's $A ~_{2}$ Lattice Does Not Have Unique Products

On $Z_{2}$ -extensions of real quadratic fields with class group of $2$ -rank three