Arithmetic Properties of Partitions with 1-colored Even Parts and r-colored Odd Parts

Basic Information

• Paper ID: 2509.24324
• Title: Arithmetic Properties of Partitions with 1-colored Even Parts and r-colored Odd Parts
• Authors: M. P. Thejitha and S. N. Fathima
• Classification: math.NT (Number Theory)
• Publication Date: November 18, 2025 (arXiv v2)
• Affiliation: Ramanujan School of Mathematical Sciences, Pondicherry University, India
• Paper Link: https://arxiv.org/abs/2509.24324

Abstract

This paper investigates the partition function $a_r(n)$ defined by Hirschhorn and Sellers, which counts the number of partitions of a positive integer $n$ where even parts have only one color while odd parts can have $r$ colors ($r \geq 1$ fixed). Through the application of Newman's theorem and modular form theory, the paper establishes several new infinite families of congruences modulo 3 and modulo 5.

Research Background and Motivation

Research Questions

This paper studies the arithmetic properties of integer partitions, particularly the congruence properties of colored partition functions. Specifically:

1. Study congruence relations of the $a_r(n)$ function on specific arithmetic progressions
2. Prove new congruence families modulo 3 and modulo 5
3. Generalize and extend existing congruence results

Significance of the Problem

1. Natural generalization of classical problems: Integer partitions are central to combinatorial number theory. Ramanujan's classical congruences (such as $p(5n+4) \equiv 0 \pmod{5}$) initiated the study of partition congruences.
2. Theoretical value of colored partitions: Special cases like $a_1(n) = p(n)$ (classical partition function), $a_2(n) = \bar{p}(n)$ (overpartitions), and $a_3(n)$ (partitions with 3-colored odd parts) connect multiple important combinatorial objects.
3. Methodological significance: The combination of Newman's theorem and modular form theory provides a systematic approach to studying such problems.

Limitations of Existing Methods

1. Hirschhorn and Sellers 6 primarily used theta function identities and $q$-series techniques, proving only finitely many modulo 7 congruences.
2. Amdeberhan and Merca 1 employed computer algebra systems (RaduRK package), but their method depends on specific software.
3. Lack of systematic theoretical framework for proving infinite congruence families.

Research Motivation

The authors aim to:

1. Extend the known list of congruences, particularly for modulo 3 and modulo 5 cases
2. Employ Newman's classical theorem to provide pure theoretical proofs
3. Combine modular form theory (Sturm's theorem, Hecke operators) to provide multiple proof methods

Core Contributions

The main contributions of this paper include:

1. Modulo 5 congruence families ($a_3(n)$): Proves infinite congruence families for $a_3(n)$, including:
   • Main congruence theorem (Theorem 3.1): For primes $p \geq 5$, $a_3(n) \equiv 0 \pmod{5}$ on specific arithmetic progressions
   • Recursive congruences: Self-similar congruence relations when $p = 5$
2. Modulo 3 congruence families ($a_t(n)$): For $t \in \{5,8,11,14,17,20,23,26\}$, proves systematic modulo 3 congruences (Theorems 4.1-4.12)
3. Modular form methods: Uses Sturm's theorem and Hecke operators to prove new congruences for $a_5(n)$ (Theorems 5.1-5.2):
   • $a_5(3^{2\alpha+3}n + \frac{153 \cdot 3^{2\alpha}-1}{8}) \equiv 0 \pmod{3}$
   • $a_5(5n+3) \equiv 0 \pmod{5}$
4. Methodological contributions: Demonstrates systematic application of Newman's theorem to partition congruences, providing a generalizable proof framework.

Detailed Methods

Task Definition

Input: Positive integer $n$ and color parameter $r$
Output: Determine whether $a_r(n)$ satisfies congruence relations on specific arithmetic progressions
Constraints: Congruence relations hold for all $n$ satisfying the conditions

Core Theoretical Tools

1. Newman's Theorem (Lemma 2.2)

This is the paper's core tool. For distinct primes $p$ and $q$, and integers $r$ and $s$ satisfying specific conditions, define $\varphi(\tau) = \prod_{n=1}^{\infty}(1-x^n)^r(1-x^{nq})^s = \sum_{n=0}^{\infty}c(n)x^n$

Newman's theorem yields a three-term recurrence relation: $c(np^2+\Delta) - \gamma c(n) + p^{2\epsilon-2}c\left(\frac{n-\Delta}{p^2}\right) = 0$

where:

• $\gamma = p^{2\epsilon-2}\alpha - \left(\frac{\theta}{p}\right)_L p^{\epsilon-3/2}\left(\frac{n-\Delta}{p}\right)_L$
• $\theta = (-1)^{1/2-\epsilon}2^{qs}$
• $\Delta = t(p^2-1)$
• $(\cdot)_L$ denotes the Legendre symbol

2. Modular Form Theory

• Dedekind eta function: $\eta(z) = q^{1/24}\prod_{n=1}^{\infty}(1-q^n)$, where $q = e^{2\pi iz}$
• Eta quotient criterion (Theorem 2.3): Determines when eta quotients are modular forms
• Sturm's theorem (Theorem 2.4): Provides finite computational bounds for verifying modular congruences
• Hecke operators (Definition 2.5): Extract coefficients on specific arithmetic progressions

Technical Innovations

Innovation 1: Systematic Application of Newman's Theorem

The authors apply Newman's theorem to generating functions: $\sum_{n=0}^{\infty}a_r(n)q^n = \frac{f_2^{r-1}}{f_1^r}$

By carefully selecting parameters, they rewrite it in a form suitable for Newman's theorem, then:

1. Establish recurrence relations
2. Compute critical parameters $\xi(p)$
3. Classify cases based on $\xi(p)$ modulo primes
4. Use induction to establish infinite congruence families

Definition of critical parameter $\xi(p)$ (for $a_3(n)$ as example): $\xi(p) := c\left(\frac{5(p^2-1)}{24}\right) + \left(\frac{5(p^2-1)/12}{p}\right)_L$

Determination of recurrence period $\omega(p)$: Based on properties of $\xi(p)$ and $p$, $\omega(p) \in \{4,6,8,10,12\}$

Innovation 2: Modular Form Methods as Complement

For cases where Newman's method is less tractable, the authors construct specific eta quotient modular forms, utilizing:

• Hecke operators to extract subsequences
• Sturm bounds to verify congruences (via Mathematica computation)
• Self-similarity to establish infinite families

For example, in Theorem 5.1, they construct: $f_1(z) = \frac{\eta^4(2z)}{\eta^5(z)}\eta^{189}(z) \in M_{94}(\Gamma_0(4),\chi)$

By applying the $T_3$ operator three times and verifying Sturm bounds (47), they prove the congruence.

Innovation 3: Unified Proof Framework

For eight cases with $t \in \{5,8,11,14,17,20,23,26\}$, the authors provide a unified proof strategy:

1. Identify appropriate generating functions (from Sellers 14)
2. Apply Newman's theorem to establish recurrences
3. Define corresponding $\xi_i(p)$ parameters
4. Classify cases following a unified pattern

Experimental Setup

Computational Tools

• Mathematica: Used for symbolic computation and verification of Fourier coefficients
• Verification range: Computation up to Sturm bounds to ensure congruences hold

Verification Methods

1. Newman method verification: Through algebraic derivation of recurrence relations
2. Modular form method verification:
   • Construct eta quotients and verify they are modular forms
   • Compute Sturm bounds (e.g., 47 for Theorem 5.1, 11 for Theorem 5.2)
   • Use Mathematica to verify Fourier coefficients up to Sturm bounds

Concrete Examples

Verification of Theorem 3.1 (Remark 3.2):

• Take $p = 11$, $k = 0$
• Compute $\xi(11) \equiv 1 \pmod{5}$
• When $n \equiv 1,4,6,7,8 \pmod{11}$, Legendre symbol conditions are satisfied
• Obtain specific congruence: $a_3(6655n+605j+126) \equiv 0 \pmod{5}$, where $j \in \{1,4,6,7,8\}$

Verification of Theorem 4.12 (Remark 4.13):

• $\xi_{12}(5) \equiv 0 \pmod{3}$: $a_{26}(1875n+375j+624) \equiv 0 \pmod{3}$, $j \in \{1,2,3,4\}$
• $\xi_{12}(7) \equiv 2 \pmod{3}$: $a_{26}(1029n+147l+48) \equiv 0 \pmod{3}$, $l \in \{0,5\}$

Experimental Results

Main Results

Result 1: Modulo 5 Congruences for $a_3(n)$ (Theorem 3.1)

For primes $p \geq 5$, define the periodic function $\omega(p)$: