pith. sign in

arxiv: 2605.21163 · v2 · pith:P2MV6N5Anew · submitted 2026-05-20 · 🧮 math.NT · math.CO

Two Proofs of a Conjecture of Amdeberhan, Andrews and Ballantine for double Lambert series and a new Representation for E₂(q)

Su-Ping Cui , Rahul Kumar , Aman Singh This is my paper

Pith reviewed 2026-06-30 17:16 UTC · model grok-4.3

classification 🧮 math.NT math.CO
keywords double Lambert seriessum of divisorsquasi-modular formsE_2(q)coefficient extractionpower series identity
0
0 comments X

The pith

The coefficient of q^{N 2^a} in a double Lambert series equals the sum of divisors of N.

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

The paper establishes two proofs for the conjecture that extracting the coefficient of q to the power N times 2 to the a from the double sum over m and k of q to the mk 2^a divided by the product of (1 plus q to the k 2 to the a-1) and (1 minus q to the 2m-1) yields exactly the sum of the positive divisors of N. This identity links a specific generating function in the theory of partitions and series to the classical arithmetic function sigma_1. One of the proofs additionally produces a new representation for the quasi-modular form E_2(q).

Core claim

The coefficient extraction [q^{N2^a}] ∑_{m,k≥1} q^{mk2^a} / ((1+q^{k2^{a-1}})(1-q^{2m-1})) equals σ_1(N). This is proven in two ways, and one method yields a new representation of E_2(q).

What carries the argument

The double Lambert series ∑_{m,k≥1} q^{mk 2^a} / ((1 + q^{k 2^{a-1}})(1 - q^{2m-1})), whose coefficient at the term N 2^a recovers the divisor sum σ_1(N).

If this is right

  • The stated equality holds for every pair of positive integers N and a.
  • One of the proofs supplies an independent new expression for the quasi-modular form E_2(q).
  • The result confirms the conjecture originally posed by Amdeberhan, Andrews and Ballantine.

Where Pith is reading between the lines

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

  • The new expression for E_2(q) may be usable to derive further identities involving quasi-modular forms.
  • Analogous coefficient extractions from similar double series could recover other arithmetic functions such as the number of divisors or the sum of squares of divisors.
  • Direct computation of both sides for small N and a supplies an immediate numerical check of the identity.

Load-bearing premise

The formal power series manipulations and coefficient extractions remain valid for the indicated range of positive integers N and a without further restrictions.

What would settle it

Computing the series coefficient for a specific pair of positive integers N and a and finding it unequal to σ_1(N) would disprove the identity.

read the original abstract

In this note, we prove a recent conjecture of Amdeberhan, Andrews and Ballantine concerning a double Lambert series (\textit{J. Combin. Theory Series A} \textbf{221} (2026), Paper No. 106154). More precisely, they conjectured that \[ [q^{N2^a}] \sum_{m,k\geq 1} \frac{q^{mk2^a}}{(1+q^{k2^{a-1}})(1-q^{2m-1})} =\sigma_1(N), \] where $\sigma_1(N)$ is the sum of all the positive divisors of $N$. We provide two proofs of this conjecture. One of the approach leads us to derive a new representation of quasi-modular forms $E_2(q)$.

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

0 major / 2 minor

Summary. The manuscript proves the conjecture of Amdeberhan, Andrews and Ballantine that the coefficient of q^{N 2^a} in the double sum ∑_{m,k≥1} q^{mk 2^a} / ((1 + q^{k 2^{a-1}})(1 - q^{2m-1})) equals σ_1(N). Two self-contained proofs are given by direct manipulation of the series in the ring of formal power series, expanding the denominators, reindexing, and verifying sign cancellation. One proof yields a new representation for the quasi-modular form E_2(q) as an immediate corollary.

Significance. Confirmation of the conjecture supplies an explicit divisor-sum identity for a double Lambert series. The proofs remain entirely within formal power series with non-negative exponents and require no analytic continuation or sum interchange, which strengthens the result. The derived representation for E_2(q) is a direct algebraic consequence and may be of independent interest for quasi-modular forms.

minor comments (2)
  1. [Abstract] The abstract states 'one of the approach leads us'; this should read 'one of the approaches leads us' for grammatical consistency.
  2. The new representation for E_2(q) is stated as a corollary but would benefit from an explicit display of the series or product form immediately after the relevant proof.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The referee's summary accurately captures the content and significance of the two proofs and the derived representation for E_2(q).

Circularity Check

0 steps flagged

No circularity: direct formal power series proofs

full rationale

The manuscript supplies two self-contained proofs that directly manipulate the double sum, expand the factors 1/(1+q^{k 2^{a-1}}) and 1/(1-q^{2m-1}), and extract the coefficient of q^{N 2^a} by reindexing and sign cancellation, showing it equals the sum of divisors. Both proofs operate entirely inside the ring of formal power series with non-negative exponents; no interchange of infinite sums or analytic continuation is invoked. The derivation of the new E_2(q) representation follows the same algebraic steps and is presented as an immediate corollary. No fitted parameters, self-citation load-bearing premises, or ansatzes imported from prior work are present.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on standard formal power series operations and coefficient extraction rules that are part of the background literature in number theory.

axioms (1)
  • standard math Formal power series ring operations and coefficient extraction are well-defined and commute with the indicated summations.
    Invoked when equating the extracted coefficient to σ1(N).

pith-pipeline@v0.9.1-grok · 5680 in / 1071 out tokens · 31359 ms · 2026-06-30T17:16:09.275827+00:00 · methodology

Review history (2 revisions) →

discussion (0)

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

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Generalization of the Amdeberhan-Andrews-Ballantine Conjecture

    math.NT 2026-06 unverdicted novelty 6.0

    The authors prove an identity generalizing the Amdeberhan-Andrews-Ballantine conjecture on double Lambert series using coefficients from the generalized divisor function σ_k(n).

  2. Transformation Formulae and Applications for Double Lambert Series

    math.NT 2026-05 unverdicted novelty 4.0

    Establishes transformation formulae for double Lambert series with applications to conjectures by Andrews, Dixit, Schultz, Yee and Amdeberhan et al.

Reference graph

Works this paper leans on

5 extracted references · 2 canonical work pages · cited by 2 Pith papers · 2 internal anchors

  1. [1]

    Amdeberhan, G

    T. Amdeberhan, G. E. Andrews and C. Ballantine,Lambert series and double Lambert series, J. Combin. Theory Ser. A221(2026), Paper No. 106154, 22 pp

    2026

  2. [2]

    G. E. Andrews, A. Dixit, D. Schultz and A. J. Yee,Overpartitions related to the mock theta functionω(q), Acta Arith.181(2017), no. 3, 253–286

    2017

  3. [3]

    S. P. Cui and D. Tang,Identities and transformations for Lambert series and double Lambert series, preprint, https://arxiv.org/pdf/2604.08839, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  4. [4]

    On the Double Lambert Series Conjecture of Andrews-Dixit--Schultz-Yee

    Q. Fang,On the double Lambert series conjecture of Andrews-Dixit-Schultz-Yee, preprint, https://arxiv.org/pdf/2604.06242, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  5. [5]

    J. H. Lambert,Anlage zur Architectonic, oder Theorie des ersten und des einfachen in der philosophischen und mathematischen Erkenntnis, Vol. 2, Johann Friedrich Hartenoch, Riga, 1771, Philosophische Schriften, vol. 4, Georg Olm, Hildesheim, 1965. A CONJECTURE OF AMDEBERHAN-ANDREWS-BALLANTINE 13 School of Mathematical Sciences, Qufu Normal University, Qufu...

    1965