Arithmetic density and congruences of $\ell$-regular bipartitions $II$

Nabin Kumar Meher

2024-06-12

Abstract:Let $ B_{\ell}(n)$ denote the number of $\ell-$regular bipartitions of $n.$ In 2013, Lin \cite{Lin2013} proved a density result for $B_4(n).$ He showed that for any positive integer $k,$ $B_4(n)$ is almost always divisible by $2^k.$ In this article, we improved his result. We prove that $B_{2^{\alpha}m}(n)$ and $B_{3^{\alpha}m}(n)$ are almost always divisible by arbitrary power of $2$ and $3$ respectively. Further, we obtain an infinities families of congruences and multiplicative formulae for $B_2(n)$ and $B_4(n)$ by using Hecke eigenform theory. Next, by using a result of Ono and Taguchi on nilpotency of Hecke operator, we also find an infinite families of congruences modulo arbitrary power of $2$ satisfied by $B_{2^{\alpha}}(n).$

Number Theory

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on two aspects:

1. **Improving existing results**: In 2013, Lin [8] proved that for any positive integer \(k\), \(B_4(n)\) is almost always divisible by \(2^k\). The authors of this paper improved this result and proved that \(B_{2^{\alpha}m}(n)\) and \(B_{3^{\alpha}m}(n)\) are respectively almost always divisible by any power of 2 and 3.

2. **Obtaining new congruence relations and multiplication formulas**: By using the theory of modular forms (especially Hecke eigenforms), the authors obtained infinitely many congruence relations and multiplication formulas for \(B_2(n)\) and \(B_4(n)\). In addition, using the results of Ono and Taguchi on the nilpotency of Hecke operators, the authors also found infinitely many congruence relations for \(B_{2^{\alpha}}(n)\) modulo any power of 2.

Specifically, the core problems of the paper can be described in the following mathematical language:

- For a given positive integer \(j\), a non - negative integer \(\alpha\) and an odd positive integer \(m\) such that \(2^{\alpha}\geqslant2m\), the set
\[
\left\{n\in\mathbb{N}:B_{2^{\alpha}m}(n)\equiv0\pmod{2^j}\right\}
\]
has arithmetic density 1.

- Similarly, for a given positive integer \(j\), a non - negative integer \(\alpha\) and an odd positive integer \(m\) which is coprime to 3 such that \(3^{\alpha}\geqslant m\), the set
\[
\left\{n\in\mathbb{N}:B_{3^{\alpha}m}(n)\equiv0\pmod{3^j}\right\}
\]
also has arithmetic density 1.

Through these improvements and new discoveries, the paper has made significant progress in the arithmetic density and congruence properties of \(\ell\)-regular bipartitions.