Truncated Hypergeometric Functions and Discretized Integrals

Shuji Yamamoto

Truncated Hypergeometric Functions and Discretized Integrals

T0 review · 0 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read A finite truncation of the hypergeometric series satisfies Euler's integral representation term by term.

desk verdict A correct, honest paper that repackages known terminating 3F2 identities into a clean finite-integral formalism; the Ohno-Zagier-type theorem is the genuinely new piece and deserves publication. read the letter →

arxiv 2507.19793 v1 pith:5OAIL5FS submitted 2025-07-26 math.NT

Shuji Yamamoto This is my paper · ORCID

classification math.NT MSC 33C0511M32

keywords truncatedhypergeometricfunctiondiscretizedintegralEulerrepresentationbetamultiplepolylogarithmOhno-ZagierformulaPfaff-Saalschütztheoremfinitezetavalues

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

A hypergeometric series is an infinite sum whose consecutive-term ratio is a rational function of the index. This paper introduces a finite truncation $2F_1^{[N]}$ of it, multiplying the $m$-th term by the ratio $(N+1-m)_m/(Nz^{-1}-m)_m$, so that each term approaches its classical value as $N\to\infty$. The central claim is Theorem 3.4: this truncated series equals a discretized integral, a finite sum whose terms approximate the integrand $t^{a-1}(1-t)^{c-a-1}(1-tz)^{-b}$ of Euler's integral at $t\approx n/N$, exactly and for every $N$. The proof goes through a truncated $\beta$ function and the Vandermonde convolution identity, and the same machine gives finite analogues of Gauss's theorem, the Pfaff--Euler transformations, and the Ohno--Zagier formula for truncated multiple polylogarithms. A sympathetic reader should care because the paper shows that a whole family of 'series = integral' identities survives term-by-term discretization.

What carries the argument

The load-bearing objects are the truncated $\beta$ function $B^{[N]}(a,b)=\frac{(a+b)_N(N-1)!}{(a)_N(b)_N}$, with its discretized integral representation (2.1), and the truncated binomial formula (3.1), both proved from Vandermonde's convolution identity (2.2). That identity converts the finite sums that appear when one unwinds the classical proof of Euler's representation into closed forms. The central identity (3.4) is then obtained from Theorem 3.3, which expresses any $p+1F_{q+1}^{[N]}$ as a weighted sum of lower truncated functions $pF_q^{[n]}$ with the same $\beta$-type weights. The relation $2F_1^{[N]}={}_3F_2(\cdots;1)$ provides the bridge to classical terminating hypergeometric identities.

What would settle it

Symbolically simplify the difference between the two sides of (3.4) at $N=2$, $a=1/3$, $b=1/2$, $c=4/3$, leaving $z$ as an indeterminate; if the resulting rational function is not identically zero, Theorem 3.4 is false. Because both sides are rational in the parameters away from finitely many poles, this single generic exact check would settle the theorem.

Watch

Extended reading notes

Core claim

On the paper's own terms: define the truncated hypergeometric function by $2F_1^{[N]}(a,b;c;z)=\sum_{m=0}^N \frac{(a)_m(b)_m}{(c)_m m!}\frac{(N+1-m)_m}{(Nz^{-1}-m)_m}$. Then Theorem 3.4 states the exact identity $2F_1^{[N]}(a,b;c;z)=\frac{(a)_N(c-a)_N}{(c)_N N!}\sum_{n=0}^N \frac{(1+n)_{N-n}}{(a+n)_{N-n}}\frac{(1+N-n)_n}{(c-a+N-n)_n}\frac{(b+Nz^{-1}-n)_n}{(Nz^{-1}-n)_n}$. The prefactor is the reciprocal of the truncated $\beta$ function $B^{[N]}(a,c-a)$, and the summands are chosen so that, with $t\approx n/N$, they converge to the factors $t^{a-1}$, $(1-t)^{c-a-1}$, and $(1-tz)^{-b}$ in Euler's integral. Thus (3.4) is a finite analogue of (1.6), not merely in the limit but as an equality of finite sums. The paper also recasts the identity as a terminating ${}_3F_2(1)$ identity, which connects the finite analogue to classical hypergeometric transformation theory and yields finite Gauss and Pfaff--Euler results.

Load-bearing premise

The proof depends on Vandermonde's convolution identity (2.2) to turn the finite sums in the truncated beta function and the truncated $1F_0$ into closed forms; if that identity were unavailable, the derivation of the discretized integral representation would collapse.

Editorial extensions

If this is right

Corollary 4.1 gives a finite analogue of Gauss's hypergeometric theorem: the truncated $2F_1^{[N]}$ evaluated at $z=N/(N+c-a-b)$ equals the closed ratio $(c-a)_N(c-b)_N/((c)_N(c-a-b)_N)$, which is Pfaff--Saalschütz's theorem in another notation.
Corollary 4.3 supplies finite analogues of Pfaff's and Euler's transformation formulas, so the truncated function transforms under the same parameter substitutions as the classical $2F_1$.
Theorem 5.2 shows the generating function of truncated multiple polylogarithms satisfies the Ohno--Zagier formula verbatim, with the classical $2F_1$ replaced by the truncated version.
At $z=N/(N-Y)$, Corollary 5.3 expresses this generating function through truncated zeta values, and Corollary 5.5 gives an $N$-independent polynomial presentation and a symmetry identity for sums of truncated multiple polylogarithms.
Theorem 3.3 extends the same discretized integral representation to $p+1F_{q+1}^{[N]}$, so the Euler-integral mechanism is not particular to $2F_1$.

Reading between the lines

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

Beyond the paper, the coefficientwise proof of Theorem 5.2 suggests a general transfer principle: any identity between power series in $z$ whose coefficients are rational functions can be truncated by replacing $z^m$ with $(N-m)_m/(Nz^{-1}-m)_m$, provided each coefficient identity survives; the paper exhibits one instance, but the same recipe would apply to other generating-function identities.
The same machinery should discretize other integrals that are proved via the beta integral, for instance the multivariate beta integral noted in Remark 2.3(2); setting up the corresponding $d$-dimensional finite identity would be a direct test of how far the method reaches.
The mod-$p$ observation in Remark 5.6 links the truncated polylogarithm sums to finite multiple zeta values; if that congruence is combined with Corollary 5.5, one may obtain congruences among finite multiple zeta values that are not stated in the paper.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Read the Yamamoto paper. Short version: it is correct, and the author is scrupulous about saying what is new. The main discretized integral representation (Theorem 3.4) is a finite analogue of Euler's integral, but as the author admits in Remark 3.5, it is equivalent to a known terminating 3F2 transformation. Same for Corollary 4.1 (Pfaff-Saalschütz) and Corollary 4.3 (again the same transformation (3.5)). So if you know your 3F2(1) identities, the first half is a new notation for old results. That is not a flaw; the notation is clean and the truncated beta function story in Section 2 is nicely motivated by the Maesaka–Seki–Watanabe and Hirose–Matsusaka–Seki discretized multiple polylog identities.

The genuinely new piece is Theorem 5.2, the truncated Ohno–Zagier formula. The observation that the original Ohno–Zagier identity survives coefficientwise replacement of z^m by (N-m)_m/(N z^{-1}-m)_m is almost immediate, but the author then supplies a direct proof from the product expansion (5.4). That direct proof is the better part of the paper: it re-derives Ohno–Zagier without the differential equation and makes the monomial bookkeeping explicit. Corollary 5.5's symmetry is a finite analog, and Remark 5.6 correctly notes that no bijective refinement exists in general—good honesty.

Soft spots are minor. The paper leans hard on the termwise-convergence notion of "finite analogue," and the author is upfront that full convergence of the truncated sums is not addressed. Some readers will want more discussion of whether that termwise viewpoint is the right one. There are a handful of typos and the prose is terse in places; the proof of Corollary 4.3 has a dense change of variables. None of this affects correctness. I checked the summation swap in Theorem 3.3 and the prefactor bookkeeping in Corollary 4.3; all fine. The references are appropriate, and the author cites the prior work that already contains equivalent 3F2 formulas.

Who is this for? People working on finite multiple zeta values and truncated polylogs will want it; classical hypergeometric folks will recognize the content but may appreciate the clean formulation. It deserves a serious referee—not because it is deep, but because it is correct and the finite Ohno–Zagier version is useful. Send it to a good number-theory or special-functions journal; accept after minor revisions.

Referee Report

0 major / 4 minor

Summary. The paper introduces truncations pF_q^[N] of generalized hypergeometric series by inserting the factor (N+1-m)_m/(N z^{-1}-m)_m into the m-th term, so that pF_q^[N] becomes a terminating p+1F_{q+1}(1). The main technical result is Theorem 3.3, an exact finite analogue of the Euler integral representation: p+1F_{q+1}^[N] is expressed as a finite sum of pF_q^[n] evaluated at (n/N)z, with coefficients built from a truncated beta function. Specializing gives Theorem 3.4, a discretized integral representation for 2F_1^[N]. The paper then derives finite analogues of Gauss's theorem and the Pfaff-Euler transformations (Section 4), and proves a finite Ohno-Zagier type formula (Theorem 5.2), both by coefficientwise specialization of the original formula and by a self-contained generating-function argument. The final section analyzes the resulting sums of truncated multiple polylogarithms, including a polynomial expression in truncated zeta values and a symmetry property.

Significance. The central identities are exact rather than asymptotic, and the proofs are complete and checkable: Proposition 2.1 follows directly from Vandermonde convolution, Theorem 3.3 is a careful double-sum interchange, and Theorem 5.2 is verified by expanding a finite product. The paper is also honest about the equivalence of its truncations to terminating 3F2 series and does not oversell novelty; it explicitly provides a direct proof of the Ohno-Zagier type formula. The discretized integral representation and the finite Ohno-Zagier identity are likely to be useful in the multiple zeta value literature. I verified the key algebraic steps and found no load-bearing gaps; the main limitation, that the finite analogues are exact identities rather than convergence statements, is explicitly disclosed and is not needed for the results.

minor comments (4)

[Title/Abstract] The title contains a typo ('TRUNCA TED') and the abstract has 'mutliple'; these should be corrected.
[Section 2] In the sentence following Proposition 2.1, 'B(a.b)' should read 'B(a,b)'.
[Section 5] There are several typographical errors in Section 5: 'indepenedent' in Corollary 5.5(1) should be 'independent', and 'aconsequence' in the discussion after Theorem 5.2 is missing a space.
[Remark 3.5] The statement that the rewritten form of Theorem 3.4 'coincides with' equation (3.5) is terse; giving the explicit substitution of letters would help the reader verify the equivalence.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central discrete integral identity is proved from Vandermonde convolution by explicit algebra, and the Ohno-Zagier-type theorem has a self-contained direct proof.

full rationale

The derivation chain is self-contained. Proposition 2.1 is proved directly from the Vandermonde convolution (2.2), which is an external standard identity, and the displayed equality is a genuine algebraic identity between Gamma-factorial products rather than a restatement of the claim. Theorem 3.3 is proved by substituting Proposition 2.1 with shifted parameters and by an explicit, checkable change of summation order; the key factor identities (1+N-m)_m(1+N-n)_{n-m}=(1+N-n)_n and (1+n-m)_{N-n}(N+1-m)_m=(1+n)_{N-n}(n+1-m)_m are ordinary rising-factorial identities, so the conversion into pF_q^{[n]}((n/N)z) is exact and not tautological. Theorem 3.4 then follows from Theorem 3.3 and Proposition 3.1. The later applications (Corollaries 4.1 and 4.3) reuse the already-proved identity (3.4) with parameter substitutions; this is legitimate reuse, not circularity. The Ohno-Zagier-type Theorem 5.2 is first noted to follow from the external Ohno-Zagier formula (5.1) by coefficientwise replacement of z^m, but the paper immediately supplies a direct proof expanding the product in (5.4) and simplifying the rational function using alpha+beta=X+Y and alpha beta=Z. Thus the central claim does not depend on an unverified self-citation or on a fitted parameter renamed as a prediction. There are no self-citations and no equation reduces to its own input by construction.

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

No free parameters are fitted to data; the paper's identities hold for formal indeterminates and are proved from standard hypergeometric background. Invented entities: none; the truncated functions are explicit definitions, not postulated physical objects.

assumptions (3)

standard math Vandermonde convolution identity (2.2)
Used in the proof of Proposition 2.1 to derive the discretized beta integral and in Proposition 3.1 for the truncated binomial theorem; it is a standard binomial identity.
standard math Stirling's formula / Gamma asymptotics (2.4)
Used in Proposition 2.2 and Remark 3.2 to show pointwise convergence to the continuous integrand; not needed for the exact identity but for the interpretation as a finite analogue.
standard math Generating-function identity (1-x)^(-a)(1-x)^(-b) = (1-x)^(-(a+b))
Implicit in the derivation of (2.2); standard formal power series identity.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Truncated Hypergeometric Functions and Discretized Integrals." pith.science (2026). https://pith.science/paper/5OAIL5FS

@misc{pith2026250719793,
  author       = {Pith},
  title        = {Pith review of: Truncated Hypergeometric Functions and Discretized Integrals},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5OAIL5FS}},
  note         = {Machine review of arXiv:2507.19793}
}

read the original abstract

We introduce a kind of finite truncation of the hypergeometric series and provide its discretized integral representation. This is motivated by recent results of Maesaka-Seki-Watanabe and Hirose-Matsusaka-Seki on the identity between truncated series and discretized integrals which comes from the mutliple zeta values and multiple polylogarithms. We also prove the formula of Ohno-Zagier type which relates the truncated multiple polylogarithms and the truncated hypergeometric series.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

5 extracted references · 4 canonical work pages

[1]

Andrews, Richard Askey and Ranjan Roy,Special Functions, Encyclopedia of Mathematics and Its Applications 71, Cambridge University Press, 1999

George E. Andrews, Richard Askey and Ranjan Roy,Special Functions, Encyclopedia of Mathematics and Its Applications 71, Cambridge University Press, 1999

work page 1999
[2]

Minoru Hirose, Toshiki Matsusaka and Shin-ichiro Seki, A discretization of the iterated integral expression of the multiple polylogarithm, preprint, 2024, arXiv:2404.15210

work page Pith review arXiv 2024
[3]

Kaneko, An introduction to classical and finite multiple zeta values,Publ

M. Kaneko, An introduction to classical and finite multiple zeta values,Publ. Math. Besan¸ con Alg` ebre Th´ eorie Nr.no. 1 (2019), 103–129

work page 2019
[4]

Takumi Maesaka, Shin-ichiro Seki and Taiki Watanabe, Deriving two dualities simultaneously from a family of identities for multiple harmonic sums, preprint, 2024, arXiv:2402.05730

arXiv 2024
[5]

Yasuo Ohno and Don Zagier, Multiple zeta values of fixed weight, depth, and height Indag. Mathem. 12 (2001), 483–487. 16 SHUJI YAMAMOTO Interdisciplinary F aculty of Science and Engineering, Shimane University, 1060 Nishi- Kawatsu, Matsue, 690-8504, Japan. Email address : yamashu@riko.shimane-u.ac.jp

work page 2001

Pith tools

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

[1] [1]

Andrews, Richard Askey and Ranjan Roy,Special Functions, Encyclopedia of Mathematics and Its Applications 71, Cambridge University Press, 1999

George E. Andrews, Richard Askey and Ranjan Roy,Special Functions, Encyclopedia of Mathematics and Its Applications 71, Cambridge University Press, 1999

work page 1999

[2] [2]

Minoru Hirose, Toshiki Matsusaka and Shin-ichiro Seki, A discretization of the iterated integral expression of the multiple polylogarithm, preprint, 2024, arXiv:2404.15210

work page Pith review arXiv 2024

[3] [3]

Kaneko, An introduction to classical and finite multiple zeta values,Publ

M. Kaneko, An introduction to classical and finite multiple zeta values,Publ. Math. Besan¸ con Alg` ebre Th´ eorie Nr.no. 1 (2019), 103–129

work page 2019

[4] [4]

Takumi Maesaka, Shin-ichiro Seki and Taiki Watanabe, Deriving two dualities simultaneously from a family of identities for multiple harmonic sums, preprint, 2024, arXiv:2402.05730

arXiv 2024

[5] [5]

Yasuo Ohno and Don Zagier, Multiple zeta values of fixed weight, depth, and height Indag. Mathem. 12 (2001), 483–487. 16 SHUJI YAMAMOTO Interdisciplinary F aculty of Science and Engineering, Shimane University, 1060 Nishi- Kawatsu, Matsue, 690-8504, Japan. Email address : yamashu@riko.shimane-u.ac.jp

work page 2001