Proof of a supercongruence conjectured by Sun through a $q$-microscope

TL;DR

This paper proves a conjecture by Sun involving a supercongruence related to binomial sums and primes, using a novel 'creative microscoping' method to establish the congruence modulo p^2.

Contribution

The paper introduces and applies the 'creative microscoping' technique to confirm Sun's supercongruence conjecture involving binomial sums and prime numbers.

Findings

Confirmed Sun's supercongruence conjecture for primes p and odd integers m.

Demonstrated effectiveness of the 'creative microscoping' method in proving supercongruences.

Extended the understanding of binomial sum congruences in number theory.

Abstract

Recently, Z.-W. Sun made the following conjecture: for any odd prime $p$ and odd integer $m$, $$ \frac{1}{m^2{m-1\choose (m-1)/2}}\Bigg(\sum_{k=0}^{(pm-1)/2}\frac{{2k\choose k}}{8^k} -\left(\frac{2}{p}\right)\sum_{k=0}^{(m-1)/2}\frac{{2k\choose k}}{8^k}\Bigg) \equiv 0\pmod{p^2}. $$ In this note, applying the "creative microscoping" method, introduced by the author and Zudilin, we confirm the above conjecture of Sun.