pith. sign in

arxiv: 2409.02929 · v2 · submitted 2024-08-20 · 🧮 math.NT

Arithmetic Properties modulo powers of 2 and 3 for Overpartition k-Tuples with Odd Parts

Hirakjyoti Das , Manjil P. Saikia , Abhishek Sarma This is my paper

Pith reviewed 2026-05-23 22:18 UTC · model grok-4.3

classification 🧮 math.NT MSC 11P83
keywords overpartitionsk-tuplesodd partspartition congruencesmodular formsdivisibilitygenerating functions
0
0 comments X

The pith

Overpartition k-tuples with odd parts obey several congruences modulo 3 and its powers.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves multiple congruences satisfied by the counts of overpartition k-tuples with odd parts. These include relations modulo multiples of 3 as well as an infinite family modulo successive powers of 3. The arguments combine modular form identities with elementary divisibility checks on the generating functions. The work also settles some cases of a conjecture posed in earlier papers on the same objects. A reader would care because the results show that these partition-like counts carry systematic arithmetic structure tied to the modulus 3.

Core claim

The generating functions for overpartition k-tuples with odd parts satisfy several congruences modulo multiples of 3, admit an infinite family of congruences modulo powers of 3, and obey some cases of the conjecture stated by Saikia, Sarma, and Sellers.

What carries the argument

Generating functions of overpartition k-tuples with odd parts, transformed via modular form techniques to extract divisibility.

If this is right

  • The counts are divisible by 3 in specified arithmetic progressions.
  • An infinite collection of higher-power divisibility relations holds for the same counts.
  • The earlier conjecture is true in the cases covered by the proofs.
  • The same generating functions remain congruent to zero under additional linear combinations modulo 3.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same modular-form approach may produce analogous families for other small primes.
  • The infinite family modulo powers of 3 could be used to bound the growth of the partition function in certain residue classes.
  • The results suggest that similar divisibility patterns exist for overpartition tuples with parts in other fixed residue classes.

Load-bearing premise

The generating functions admit expressions or transformations that allow modular form techniques and elementary divisibility arguments to establish the stated congruences.

What would settle it

A concrete counterexample for some fixed k and sufficiently large n where the count of overpartition k-tuples with odd parts fails one of the claimed congruences modulo a power of 3.

read the original abstract

Recently, Drema and N. Saikia (2023) and M. P. Saikia, Sarma, and Sellers (2023) proved several congruences modulo powers of $2$ for overpartition triples with odd parts. In this paper, we study further divisibility properties of overpartition $k$-tuples with odd parts using elementary means as well as properties of modular forms. In particular, we prove several congruences modulo multiples of $3$, and an infinite family of congruences modulo powers of $3$; we also prove some cases of a conjecture of Saikia, Sarma, and Sellers.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript extends prior work on overpartition triples with odd parts by proving several congruences modulo multiples of 3 for overpartition k-tuples with odd parts, an infinite family of congruences modulo powers of 3, and selected cases of a conjecture of Saikia, Sarma, and Sellers. The proofs are claimed to rely on elementary divisibility arguments together with properties of modular forms applied to the relevant generating functions.

Significance. If the derivations are correct, the results add to the body of arithmetic congruences for overpartition functions, particularly by supplying an infinite family modulo 3^k and partial resolution of an existing conjecture. Such extensions are of moderate interest within the partition-theory literature when they are fully rigorous and self-contained.

major comments (1)
  1. [Abstract] The abstract asserts that the generating functions admit expressions or transformations permitting modular-form techniques and elementary divisibility arguments, yet the provided text supplies neither the explicit generating-function identities nor the detailed proof steps. Without these, the central claims cannot be verified or refuted.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] The abstract asserts that the generating functions admit expressions or transformations permitting modular-form techniques and elementary divisibility arguments, yet the provided text supplies neither the explicit generating-function identities nor the detailed proof steps. Without these, the central claims cannot be verified or refuted.

    Authors: The abstract is a concise summary. The explicit generating-function identities for overpartition k-tuples with odd parts appear in Section 2, where the relevant transformations are derived via elementary divisibility. The detailed proofs applying modular-form techniques together with those identities to establish the stated congruences (including the infinite family modulo 3^k and the cases of the Saikia–Sarma–Sellers conjecture) are given in Sections 3 and 4. We are happy to insert an explicit cross-reference from the abstract to these sections for added clarity. revision: partial

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper extends results on overpartition k-tuples with odd parts by applying standard modular form properties and elementary divisibility arguments to generating functions. It references prior work by overlapping authors (including cases of their conjecture) but does not reduce any new claims to self-definitional fits, renamed inputs, or load-bearing self-citations that lack independent verification. No equations or derivation steps are exhibited that collapse by construction to the paper's own inputs, so the chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Relies on standard properties of modular forms and generating functions for overpartitions; no free parameters or invented entities apparent from abstract.

axioms (2)
  • standard math Standard transformation properties of modular forms apply to the generating functions of overpartition k-tuples with odd parts.
    Invoked to prove congruences via modular forms (abstract).
  • domain assumption Elementary divisibility arguments suffice for the stated congruences modulo 3.
    Used alongside modular forms (abstract).

pith-pipeline@v0.9.0 · 5650 in / 1228 out tokens · 32908 ms · 2026-05-23T22:18:31.722588+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    Matching coefficients in the series expansions of certain \(q\) -products and their reciprocals

    Nayandeep Deka Baruah and Hirakjyoti Das. Matching coefficients in the series expansions of certain \(q\) -products and their reciprocals. Ramanujan J. , 59(2):511--548, 2022

    work page 2022

  2. [2]

    On the number of overpartitions into odd parts

    Shi-Chao Chen. On the number of overpartitions into odd parts. Discrete Math. , 325:32--37, 2014

    work page 2014

  3. [3]

    Arithmetic properties for overpartition triples with odd parts

    Rinchin Drema and Nipen Saikia. Arithmetic properties for overpartition triples with odd parts. Integers , 23: A 2, 16 pp., 2023

    work page 2023

  4. [4]

    Congruences for some partition functions

    Ankush Goswami and Abhash Kumar Jha. Congruences for some partition functions. J. Ramanujan Math. Soc. , 37(3):241--256, 2022

    work page 2022

  5. [5]

    Divisibility of certain partition functions by powers of primes

    Basil Gordon and Ken Ono. Divisibility of certain partition functions by powers of primes. Ramanujan J. , 1(1):25--34, 1997

    work page 1997

  6. [6]

    Hirschhorn and James A

    Michael D. Hirschhorn and James A. Sellers. Arithmetic properties of overpartitions into odd parts. Ann. Comb. , 10(3):353--367, 2006

    work page 2006

  7. [7]

    Overpartition pairs modulo powers of 2

    Byungchan Kim. Overpartition pairs modulo powers of 2. Discrete Math. , 311(10-11):835--840, 2011

    work page 2011

  8. [8]

    Keister, James A

    Derrick M. Keister, James A. Sellers, and Robert G. Vary. Some arithmetic properties of overpartition \(k\) -tuples. Integers , 9(2): A 17, 181--190, 2009

    work page 2009

  9. [9]

    Arithmetic properties of overpartition pairs into odd parts

    Lishuang Lin. Arithmetic properties of overpartition pairs into odd parts. Electron. J. Comb. , 19(2):research paper p17, 12, 2012

    work page 2012

  10. [10]

    Multiplicative \( \) -quotients

    Yves Martin. Multiplicative \( \) -quotients. Trans. Am. Math. Soc. , 348(12):4825--4856, 1996

    work page 1996

  11. [11]

    On the Ramanujan -type congruences modulo 8 for the overpartitions into odd parts

    Mircea Merca. On the Ramanujan -type congruences modulo 8 for the overpartitions into odd parts. Quaest. Math. , 45(10):1567--1574, 2022

    work page 2022

  12. [12]

    The web of modularity: arithmetic of the coefficients of modular forms and \(q\) -series , volume 102 of CBMS Reg

    Ken Ono. The web of modularity: arithmetic of the coefficients of modular forms and \(q\) -series , volume 102 of CBMS Reg. Conf. Ser. Math. Providence, RI: American Mathematical Society (AMS), 2004

    work page 2004

  13. [13]

    An algorithmic approach to R amanujan's congruences

    Cristian-Silviu Radu. An algorithmic approach to R amanujan's congruences. Ramanujan J. , 20(2):215--251, 2009

    work page 2009

  14. [14]

    An algorithmic approach to R amanujan- K olberg identities

    Cristian-Silviu Radu. An algorithmic approach to R amanujan- K olberg identities. J. Symbolic Comput. , 68(1):225--253, 2015

    work page 2015

  15. [15]

    Arithmetic properties of cubic and overcubic partition pairs

    Chiranjit Ray and Rupam Barman. Arithmetic properties of cubic and overcubic partition pairs. Ramanujan J. , 52(2):243--252, 2020

    work page 2020

  16. [16]

    Silviu Radu and James A. Sellers. Congruence properties modulo 5 and 7 for the pod function. Int. J. Number Theory , 7(8):2249--2259, 2011

    work page 2011

  17. [17]

    New congruences and density results for t-regular partitions with distinct even parts

    Ajit Singh. New congruences and density results for t-regular partitions with distinct even parts. Rocky Mt. J. Math. , to appear, 2024

    work page 2024

  18. [18]

    Saikia, Abhishek Sarma, and James A

    Manjil P. Saikia, Abhishek Sarma, and James A. Sellers. Arithmetic properties for overpartition k--tuples with odd parts modulo powers of 2. preprint , 2023

    work page 2023

  19. [19]

    V. S. Veena and S. N. Fathima. Arithmetic properties of 3-regular partitions with distinct odd parts. Abh. Math. Semin. Univ. Hamb. , 91(1):69--80, 2021

    work page 2021