Congruences for an analogue of Lin's partition function

Basic Information

• Paper ID: 2510.13685
• Title: Congruences for an analogue of Lin's partition function
• Author: Russelle Guadalupe
• Classification: math.NT (Number Theory), math.CO (Combinatorics)
• Publication Date: October 15, 2025
• Paper Link: https://arxiv.org/abs/2510.13685

Abstract

This paper investigates the arithmetic properties of $B(n)$, an analogue of Lin's restricted partition function, which counts the number of partition triples $\pi=(\pi_1,\pi_2,\pi_3)$ of positive integers $n$, where $\pi_1$ and $\pi_2$ consist of distinct odd parts, and $\pi_3$ consists of parts divisible by 4. By employing elementary $q$-series techniques and modular function methods, the author establishes Ramanujan-type congruences modulo 2, 3, 5, 7, and 9 involving certain sums related to $B(n)$.

Research Background and Motivation

Problem Context

1. Foundations of Partition Theory: Integer partitions are classical objects of study in number theory and combinatorics. Ramanujan made pioneering contributions to this field, discovering famous partition congruences such as $p(5n+4) \equiv 0 \pmod{5}$.
2. Development of Restricted Partition Functions:
   • Chan (2010) introduced the concept of cubic partitions, where even parts can have two colors
   • Kim defined hypercubic partition functions
   • Lin (2013) studied the restricted partition function $b(n)$, counting partition triples satisfying specific conditions
3. Research Motivation: Lin's partition function $b(n)$ requires $\pi_1$ to consist of distinct odd parts, and $\pi_2$ and $\pi_3$ to consist of parts divisible by 4. The proposed $B(n)$ in this paper is an analogue where both $\pi_1$ and $\pi_2$ consist of distinct odd parts.

Significance

• Extends the theory of restricted partition functions
• Establishes new Ramanujan-type congruences
• Provides new tools and methods for studying arithmetic properties of partition functions

Core Contributions

1. Definition of a New Partition Function: Introduces $B(n)$ with generating function $\sum_{n=0}^{\infty} B(n)q^n = \frac{f_2^4}{f_1^2 f_4^3}$
2. Establishment of Basic Congruences: Proves $B(2n+1) \equiv 0 \pmod{2}$, $B(5n+4) \equiv 0 \pmod{5}$, and $B(27n+16) \equiv 0 \pmod{3}$
3. Discovery of Congruences for Finite Sums: Establishes congruences modulo 3, 7, and 9 for specific finite sums involving $B(n)$
4. Methodological Contributions: Combines elementary $q$-series techniques, modular function theory, and the Radu-Ramanujan-Kolberg algorithm

Detailed Methodology

Problem Definition

Study the arithmetic properties of the partition function $B(n)$, where $B(n)$ counts the number of partition triples $\pi=(\pi_1,\pi_2,\pi_3)$ of positive integers $n$ satisfying:

• $\pi_1$ and $\pi_2$ consist of distinct odd parts
• $\pi_3$ consists of parts divisible by 4

Core Technical Methods

1. $q$-Series Techniques

Employs elementary $q$-series identities and decomposition formulas:

• Euler's Identity: $f_1 = \sum_{k=-\infty}^{\infty} (-1)^k q^{k(3k+1)/2}$
• $q$-Series Decomposition: Techniques such as 2-dissection, 3-dissection, etc.
• Modular Arithmetic: Utilizes $\frac{f_{pk}^m}{} \equiv \frac{f_{pk-1}^{mp}}{} \pmod{p^k}$

2. Modular Function Theory

• Uses the Dedekind eta function $\eta(\tau) = q^{1/24}f_1$
• Constructs modular functions on the modular group $\Gamma_0(N)$
• Applies properties of eta quotients

3. Radu-Ramanujan-Kolberg Algorithm

• Employs Smoot's Mathematica package RaduRK
• Constructs bases for modular function spaces
• Algorithmically determines exact forms of generating functions

Technical Innovations

1. Novel Partition Function Design: Compared to Lin's $b(n)$, $B(n)$ requires both components to consist of distinct odd parts, introducing new mathematical structure through this symmetry
2. Hybrid Methodology: Skillfully combines elementary $q$-series techniques with sophisticated modular function theory
3. Algorithmic Proofs: Utilizes computer-assisted Radu algorithms to construct complex modular function identities

Main Theorems and Results

Theorem 1.1 (Basic Congruences)

For all $n \geq 0$:

• $B(2n+1) \equiv 0 \pmod{2}$
• $B(5n+4) \equiv 0 \pmod{5}$

Theorem 1.2 (Congruences modulo 3)

For all $n \geq 0$: $B(27n+16) \equiv 0 \pmod{3}$

Theorems 1.3-1.7 (Finite Sum Congruences)

Establishes multiple congruences involving finite sums of $B(n)$, for example: $\sum_{k=-\infty}^{\infty} (-1)^k B(9n + 3j + 2 - 6k(3k+1)) \equiv 0 \pmod{3}$

Proof Method Analysis

Proof Strategy

1. Generating Function Method: Derives congruence properties by studying decompositions and transformations of the generating function of $B(n)$
2. Modular Arithmetic: Systematically applies modular arithmetic to simplify complex $q$-series expressions
3. Dissection Techniques: Uses $m$-dissection to decompose generating functions into contributions from different residue classes

Key Lemmas

• Lemma 3.1: Establishes the exact generating function for $B(3n+2)$
• Lemma 4.2: Provides the generating function for $B(3n+1)$ modulo 9
• Lemma 5.1: Obtains the generating function for $B(7n+2)$ modulo 7 via the Radu algorithm

Technical Details

Generating Function Construction

The generating function for $B(n)$ is: $\sum_{n=0}^{\infty} B(n)q^n = \frac{f_2^4}{f_1^2 f_4^3}$

where $f_m = \prod_{n \geq 1}(1-q^{mn})$ is standard notation.

Key Identities

The paper employs several profound $q$-series identities, such as: $\frac{f_2^2}{f_1} = \frac{f_6 f_9^2}{f_3 f_{18}} + q\frac{f_{18}^2}{f_9}$

Related Work

Historical Development

1. Ramanujan (1919): Established classical partition congruences
2. Chan (2010): Introduced cubic partitions and proved analogous congruences
3. Kim: Defined hypercubic partition functions
4. Lin (2013): Studied arithmetic properties of the restricted partition function $b(n)$

Position of This Paper's Contributions

Building upon Lin's work, this paper creates a new function $B(n)$ by modifying partition conditions and discovers its unique arithmetic properties.

Conclusions and Discussion

Main Conclusions

1. Successfully establishes multiple Ramanujan-type congruences for the new partition function $B(n)$
2. Proves that finite sums involving $B(n)$ possess rich congruence properties
3. Demonstrates the power of combining $q$-series techniques with modular function theory

Methodological Significance

• Provides systematic methods for studying arithmetic properties of restricted partition functions
• Demonstrates the importance of computer-assisted proofs in modern number theory

Future Directions

1. Generalization to other types of restricted partition functions
2. Discovery of congruences modulo higher prime powers
3. Exploration of deeper connections with elliptic functions and modular forms

In-Depth Evaluation

Strengths

1. Theoretical Innovation: Proposes a new partition function, enriching the theory of restricted partitions
2. Methodological Diversity: Skillfully combines elementary and sophisticated methods, demonstrating mathematical unity
3. Rich Results: Establishes multiple new congruences with theoretical value
4. Technical Excellence: Demonstrates mastery of $q$-series and modular function theory

Limitations

1. Computational Complexity: Some proofs rely on complex computer-assisted verification
2. Limited Applications: Results are primarily theoretical; practical applications remain to be explored
3. Generalizability: The generality and extensibility of the methods require further verification

Impact

• Provides new research objects and methods for partition theory
• May inspire research on other restricted partition functions
• Demonstrates the value of modern computational tools in pure mathematics research

Applicable Scenarios

• Number theory research, particularly partition theory and congruence studies
• Generating function theory in combinatorics
• Applications of $q$-series and modular functions

References

The paper cites 23 important references, covering:

• Ramanujan's classical work
• Development of modern partition theory
• $q$-series and modular function theory
• Tools and methods in computational number theory

Overall Assessment: This is a high-quality number theory paper that makes substantial contributions to the study of arithmetic properties of restricted partition functions. The author demonstrates profound mathematical knowledge and innovative ability, successfully combining classical theory with modern computational tools, providing new perspectives and methods for the development of this field.