Partition Frequency Moments: Modularity and Congruences
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914319170535424 |
|---|---|
| author | Bal, Hartosh Singh |
| author_facet | Bal, Hartosh Singh |
| contents | We study frequency moments of partition statistics arising from Euler products $A(q)=\prod_{r\ge1}(1-q^r)^{-c(r)}$ via a transform that expresses the moment generating functions as $B(q)$ times explicit divisor--sum series determined by $c(r)$. When $A(q)$ is modular (typically an $η$--quotient), this yields (quasi)modular forms whose coefficients can be projected to arithmetic progressions and certified modulo primes by a Sturm bound, giving an effective pipeline for detecting and proving Ramanujan--type congruences for frequency moments.
For ordinary partitions we recover and certify several congruences for odd moments in nonzero residue classes (e.g.\ $M_3(7n+5)\equiv 0\pmod7$ and $M_3(11n+6)\equiv 0\pmod{11}$). As a second input, we apply the same pipeline to overpartitions and certify a family of zero--class congruences $M_m^{\overline{\ }}(\ell n)\equiv 0\pmod{\ell}$ (including $m=5,7,11,13$), exhibiting a sharp contrast with the ordinary partition case: no nonzero residue--class congruences are observed for overpartition moments in our scan range. We also demonstrate that filtering the statistic via the Glaisher--character dictionary can itself create new Ramanujan--type progressions, e.g.\ a quadratic twist yields the certified congruence $\widehat{M}^{χ_5}_3(5n+4)\equiv 0\pmod{5}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_09766 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Partition Frequency Moments: Modularity and Congruences Bal, Hartosh Singh Number Theory Primary 11P83, 11F37, Secondary 11F33, 05A17 We study frequency moments of partition statistics arising from Euler products $A(q)=\prod_{r\ge1}(1-q^r)^{-c(r)}$ via a transform that expresses the moment generating functions as $B(q)$ times explicit divisor--sum series determined by $c(r)$. When $A(q)$ is modular (typically an $η$--quotient), this yields (quasi)modular forms whose coefficients can be projected to arithmetic progressions and certified modulo primes by a Sturm bound, giving an effective pipeline for detecting and proving Ramanujan--type congruences for frequency moments. For ordinary partitions we recover and certify several congruences for odd moments in nonzero residue classes (e.g.\ $M_3(7n+5)\equiv 0\pmod7$ and $M_3(11n+6)\equiv 0\pmod{11}$). As a second input, we apply the same pipeline to overpartitions and certify a family of zero--class congruences $M_m^{\overline{\ }}(\ell n)\equiv 0\pmod{\ell}$ (including $m=5,7,11,13$), exhibiting a sharp contrast with the ordinary partition case: no nonzero residue--class congruences are observed for overpartition moments in our scan range. We also demonstrate that filtering the statistic via the Glaisher--character dictionary can itself create new Ramanujan--type progressions, e.g.\ a quadratic twist yields the certified congruence $\widehat{M}^{χ_5}_3(5n+4)\equiv 0\pmod{5}$. |
| title | Partition Frequency Moments: Modularity and Congruences |
| topic | Number Theory Primary 11P83, 11F37, Secondary 11F33, 05A17 |
| url | https://arxiv.org/abs/2602.09766 |