A congruence family modulo powers of 5 for generalized cubic partitions via the localization method

TL;DR

This paper proves a family of congruences modulo powers of 5 for the generalized cubic partition function $a_3(n)$, using the localization method to handle complex modular curves.

Contribution

It introduces a novel application of the localization method to establish congruences for generalized cubic partitions on the modular curve $X_0(10)$.

Findings

Proves congruences $a_3(5^{2eta}n + ext{constant}) ot i 0 mod 5^eta$.

Utilizes the localization method to analyze modular functions on complex modular curves.

Abstract

Recently Amdeberhan, Sellers, and Singh introduced a new infinite family of partition functions called generalized cubic partitions. Given a positive integer $d$, they let $a_d(n)$ be the counting function for partitions of $n$ in which the odd parts are unrestricted and the even parts are $d$-colored. These partitions are natural generalizations of Chan's notion of cubic partitions, as they coincide when $d=2.$ Many Ramanujan-like congruences exist in the literature for cubic partitions, and in their work Amdeberhan, Sellers, and Singh proved a collection of congruences satisfied by $a_d(n)$ for various $d \geq 1$, including an infinite family with prime moduli. Our goal in this paper is to prove a family of congruences modulo powers of 5 for $a_3(n)$. More specifically, our main theorem asserts \[a_3\left(5^{2\alpha}n +\gamma_{\alpha} \right) \equiv 0 \pmod{5^\alpha},\] where \[\gamma_{\alpha} = 20 + \frac{19 \cdot 25 (25^{\alpha-1}-1)}{24}.\] In order to prove these congruences, we use an approach centered around modular functions, as in the seminal work of Watson and Atkin on proving Ramanujan's congruences for the partition function $p(n)$. However, due to the complexity of the modular curve $X_0(10)$ associated to our modular functions, the classical method cannot be directly applied. Rather, we utilize the very recently developed localization method of Banerjee and Smoot, which is designed to treat congruence families over more complicated modular curves, such as $X_0(10).$