{"id":"5abed69e-2873-4b2d-950e-98a1ac0fcd90","arxiv_id":"2608.01099","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors obtain new summation and transformation formulas for digamma series by taking limits of known hypergeometric duality relations, and in some cases the digamma terms cancel completely.","lead":"This paper derives new identities that rewrite infinite sums involving the digamma function as ordinary hypergeometric series. Special function identities of this kind are useful in physics and combinatorics, where such sums are hard to evaluate numerically.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the degeneration limits are routine under the stated exclusions and the core identities are supported by the proofs.","rationale":"The reader's weakest-assumption analysis points to the degeneration step and the interchange of limit and summation. I examined that same step in detail. For Theorem 2.1 the equality h1(0)=h2(0) is proved by legitimate index shifts, and the later corollaries only use parameter ranges where the resulting series converge at z=1. For Theorem 4.1 the equality h1(0)=h2(0) is asserted tersely, but the shift identities that establish it appear later in the same proof in explicit form, and the parameter exclusions prevent the relevant gamma functions from acquiring poles. The proofs of Theorems 4.2 and 4.4 are coefficientwise and therefore rigorous as formal power series, with convergence following wherever the displayed series converge. Theorem 2.2 is self-contained and does not rely on the degeneration machinery. The only weakness is that uniform-convergence justifications are omitted rather than wrong; this is a presentation issue, not a correctness risk. Hence the accept verdict stands and no verdict adjustment is needed.","tokens_in":35490,"tokens_out":32769,"duration_ms":263792,"concrete_test":"Run an independent high-precision numerical check of Theorem 4.1 with r=2, s=2 at generic parameters a=0.4, c=0.7, d=1.3, kappa=1.1, e=(0.2,0.5), f=(0.6,0.9,1.1) and z=0.5: evaluate both sides of (4.2) to 30-digit precision and confirm agreement to at least 1e-25, which would verify the h1(0)=h2(0) cancellation in the Appendix and the degeneration limit.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After tracing the proofs, I do not find a load-bearing flaw. Theorem 2.2 follows by applying the operators (d/db1 + d/dc) and (d/db2 + d/dc) to Euler's transformation; termwise differentiation is justified for |z|<1 because the differentiated coefficients grow only logarithmically relative to the original hypergeometric coefficients, so the resulting series remain absolutely convergent. The degeneration arguments in Theorems 2.1, 3.1, 4.1 and 4.3 reduce to the identity h1(0)=h2(0). For Theorem 2.1 this is proved by index shifts that are valid for either sign of p+n1-n2, with formally added negative-index terms vanishing by 1/Gamma(k+1)=0. For Theorem 4.1 the analogous shifts are exactly the identities later used explicitly, such as phi(c-a,c-1,c,d; a,0,c-d; z) = z phi(c-a+1,c,c+1,d+1; a+1,2,c-d+1; z). The stated exclusions that A and B contain no integer components prevent numerator poles that would invalidate these shifts. The only remaining gap is that uniform convergence in epsilon is not written out, but absolute convergence of the defining series for fixed |z|<1, uniform in a neighbourhood of epsilon=0, makes the interchange routine. I therefore do not see a concrete scenario in which the stated formulas fail within their stated domains.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives new transformation and summation identities for series containing the digamma function. The main mechanism is a degeneration limit applied to known duality and contiguous relations for generalized hypergeometric functions, with singular contributions regularized so that finite limits exist. Principal results include Theorem 2.1, a sum-product identity involving regularized hypergeometric and digamma series; Theorem 2.2, a compact identity obtained by parameter differentiation of Euler's transformation; Theorem 2.3, a terminating summation formula; Theorem 3.1, a finite-sum formula involving Bernoulli polynomials; and Theorems 4.1-4.4, purely hypergeometric product identities in which all digamma contributions cancel. The proofs are detailed, and the regularized definitions for singular parameter values are addressed in Remarks 2.1, 3.1, and 4.1.","tokens_in":35837,"tokens_out":21053,"duration_ms":153305,"significance":"If correct, the identities provide a useful and systematic set of tools for evaluating digamma-weighted hypergeometric sums, converting products of digamma series with hypergeometric functions into single hypergeometric functions or finite expressions. A particular strength is that the main formulas are supported by independent proof methods: Theorem 2.2 is proved by differentiating Euler's transformation, and Theorems 4.2 and 4.4 are proved by elementary contiguous relations. The paper also isolates several purely hypergeometric identities (Theorems 4.1, 4.3, and Corollary 4.1) that are likely of independent interest. The treatment of singular parameter cases is careful, and the stated exclusions appear to match the places where the regularization arguments are needed.","major_comments":[],"minor_comments":[{"comment":"The title page contains the typo \"EV ALUATION\" instead of \"EVALUATION\"; this should be corrected.","section":"Abstract/Title"},{"comment":"The sentence introducing Theorem 4.1 contains the misspelling \"tated\" for \"stated\"; please fix this typo.","section":"Section 4, before Theorem 4.1"},{"comment":"The proof begins by substituting z=1 into (2.6), but Theorem 2.1 is stated for 0<|z|<1. Since the corollary uses Gauss summation to evaluate the resulting hypergeometric functions, a short Abel-limit or analytic-continuation justification for z tending to 1 should be supplied, along with the convergence conditions it requires.","section":"Corollary 2.2 proof"},{"comment":"The degeneration proofs interchange the limit epsilon->0 with infinite summation. For fixed |z|<1 and under the stated exclusions, the defining series converge absolutely and uniformly in a neighborhood of epsilon=0, so the interchange is routine; nevertheless, the paper never states this justification. Please add a sentence (or a brief lemma) making the uniform-convergence argument explicit for the proofs of Theorems 2.1, 3.1, 4.1, and 4.3.","section":"Eqs. (2.9) and (4.14)"},{"comment":"In the proof after (4.14), the relation h_2(0)=h_1(0) is asserted to follow \"by shifting the index of summation similarly to the proof of Theorem 2.1\". Since this equality is load-bearing for the cancellation of the 1/Gamma(epsilon) singularity, please either display the few lines of the index shift or give an exact reference to the corresponding part of the proof of Theorem 2.1.","section":"Appendix, proof of Theorem 4.1"},{"comment":"The statement says \"all expressions below are non-singular\", which is somewhat vague. It would be helpful to state explicitly that c is not a non-positive integer and that the digamma arguments avoid poles, or else to refer to the regularization convention of Section 2.","section":"Theorem 2.2 statement"}],"recommendation":"minor_revision","confidential_remarks":"The paper is within the scope of math.CA and the derivations appear sound. The remaining issues are local presentation and justification gaps that can be fixed without changing the main results. I have no concerns about novelty or citation practice."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a solid, incremental paper for the special-functions niche. The main new identities are credible and, as far as I can tell, correct. It won't set the field on fire, but it's an honest piece of work.\n\nWhat is actually new: Theorem 2.2 (the parameter-differentiated Euler transformation) is a clean derivation that yields (2.14), and the purely hypergeometric limits in Section 4 (Theorems 4.1–4.4) are the most interesting part. The authors themselves say these are 'believed to be new,' and they hedge in the abstract with 'presumably new.' That is fair, but it's worth noting the novelty is asserted, not demonstrated by a literature search. What supports them is that Theorems 4.2 and 4.4 are proved independently via contiguous relations, not merely by the same limiting argument, which gives me confidence.\n\nWhat it does well: the proofs are unusually careful about singular limits. Remarks 2.1, 3.1, and 4.1 deal with poles, negative-integer parameters, and the ψ/Γ convention, and the regularized hypergeometric ϕ notation is used consistently. The treatment of the 0·∞ products in Theorem 3.1 is explicit. This level of care is exactly what this kind of identity-churning paper needs.\n\nSoft spots, in proportion: the main one is that the degeneration proofs expand h1(ε) and h2(ε) in Taylor series and pass the limit ε→0 through infinite sums without spelling out uniform convergence. The stress-test note convinced me this is routine under the stated exclusions: the defining series are absolutely convergent for |z|<1, uniformly in a neighborhood of ε=0, and the index shifts are valid by the regularized hypergeometric convention. Still, a referee should ask for a sentence saying so, especially in the Appendix proof of Theorem 4.1. The other soft spot is minor: the paper leans heavily on the authors' own prior duality relations, but those are published and established, and the new identities do follow from them rather than restating them.\n\nBottom line: the central results hold up. This is a sound contribution for specialists in hypergeometric functions and for physicists computing Feynman-parameter integrals. I wouldn't cite it myself — not my area — but the right reader will. Give it a serious referee; I'd recommend accept after minor revisions to make the convergence interchanges explicit.","headline":"A careful, incremental special-functions paper: the new digamma and hypergeometric identities look right, and the small convergence gap is easy to patch.","tokens_in":36289,"tokens_out":3517,"would_cite":false,"duration_ms":29977,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["33C20","33C05","33B15"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves new identities converting digamma-weighted series into hypergeometric functions, including cases where digamma cancels completely.","keywords":["digamma series","hypergeometric series","summation formula","hypergeometric identity","degeneration process","Bernoulli polynomials","Euler transformation","contiguous relations"],"falsifier":"Evaluate both sides of (2.14) numerically for a concrete admissible parameter set, say b1=1/3, b2=1/5, c=2, at z=0.7, truncating the two series at k=100, and check that the computed difference matches the right-hand side to the expected precision; a mismatch would reveal a failure of the limiting process.","tokens_in":35330,"feed_emoji":"🧮","tokens_out":4672,"duration_ms":38368,"temperature":0.7,"pith_summary":"This paper establishes transformation and summation formulas that convert infinite and finite series whose terms carry the digamma function ψ into combinations of classical hypergeometric series, which are easier to evaluate and to transform further. The centerpiece is Theorem 2.2, an identity valid for |z|<1 that expresses the sum of two digamma-weighted hypergeometric series as a single Gauss hypergeometric function multiplied by a combination of digamma values at the parameters. The formulas are produced by a degeneration process in which two upper parameters are allowed to coalesce, with the resulting singularities cancelling; several derived limits are remarkable in that every digamma term cancels, leaving purely hypergeometric product identities. If correct, these identities give new closed-form evaluations for sums of harmonic-type series and new tools for reducing hypergeometric expressions.","feed_headline":"Digamma-weighted sums collapse to classical hypergeometric forms","feed_subtitle":"One parameter-differentiation identity unifies the reductions; several limits lose the digamma terms entirely.","key_machinery":"The central mechanism is the degeneration of duality relations for generalized hypergeometric functions. Writing the regularized hypergeometric function rϕ_{r−1} in gamma-function form, the authors set α2 = α1 + p + ε and expand in Taylor series; the 1/sin(πε) singularities in the two parts cancel because the coefficients h1(0) and h2(0) are equal, leaving finite limits expressed through ψ. Theorem 2.2 is instead obtained by applying the differential operators ∂_{b1}+∂c and ∂_{b2}+∂c to Euler's transformation, while Theorems 4.2 and 4.4 are proved by elementary contiguous relations between hypergeometric series.","core_discovery":"At its core, the paper derives and proves a family of identities of the form (1−z)^{c−b1−b2} times a digamma-weighted series plus another digamma-weighted series equals [ψ(c−b1)+ψ(c−b2)−ψ(b1)−ψ(b2)] times 2F1(b1,b2;c;z), where both series are ordinary hypergeometric series with an additional ψ factor in each term. Equating coefficients of z^n in this identity yields a finite summation formula (Theorem 2.3) for terminating digamma sums. A second strand of the paper evaluates terminating digamma sums in terms of hypergeometric functions and Bernoulli polynomials (Theorem 3.1), and a third shows that in certain coalescence limits all digamma contributions vanish, producing identities that are purely products of hypergeometric series (Theorems 4.1–4.4), which the authors believe to be new.","pith_inferences":["The method of coalescing parameters could be applied to other duality relations, including the basic hypergeometric analogues mentioned in the paper's reference [23], producing digamma-type series in q-calculus.","One could test whether the hypergeometric product identities of Section 4 have combinatorial interpretations as coefficient identities for classical orthogonal polynomials; the similarity to the Meixner–Sorokin identity noted for Corollary 4.1 suggests the perfectness proofs may be replicable.","The formal power-series proofs suggest that identities (4.3) and (4.9) may hold beyond the stated convergence regions by analytic continuation, which would extend their range of applicability if confirmed."],"forward_implications":["The coefficient-wise identity (2.19) gives new finite summations for digamma-weighted hypergeometric terms, specializing to explicit formulas when b1 = b2 = 1/3 as shown in Example 2.2.","The digamma-free identities (4.2), (4.3), (4.8), and (4.9) can be used as reduction rules for products of hypergeometric series in other derivations.","The digamma sums with Bernoulli-polynomial evaluations in Section 3 provide closed forms for finite harmonic-type sums that previously lacked summation formulas.","Every identity yields a numerical evaluation route: truncating the hypergeometric side is typically more stable than summing the original digamma series."],"supporting_citations":[{"why":"Provides the duality relation for generalized hypergeometric series that is the starting point for the degeneration arguments in Section 2.","marker":"[22]"},{"why":"Supplies Theorem 6.2 and Lemmas 6.4–6.5, which are the base identities degenerated in Sections 3 and 4.","marker":"[11]"},{"why":"Gives the quadratic formula whose q→1 limit yields identities (4.1) and (4.7), the starting points of the digamma-free theorems.","marker":"[19]"},{"why":"Marks a previous degeneration approach for hypergeometric identities at unit argument, whose method is extended here to arbitrary argument.","marker":"[10]"}],"fun_headline_variants":["Digamma sums reduce to hypergeometric forms","Digamma cancellations yield pure hypergeometric identities","Terminating digamma sums give Bernoulli-hypergeometric results","Digamma-weighted series collapse to classical special functions","New identities for digamma sums and hypergeometric products"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing step is the interchange of the limit ε→0 with the infinite hypergeometric sums (and the companion analytic continuation to the stated parameter sets); the paper assumes this regularity without giving a uniform-convergence or continuation argument.","fun_headline_variants_meta":{"raw":{"variants":["Digamma sums reduce to hypergeometric forms","Digamma cancellations yield pure hypergeometric identities","Terminating digamma sums give Bernoulli-hypergeometric results","Digamma-weighted series collapse to classical special functions","New identities for digamma sums and hypergeometric products"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000182,"raw_usage":{"total_tokens":1249,"prompt_tokens":821,"completion_tokens":428,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":437,"completion_tokens_details":{"reasoning_tokens":351}},"tokens_in":437,"tokens_out":428,"duration_ms":3942,"temperature":1.0,"reasoning_tokens":351,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:12:13.753516+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate both sides of (2.14) numerically for a concrete admissible parameter set, say b1=1/3, b2=1/5, c=2, at z=0.7, truncating the two series at k=100, and check that the computed difference matches the right-hand side to the expected precision; a mismatch would reveal a failure of the limiting process.","supporting_citations":[{"cited_title":"Applied Sciences , volume=","cited_arxiv_id":null,"evidence_quote":"Provides the duality relation for generalized hypergeometric series that is the starting point for the degeneration arguments in Section 2."},{"cited_title":", TITLE =","cited_arxiv_id":null,"evidence_quote":"Supplies Theorem 6.2 and Lemmas 6.4–6.5, which are the base identities degenerated in Sections 3 and 4."},{"cited_title":"Hypergeometric structures in","cited_arxiv_id":null,"evidence_quote":"Gives the quadratic formula whose q→1 limit yields identities (4.1) and (4.7), the starting points of the digamma-free theorems."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Marks a previous degeneration approach for hypergeometric identities at unit argument, whose method is extended here to arbitrary argument."}],"review_version":2}