{"id":"c19c56d2-c519-4300-ba0a-a20213901be3","arxiv_id":"2412.21108","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper asserts four ordinary hypergeometric integral identities as limits of hyperbolic ones, but supplies no derivations and admits most are already known.","lead":"This paper takes hyperbolic hypergeometric integral identities from supersymmetric gauge theories and states simpler ordinary hypergeometric identities obtained by a large-r limit. Only one of the four stated identities may be new, and the claimed limit derivations are not shown in the text.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central r→∞ step is asserted, not proved: no interchange/uniformity argument is given, and (3.6) as printed has u_1 where u_i is required, so the claimed ordinary limits are not established.","rationale":"The reader's weakest assumption is exactly the unjustified interchange of r→∞ with the sum and integral, and I agree that this is the most load-bearing step. I add that the printed identity (3.6) has an internal typo, u_1 instead of u_i, which suggests the limits were not verified term by term. There are no derivations, no proofs, and no numerical checks in the paper, so the central claim is unsupported as it stands. I would not claim the identities are false; rather, the paper does not establish them. The reader's REJECT verdict therefore remains appropriate.","tokens_in":5676,"tokens_out":10639,"duration_ms":113780,"concrete_test":"Restrict to identity III. Re-derive (3.6) from (3.5) by: (a) keeping u_i in each factor, so the product is ∏_{i=1}^3 Γ(a_i−z, u_i−y) Γ(b_i+z, v_i+y); (b) using the exact Barnes double-gamma representation of γ_h to bound the r-dependent prefactors uniformly for y=O(1) and y=O(r); and (c) checking the y=0 term separately. If the correct formula differs from the printed (3.6), or if the uniform bound requires a y-dependent cutoff that does not vanish as r→∞, the claimed limit is not established. A numerical evaluation with random parameter values can then confirm whether the printed or corrected identity is satisfied.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is that the ordinary identities (3.2), (3.4), (3.6), (3.8) follow from the hyperbolic identities (3.1), (3.3), (3.5), (3.7) by taking r→∞. The only mechanism offered is the asymptotic formula (2.11), but applying it termwise to (3.1) is not justified. The finite sum over y=0..⌊r/2⌋ with ϵ(y) must become the unrestricted sum over Z; the prefactor 1/(2r√(-ω1ω2)) must combine with the asymptotics of the vector-multiplet denominator to produce the explicit (z²+y²)/(8π) in (3.2) and (3.4); and the r-dependent prefactors in (2.11) must be controlled uniformly in z and y. None of these steps is shown, and no dominated convergence, Euler-Maclaurin estimate, or remainder bound is supplied. Since the paper's stated contribution is deriving these limits, this missing interchange is the entire load-bearing step. The concern is not stylistic: if the interchange fails or requires a different normalization, the printed identities could be false or only coincidentally equal. An internal inconsistency reinforces this: (3.6) is written with Γ(a_i−z, u_1−y), but the r→∞ limit of (3.5) requires Γ(a_i−z, u_i−y) for each i. The text also notes an unresolved multiplicative discrepancy in identity II with [22], leaving the status of the limits ambiguous.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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).","tokens_in":6005,"tokens_out":5858,"duration_ms":53794,"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":[{"comment":"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.","section":"Section 3, Eqs. (3.1)–(3.2)"},{"comment":"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.","section":"Eq. (2.11)"},{"comment":"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.","section":"Eq. (3.6)"},{"comment":"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.","section":"Section 3.2"},{"comment":"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.","section":"Introduction/Conclusions"}],"minor_comments":[{"comment":"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.","section":"Eq. (2.11)"},{"comment":"There is a typo in the first sentence: “The next we consider” should be “Next, we consider”.","section":"Section 3.2"},{"comment":"Reference [20] is incorrectly formatted: “D. Branges, L. tensor product spaces” should be “L. de Branges, Tensor product spaces”.","section":"Reference [20]"},{"comment":"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.","section":"Eq. (3.4)"},{"comment":"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.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The paper is a very short note whose central claim is a nontrivial limit interchange that is never justified. The unresolved discrepancy with [22] and the typo in (3.6) add to the concerns. The authors should be asked to supply a real derivation or a detailed reference for the limit procedure, and to resolve the discrepancy, before the paper can be considered further."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper takes four hyperbolic hypergeometric integral identities from lens-space dualities and writes down their r→∞ ordinary hypergeometric limits. What is actually new is essentially one identity, (3.8); the text is honest that the other three are already in the literature. The organization is clean, the gauge-theoretic motivation is clear, and the citation practice is fair—including flagging the multiplicative discrepancy in identity II against Neretin. For someone working in the Gauge/YBE correspondence, this is a convenient summary of where these limits land.\n\nThe soft spots are real and load-bearing. The derivation is entirely contained in the statement “the limit of the integral when r→∞ is given by...” with no justification for interchanging the limit with the sum over y, no control of the r-dependent prefactors, and no uniformity argument. That interchange is the whole contribution, so its absence is not a stylistic gap. The stress-test note is right: equation (3.6) is printed with u_1 in places that must be u_i for the limit to make sense, which suggests the limit wasn't checked term by term. The discrepancy in identity II also remains unresolved, so that formula's status is ambiguous.\n\nThe abstract overstates novelty. Three of the four identities are admitted to be known, and the one that might be new is a direct limit of a known hyperbolic identity from [19]. That doesn't make the paper worthless, but it makes it an announcement rather than a derivation.\n\nWho gets value from this? A physicist who wants a quick reference for what certain hyperbolic identities become on S^2. A mathematician will want proofs before trusting the new identity. The paper deserves a serious referee—the topic is legitimate and the potentially new identity is worth checking—but the current version should not be accepted without either a real derivation of the limits or an explicit downgrade to conjectural status. I'd send it back for major revision.","headline":"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.","tokens_in":6504,"tokens_out":1437,"would_cite":false,"duration_ms":17086,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper derives four ordinary hypergeometric integral identities as the r→∞ limits of hyperbolic hypergeometric identities obtained from lens-space supersymmetric dualities.","keywords":["hyperbolic hypergeometric integrals","lens space partition functions","supersymmetric dualities","ordinary hypergeometric identities","Euler gamma function","asymptotic reduction","Nassrallah-Rahman integral","Askey-Wilson integral"],"falsifier":"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.","tokens_in":5494,"feed_emoji":"🧮","tokens_out":5616,"duration_ms":50157,"temperature":0.7,"pith_summary":"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.","feed_headline":"Four ordinary hypergeometric identities come from lens-space limits","feed_subtitle":"A single r→∞ reduction of lens-space dualities yields known and new gamma-function evaluations for 2d sphere theories.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the lens-space partition-function matrix model from which the hyperbolic integrals are read off.","marker":"[1]"},{"why":"Gives the hyperbolic hypergeometric integral identity (3.1) that is the parent of the first ordinary limit.","marker":"[3]"},{"why":"Provides the ordinary hypergeometric identity (3.2) as the known r→∞ limit of (3.1).","marker":"[6]"},{"why":"These dualities give the SU(2) QCD theories whose partition function equality yields identities (3.1) and (3.3).","marker":"[9, 10]"},{"why":"Supplies the duality and hyperbolic identity (3.5) used for the third ordinary limit.","marker":"[11]"},{"why":"Identifies the Askey-Wilson type integral behind (3.3), whose ordinary limit is (3.4).","marker":"[17]"},{"why":"Presents the more general beta integral that contains (3.4) as a special case.","marker":"[21]"},{"why":"Contains a similar Branges-Wilson type result with a noted discrepancy in the multiplicative factor, giving the comparison baseline for (3.4).","marker":"[22]"}],"fun_headline_variants":["Lens-space r→∞ limit yields ordinary hypergeometric identities","Hyperbolic dualities reduce to ordinary gamma identities","New ordinary identities from the r→∞ lens limit","Limit of lens-space dualities gives known and new hypergeometric identities"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Lens-space r→∞ limit yields ordinary hypergeometric identities","Hyperbolic dualities reduce to ordinary gamma identities","New ordinary identities from the r→∞ lens limit","Limit of lens-space dualities gives known and new hypergeometric identities"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000597,"raw_usage":{"total_tokens":2737,"prompt_tokens":830,"completion_tokens":1907,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":446,"completion_tokens_details":{"reasoning_tokens":1840}},"tokens_in":446,"tokens_out":1907,"duration_ms":14589,"temperature":1.0,"reasoning_tokens":1840,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T23:01:44.316338+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"S.N.M., A generalized hypergeometric function satisfying four ana lytic difference equations of askey–wilson type , Comm Math Phys 206 (1999) 639–690","cited_arxiv_id":null,"evidence_quote":"Identifies the Askey-Wilson type integral behind (3.3), whose ordinary limit is (3.4)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the ordinary hypergeometric identity (3.2) as the known r→∞ limit of (3.1)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Presents the more general beta integral that contains (3.4) as a special case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Contains a similar Branges-Wilson type result with a noted discrepancy in the multiplicative factor, giving the comparison baseline for (3.4)."}],"review_version":1}