A Family of Congruences for Rogers--Ramanujan Subpartitions (2004.02185v1)

Abstract: In 2015 Choi, Kim, and Lovejoy studied a weighted partition function, $A_1(m)$, which counted subpartitions with a structure related to the Rogers--Ramanujan identities. They conjectured the existence of an infinite class of congruences for $A_1(m)$, modulo powers of 5. We give an explicit form of this conjecture, and prove it for all powers of 5.