Table of Contents
Fetching ...

Multiplicative congruences for Andrews's even parts below odd parts function and related infinite products

Frank Garvan, Connor Morrow

TL;DR

This work proves multiplicative congruences for Andrews's even parts below odd parts function $\overline{\mathcal{EO}}(n)$ and related eta-quotients by deploying Fricke involutions and Newman's trace method for half-integer weight eta-quotients. Central to the approach is expressing generating functions as eta-quotients, constructing trace-based modular objects $G(\tau)$ and $G^*(\tau)$, and deriving explicit coefficient identities that yield congruences modulo large powers of two, including a primary result for $\alpha(n)$ with primes $\ell$ and offsets $N_{\ell}$. The authors extend the framework via Faber polynomials and Atkin–Ono-type machinery to broader eta-quotients, obtaining eigenvalue congruences $\lambda_{r,s,p,\ell}$ and new $2$-power congruences for the overpartition function $\overline{p}(n)$. These results illuminate multiplicative structures in eta-quotient congruences, connect to Ramanujan’s mock theta functions, and suggest avenues for generalizing to non-genus-zero cases and deeper arithmetic phenomena. The work thus broadens the scope of modular-congruence techniques in partition theory with concrete, computable congruences and explicit constants.

Abstract

We prove multiplicative congruences mod $2^{12}$ for George Andrews's partition function, $\overline{\mathcal{EO}}(n)$, the number of partitions of $n$ in which every even part is less than each odd part and only the largest even part occurs an odd number of times. We find analogous congruences for more general infinite products. These congruences are obtained using Fricke involutions and Newman's approach to half integer weight Hecke operators on eta quotients, and were inspired by Atkin's multiplicative congruences for the partition function.

Multiplicative congruences for Andrews's even parts below odd parts function and related infinite products

TL;DR

This work proves multiplicative congruences for Andrews's even parts below odd parts function and related eta-quotients by deploying Fricke involutions and Newman's trace method for half-integer weight eta-quotients. Central to the approach is expressing generating functions as eta-quotients, constructing trace-based modular objects and , and deriving explicit coefficient identities that yield congruences modulo large powers of two, including a primary result for with primes and offsets . The authors extend the framework via Faber polynomials and Atkin–Ono-type machinery to broader eta-quotients, obtaining eigenvalue congruences and new -power congruences for the overpartition function . These results illuminate multiplicative structures in eta-quotient congruences, connect to Ramanujan’s mock theta functions, and suggest avenues for generalizing to non-genus-zero cases and deeper arithmetic phenomena. The work thus broadens the scope of modular-congruence techniques in partition theory with concrete, computable congruences and explicit constants.

Abstract

We prove multiplicative congruences mod for George Andrews's partition function, , the number of partitions of in which every even part is less than each odd part and only the largest even part occurs an odd number of times. We find analogous congruences for more general infinite products. These congruences are obtained using Fricke involutions and Newman's approach to half integer weight Hecke operators on eta quotients, and were inspired by Atkin's multiplicative congruences for the partition function.
Paper Structure (8 sections, 14 theorems, 125 equations)

This paper contains 8 sections, 14 theorems, 125 equations.

Key Result

Theorem 1.1

Let $\ell > 3$ be prime, and $N_{\ell} = \frac{1}{6}(\ell^2-1).$ Then where $c_{\ell} = \ell\alpha(N_{\ell})+\left(\frac{6}{\ell}\right)$, and $\left(\frac{\cdot}{\ell}\right)$ is the Legendre symbol.

Theorems & Definitions (23)

  • Theorem 1.1
  • Example 1.2
  • Example 1.3
  • Theorem 1.4
  • Theorem 1.5
  • Lemma 2.1: Newman Ne1962
  • Theorem 2.2: Newman Ne1962
  • Theorem 2.3: Newman Ne1962
  • Theorem 4.1: Atkin At1968
  • Theorem 4.2: Ono On2011
  • ...and 13 more