The paper deals with a branch of mathematics sitting at the intersection of number theory and combinatorics, specifically something called supercongruences. A supercongruence is a statement that a certain sum involving fractions and factorials, when evaluated up to a specific number of terms, equals a simple expression involving a prime number, and this equality holds with remarkable precision (modulo high powers of that prime). Two such supercongruences, originally conjectured by researchers named Guo and Schlosser, involve sums whose terms contain rising factorials (a generalized factorial product) and depend on whether the prime in question leaves remainder 1 or 2 when divided by 3. These congruences were later confirmed, along with so-called q-analogues, meaning versions where an extra variable q is introduced and the classical result is recovered when q approaches 1.
The contribution of this paper is to extend those earlier results by adding an extra free parameter to the q-analogues, making them more general and flexible. Instead of a single specific sum identity, the authors establish a whole family of identities that reduce to the previously known ones as special cases. This kind of generalization is valuable because it reveals deeper structure, provides stronger divisibility information, and often opens the door to proving related results in a unified way.
To prove these extended identities, the authors combine two technical tools. The first is a method called creative microscoping, developed by Guo and Zudilin, which involves introducing a parameter into a sum, studying divisibility properties as that parameter varies, and then extracting congruences by taking limits. The second tool is a classical transformation formula due to George Andrews that rewrites complicated multi-term series into equivalent but more manageable forms. Together these tools allow the authors to handle the extra parameter systematically and complete the proofs of the new extended supercongruences.