arxiv: 2605.15107 · v1 · submitted 2026-05-14 · 🧮 math.NT

Recognition: 1 theorem link

· Lean Theorem

Solutions for Hecke Sum Questions of Banerjee and Bringmann

George E. Andrews , Mohamed El Bachraoui

Authors on Pith no claims yet

Pith reviewed 2026-05-15 03:09 UTC · model grok-4.3

classification 🧮 math.NT MSC 11P8211P8433D15

keywords two-color partitionsHecke sumsBailey pairsq-series identitieseven-odd decompositionpartition generating functionsparameter refinements

0 comments

The pith

A two-variable refinement with parameter a of the Hecke sum for two-color partitions is proved using only q-series and Bailey pairs.

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

The paper takes the two-color partition generating function S(q) whose even part multiplied by the product (q^4;q^4)_∞ was conjectured to equal a certain Hecke-type sum. Previous work had established the conjecture through indefinite theta functions and modular completions. Here the authors introduce an extra free parameter a into the series and prove the corresponding two-variable identity by repeated application of Bailey pairs. Setting a equal to 1 immediately recovers both the original even identity and a companion odd identity. The same proof machinery also produces a family of parameter symmetries and a vanishing statement when a equals the imaginary unit.

Core claim

We prove a two-variable refinement with an additional parameter a. Our proof relies entirely on q-series combined with the Bailey pairs. The original even identity and the odd identity then follow as corollaries by letting a=1. We also record parameter symmetries and cyclotomic companions, including a vanishing result at a=i.

What carries the argument

The Bailey pair technique applied to the two-color series S(q) after the insertion of the extra parameter a, which isolates the even and odd parts and directly produces the Hecke sums.

If this is right

The original even Hecke sum identity is recovered exactly by setting a=1.
An analogous closed-form identity holds for the odd part of the same generating function.
The refined identity admits a family of parameter symmetries that preserve its value.
The series vanishes identically when the parameter a is set to the imaginary unit i.

Where Pith is reading between the lines

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

Bailey pairs may suffice for other Hecke-type sums that previously required modular-form machinery.
The two-variable form opens the possibility of studying weighted or multi-parameter extensions of the same partition series.
Cyclotomic specializations could produce further vanishing theorems or finite identities in q-series.

Load-bearing premise

The Bailey pair method applies directly to this two-color series and its even-odd decomposition without needing modular completions or extra verification.

What would settle it

Compute the first several coefficients of the even part of (q^4;q^4)_∞ S(q) at a=2 and check whether they match the explicit double-sum formula given in the paper.

read the original abstract

The present authors introduced a two-color partition series $S(q)$ and conjectured a Hecke-type formula for the even part of $(q^4;q^4)_\infty S(q)$. Banerjee and Bringmann proved the conjecture by using indefinite theta functions, modular completions, and Sturm's theorem. They also asked whether a direct proof, for instance one based on Bailey-type ideas, could be found, and they suggested that the odd residue classes may be worth studying. We prove a two-variable refinement with an additional parameter $a$. Our proof relies entirely on $q$-series combined with the Bailey pairs The original even identity and the odd identity then follow as corollaries by letting $a=1$. We also record parameter symmetries and cyclotomic companions, including a vanishing result at $a=i$.

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.

Desk Editor's Note private letter to a colleague

This paper supplies a direct q-series proof via Bailey pairs for a two-variable refinement of the Banerjee-Bringmann identities on the two-color partition series.

read the letter

Andrews and El Bachraoui have found a direct Bailey-pair proof for the even and odd Hecke sums on the two-color series S(q), plus a two-variable version with parameter a that specializes back to the originals at a=1. The paper does a good job of delivering exactly what Banerjee and Bringmann asked for: an elementary q-series proof without indefinite theta functions or Sturm's theorem. They introduce the refined series with the extra variable a, find an explicit Bailey pair for it, and apply the standard Bailey lemma to get the sum. The even and odd parts come out as corollaries, and they record some parameter symmetries along with a vanishing result when a equals i. This approach keeps everything within classical q-series techniques, which is a plus for readers who prefer to stay away from modular completions. On the soft side, the contribution is quite focused. It resolves the specific questions but doesn't open up new directions or connect to wider problems in number theory. The proof seems solid based on the description, with no signs of fitting or invented steps, but a referee would want to verify the exact Bailey pair construction in the full text. The citation pattern looks appropriate, building directly on the prior work without unnecessary self-reference. This is aimed at researchers in partition theory and q-series identities. A reader who works on Hecke-type sums or Bailey pairs would find it useful and could adapt the method to similar problems. It is not broad enough for a general audience, but within its subfield it provides a useful alternative proof. I would bring this to a reading group on partition identities, as the technique is worth seeing in action. I wouldn't cite it in my own work unless I was working on related refinements. It deserves serious peer review because the result is new, the method is reproducible, and the paper engages honestly with the literature. Recommendation: Send it to referees rather than desk rejecting it.

Referee Report

0 major / 3 minor

Summary. The manuscript establishes a two-variable refinement (with extra parameter a) of the Hecke-type identities for the even and odd parts of the two-color partition series S(q) conjectured by Banerjee and Bringmann. The proof proceeds entirely via q-series identities and an explicit Bailey pair, from which the original even and odd identities are recovered as corollaries by setting a=1; the paper also records parameter symmetries, cyclotomic companions, and a vanishing result at a=i.

Significance. If the derivation holds, the work is significant because it supplies the direct Bailey-pair proof requested by Banerjee and Bringmann, replacing their use of indefinite theta functions, modular completions, and Sturm's theorem with classical q-series methods. This elementary approach improves accessibility, highlights the combinatorial structure, and provides a template for similar refinements in partition generating functions.

minor comments (3)

[Abstract] The abstract refers to 'the odd identity' without a brief statement of its form; adding one sentence would improve readability for readers unfamiliar with the Banerjee-Bringmann paper.
[§3] In the proof of the main refinement (likely §3), the explicit Bailey pair (A_n, B_n) for the two-variable series should be displayed in a single displayed equation to allow immediate verification of the Bailey lemma hypotheses.
[§4] The vanishing result at a=i is stated without comment on the substitution's validity inside the infinite products; a short remark on analytic continuation or radius of convergence would strengthen the claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation and recommendation of minor revision. The referee's summary accurately reflects our main results: a two-variable Bailey-pair proof of the refined Hecke identities for S(q), with the even and odd cases recovered at a=1 together with the listed symmetries and vanishing result.

read point-by-point responses

Referee: The manuscript establishes a two-variable refinement (with extra parameter a) of the Hecke-type identities for the even and odd parts of the two-color partition series S(q) conjectured by Banerjee and Bringmann. The proof proceeds entirely via q-series identities and an explicit Bailey pair, from which the original even and odd identities are recovered as corollaries by setting a=1; the paper also records parameter symmetries, cyclotomic companions, and a vanishing result at a=i.

Authors: We thank the referee for this precise summary. The proof is constructed entirely from q-series identities and an explicit Bailey pair (as stated in the abstract and Section 2), and the even/odd identities follow immediately by the specialization a=1. The additional results on parameter symmetries, cyclotomic companions, and the vanishing at a=i are obtained within the same framework without modular completions or Sturm's theorem. revision: no

Circularity Check

0 steps flagged

Minor self-citation for series definition; derivation remains independent

full rationale

The paper introduces the two-color series S(q) by reference to the authors' prior work but then supplies an explicit Bailey-pair construction for the two-variable refinement. The even/odd identities are recovered by the direct specialization a=1. No step equates a derived quantity to a fitted parameter, invokes a self-citation uniqueness theorem, or renames an input as a prediction. The central argument therefore rests on classical q-series identities rather than on any self-referential reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof rests on standard q-series identities and Bailey pair techniques from the prior literature with no new free parameters, ad hoc axioms, or invented entities.

axioms (1)

standard math Standard properties and transformation rules of q-series and Bailey pairs
Invoked as the sole basis for the derivation in the abstract.

pith-pipeline@v0.9.0 · 5433 in / 1061 out tokens · 56952 ms · 2026-05-15T03:09:16.578618+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages · 1 internal anchor

[1]

G. E. Andrews,The Theory of Partitions, Addison-Wesley, Reading, MA, 1976; reprinted by Cambridge Uni- versity Press, Cambridge, 1998

work page 1976
[2]

G. E. Andrews,q-Series: Their Development and Application in Analysis, Number Theory, Combinatorics, Physics, and Computer Algebra, CBMS Regional Conference Series in Mathematics, vol. 66, American Mathe- matical Society, Providence, RI, 1986

work page 1986
[3]

G. E. Andrews and M. El Bachraoui,Congruences for two-color partitions with odd smallest part, arXiv:2410.14190

work page arXiv
[4]

Proof of a conjecture of Andrews and Bachraoui on a Hecke sum

K. Banerjee and K. Bringmann,Proof of a conjecture of Andrews and Bachraoui on a Hecke sum, arXiv:2605.10300v1

work page internal anchor Pith review Pith/arXiv arXiv
[5]

Gasper and M

G. Gasper and M. Rahman,Basic Hypergeometric Series, 2nd ed., Encyclopedia of Mathematics and its Appli- cations, vol. 96, Cambridge University Press, Cambridge, 2004

work page 2004
[6]

P. A. MacMahon,Combinatory Analysis, Vol. II, Cambridge University Press, Cambridge, 1916; reprinted in Combinatory Analysis, Volumes I and II, AMS Chelsea Publishing, vol. 137, American Mathematical Society, Providence, RI, 1984

work page 1916
[7]

S. O. Warnaar,50 years of Bailey’s lemma, inAlgebraic Combinatorics and Applications(G¨ ossweinstein, 1999), Springer, Berlin, 2001, pp. 333–347. The Pennsylvania State University, University Park, Pennsylvania 16802 Email address:andrews@math.psu.edu Dept. Math. Sci, United Arab Emirates University, PO Box 15551, Al-Ain, UAE Email address:melbachraoui@uaeu.ac.ae

work page 1999