A proof of the Baruah--Gogoi conjecture on sums of odd and even overlined parts

Andrews and Dastidar introduced the statistic $\text{SOME}(n)$, defined as the difference between the sum of all odd parts and the sum of all even parts occurring in the partitions of $n$, and investigated its arithmetic properties. Motivated by their work, Baruah and Gogoi defined two analogous statistics for overpartitions, namely $\text{OSOMEo}(n)$ and $\text{OSOMEe}(n)$, which record the sums of all odd and all even overlined parts, respectively. They established several congruences for these statistics and their difference, and proposed a conjecture on congruences modulo $7$. In this paper, we prove their conjecture by elementary $q$-series methods. Our proof combines two specializations of Watson’s quintuple product identity, a $(p,k)$-parameterization of divisor-sum series, and termwise logarithmic differentiation