Transformations of the hypergeometric 4F3 with one unit shift: a group theoretic study

Dmitrii Karp; Elena Prilepkina

REVIEW 2 major objections 3 minor 23 references

Transformations of the hypergeometric 4F3 with one unit shift: a group theoretic study

T0 review · 2 major / 3 minor · reviewed 2026-08-27 · deepseek-v4-flash

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

Pith's one-line read The paper proves that the transformations of unit-shift ${}_4F_3$ hypergeometric functions at unity form a group isomorphic to $P_5\times \mathbb{Z}^5$.

desk verdict The paper's headline isomorphism is wrong—the group is P5 ⋉ Z5, not P5 × Z5—but the surrounding methods are sound enough to warrant serious refereeing. read the letter →

arxiv 2009.13168 v1 pith:OHPMIPF7 submitted 2020-09-28 math.CA

Dmitrii Karp , Elena Prilepkina This is my paper · ORCID

classification math.CA MSC 33C2033C8020B30

keywords generalizedhypergeometricfunctiontransformationstransformationgroupssymmetricgroup4F3unitshiftcontiguousrelationssummationformulas3F2

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 concerns the ${}_4F_3$ hypergeometric functions evaluated at unity whose six parameters contain a pair $f+1$ over $f$. It aims to prove that all transformations of such functions preserving this unit-shift form have the normal form $F(r,f)=M(r)(\epsilon f+\lambda(r))/fF(Dr,(\epsilon f+\lambda(r))/(\alpha(r)f+\beta(r)))$, and that the collection of these transformations is a group under composition. For the subgroup generated by four previously known transformations together with parameter permutations, the paper proves the structural claim that it is isomorphic to $P_5\times \mathbb{Z}^5$: a 120-element permutation part (the same group that governs Thomae's ${}_3F_2$ transformations) layered over a five-dimensional lattice of pure unit parameter shifts. This structure yields an algorithm for computing any transformation in the subgroup, explicit rational coefficients for three-term contiguous relations of ${}_3F_2$ at unity, and a class of summation formulas for ${}_4F_3(1)$. The authors conjecture that the subgroup is the whole family of such transformations, but cannot prove it; even without the conjecture, the classified subgroup is exactly the part generated by all explicitly known transformations of this type.

What carries the argument

The load-bearing object is the pair of ${}_3F_2$ functions $F_1(r)$ and $F_2(r)$ coming from the identity $F(r,f)=F_1(r)+F_2(r)/f$ for a unit-shift ${}_4F_3$. This identity forces every transformation of the unit-shift ${}_4F_3$ to have the coefficient form $M(r)(\epsilon f+\lambda(r))/f$, and the transformation is encoded by the $6\times6$ integer matrix $D$ of unit determinant acting on $r=(a,b,c,d,e,1)$; Theorem 2 shows the matrix encoding is faithful. Theorem 1 supplies the composition and inversion rules for the parameters $\epsilon,M,\lambda,\alpha,\beta$ and the matrix $D$, providing the algorithmic engine. The proof of Theorem 4 then uses the matrices of the pure shift transformations $S_j$ to exhibit the normal subgroup $\mathbb{Z}^5$ and uses the previously established fact that the Thomae transformation group of ${}_3F_2$ equals $P_5$ to identify the quotient.

What would settle it

A direct test of Theorem 4 is to enumerate, using the paper's own routines, the matrices produced by all words in $T_1,\dots,T_4$ and parameter permutations, reduce modulo the shift lattice generated by $S_1,\dots,S_5$, and check that exactly 120 cosets occur; any other count refutes the claimed isomorphism. To test the weakest assumption, one can search for parameter values for which $F_2(r)/F_1(r)$ equals a gamma-type ratio; finding one would break the proof of Theorem 1.

Watch

Extended reading notes

Core claim

The central discovery is that the apparently ad hoc transformations (5)-(8) are the generators of a group with a simple global structure. Theorem 4 states that $\hat{T}$, the subgroup of $T$ generated by $T_1,\dots,T_4$ and permutations of upper and lower parameters, is isomorphic to $P_5\times \mathbb{Z}^5$. The proof passes through two structural facts: the group $T$ embeds into $\widehat{SL}(6,\mathbb{Z})$ via the matrix $D$ of the normal form (Theorem 2), and the pure shift transformations $S_j$ that add $1$ to any one of the five parameters belong to $\hat{T}$ (Theorem 3) and generate a normal lattice $\mathbb{Z}^5$. Dividing by this lattice leaves the quotient $D\hat{T}/S$, which is shown to coincide with the classical Thomae transformation group of ${}_3F_2$ and hence with $P_5$; combining these parts gives the isomorphism.

Load-bearing premise

The argument rests on an unproved assertion that the ratio of two ${}_3F_2$ functions differing by unit parameter shifts is never equal to a product of gamma factors with integer-linear arguments; the authors cannot find a proof for this and use it to rule out one possible coefficient form in Theorem 1.

Editorial extensions

If this is right

Any element of $\hat{T}$ can be produced by composing a permutation of five coordinates with an integer shift, so the appendix routines turn symbolic verification of a candidate transformation into a finite matrix computation.
The five shift transformations $S_j$ are written out explicitly, so every contiguous relation of the form (35) can be built by composing shifts and permutations, with coefficients obtained from Proposition 2.
Each element of $\hat{T}$ furnishes a summation formula: imposing the parameter restrictions (42b) makes the transformed ${}_4F_3$ evaluate to a product of gamma functions, yielding closed forms such as the $e=c+2$ example in Section 5.
Since the quotient by the shift lattice is the 120-element Thomae group, all zero-shift identities in the subgroup are finite in number, and every other identity in the subgroup is an integer shift of one of these finite identities.
Pairs of transformations with nonzero determinant $\alpha_2\beta_1-\alpha_1\beta_2$ yield explicit three-term relations for ${}_3F_2$ that lie outside the classical list summarized in the cited literature, via Proposition 2.

Reading between the lines

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

If the authors' conjecture that $\hat{T}$ exhausts the whole family $T$ is correct, then the entire two-term unit-shift transformation world is finitely generated by one known transformation, one top-parameter shift, and parameter permutations; membership in the family would reduce to matrix arithmetic and rational-function checks.
The same affine-group construction suggests a search method for new summation formulas: enumerate short words in $T_1,\dots,T_4$ and shifts, compute the gamma prefactor, and scan for parameter constraints under which it simplifies; the appendix routines implement the required group operations.
The $P_5\times \mathbb{Z}^5$ structure may persist for hypergeometric functions with several unit-shift pairs, with the permutation factor and the lattice dimension growing with the number of shifted parameters; the matrix encoding gives a uniform formalism for testing such extensions.
For ${}_3F_2$ contiguous relations, the matrix encoding suggests that computing the rational coefficients in (35) can be reduced to a finite search over the permutation part of the group, with the shift part handled by lattice arithmetic.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

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

Two things before anything else. The underlying setup is good: the paper writes unit-shift 4F3 transformations in a universal form, shows they form a group, and encodes them in integer matrices. But the headline result, Theorem 4, is false as stated: the group is not P5 × Z5, it is the semidirect product P5 ⋉ Z5.

The authors prove the shift lattice S ≅ Z^5 is normal and that the quotient is the Thomae group P5, then jump to a direct product. That jump requires the lattice to be central, and it isn't. Their own generators give a concrete counterexample: D2 from (25b) and the shift S1 from (30) do not commute. Acting on e6, D2 S1 gives (-1,0,0,0,-1,1)^T while S1 D2 gives (1,0,0,0,0,1)^T, so the commutator is a nontrivial shift. Equivalently, the center of the group is trivial, whereas the center of P5 × Z5 contains Z5. So the correct statement is a semidirect product, with the conjugation action of P5 on the shifts via the 5×5 principal submatrices.

What the paper does well beyond that mistake: the general form (15), the composition law in Theorem 1, the faithful matrix representation in Theorem 2, and the explicit construction of the shift transformations in Theorem 3 are all coherent and useful. The bridge to 3F2 contiguous relations (Propositions 2 and 4, with examples) gives a genuinely different algorithm from Ebisu–Iwasaki, and the summation formulas in Section 5 follow naturally. The Mathematica appendix is a real plus for reproducibility. Citation practice looks fair: the self-citations supply the two generator identities and a base summation formula, and the structural reliance on Beyer–Louck–Stein and Ebisu–Iwasaki is properly acknowledged.

Softer spots, in proportion: the proof of Theorem 1 rests on an unproved claim about gamma-type ratios that the authors explicitly flag and then exclude by fiat. That is a genuine gap, though an honest one. The infinite-poles argument in Theorem 2's proof is also sketchy; it is probably repair, but as written it is not a proof. The conjecture that their generated subgroup exhausts all such transformations is clearly labelled as a conjecture, which is fine.

My recommendation: send this to a serious referee. The error in Theorem 4 is substantial and cannot stand, but it is also the kind of thing a competent referee will catch, and the surrounding methods look correct and useful. If the authors fix the direct product to a semidirect product and tighten the two analytic gaps, this becomes a solid special-functions paper. I would cite it after revision, not before.

Referee Report

2 major / 3 minor

Summary. The paper studies 4F3 hypergeometric functions with one unit shift, evaluated at unity, and considers transformations of the form (10). The authors prove in Theorem 1 that such transformations have a rigid form (15) and form a group under composition, and in Theorem 2 that the map sending a transformation to its 6×6 integer matrix is an isomorphism onto a subgroup of the unit-determinant integer matrices with bottom row (0,...,0,1). The remainder of the paper analyzes the subgroup \hat T generated by four explicit transformations (T1–T4) and parameter permutations. The main structural claim is Theorem 4, which asserts that \hat T is isomorphic to P5 × Z5, where P5 is the symmetric group on five symbols and Z5 is the five-dimensional integer lattice. The paper also derives 3F2 contiguous relations via the group, provides summation formulas, and supplies Mathematica code for computing group elements.

Significance. If the main structural theorem were correct, the paper would provide a clean group-theoretic framework for a family of 4F3 unit-shift transformations, with a transparent matrix encoding and algorithmic consequences for 3F2 contiguous relations. The explicit computations in Sections 3–5 and the supplied Mathematica routines are potentially useful. However, the central isomorphism claimed in Theorem 4 is false as stated: the proof only establishes a normal shift lattice with quotient P5, and the paper's own matrices show the lattice is not central. This is a load-bearing error in the paper's main result, so the present version cannot be accepted.

major comments (2)

[Section 2, proof of Theorem 2] The final paragraph of the proof of Theorem 2 contains an informal argument that a function of gamma type cannot equal µ(r) ± sqrt(ν(r)) with rational µ, ν because “Γ is meromorphic with infinite number of poles and no branch points.” This is not a rigorous proof and is load-bearing for the injectivity of the map T → D_T. The authors should either supply a precise argument or cite a theorem establishing the claimed non-representability; without this, the isomorphism asserted in Theorem 2 is not fully established.
[Section 2, paragraph before Theorem 1] The proof of Theorem 1 relies on the assertion, stated immediately before the theorem, that the ratio F2(r)/F1(r) is not a function of gamma type for general parameters. The authors write that they were unable to find a proof of this claim and only “explicitly prohibit” the gamma-type situation in the definition of C(r,f). This creates a mismatch between the statement of Theorem 1, which claims a necessary form for every transformation of type (10), and the proof, which excludes a case by fiat. If the prohibition is part of the definition of the transformation family, then the theorem should be stated for that restricted family, and the claimed “general form” is correspondingly weaker. As written, the theorem is not fully proven.

minor comments (3)

[Section 3 and Appendix] The paper asserts without demonstration that the principal 5×5 submatrices of D1, D3, and D4 all occur among the matrices of the Thomae transformation group. A table or explicit reference to entries in [19, Appendix 1] would make this step verifiable.
[Section 5] The summation formula (41) is taken from the authors' earlier paper [10], and the derivation of transformation (6) is deferred to [11]. Since these are self-citations to an unpublished or recently submitted manuscript, the paper should include enough detail or a full proof so that the results are self-contained for the referee and reader.
[Appendix, Listing 5] In the Mathematica code, the line defining T1INV contains an extra closing parenthesis after the list: "INV[ {eps1, M1, lam1, alpha1, beta1, D1 }]);" should be "INV[{eps1, M1, lam1, alpha1, beta1, D1}];".

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the group isomorphism is supported by external results [3] and [6], and the self-cited identities are explicit inputs rather than fitted or renamed conclusions.

full rationale

Walking the claimed derivation chain, the central claims are not circular. Theorem 1's group law and Theorem 2's faithful matrix representation follow from the explicit composition and inversion rules (I)-(IV) in Theorem 1 and from Ebisu-Iwasaki's external linear-independence theorem [6, Theorem 1.1]; no parameter is fitted to the theorem being proved. Section 3 defines the subgroup hat T by four listed transformations (5)-(8), one of which (identity (6), T2) is quoted from the authors' earlier paper [11], but this is a starting generator, not a derived prediction, and the identification of the quotient D(hat T)/S with the Thomae group uses the external result [3, Theorem 3.2] after proving normality of S in Corollary 1 by direct matrix multiplication. Section 5's family of summation formulas is obtained by applying the group transformations to the authors' earlier summation formula [10, (45)]; Proposition 5 is a transformation rule, so the output formulas are not equivalent to their input by construction. The two explicitly flagged unproved items, the gamma-type claim before Theorem 1 and the conjecture that hat T coincides with T, are honest limitations and are not used as hidden premises to force the main conclusions. Correctness concerns about Theorem 4, such as whether normality of the shift subgroup suffices for a direct product, are separate from circularity and are not scored here. There is accordingly no circular step to report.

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

No numerical fitting or invented entities are involved. The ledger records the external theorems and the unproved gamma-type claim on which the group isomorphism rests.

assumptions (4)

ad hoc to paper The ratio F2(r)/F1(r) is not a function of gamma type for general parameters.
Stated before Theorem 1 as a claim the authors could not find a proof of; used to restrict the coefficient C(r,f) in (12) to M+W/f in the proof of Theorem 1.
domain assumption F1(r) and F2(r) are linearly independent over the field of rational functions of parameters.
Quoted from Ebisu and Iwasaki [6, Theorem 1.1]; used in Theorem 2 to prove the kernel of the map T to D_T is trivial.
domain assumption The group of Thomae transformations for 3F2 is isomorphic to the symmetric group P5.
Quoted as Theorem 3.2 in Beyer-Louck-Stein [3]; used in Theorem 4 to identify the factor group D\hat T/S with P5.
domain assumption A gamma-type meromorphic function cannot equal μ ± sqrt(ν) with rational μ and ν because gamma functions have infinitely many poles and no branch points.
Informal argument in the proof of Theorem 2; not formalized, but needed to rule out nontrivial kernel elements.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Transformations of the hypergeometric 4F3 with one unit shift: a group theoretic study." pith.science (2026). https://pith.science/paper/OHPMIPF7

@misc{pith2026200913168,
  author       = {Pith},
  title        = {Pith review of: Transformations of the hypergeometric 4F3 with one unit shift: a group theoretic study},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OHPMIPF7}},
  note         = {Machine review of arXiv:2009.13168}
}

read the original abstract

We study the group of transformations of 4F3 hypergeometric functions evaluated at unity with one unit shift in parameters. We reveal the general form of this family of transformations and its group property. Next, we use explicitly known transformations to generate a subgroup whose structure is then thoroughly studied. Using some known results for 3F2 transformation groups, we show that this subgroup is isomorphic to the direct product of the symmetric group of degree 5 and 5-dimensional integer lattice. We investigate the relation between two-term 4F3 transformations from our group and three-term 3F2 transformations and present a method for computing the coefficients of the contiguous relations for 3F2 functions evaluated at unity. We further furnish a class of summation formulas associated with the elements of our group. In the appendix to this paper, we give a collection of Wolfram Mathematica routines facilitating the group calculations.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

[1]

Andrews, R

G.E. Andrews, R. Askey and R. Roy, Special functions, Cam bridge University Press, 1999. 18

work page 1999
[2]

Bailey, Generalized hypergeometric series, Stech erthafner Service Agency, New York and London, 1964

W.N. Bailey, Generalized hypergeometric series, Stech erthafner Service Agency, New York and London, 1964. Reprinted from: Cambridge Tracts in Mathemat ics and Mathematical Physics, 32, 1935

work page 1964
[3]

Beyer, J.D

W.A. Beyer, J.D. Louck and P.R. Stein, Group theoretical basis of some identities for the generalized hypergeometric series. J. Math. Phys. 28 (1987 ), no. 3, 497–508

work page 1987
[4]

B¨ uhring, Generalized hypergeometric functions at unit argument, Proceedings of American Mathematical Society, Volume 114:1(1992), 145–153

W. B¨ uhring, Generalized hypergeometric functions at unit argument, Proceedings of American Mathematical Society, Volume 114:1(1992), 145–153

work page 1992
[5]

C ¸ etinkaya, D

A. C ¸ etinkaya, D. Karp, Summation formulas for some hype rgeometric and some psi series, in preparation, 2020

work page 2020
[6]

Ebisu, K

A. Ebisu, K. Iwasaki, Three-term relations for 3F2(1), Journal of Mathematical Analysis and Applications, v. 463(2018), N2, 593–610

work page 2018
[7]

Formichella, R.M

M. Formichella, R.M. Green, E. Stade, Coxeter group acti ons on 4F3(1) hypergeometric series, Ramanujan Journal (2011) 24, 93–128

work page 2011
[8]

Green, I.D

R.M. Green, I.D. Mishev and E. Stade, Coxeter group actio ns and limits of hypergeometric series, The Ramanujan Journal (2020), DOI:10.1007/s11139 -020-00249-y

work page doi:10.1007/s11139 2020

Show all 23 references

[9]

Hardy, in Ramanujan: Twelve Lectures on Subjects su ggested by his Life and Work, AMS Chelsea Pub., Providence, Rhode Island (1999) p.111

G.H. Hardy, in Ramanujan: Twelve Lectures on Subjects su ggested by his Life and Work, AMS Chelsea Pub., Providence, Rhode Island (1999) p.111

1999
[10]

Karp and E.G

D.B. Karp and E.G. Prilepkina, Degenerate Miller-Pari s transformations, Results in Mathe- matics, (2019) 74:94

2019
[11]

Preprint arXiv:1912.11266

D.B.Karp and E.G.Prilepkina, Beyond the beta integral method: transformation formulas for hypergeometric functions via Meijer’s G function, submitt ed, 2019. Preprint arXiv:1912.11266

2019 arXiv
[12]

Kim, A.K

Y.S. Kim, A.K. Rathie and R.B. Paris, On two Thomae-type transformations for hypergeo- metric series with integral parameter diﬀerences, Math. Com mun. 19(2014), 111–118

2014
[13]

Krattenthaler, K

C. Krattenthaler, K. Srinivasa Rao, On group theoretic al aspects, hypergeometric transforma- tions and symmetries of angular momentum coeﬃcients, Symme tries in Science XI (2005), 355–375, Kluwer Acad. Publ., Dordrecht, 2004

2005
[14]

I.D. Mishev, Coxeter group actions on Saalsch¨ utzian 4F3(1) series and very-well-poised 7F6(1) series, Journal of Mathematical Analysis and Applications , Volume 385, Issue 2, 2012, 1119– 1133

2012
[15]

Nørlund, Hypergeometric functions, Acta Mathema tica, volume 94(1955), 289–349

N.E. Nørlund, Hypergeometric functions, Acta Mathema tica, volume 94(1955), 289–349

1955
[16]

Olsson, Analytic continuation of higher-order hypergeometric functions, Journal of Mathematical Physics, Volume 7, no.4 (1966), 702–710

P.O.M. Olsson, Analytic continuation of higher-order hypergeometric functions, Journal of Mathematical Physics, Volume 7, no.4 (1966), 702–710

1966
[17]

Olver, D.W

F.W.J. Olver, D.W. Lozier, R.F. Boisvert and C.W. Clark (Eds.) NIST Handbook of Mathe- matical Functions, Cambridge University Press, 2010

2010
[18]

Rao, Hypergeometric series and Quantum Theory of A ngular Momentum, in Selected Topics in Special Functions, Eds.: R.P

K.S. Rao, Hypergeometric series and Quantum Theory of A ngular Momentum, in Selected Topics in Special Functions, Eds.: R.P. Agarwal, H.L. Manoc ha and K. Srinivasa Rao, Allied Publishers Ltd. (2001) 93–134

2001
[19]

Rao, H.D

K.S. Rao, H.D. Doebner, P. Natterman, Generalized hype rgeometric series and the symmetries of 3 −j and 6 −j coeﬃcients/In: Kanemitsu S., Jia C. (eds) Number Theoretic Methods. Developments in Mathematics, vol 8. Springer, Boston, MA 19
[20]

K. S. Rao and V. Lakshminarayanan, Generalized Hyperge ometric Functions, Transformations and group theoretical aspects, IOP Science, 2018

2018
[21]

K.S. Rao, J. Van der Jeugt, J. Raynal, R. Jagannathan, V. Rajeswari, Group theoretical basis for the terminating 3 F 2(1) series, J. Phys. A Math. Gen. 25 (1992), 861–876

1992
[22]

Shpot, H.M

M.A. Shpot, H.M. Srivastava, The Clausenian hypergeom etric function 3F2 with unit argument and negative integral parameter diﬀerences, Applied Mathem atics and Computation 259 (2015) 819–827

2015
[23]

Van der Jeugt and K

J. Van der Jeugt and K. S. Rao, Invariance groups of trans formations of basic hypergeometric series, J. Math. Phys. 40 (1999) 6692. 20

1999

Pith tools

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

[1] [1]

Andrews, R

G.E. Andrews, R. Askey and R. Roy, Special functions, Cam bridge University Press, 1999. 18

work page 1999

[2] [2]

Bailey, Generalized hypergeometric series, Stech erthafner Service Agency, New York and London, 1964

W.N. Bailey, Generalized hypergeometric series, Stech erthafner Service Agency, New York and London, 1964. Reprinted from: Cambridge Tracts in Mathemat ics and Mathematical Physics, 32, 1935

work page 1964

[3] [3]

Beyer, J.D

W.A. Beyer, J.D. Louck and P.R. Stein, Group theoretical basis of some identities for the generalized hypergeometric series. J. Math. Phys. 28 (1987 ), no. 3, 497–508

work page 1987

[4] [4]

B¨ uhring, Generalized hypergeometric functions at unit argument, Proceedings of American Mathematical Society, Volume 114:1(1992), 145–153

W. B¨ uhring, Generalized hypergeometric functions at unit argument, Proceedings of American Mathematical Society, Volume 114:1(1992), 145–153

work page 1992

[5] [5]

C ¸ etinkaya, D

A. C ¸ etinkaya, D. Karp, Summation formulas for some hype rgeometric and some psi series, in preparation, 2020

work page 2020

[6] [6]

Ebisu, K

A. Ebisu, K. Iwasaki, Three-term relations for 3F2(1), Journal of Mathematical Analysis and Applications, v. 463(2018), N2, 593–610

work page 2018

[7] [7]

Formichella, R.M

M. Formichella, R.M. Green, E. Stade, Coxeter group acti ons on 4F3(1) hypergeometric series, Ramanujan Journal (2011) 24, 93–128

work page 2011

[8] [8]

Green, I.D

R.M. Green, I.D. Mishev and E. Stade, Coxeter group actio ns and limits of hypergeometric series, The Ramanujan Journal (2020), DOI:10.1007/s11139 -020-00249-y

work page doi:10.1007/s11139 2020