pith. sign in

arxiv: 2606.18904 · v1 · pith:FYEFBOCKnew · submitted 2026-06-17 · 🧮 math.CA

General duality relations for hypergeometric and basic hypergeometric series

Dmitrii Karp , Yi Zhang This is my paper

Pith reviewed 2026-06-26 18:55 UTC · model grok-4.3

classification 🧮 math.CA
keywords hypergeometric seriesbasic hypergeometric seriesduality relationsq-hypergeometric functionstransformationsspecial functionsunification
0
0 comments X

The pith

A master identity subsumes every known duality relation for hypergeometric and q-hypergeometric series.

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

The paper proposes one general identity that covers all previously found duality relations for both ordinary hypergeometric functions and their q-analogues. Duality relations equate different series representations of the same function and have been rediscovered multiple times since Euler. By unifying them, the work organizes a scattered literature into a single framework that also produces multi-term relations at fixed arguments for Gauss and confluent types.

Core claim

We present a common generalization of all relations of this type found in the existing literature both for hypergeometric and for q-hypergeometric functions. We cover both Gauss type and confluent generalized hypergeometric functions and their q-analogues. Our results entail a number of corollaries including multi-term relations for hypergeometric and q-hypergeometric series at a fixed argument.

What carries the argument

The master duality identity, a single parameterized formula from which all prior duality relations follow by specialization of parameters.

Load-bearing premise

That every previously published duality relation for hypergeometric and basic hypergeometric series arises as a special case of the single master identity proposed in the paper.

What would settle it

A duality relation published between 2015 and 2023 for hypergeometric or basic hypergeometric series that cannot be recovered by choosing specific values for the parameters in the master identity.

read the original abstract

Duality relations for hypergeometric functions have reappeared as an active research topic several times, with the first instances tracing back to Euler and Gauss and the latest burst of activity occurring between 2015 and 2023. In this paper we present a common generalization of all relations of this type found in the existing literature both for hypergeometric and for $q$-hypergeometric functions. We cover both Gauss type and confluent generalized hypergeometric functions and their $q$-analogues. Our results entail a number of corollaries including multi-term relations for hypergeometric and $q$-hypergeometric series at a fixed argument.

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 claims to introduce a single master identity that generalizes all previously known duality relations for ordinary and basic hypergeometric series (both Gauss-type and confluent), from which the classical results of Euler, Gauss, and more recent literature (2015–2023) follow as special cases, together with new multi-term identities at fixed argument.

Significance. If the master identity is correctly derived and demonstrably recovers every cited prior relation without gaps or ad-hoc adjustments, the work would supply a unifying framework for an active subfield of special functions, reducing the need for case-by-case proofs and generating new corollaries.

major comments (2)
  1. [Abstract and §1] Abstract and §1: the central claim that every previously published duality relation arises as a special case of the proposed master identity is load-bearing; the manuscript must supply an explicit, exhaustive mapping (e.g., a table or numbered list) showing the precise parameter choices that recover each cited relation from the literature, together with verification that no additional restrictions are imposed.
  2. [§3 or §4] The derivation of the master identity (presumably in §3 or §4) must be checked for hidden parameter restrictions that might exclude some of the cited classical cases; if any such restriction appears, the coverage claim requires revision.
minor comments (2)
  1. Notation for the master identity should be introduced with a clear statement of the domain of convergence and the precise range of parameters for which the identity holds.
  2. The list of corollaries in the final section would benefit from explicit cross-references back to the master identity for each multi-term relation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and the recommendation for major revision. We address the two major comments below and will incorporate the requested clarifications into a revised manuscript.

read point-by-point responses

  1. Referee: [Abstract and §1] Abstract and §1: the central claim that every previously published duality relation arises as a special case of the proposed master identity is load-bearing; the manuscript must supply an explicit, exhaustive mapping (e.g., a table or numbered list) showing the precise parameter choices that recover each cited relation from the literature, together with verification that no additional restrictions are imposed.

    Authors: We agree that an explicit mapping will make the coverage claim fully verifiable. In the revised manuscript we will insert a new table (or numbered list) in §1 that lists every duality relation cited in the introduction and literature review, together with the exact specializations of the master identity parameters that recover it. The table will also note the domain of validity for each case to confirm that no extra restrictions are introduced beyond those already stated in the master identity. revision: yes

  2. Referee: [§3 or §4] The derivation of the master identity (presumably in §3 or §4) must be checked for hidden parameter restrictions that might exclude some of the cited classical cases; if any such restriction appears, the coverage claim requires revision.

    Authors: We have re-examined the derivation in §3. The master identity is obtained from a single contour-integral representation that holds under the stated convergence conditions; no additional hidden restrictions on the parameters appear that would exclude the classical Euler, Gauss, or later cases. All cited relations are recovered by direct substitution within the allowed parameter ranges. We will add a short clarifying paragraph after the derivation stating this explicitly and referencing the new table in §1. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper derives a master duality identity for hypergeometric and q-hypergeometric series that is presented as a common generalization of prior results from Euler, Gauss, and recent literature. No load-bearing step reduces by construction to a fitted input, self-definition, or self-citation chain; the central claim rests on explicit algebraic manipulation of series rather than renaming or importing uniqueness from the authors' prior work. The contribution is a standard mathematical generalization in special functions and remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, invented entities, or non-standard axioms; the work rests on the standard analytic properties of hypergeometric series assumed in the prior literature it cites.

axioms (1)
  • standard math Standard convergence and analytic continuation properties of hypergeometric and basic hypergeometric series
    Invoked implicitly when stating that the master identity recovers all prior relations.

pith-pipeline@v0.9.1-grok · 5621 in / 1041 out tokens · 17498 ms · 2026-06-26T18:55:24.161282+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

20 extracted references · 15 canonical work pages

  1. [1]

    Bailey, Generalized Hypergeometric Series, Cambridge Tracts in Mathematics and Mathemati- cal Physics, 2nd edn

    W.N. Bailey, Generalized Hypergeometric Series, Cambridge Tracts in Mathematics and Mathemati- cal Physics, 2nd edn. Stechert-Hafner Inc., New York (1964).https://archive.org/details/bwb_ P8-ABP-096

    1964

  2. [2]

    Bailey, On certain relations between hypergeometric series of higher order, J

    W.N. Bailey, On certain relations between hypergeometric series of higher order, J. London Math. Soc. Volume 8 (1933), 100–107.https://doi.org/10.1112/jlms/s1-8.2.100

    work page doi:10.1112/jlms/s1-8.2.100 1933

  3. [3]

    Beukers and F

    F. Beukers and F. Jouhet, Duality relations for hypergeometric series, Bull. London Math. Soc. 47(2015), 343–358.https://doi.org/10.1112/blms/bdv009

    work page doi:10.1112/blms/bdv009 2015

  4. [4]

    Darling, On certain relations between hypergeometric series of higher orders, Proc

    H.B.C. Darling, On certain relations between hypergeometric series of higher orders, Proc. London Math. Soc. Volume 34(1932), 323–339.https://doi.org/10.1112/plms/s2-34.1.323

    work page doi:10.1112/plms/s2-34.1.323 1932

  5. [5]

    Ebisu, Three-term relations for the hypergeometric series, Funkc

    A. Ebisu, Three-term relations for the hypergeometric series, Funkc. Ekvac., Volume 55(2012), 255–283. https://doi.org/10.1619/fesi.55.255

    work page doi:10.1619/fesi.55.255 2012

  6. [6]

    C ¸ etinkaya, D.B

    A. C ¸ etinkaya, D.B. Karp and E.G. Prilepkina, Hypergeometric functions at unit argument: simple derivation of old and new identities, SIGMA 17 (2021), 098.https://doi.org/10.3842/SIGMA.2021. 098

    work page doi:10.3842/sigma.2021 2021

  7. [7]

    R. Feng, A. Kuznetsov, F. Yang, A short proof of duality relations for hypergeometric functions, J. Math. Anal. Appl. Volume 443(2016), 116–122.https://doi.org/10.1016/j.jmaa.2016.05.020

    work page doi:10.1016/j.jmaa.2016.05.020 2016

  8. [8]

    Gasper and M

    G. Gasper and M. Rahman, Basic Hypergeometric Series, Encyclopedia of Mathematics and Its Appli- cations, Vol. 96, Cambridge University Press, 2004.https://doi.org/10.1017/CBO9780511526251

    work page doi:10.1017/cbo9780511526251 2004

  9. [9]

    Gorelov, On algebraic identities between generalized hypergeometric functions, Mathematical Notes, Volume 88:4(2010), 487–491.https://doi.org/10.4213/mzm8522

    V.A. Gorelov, On algebraic identities between generalized hypergeometric functions, Mathematical Notes, Volume 88:4(2010), 487–491.https://doi.org/10.4213/mzm8522

    work page doi:10.4213/mzm8522 2010

  10. [10]

    Kac and P

    V. Kac and P. Cheung, Quantum Calculus, Universitext. Springer, New York (2002).https://doi. org/10.1007/978-1-4613-0071-7

    work page doi:10.1007/978-1-4613-0071-7 2002

  11. [11]

    Kalmykov, D

    S.I. Kalmykov, D. Karp and A. Kuznetsov, A new identity for the sum of products of general- ized basic hypergeometric functions, Ramanujan J. 61(2023), 391–414.https://doi.org/10.1007/ s11139-022-00598-w

    2023

  12. [12]

    Karp, Polynomial perturbations of Euler’s and Clausen’s identities, Adv

    D. Karp, Polynomial perturbations of Euler’s and Clausen’s identities, Adv. Appl. Math., Volume 175, April 2026, 103042.https://doi.org/10.1016/j.aam.2026.103042

    work page doi:10.1016/j.aam.2026.103042 2026

  13. [13]

    Karp and A

    D. Karp and A. Kuznetsov, A new identity for a sum of products of the generalized hypergeometric functions, Proc. Amer. Math. Soc., Volume 149, Number 7, 2021, 2861–2870.https://doi.org/10. 1090/proc/14803 23

    2021

  14. [14]

    Information geometry, Jordan algebras, and a coadjoint orbit-like construction

    D.B. Karp and E.G. Prilepkina, Hypergeometric differential equation and new identities for the coeffi- cients of Nørlund and B¨ uhring, SIGMA 12 (2016), 052, 23 pages.https://doi.org/10.3842/SIGMA. 2016.052

    work page doi:10.3842/sigma 2016

  15. [15]

    Karp and E.G

    D.B. Karp and E.G. Prilepkina, An inverse factorial series for a general gamma ratio and related properties of the Nørlund-Bernoulli polynomials, J. Math. Sci., Vol. 234, No. 5 (2018), 680–696. https://doi.org/10.1007/s10958-018-4036-1

    work page doi:10.1007/s10958-018-4036-1 2018

  16. [16]

    Nemes, Generalization of Binet’s Gamma function formulas, Integral Transforms Spec

    G. Nemes, Generalization of Binet’s Gamma function formulas, Integral Transforms Spec. Funct., Vol- ume 24, Issue 8(2013), 597–606.https://doi.org/10.1080/10652469.2012.725168

    work page doi:10.1080/10652469.2012.725168 2013

  17. [17]

    Nesterenko, Hermite–Pad´ e approximants of generalized hypergeometric functions, Russian Acad

    Yu.V. Nesterenko, Hermite–Pad´ e approximants of generalized hypergeometric functions, Russian Acad. Sci. Sb. Math., Volume 83:1 (1995), 189–219.https://doi.org/10.1070/SM1995v083n01ABEH003587

    work page doi:10.1070/sm1995v083n01abeh003587 1995

  18. [18]

    Olver, D.W

    F.W.J. Olver, D.W. Lozier, R.F. Boisvert and C.W. Clark (Eds.) NIST Handbook of Mathematical Functions, Cambridge University Press, 2010.https://dlmf.nist.gov

    2010

  19. [19]

    Slater, Generalized Hypergeometric Functions, Cambridge University Press, Cambridge (1966)

    L.J. Slater, Generalized Hypergeometric Functions, Cambridge University Press, Cambridge (1966). https://archive.org/details/generalizedhyper0000unse

    1966

  20. [20]

    Yamaguchi, Three-term relations for basic hypergeometric series, J

    Y. Yamaguchi, Three-term relations for basic hypergeometric series, J. Math. Anal. Appl. 464 (2018), no. 1, 662–678.https://doi.org/10.1016/j.jmaa.2018.04.021 24

    work page doi:10.1016/j.jmaa.2018.04.021 2018