The paper studies a mathematical object called the "rectangular Gaussian binomial coefficient," which is a two-dimensional generalization of ordinary binomial coefficients. Regular binomial coefficients count ways to choose items from a set, but these objects replace ordinary integers with what are called Gaussian integers (numbers involving the square root of negative one) and extend the construction into a grid-like rectangular shape. The motivation comes from earlier work connecting these objects to deep divisibility patterns in number theory, particularly a result by Kalinin that resembles a classical theorem about how certain large binomial coefficients behave when examined through the lens of a prime number.
The central results concern how these rectangular Gaussian binomial coefficients behave modulo powers of a prime number p, specifically primes of the form 4k+3 (such as 3, 7, 11, and 19). The main theorem shows that when you scale all four parameters defining the coefficient by a power of p, the value changes in a highly controlled way: the difference is always divisible by a very high power of p. This kind of result is called a "supercongruence," and this one resolves a conjecture by Kalinin about a particular class of primes. The paper also proves a companion result that describes what happens when parameters are built from a large multiple of p combined with a single digit in base p, producing a formula reminiscent of a classical theorem by Lucas about binomial coefficients and primes, but with extra correction factors tied to the rectangular geometry.
The proofs work by combining two main ingredients. First, the authors carefully estimate sums involving reciprocal powers in the Gaussian integers, which are the complex-number analogues of the p-adic estimates used in classical proofs of similar results over ordinary integers. Second, they decompose the rectangular products at the heart of these coefficients into complete square blocks of size p-by-p, allowing the complicated global structure to be understood through manageable local pieces. Together these tools let the authors track divisibility precisely enough to establish the sharp congruences they need.