Pith. sign in

REVIEW 3 major objections 4 minor 23 references

Universal quaternary mixed sums involving generalized 3-, 4-, 5- and 8-gonal numbers via products of Ramanujan's theta functions

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper asserts that its listed quaternary mixed sums of generalized 3-, 4-, 5-, and 8-gonal numbers are universal over the integers.

desk verdict The central transfer lemma Corollary 1.3 is false, and since the proofs all lean on it, the paper's universality claims are unsupported. read the letter →

arxiv 2507.13645 v1 pith:UB225QU5 submitted 2025-07-18 math.NT

Nasser Abdo Saeed Bulkhali , A. Vanitha , M. P. Chaudhary This is my paper · ORCID
classification math.NT MSC 11D7211E2011E2511F2714H42
keywords universalquaternarysumsgeneralizedm-gonalnumbersRamanujanthetafunctionstheta-functionidentitiesquadraticformstriangularpentagonaloctagonal
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper tries to establish that a large collection of quaternary sums $a p_r(h)+b p_s(l)+c p_t(m)+d p_u(n)$ with $r,s,t,u\in\{3,4,5,8\}$ are universal, meaning that the sums take every nonnegative integer value as $h,l,m,n$ range over the integers. The generalized $m$-gonal numbers involved are $p_3(x)=x(x+1)/2$, $p_4(x)=x^2$, $p_5(x)=x(3x-1)/2$, and $p_8(x)=x(3x-2)$. The proof strategy is to express the generating function of a known universal sum as a product of Ramanujan $\theta$ functions, dissect that product into a finite sum of $\theta$-function products, and then read each piece as a new quaternary sum. If the approach works, the paper adds many new universal mixed sums to the known census and redetermines several known ones by a uniform generating-function argument.

What carries the argument

The central object is Ramanujan's general $\theta$ function $f(a,b)=\sum_{n\in\mathbb{Z}}a^{n(n+1)/2}b^{n(n-1)/2}$, with specializations $\phi(q)=f(q,q)$ for squares, $\psi(q)=f(q,q^3)$ for triangular numbers, $X(q)=f(q,q^2)$ for generalized pentagonal numbers, and $Y(q)=f(q,q^5)$ for generalized octagonal numbers. The argument uses classical identities, especially (2.12)--(2.25), to rewrite a product such as $Y(q)Y(q^2)Y^2(q^4)$ as a finite sum of $\theta$ products. Corollary 1.3 is the bridge: it says that universality of the original sum is equivalent to universality of each summand in the dissection. That equivalence is what lets the authors transfer known universal sums such as $p_8+2p_8+4p_8+4p_8$ to the new mixed sums.

What would settle it

Under Corollary 1.3, test the classical four-square identity $\phi(q)^4=\phi(q^2)^4+\cdots$: the left side is universal by the four-square theorem, yet the first summand represents only even integers, so the 'only if' direction cannot hold as stated. A reader can check each of the paper's dissections for a summand with similarly restricted parity or residue support; a missed residue class would falsify that entry of Theorems 3.1 through 3.4.

Watch

Extended reading notes

Core claim

The central assertion is that Items 1 through 24 of the introduction and Theorems 3.1 through 3.4 list quaternary sums that are universal over $\mathbb{Z}$; these include sums mixing pentagonal and octagonal numbers, triangular and octagonal numbers, triangular and pentagonal numbers, squares with pentagonal or octagonal numbers, and chains of equivalent sums obtained from Lemma 2.3 and identities (2.27)--(2.32). The authors state, for example, that $2p_5+4p_5+p_8+p_8$, $6p_3+p_5+2p_5+p_8$, and $p_4+2p_5+3p_5+4p_5$ are universal. A companion theorem records equivalence relations showing that many additional sums share the same representing range.

Load-bearing premise

The proof depends on Corollary 1.3, the claim that universality of a theta-product sum is equivalent to universality of every summand in its dissection; if that equivalence is not available, the derived universality results do not follow.

Editorial extensions

If this is right

  • Every coefficient pattern named in Items 1 through 24 of the introduction is asserted to be a universal quaternary sum over the integers.
  • Theorems 3.1 through 3.3 supply explicit universal sums spanning all mixtures of generalized triangular, square, pentagonal, and octagonal numbers.
  • Each equivalence chain in Theorem 3.4 transfers universality from one sum to every equivalent form in the same chain.
  • The already-proved universal octagonal sums of earlier work are the inputs, so the new list is presented as an extension of that census by theta-function identities.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the transfer principle in Corollary 1.3 is not valid in full generality, then each new sum in the paper stands or falls on its own; a residue-class check or finite verification would decide the individual entries.
  • The same dissection recipe could be automated: starting from any known universal theta product, generate all summands and test each for universality, turning the paper's hand-made lists into a systematic census.
  • The equivalence graph generated by Lemma 2.3 could be explored for generalized $m$-gonal numbers with $m>8$, where no comparable universal-sum census exists.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper claims to determine the universality of many quaternary mixed sums of generalized 3-, 4-, 5-, and 8-gonal numbers by expanding products of four Ramanujan theta functions. The central tool is Corollary 1.3, an 'if and only if' transfer principle asserting that a theta-product dissection preserves universality of the associated quaternary sums; this corollary is quoted from the authors' unpublished preprint [4]. Using it, the paper derives universality for 24 families of sums and states Theorems 3.1–3.4. Both the reader's report and my own inspection show that Corollary 1.3 is false, so the derivations collapse and the main claims are unsupported.

Significance. If the listed sums were indeed universal, the paper would add many new entries to the census of universal quaternary mixed sums and would demonstrate a powerful theta-dissection method. The manuscript does collect many correct theta identities and accurately surveys known results, which is useful background. However, the new contribution rests entirely on Corollary 1.3, which is neither proved here nor valid as stated; the counterexample below shows the transfer principle fails in an elementary case. The claimed universality of the new sums is therefore not established, and the paper's central significance is undermined.

major comments (3)
  1. [Corollary 1.3] Corollary 1.3 is false as stated. The identity phi(q)^4 = phi(q^2)^4 + 8q phi(q^2)^2 psi(q^4)^2 + 16q^2 psi(q^4)^4 is a standard consequence of (2.11) and is of the exact form (1.3) with k=3, m_1=1, m_2=8, m_3=16. The left-hand product f(q,q)^4 corresponds to p_4+p_4+p_4+p_4, which is universal by Lagrange's four-square theorem, while the first right-hand term f(q^2,q^2)^4 corresponds to 2p_4+2p_4+2p_4+2p_4, which represents only even integers and is not universal. Thus the 'only if' direction of Corollary 1.3 fails. Since the proofs of Theorems 3.1–3.3 repeatedly invoke Corollary 1.3 to pass from a known universal left-hand sum to universality of the dissected right-hand components, those inferences are invalid.
  2. [Theorem 1.2 and [4]] The central transfer lemma, Theorem 1.2, and its four-product corollary are not proved in the manuscript; they are attributed to the unpublished preprint [4]. The corollary is an extension from products of three to products of four theta functions, and no argument for this extension is supplied. The four-squares counterexample shows that the missing restriction is essential, and the paper gives no condition that would exclude the counterexample. A self-contained paper must either prove a correct version of Corollary 1.3 or abandon it.
  3. [Theorems 3.1–3.4] Because Corollary 1.3 is false, the universality claims of the paper are unsupported. For instance, in the proof of Theorem 3.1, identity (3.1) and Sun's universality of p_8+2p_8+4p_8+4p_8 are used to conclude that 2p_5+4p_5+p_8+p_8, 4p_5+p_8+p_8+p_8, etc. are universal; this is precisely the direction that Corollary 1.3 licenses but does not justify. No alternative proof or computational verification is provided for any of the new sums, so the main results are not established.
minor comments (4)
  1. [Section 2] The correspondence between a theta factor f(q^a,q^b) and the polynomial x((a+b)x+a-b)/2 is implicit until Corollary 1.3; stating it explicitly near (2.3)–(2.6) would greatly help the reader.
  2. [Equation (2.8)] The double equality in (2.8) is correct, but the second equality relies on the identity {n(2n-1): n in Z} = {n(n+1)/2: n in N0}; a brief remark would remove potential confusion.
  3. [Throughout] There are numerous typographical and grammatical errors, such as 'lammas' for 'lemmas', 'the universality of these sums have been determined', and 'with make use of (2.12)'. A careful editing pass is needed.
  4. [Theorem 3.4] Several chains of equivalences are asserted without proof ('we omit the details'), and these equivalences are used to transfer universality; the omissions reduce the verifiability of the arguments.

Circularity Check

1 steps flagged · score 7.0 of 10

Universality proofs reduce to an unproved, self-cited transfer lemma (Corollary 1.3), whose 'only if' direction is contradicted by the four-square dissection.

  1. self citation load bearing [Section 1, Corollary 1.3 and proofs in Theorems 3.1-3.4]
    "Bulkhali and Sun [4] derived the following novel theorem: Theorem 1.2. ... In this paper, we use a similar technique by applying Theorem 1.2 for the products of four theta functions ... Corollary 1.3. ... The sum ... is universal over Z, if and only if the sum ... is universal over Z. ... We make use of this corollary to prove our results below."

    The transfer lemma that converts each theta-product identity into a universality statement is stated as Corollary 1.3 and is taken without proof from the authors' own unpublished preprint [4]; no proof of the four-function version is given. Every subsequent inference in Theorems 3.1-3.4 has the form 'Since X is universal, identity (##) with the help of Corollary 1.3 implies Y universal.' Thus the new universal sums are not derived from first principles; the derivation is inherited from a self-citation that is never established. The dependence is load-bearing: without Corollary 1.3 the proofs stop at the theta identities and known Sun/Ju-Oh cases.

full rationale

The manuscript's central derivation chain is not self-contained: the 'if and only if' transfer of universality across a theta-product dissection, Corollary 1.3, is the engine for all of Theorems 3.1-3.4, yet it is quoted from the authors' own unpublished preprint [4] and never proved. This is a clear instance of a load-bearing self-citation that is itself unverified. The citation is not independent support (not machine-checked, not code-reproduced, not an external theorem). I also exhibit a concrete instance where the corollary fails, so the reduction through it is not merely unproved but actually invalid. The score is 7 rather than higher because the paper does contain explicit theta-function identities and many of the listed universal sums may be true or already known; the circularity/invalidity lies in the proof mechanism rather than in a pure renaming or definitional identification. No separate fitted-input or self-definitional circularity is present.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The paper introduces no new free parameters or entities. Its central reliance is on the unproved, and actually false, transfer lemma Corollary 1.3 from the authors' own preprint [4], together with standard theta identities and known universal sums as inputs.

assumptions (3)
  • ad hoc to paper Corollary 1.3: universality transfers from the left-hand theta product to all right-hand products in a dissection identity (from [4]).
    This is the core unproved equivalence; it is false in general, as the four-squares dissection shows.
  • standard math The theta identities (2.12) through (2.25) and the identities in Section 3 are correct expansions of products of Ramanujan theta functions.
    These are stated as consequences of Ramanujan's Entry 29 and related results; the paper does not verify them numerically, but they appear to be standard.
  • domain assumption Known universal sums of octagonal, pentagonal and mixed forms from Sun [18] and Ju-Oh [12,13] are correct.
    These external results are used as the bases for the transfers; the paper does not re-prove them.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Universal quaternary mixed sums involving generalized 3-, 4-, 5- and 8-gonal numbers via products of Ramanujan's theta functions." pith.science (2026). https://pith.science/paper/UB225QU5

@misc{pith2026250713645,
  author       = {Pith},
  title        = {Pith review of: Universal quaternary mixed sums involving generalized 3-, 4-, 5- and 8-gonal numbers via products of Ramanujan's theta functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UB225QU5}},
  note         = {Machine review of arXiv:2507.13645}
}
abstract

Generalized $m$-gonal numbers are those $p_m(x)= [ (m - 2)x^2 - (m - 4)x ]/2 $ where $x$ and $m$ are integers with $m \geq 3$. If any nonnegative integer can be written in the form $ap_r(h)+bp_s(l)+cp_t(m)+dp_u(n)$, where $a,b,c,d$ are positive integers, then we call $ap_r(h)+bp_s(l)+cp_t(m)+dp_u(n)$ a universal quaternary sum. In this paper, we determine the universality of many quaternary sums when $r,s,t,u \in \{3,4,5,8\}$, using the theory of Ramanujan's theta function identities

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [4]

    N. A. S. Bulkhali and Z.-W. Sun, Universal sums via products of Ra manujan’s theta functions, preprint

    work page

  2. [1]

    Adiga, B

    C. Adiga, B. C. Berndt, S. Bhargava and G. N. Watson, Chapter 16 of Ramanujan’s second notebook: Theta functions and q-series, Mem. Amer. Math. Soc. , 315 (1985), 1–91

    work page 1985

  3. [2]

    Adiga and N

    C. Adiga and N. A. S. Bulkhali, Identities for certain products of t heta functions with applications to modular relations, J. Ana. Number Theory , 2(1) (2014), 1–15

    work page 2014

  4. [3]

    Bosma and B

    W. Bosma and B. Kane, The triangular theorem of eight and repre sentation by quadratic polynomials, Proc. Amer. Math. Soc. , 141 (2013), 1473–1486

    work page 2013

  5. [5]

    M. P. Chaudhary, A family of theta- function identities based upo n Rα,R β andRm- functions related to Jacobi’s triple-product identity, Publ. Inst. Math. (Beograd), 108 (122) (2020), 23–32. Universal quaternary mixed sums involving generalized 3-, 4-, 5- and 8-gonal . 15

    work page 2020

  6. [6]

    M. P. Chaudhary, S. Chaudhary and G. A. Salilew, A family of theta -function identities in the light of Jacobi’s triple-product identity, Appl. Anal. Opt. , 4 (3) (2020), 283–289

    work page 2020

  7. [7]

    M. P. Chaudhary, Relations between Rα,R β and Rm -functions related to Jacobi’s triple-product identity and the family of theta- function ide ntities, Notes Number Theory Dis. Math., 27 (2) (2021), 1–11

    work page 2021

  8. [8]

    P. L. Clark, J. Hicks, K. Thompson and N. Walters, GoNII: Univer sal quaternary quadratic forms, Integers, 12 (2012), #A50

    work page 2012

Show all 23 references
  1. [9]

    L. E. Dickson, Quaternary quadratic forms representing all int egers, Amer. J. Math., 49 (1927), 39–56

    1927

  2. [10]

    S. E. Gladun and M. P. Chaudhary, Connecting Ramanujan’s The ta Functions, the Rogers-Ramanujan Continued Fraction, and the G olden Ratio, INTEGERS, 25(#A43) (2025), 1–7

    2025

  3. [11]

    Ju, Universal sums of generalized pentagonal numbers, Ramanujan J

    J. Ju, Universal sums of generalized pentagonal numbers, Ramanujan J. , 51 (2020), 479–494

    2020

  4. [12]

    Ju and B.-K

    J. Ju and B.-K. Oh, Universal sums of generalized octagonal nu mbers, J. Number Theory, 190 (2018), 292–302

    2018

  5. [13]

    Ju and B.-K

    J. Ju and B.-K. Oh, Universal mixed sums of generalized 4- and 8- gonal numbers, Int. J. Number Theory, 16(3) (2020), 603–627

    2020

  6. [14]

    Kamaraj, B

    R. Kamaraj, B. Kane and R. Tomiyasu, Universal sums of gener alized heptagonal numbers, J. Number Theory, 249 (2023), 500–536

    2023

  7. [15]

    Krachun And Z.-W

    D. Krachun And Z.-W. Sun, On sums of four pentagonal number s with coefficients, Electron. Res. Arch., 28(1) (2020), 559–566

    2020

  8. [16]

    X. -Z. Meng and Z. -W. Sun, Sums of four polygonal numbers wit h coefficients, Acta Arith., 180 (2017), 229–249

    2017

  9. [17]

    Ramanujan, On the expression of a number in the form ax2 +by2 +cz2 +dw2, Math

    S. Ramanujan, On the expression of a number in the form ax2 +by2 +cz2 +dw2, Math. Proc. Cambridge Philos. Soc. , 19 (1917), 11–21

    1917

  10. [18]

    Z. -W. Sun, A result similar to Lagrange’s theorem, J. Number Theory , 162 (2016), 190–211

    2016

  11. [19]

    Z. -W. Sun, On universal sums x(ax +b)/ 2 +y(cy +d)/ 2 +z(ez +f )/ 2, Nanjing Univ. J. Math. Biquarterly , 35(2) (2018), 85–199

    2018

  12. [20]

    Z. -W. Sun, Universal sums of three quadratic polynomials, Sci. China Math. , 63(3) (2020), 501–520

    2020

  13. [21]

    Z. -W. Sun, New results similar to Lagrange’s four-square theo rem, preprint, http://arxiv.org/abs/2411.14308v3

    arXiv

  14. [22]

    H. -L. Wu and Z.-W. Sun, Some universal quadratic sums over th e integers, Electronic Research Archive, 27 (2019), 69–87

    2019

  15. [23]

    Yang, Universal sums of triangular numbers and squares, J

    Z. Yang, Universal sums of triangular numbers and squares, J. Number Theory, (259) (2024), 1–15

    2024

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.