pith. sign in

arxiv: 2604.22377 · v1 · submitted 2026-04-24 · 🧮 math.CO · math.NT

A construction method for WZ seeds

Qing-Hu Hou , Yan-Ping Mu This is my paper

Pith reviewed 2026-05-08 11:10 UTC · model grok-4.3

classification 🧮 math.CO math.NT
keywords Wilf-Zeilberger seedsWZ pairshypergeometric identitiescombinatorial summationsq-analoguescreative telescopingbinomial coefficient identities
0
0 comments X

The pith

A systematic method constructs Wilf-Zeilberger seeds, yielding seven examples and their q-analogues for proving hypergeometric identities.

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

The paper introduces a systematic construction method for Wilf-Zeilberger seeds, which are foundational pairs used to certify hypergeometric summation identities through telescoping relations. It presents seven such seeds and illustrates how new seeds can be built from existing ones, then applies them to derive several identities. The construction extends to q-series, producing q-analogues of the seeds. A sympathetic reader would care because this reduces the reliance on ad-hoc discoveries for proving combinatorial sums, potentially streamlining the verification of many identities in combinatorics and special functions.

Core claim

We propose a systematic method for constructing Wilf-Zeilberger (WZ) seeds and present seven WZ seeds. We also demonstrate how to construct WZ seeds from existing ones. With these WZ seeds, several hypergeometric identities are derived. The construction can be extended to the q-cases, leading to the q-analogues of the seven WZ seeds.

What carries the argument

The WZ seed, a pair of hypergeometric terms satisfying a two-dimensional telescoping relation that serves as the certificate for a family of summation identities.

Load-bearing premise

The proposed systematic method produces valid WZ seeds whose associated certificates correctly certify the claimed hypergeometric identities.

What would settle it

Direct substitution into the telescoping equation for one of the seven seeds shows that the difference in the n-direction does not equal the difference in the k-direction for the proposed rational functions.

read the original abstract

We propose a systematic method for constructing Wilf-Zeilberger (WZ) seeds and present seven WZ seeds. We also demonstrate how to construct WZ seeds from existing ones. With these WZ seeds, several hypergeometric identities are derived. The construction can be extended to the $q$-cases, leading to the $q$-analogues of the seven WZ seeds.

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

2 major / 2 minor

Summary. The paper proposes a systematic method for constructing Wilf-Zeilberger (WZ) seeds, presents seven concrete WZ seeds, demonstrates how to generate new seeds from existing ones, derives several hypergeometric identities from them, and extends the construction to obtain q-analogues of the seven seeds.

Significance. A verified systematic construction for WZ seeds would be a useful addition to the toolkit for proving and discovering hypergeometric identities, as it could streamline the generation of certified telescoping relations in combinatorics and special functions; the concrete seeds and derived identities would then serve as immediate examples if their validity is established.

major comments (2)
  1. [Construction method] The section describing the systematic method: no general theorem or proof is supplied showing that the proposed construction (via parameter choices or ansatz) always yields F(n,k) and G(n,k) satisfying the defining WZ relation F(n+1,k) − F(n,k) = G(n,k+1) − G(n,k) identically; the claim that the method is systematic therefore rests on the seven listed examples alone.
  2. [Presentation of seven WZ seeds] The section presenting the seven WZ seeds: only the final seeds are exhibited, without explicit verification steps, certificate computations, or direct checks that the telescoping identity holds for each; this verification is load-bearing for the central claim that the seeds are valid and can certify the derived hypergeometric identities.
minor comments (2)
  1. [q-analogue extension] The q-analogue extension is stated but lacks explicit forms for the q-seeds or verification that the q-WZ relation holds.
  2. [Notation] Notation for the hypergeometric terms F and G and their certificates should be introduced with explicit definitions before the examples are given.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the two major comments point by point below, indicating where revisions will be made.

read point-by-point responses

  1. Referee: The section describing the systematic method: no general theorem or proof is supplied showing that the proposed construction (via parameter choices or ansatz) always yields F(n,k) and G(n,k) satisfying the defining WZ relation F(n+1,k) − F(n,k) = G(n,k+1) − G(n,k) identically; the claim that the method is systematic therefore rests on the seven listed examples alone.

    Authors: The method is systematic in providing a parameterized ansatz for the rational and hypergeometric forms of F(n,k) and G(n,k), from which concrete seeds are obtained by suitable parameter selection. We do not claim or prove that arbitrary parameter choices always produce valid WZ pairs; each seed is certified individually after construction. We will revise the manuscript to state this scope explicitly and remove any implication of a universal guarantee. revision: partial

  2. Referee: The section presenting the seven WZ seeds: only the final seeds are exhibited, without explicit verification steps, certificate computations, or direct checks that the telescoping identity holds for each; this verification is load-bearing for the central claim that the seeds are valid and can certify the derived hypergeometric identities.

    Authors: We agree that the presentation would be strengthened by including verification. In the revised manuscript we will add, for each of the seven seeds, the explicit certificate G(n,k) together with a brief indication of how the WZ relation was confirmed (via direct symbolic expansion or computer algebra). revision: yes

Circularity Check

0 steps flagged

No circularity: method and seeds are presented as explicit constructions with external verifiability

full rationale

The paper proposes a systematic construction for WZ seeds, lists seven explicit examples, shows how to build new seeds from old ones, derives hypergeometric identities from them, and extends the construction to q-analogues. No equations or definitions are given in which a claimed output (e.g., a certificate or identity) is defined in terms of itself or obtained by fitting parameters to the target result. No load-bearing self-citations or uniqueness theorems imported from the authors' prior work appear in the abstract or described structure. The central claim reduces to exhibiting concrete F(n,k), G(n,k) pairs that satisfy the WZ telescoping relation, which is an externally checkable property independent of the construction narrative itself. This is the normal non-circular case for a constructive paper in combinatorics.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; it mentions no free parameters, background axioms, or newly postulated entities.

pith-pipeline@v0.9.0 · 5342 in / 995 out tokens · 46163 ms · 2026-05-08T11:10:35.205158+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    Amdeberhan and D

    T. Amdeberhan and D. Zeilberger, Hypergeometric series acceleration via the WZ method, Electron. J. Combin., 4(2) (1997) #R3

    work page 1997

  2. [2]

    Andrews, Connection coefficient problems and partitions, AMS Proc

    G.E. Andrews, Connection coefficient problems and partitions, AMS Proc. Symposia in Pure Mathematics 34, D. Ray-Chaudhuri, ed., American Mathematical Society, Providence, RI, 1979, pp. 1–24

    work page 1979

  3. [3]

    Andrews, R

    G.E. Andrews, R. Askey, and R. Roy, Special Functions, Cambridge University Press, Cambridge, 1999

    work page 1999

  4. [4]

    Au, Wilf-Zeilberger seeds and non-trivial hypergeometric identi- ties, J

    K.C. Au, Wilf-Zeilberger seeds and non-trivial hypergeometric identi- ties, J. Symbolic Comput. 130 (2025) 102421

    work page 2025

  5. [5]

    Au, Multiple zeta values, WZ-pairs and infinite sums computa- tions, Ramanujan J

    K.C. Au, Multiple zeta values, WZ-pairs and infinite sums computa- tions, Ramanujan J. 66 (2025) 3

    work page 2025

  6. [6]

    Au, q-analogues of Wilf-Zeilberger seeds and Ramanujan 1/πk- formulas, arXiv 2403.04555

    K.C. Au, q-analogues of Wilf-Zeilberger seeds and Ramanujan 1/πk- formulas, arXiv 2403.04555

    work page arXiv

  7. [7]

    Bailey, Generalized Hypergeometric Series, Cambridge University Press, Cambridge, 1935

    W.N. Bailey, Generalized Hypergeometric Series, Cambridge University Press, Cambridge, 1935

    work page 1935

  8. [8]

    Baruah and B.C

    N.D. Baruah and B.C. Berndt, Eisenstein series and Ramanujan-type series for 1/π, Ramanujan J. 23 (2010) 17–44

    work page 2010

  9. [9]

    Chen, Q.-H

    W.Y.C. Chen, Q.-H. Hou, Y.-P. Mu, The extended Zeilberger algorithm with parameters, J. Symbolic Comput. 47(6) (2012) 643–654

    work page 2012

  10. [10]

    Campbell, Hypergeometric accelerations with shifted indices, J

    J. Campbell, Hypergeometric accelerations with shifted indices, J. Dif- ference Equ. Appl. 31(9) (2025) 1–24

    work page 2025

  11. [11]

    Campbell, q-analogues of π-formulas due to Ramanujan and Guillera, hal-04973307, 2025

    J. Campbell, q-analogues of π-formulas due to Ramanujan and Guillera, hal-04973307, 2025. 21

    work page 2025

  12. [12]

    Ding and Y.-P

    F.-X. Ding and Y.-P. Mu, Construction of WZ pairs by the extended Zeilberger algorithm, Math. Slovaca (2026) 76(1) 179–190

    work page 2026

  13. [13]

    Gessel and D

    I. Gessel and D. Stanton, Strange evaluations of hypergeometric series. SIAM J. Math. Anal. 13 (1982) 295–308

    work page 1982

  14. [14]

    Gessel, Finding identities with the WZ method, J

    I.M. Gessel, Finding identities with the WZ method, J. Symbolic Com- put. 20(5-6) (1995) 537–566

    work page 1995

  15. [15]

    Guillera, Generators of some Ramanujan formulas, Ramanujan J

    J. Guillera, Generators of some Ramanujan formulas, Ramanujan J. 11(1) (2006) 41–48

    work page 2006

  16. [16]

    Guillera, Hypergeometric identities for 10 extended Ramanujan-type series, Ramanujan J

    J. Guillera, Hypergeometric identities for 10 extended Ramanujan-type series, Ramanujan J. 15 (2008) 219–234

    work page 2008

  17. [17]

    Guillera, On WZ-pairs which prove Ramanujan series, Ramanujan J

    J. Guillera, On WZ-pairs which prove Ramanujan series, Ramanujan J. 22(3) (2010) 249–259

    work page 2010

  18. [18]

    Q.-H. Hou, C. Krattenthaler, and Z.-W. Sun, On q-analogues of some series for π and π2, Proc. Amer. Math. Soc. 147(5) (2019) 1953–1961

    work page 2019

  19. [19]

    Petkovšek, H

    M. Petkovšek, H. S. Wilf, D. Zeilberger, A=B, A. K. Peters, Wellesley. MA, 1996

    work page 1996

  20. [20]

    Ramanujan, Modular equations and approximations to π, Quart

    S. Ramanujan, Modular equations and approximations to π, Quart. J. Math. (Oxford) 45(2) (1914) 350–372

    work page 1914

  21. [21]

    Sun, New series involving binomial coefficients (I), J

    Z.-W. Sun, New series involving binomial coefficients (I), J. Nanjing Univ. Math. Biquart. 41(1) (2024) 57–95

    work page 2024

  22. [22]

    Sun, New series involving binomial coefficients (II), Acta Math

    Z.-W. Sun, New series involving binomial coefficients (II), Acta Math. Sin. (Engl. Ser.), to appear. See also arXiv:2307.03086

    work page arXiv

  23. [23]

    H.S. Wilf, D. Zeilberger, An algorithmic proof theory for hypergeo- metric (ordinary and “ q”) multisum/integral identities, Invent. Math. 108(3), (1992) 575–633

    work page 1992

  24. [24]

    Zeilberger, A fast algorithm for proving terminating hypergeometric identities, Discrete Math

    D. Zeilberger, A fast algorithm for proving terminating hypergeometric identities, Discrete Math. 80 (1990) 207–211

    work page 1990

  25. [25]

    Zeilberger, The method of creative telescoping, J

    D. Zeilberger, The method of creative telescoping, J. Symbolic Comput. 11 (1991) 195–204. 22

    work page 1991