Pith. sign in

REVIEW 5 major objections 5 minor 1 cited by

Ordinary limits of the hyperbolic hypergeometric integral identities

T0 review · 5 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read The paper derives four ordinary hypergeometric integral identities as the r→∞ limits of hyperbolic hypergeometric identities obtained from lens-space supersymmetric dualities.

desk verdict A clearly written announcement of four ordinary hypergeometric limits, but the central r→∞ step is asserted without proof, at least one identity has a typo, and the novelty is mostly one new formula. read the letter →

arxiv 2412.21108 v1 pith:3EYBS35A submitted 2024-12-30 hep-th math-phmath.MP

Mustafa Mullahasanoglu , Ali Mert T. Yetkin , Reyhan Yumusak This is my paper · ORCID
classification hep-thmath-phmath.MP
keywords hyperbolichypergeometricintegralslensspacepartitionfunctionssupersymmetricdualitiesordinaryidentitiesEulergammafunctionasymptoticreductionNassrallah-RahmanintegralAskey-Wilson
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 show that four hyperbolic hypergeometric integral identities, which encode the equality of three-dimensional supersymmetric lens-space partition functions under infrared duality, survive a particular limit r→∞ and become ordinary hypergeometric integral identities written with Euler gamma functions. The authors' point is that this reduction is a reliable bridge from 3d dualities on the lens space $S_b^{3}$/Z_r to 2d dualities on the sphere $S^{2}$, where partition functions use ordinary hypergeometric integrals. If the derivation is right, two of the resulting ordinary identities are already known while the others are new, and the same route can be applied to other hyperbolic identities to produce further ordinary ones. A sympathetic reader would care because this turns physically motivated dualities into concrete statements about special functions.

What carries the argument

The load-bearing object is the lens hyperbolic gamma function $\gamma_h(z,y;\omega_1,\omega_2)=\gamma_{(2)}(-iz-i\omega_1 y;-i\omega_1 r,-i(\omega_1+\omega_2))\,\gamma_{(2)}(-iz-i\omega_2(r-y);-i\omega_2 r,-i(\omega_1+\omega_2))$, a product of two double gamma functions that encodes the one-loop contribution to the lens-space partition function. The argument runs through the asymptotic formula (2.11), $\lim_{r\to\infty} \gamma_h(z,y;\omega_1,\omega_2) = (r/4\pi)^{(2-2z)/r}\; \Gamma((z+y)/2)/\Gamma(1-(z-y)/2)$, which replaces the hyperbolic gamma function by the Euler gamma ratio. Each of the four identities is a duality statement that one side (a gauge theory with vector multiplets) equals the other (a theory of matter only); taking the same limit on both sides is what turns the hyperbolic identity into an ordinary hypergeometric identity.

What would settle it

Evaluate both sides of (3.2) numerically for fixed parameters satisfying the balancing conditions, truncating the y-sum at a large cutoff and computing the z-integral; if the difference between the two sides does not approach zero as the cutoff grows, the claimed limit is false. A simpler check is to test the prefactor $(r/4\pi)^{(2-2z)/r}$ in (2.11) against a direct numerical evaluation of $\gamma_h$ for large r, z, and fixed y.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that the r→∞ limit converts the hyperbolic hypergeometric identities (3.1), (3.3), (3.5), and (3.7) into the ordinary hypergeometric identities (3.2), (3.4), (3.6), and (3.8), respectively. The conversion uses the asymptotic formula (2.11), under which the lens hyperbolic gamma function $\gamma_h(z,y;\omega_1,\omega_2)$ is replaced by the Euler-gamma ratio $\Gamma(z,y)$ times a prefactor $(r/4\pi)^{(2-2z)/r}$. Applying this replacement to each side of a duality identity, and taking the y-sum and z-integral to their r→∞ forms, yields identities for $\Gamma(z,y)$ whose balancing conditions match the original hyperbolic ones. The paper presents these ordinary identities as limits of the lens identities and notes that some of them, including (3.2), were previously known while others are new.

Load-bearing premise

The whole derivation rests on the step where the r→∞ limit is moved inside the sum over y and the integral, with the hyperbolic gamma function replaced by the Euler gamma ratio via (2.11); that interchange is stated but not demonstrated.

Editorial extensions

If this is right

  • The four ordinary identities (3.2), (3.4), (3.6), and (3.8) hold for the same balancing conditions as their hyperbolic parents, so they can be used as standalone special-function evaluations.
  • The reduction gives a concrete route from three-dimensional lens-space dualities to two-dimensional sphere dualities, since the S^2 partition function is built from ordinary hypergeometric integrals.
  • Because some of the ordinary identities are new, they enlarge the known list of hypergeometric integral identities available for checking or constructing N=(2,2) dualities.
  • The same r→∞ mechanism can be applied mechanically to other hyperbolic identities obtained from supersymmetric dualities, promising more ordinary hypergeometric identities.

Reading between the lines

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

  • The interchange of the r→∞ limit with the discrete y-sum and the z-integral is asserted rather than proven; if that interchange fails for some parameter regions, individual identities in the list could still be true while the derivational route is not generally valid.
  • One testable extension is to feed the ordinary identities back into two-dimensional partition-function computations: any mismatch with direct S^2 localization would localize exactly which step in the limit is invalid.
  • The same limiting procedure should apply to higher-rank or larger-flavor lens identities from the gauge/YBE correspondence, yielding a family of ordinary beta integrals that may include known evaluations as special cases.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

5 major / 5 minor

Summary. The paper claims to derive four ordinary hypergeometric integral identities by taking the r→∞ limit of hyperbolic hypergeometric integral identities obtained from supersymmetric dualities on lens spaces S^3_b/Z_r. The reduction is based on the asymptotic formula (2.11) for the hyperbolic gamma function. The limiting identities are stated as (3.2), (3.4), (3.6), and (3.8), but the limiting procedure itself is not derived: no argument is given for interchanging the limit with the discrete sum over y and the integral, and no control over the r-dependent prefactors is provided. The paper also notes an unresolved multiplicative discrepancy with reference [22] for identity II, and identity (3.6) contains a typo that makes it inconsistent with the claimed limit of (3.5).

Significance. If the limit procedure were rigorously established, the paper would offer a systematic way to obtain ordinary hypergeometric integral identities, and correspondingly S^2 supersymmetric dualities, from lens-space dualities. Such identities are relevant to the gauge/YBE correspondence and to the search for new dualities. However, because the limit step is asserted rather than proved, the paper does not currently establish its main claims. The paper is honest in citing prior work, but the novelty is concentrated in the limit procedure, which is exactly the part left unjustified.

major comments (5)
  1. [Section 3, Eqs. (3.1)–(3.2)] The r→∞ limit is asserted, not demonstrated. The sum over y=0..⌊r/2⌋ with weight ϵ(y) and the prefactor 1/(2r√(-ω1ω2)) must become an unrestricted sum over Z with prefactor (z²+y²)/(8π). No argument is given for interchanging the limit with the integral and the y-sum, and no uniform control over the r-dependent prefactor in (2.11) is provided. Since this limit is the whole content of the paper, it should be proved or at least justified with explicit remainder estimates.
  2. [Eq. (2.11)] The asymptotic formula (2.11) itself is stated without derivation. In particular, it is not clear how the prefactor (r/(4π))^{(2-2z)/r} arises from (2.10) and how the parameters ω1,ω2 are scaled with r. If ω1,ω2 are held fixed, the prefactor 1/(2r√(-ω1ω2)) in (3.1) tends to zero, so the limit (3.2) cannot hold as written; the scaling must be specified.
  3. [Eq. (3.6)] In (3.6), the first product is written as ∏_{i=1}^3 Γ(a_i−z, u_1−y), with u_1 instead of u_i. The r→∞ limit of (3.5) requires Γ(a_i−z, u_i−y) for each i. As printed, (3.6) is not the limit of (3.5). This should be corrected and checked.
  4. [Section 3.2] The paper states that reference [22] contains a similar result with a discrepancy in the multiplicative factor, but leaves the discrepancy unresolved. Since (3.4) is one of the four claimed identities, the authors must either reconcile the normalization or explain why their prefactor is correct. Without this, the status of identity II is ambiguous.
  5. [Introduction/Conclusions] The paper's claim of new identities is not supported by the text: (3.2), (3.4), and (3.6) are already present in the cited references [6], [20,21,22], and [11,25], respectively; only (3.8) appears to be new. The abstract and introduction should be adjusted to state precisely which results are new and which are reproductions of known identities.
minor comments (5)
  1. [Eq. (2.11)] The notation in (2.11) is confusing: z appears both as a complex integration variable and in the exponent (2-2z)/r, and the substitution z→ω1z is not tracked. Please clarify the scaling and the meaning of z after the limit.
  2. [Section 3.2] There is a typo in the first sentence: “The next we consider” should be “Next, we consider”.
  3. [Reference [20]] Reference [20] is incorrectly formatted: “D. Branges, L. tensor product spaces” should be “L. de Branges, Tensor product spaces”.
  4. [Eq. (3.4)] The denominator Γ(∑ ai, ∑ ui) in (3.4) uses a comma in a way that is inconsistent with the notation Γ(z,y) defined in (2.9); please align the notation.
  5. [General] The paper would benefit from stating the convergence conditions for the ordinary hypergeometric integrals, including the balancing conditions and any restrictions on the parameters needed for the sums and integrals to converge.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: ordinary identities are claimed r→∞ limits of hyperbolic identities; the unproved limit interchange is a rigor gap, not a circular step.

full rationale

The paper's derivation chain is: start from hyperbolic hypergeometric integral identities (3.1), (3.3), (3.5), (3.7), apply the asymptotic formula (2.11) as r→∞, and obtain the ordinary hypergeometric identities (3.2), (3.4), (3.6), (3.8). This is a reduction from one class of identities to another, not a derivation that assumes its conclusion. The target ordinary identities are not used as inputs; no parameter is fitted to the output; no uniqueness theorem is imported; and no ansatz is smuggled in through a citation. Some cited source identities come from works involving the present authors, but the limiting argument does not reduce to those citations: (3.2) is explicitly attributed to the external work [6], and (3.4) is compared with [21] and [22], so the claimed outputs are checked against independent results. The genuine weakness is that the limit is asserted rather than proved: the paper does not justify interchanging r→∞ with the discrete sum over y and the integral, does not control the r-dependent prefactors uniformly, and does not show how the (z²+y²)/(8π) weight emerges from the asymptotics of the denominator γ_h(±2z,±2y). There is also an apparent typo in (3.6), where Γ(a_i−z, u_1−y) should likely be Γ(a_i−z, u_i−y). These are correctness and rigor concerns, not circularity. The self-citations are not load-bearing in the circularity sense, so the appropriate circularity score is low.

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

The central results rest on two external inputs (the asymptotic formula and the hyperbolic identities) plus an unproved limiting step. No parameters were fitted, and no new entities are introduced.

assumptions (3)
  • standard math The asymptotic property of the hyperbolic gamma function in Eq (2.11), replacing it with Euler gamma functions as r→∞.
    This is a known asymptotic formula, but it is stated without proof and is central to the claimed limits.
  • domain assumption The hyperbolic hypergeometric integral identities (3.1), (3.3), (3.5), and (3.7) are true.
    These are taken from supersymmetric dualities and cited papers; the present paper does not prove them.
  • ad hoc to paper The r→∞ limit can be interchanged with the discrete sum over y and the integral, yielding the ordinary identities exactly.
    This is the main unproved step. The paper asserts each ordinary identity follows from the hyperbolic one without demonstrating the limiting procedure.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Ordinary limits of the hyperbolic hypergeometric integral identities." pith.science (2026). https://pith.science/paper/3EYBS35A

@misc{pith2026241221108,
  author       = {Pith},
  title        = {Pith review of: Ordinary limits of the hyperbolic hypergeometric integral identities},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3EYBS35A}},
  note         = {Machine review of arXiv:2412.21108}
}
read the original abstract

The computation of the partition function of supersymmetric gauge theories on compact manifolds can be reduced to matrix integrals by using the supersymmetric localization technique. Such matrix integrals in the case of three-dimensional supersymmetric gauge theories on lens space can be expressed in terms of hyperbolic hypergeometric integrals. By studying partition functions of supersymmetric dual theories, one can obtain new complicated identities for this type of special function. We derive new ordinary hypergeometric identities from the reduction of certain hyperbolic hypergeometric integral identities obtained via supersymmetric infrared dualities.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Flipping relation as a reduced star-star relation

    hep-th 2025-08 conditional novelty 5.0 of 10

    A specific limit of the star-star relation produces the flipping relation, and new flipping solutions are given in several gamma-function families.

Reference graph

Works this paper leans on

25 extracted references · 8 canonical work pages · cited by 1 Pith paper

  1. [19]

    Catak and M

    E. Catak and M. Mullahasanoglu, Decorating the gauge/YBE correspondence , Eur. Phys. J. C 84 (2024), no. 9 962, [ arXiv:2403.1448]

    work page arXiv 2024

  2. [22]

    Y. A. Neretin, An analog of the dougall formula and of the de branges–wilson integral, The Ramanujan Journal 54 (Mar., 2020) 93–106

    work page 2020

  3. [6]

    E. Eren, I. Gahramanov, S. Jafarzade, and G. Mogol, Gamma function solutions to the star-triangle equation, Nucl. Phys. B 963 (2021) 115283, [ arXiv:1912.1227]

    work page arXiv 2021

  4. [1]

    Imamura and D

    Y. Imamura and D. Yokoyama, S3/Zn partition function and dualities , JHEP 11 (2012) 122, [arXiv:1208.1404]

    arXiv 2012

  5. [2]

    Imamura, H

    Y. Imamura, H. Matsuno, and D. Yokoyama, Factorization of the S3/Zn partition function , Phys. Rev. D89 (2014), no. 8 085003, [ arXiv:1311.2371]

    arXiv 2014

  6. [3]

    Gahramanov and A

    I. Gahramanov and A. P. Kels, The star-triangle relation, lens partition function, and h ypergeometric sum/integrals, arXiv:1610.0922

    arXiv

  7. [4]

    Benini, T

    F. Benini, T. Nishioka, and M. Yamazaki, 4d Index to 3d Index and 2d TQFT , Phys. Rev. D86 (2012) 065015, [ arXiv:1109.0283]

    arXiv 2012

  8. [5]

    Yamazaki, Four-dimensional superconformal index reloaded, Theor

    M. Yamazaki, Four-dimensional superconformal index reloaded, Theor. Math. Phys. 174 (2013) 154–166. [Teor. Mat. Fiz.174,177(2013)]

    work page 2013

Show all 25 references
  1. [7]

    Benini and S

    F. Benini and S. Cremonesi, Partition Functions of N = (2, 2) Gauge Theories on S 2 and Vortices, Commun. Math. Phys. 334 (2015), no. 3 1483–1527, [ arXiv:1206.2356]

    2015 arXiv

  2. [8]

    Doroud, J

    N. Doroud, J. Gomis, B. Le Floch, and S. Lee, Exact Results in D=2 Supersymmetric Gauge Theories , JHEP 05 (2013) 093, [ arXiv:1206.2606]

    2013 arXiv

  3. [9]

    Gahramanov and V

    I. Gahramanov and V. P. Spiridonov, The star-triangle relation and 3d superconformal indices , JHEP 08 (2015) 040, [ arXiv:1505.0076]

    2015

  4. [10]

    Gahramanov and H

    I. Gahramanov and H. Rosengren, Basic hypergeometry of supersymmetric dualities , Nucl. Phys. B913 (2016) 747–768, [ arXiv:1606.0818]

    2016

  5. [11]

    D. N. Bozkurt, I. Gahramanov, and M. Mullahasanoglu, Lens partition function, pentagon identity, and star-triangle relation , Phys. Rev. D 103 (2021), no. 12 126013, [ arXiv:2009.1419]

    2021

  6. [12]

    Mullahasanoglu and N

    M. Mullahasanoglu and N. Tas, Lens Partition Functions and Integrability Properties , arXiv:2112.1516

  7. [13]

    Gahramanov, B

    I. Gahramanov, B. Keskin, D. Kosva, and M. Mullahasanoglu, On Bailey pairs for N = 2 supersymmetric gauge theories on S3 b /Zr, JHEP 03 (2023) 169, [ arXiv:2210.1145]

    2023

  8. [14]

    Gahramanov and S

    I. Gahramanov and S. Jafarzade, Integrable lattice spin models from supersymmetric dualit ies, Phys. Part. Nucl. Lett. 15 (2018), no. 6 650–667, [ arXiv:1712.0965]

    2018

  9. [15]

    Yamazaki, Integrability As Duality: The Gauge/YBE Correspondence , Phys

    M. Yamazaki, Integrability As Duality: The Gauge/YBE Correspondence , Phys. Rept. 859 (2020) 1–20, [ arXiv:1808.0437]

    2020

  10. [16]

    Gahramanov, Integrability from supersymmetric duality: a short review , arXiv:2201.0035

    I. Gahramanov, Integrability from supersymmetric duality: a short review , arXiv:2201.0035

  11. [17]

    S.N.M., A generalized hypergeometric function satisfying four ana lytic difference equations of askey–wilson type , Comm Math Phys 206 (1999) 639–690

    R. S.N.M., A generalized hypergeometric function satisfying four ana lytic difference equations of askey–wilson type , Comm Math Phys 206 (1999) 639–690

    1999

  12. [18]

    Mullahasanoglu, The star–square relation and the generalized star–triangl e relation from 3d supersymmetric dualities I , Eur

    M. Mullahasanoglu, The star–square relation and the generalized star–triangl e relation from 3d supersymmetric dualities I , Eur. Phys. J. Plus 139 (2024), no. 7 643, [ arXiv:2306.1358]

    2024

  13. [20]

    Branges, L

    D. Branges, L. tensor product spaces , Journal Of Mathematical Analysis And Applications 38 (1972) 109–148. – 6 –

    1972

  14. [21]

    G. A. Sarkissian and V. P. Spiridonov, The Endless Beta Integrals , SIGMA 16 (2020) 074, [arXiv:2005.0105]

    2020

  15. [23]

    Gahramanov and H

    I. Gahramanov and H. Rosengren, A new pentagon identity for the tetrahedron index , JHEP 11 (2013) 128, [ arXiv:1309.2195]

    2013 arXiv

  16. [24]

    Gahramanov and H

    I. Gahramanov and H. Rosengren, Integral pentagon relations for 3d superconformal indices , Proc. Symp. Pure Math.93,165 (2016) [ arXiv:1412.2926]

    2016 arXiv

  17. [25]

    Catak, I

    E. Catak, I. Gahramanov, and M. Mullahasanoglu, Hyperbolic and trigonometric hypergeometric solutions to the star-star equation , Eur. Phys. J. C 82 (2022), no. 9 789, [ arXiv:2107.0688]. – 7 –

    2022

Pith tools

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