REVIEW 4 major objections 4 minor 16 references
Some homogeneous $q$-difference operators and the associated generalized Hahn polynomials
T0 review · 4 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Two new homogeneous q-operators generate explicit identities for generalized Cauchy and Hahn polynomials.
desk verdict A useful operator-extension paper spoiled by a false auxiliary identity: the basic generating functions are correct, but the Rogers-type formula for p_n is demonstrably false. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machine that carries the argument is a pair of parameterized $q$-exponential-type operators. $\widetilde{E}(a,b;D_q)=\sum_{k\ge0}(-1)^k q^{k(k-1)/2}(a;q)_k(bD_q)^k/(q;q)_k$ is built from the one-variable $q$-derivative $D_q f(a)=(f(a)-f(qa))/a$; $\widetilde{L}(a,b;\theta_{xy})=\sum_{k\ge0}q^{k(k-1)/2}(a;q)_k(b\theta_{xy})^k/(q;q)_k$ is built from the two-variable difference operator $\theta_{xy}f(x,y)=(f(q^{-1}x,y)-f(x,qy))/(q^{-1}x-y)$. Each operator is designed so that its series expansion matches the defining sums of $p_n(x,y,a)$ and $h_n(x,y,a,b|q)$, while its action on Euler-type products and ratios reproduces the right-hand sides of the generating functions; a $q$-Leibniz rule (2.1) is used to pass the operators through products.
What would settle it
Set $q=2$, $x=1$, and $t=1/4$, and compute both sides of $D_q(xt;q)_\infty=t(xt;q)_\infty/(1-xt)$ using the definition $D_q f(x)=(f(x)-f(qx))/x$. The left side equals $-t(xt;q)_\infty/(1-xt)$, not $+t(xt;q)_\infty/(1-xt)$, so this one-number check separates the asserted identity from the direct definition; if the asserted identity fails, the proofs that invoke (2.2) need a sign-correction pass.
Extended reading notes
Core claim
On the paper's own terms, the discovery is an operator representation: the homogeneous $q$-shift operator $\widetilde{E}(a,b;D_q)$ sends $x^n$ exactly to the generalized Cauchy polynomial $p_n(x,y,a)$, and the homogeneous $q$-difference operator $\widetilde{L}(a,b;\theta_{xy})$ sends $p_n(y,x)$ exactly to the generalized Hahn polynomial $h_n(x,y,a,b|q)$. The same operators, applied to $1/(xt;q)_\infty$, products of such factors, or ratios $(xt;q)_\infty/(yt;q)_\infty$, yield the paper's main results: the generating functions (2.17), (2.18), (3.8), and (3.10), the Mehler formula (2.20) for $p_n$, and the Mehler and Rogers-type formulas (3.10)-(3.12) for $h_n$. The argument is a calculation in basic hypergeometric series: expand the operator as a $q$-exponential series, push $D_q$ or $\theta_{xy}$ through products with a $q$-Leibniz rule, and resum.
Load-bearing premise
The load-bearing premise is the stated identity $D_q^n(xt;q)_\infty=q^{n(n-1)/2}t^n(xt;q)_\infty/(xt;q)_n$, but direct application of the paper's own definition for $n=1$ gives $D_q(xt;q)_\infty=-t(xt;q)_\infty/(1-xt)$, an extra factor of $-1$; this rule must be corrected before the identities built on it are secure.
Editorial extensions
If this is right
- At $a=0$, the generalized Cauchy operator $\widetilde{E}$ reduces to the earlier one-parameter operator, so the generating function (2.17) reduces to the homogeneous version of the $q$-binomial theorem.
- The action formula $\widetilde{E}(a,y;D_q)(x^n)=p_n(x,y,a)$ gives a direct operator proof of the defining sum of $p_n(x,y,a)$ and transfers any $q$-series identity for $x^n$ to one for $p_n(x,y,a)$.
- The Hahn generating function (3.8) specializes at $a=0$ to the usual generating function of the Cauchy polynomials $p_n(y,x)$, the base family from which the Hahn polynomials are built.
- The Mehler-type formula (3.12) expresses the bilinear sum of generalized Hahn polynomials as one application of $\widetilde{L}$ to a $3\Phi_3$ series, which is a closed form that would otherwise require a multi-sum evaluation.
Reading between the lines
- The identity $D_q^n(xt;q)_\infty=q^{n(n-1)/2}t^n(xt;q)_\infty/(xt;q)_n$ appears to be missing a factor $(-1)^n$ under the paper's definition of $D_q$; if that is confirmed, the coefficient series inside $\widetilde{E}$ would need a matching sign so that the final generating functions remain correct.
- The same operator scheme should work on other base functions, such as $(xt;q^r)_\infty$ or a general $r\Phi_s$ series, and would then generate analogous identities for wider multi-parameter polynomial families.
- Because the generalized Hahn polynomials $h_n$ interpolate between the trivariate polynomials $F_n$ and the classical Hahn families, specializing the new Rogers and Mehler formulas at $a=0$ gives ready-made numerical checks and should recover known identities for those objects in a uniform notation.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines two homogeneous q-difference operators, \tilde E(a,b;D_q) and \tilde L(a,b;\theta_{xy}), and uses them to represent generalized Cauchy polynomials p_n(x,y,a) and generalized Hahn polynomials h_n(x,y,a,b|q). It claims operational formulas, basic generating functions, extended generating functions, Mehler-type formulas, and Rogers-type formulas for these polynomial families. The basic generating functions (2.17) and (3.8) are plausible and consistent with known identities, but the paper contains a false q-derivative identity and, as a consequence, at least two of the advertised results are false in elementary specializations.
Significance. Should the results hold, the operator formalism would give a compact unified treatment of two families of q-polynomials and would extend the work of Saad and Sukhi and of Srivastava and Abdlhusein. The definitions are natural, and the basic \tilde L identities in Section 3 are internally coherent. However, the central Section 2 results are not reliable: equation (2.2) is false, equation (2.5) is false, and Theorems 2.3 and 2.4 fail in simple cases. The paper does not supply machine-checked proofs or numerical checks. The advertised extension to generalized Cauchy polynomials therefore cannot be accepted as stated.
major comments (4)
- [Section 2, Eq. (2.2)] The identity D_q^n(xt;q)_∞ = q^{n(n-1)/2} t^n (xt;q)_∞/(xt;q)_n is false under definition (1.14). For n=1, D_q(xt;q)_∞ = -t(xt;q)_∞/(1-xt) = -t(xt;q)_∞/(xt;q)_1, so a factor (-1)^n is missing. This is not a harmless sign typo: (2.2) is used to derive (2.4)-(2.5), and the error propagates into Proposition 2.1 and Theorem 2.1.
- [Section 2, Eq. (2.5)] The stated Leibniz-type formula is false even in the simplest case n=1, k=0, a=0. The left side is D_q{(bs;q)_∞/(xs;q)_∞} = (x-b)(bsq;q)_∞/(xs;q)_∞, while the right side is (bsq;q)_∞[-b+x(1-xs)]/(xs;q)_∞, which differs by -x^2s(bsq;q)_∞/(xs;q)_∞. Since (2.5) is the stated input for (2.9), (2.10), and the proof of (2.11), the derivations of Proposition 2.1 and Theorem 2.1 collapse.
- [Section 2, Theorem 2.3, Eq. (2.18)] The extended generating function is false. Take a=0, k=1, y=x. The left side is ∑_{n≥0} p_{n+1}(x,x)t^n/(q;q)_n = 0, because p_m(x,x)=0 for m≥1. After terminating the 3Φ_2 (its q^{-1} numerator parameter), the right side becomes x[1-(1-xt)(1-xt/q)/q^2], which is not identically zero. Thus Theorem 2.3 fails as stated.
- [Section 2, Theorem 2.4, Eq. (2.19)] The Rogers-type formula is also false. Set a=0, y=x, s=0. The left side becomes ∑_{n≥0} p_n(x,x)t^n/(q;q)_n = 1. The right side becomes 1/((xt;q)_∞) · 2Φ1(0,0;0;q;xt) = 1/(xt;q)_∞^2, using 2Φ1(0,0;0;q;z)=1/(z;q)_∞. These are unequal unless (xt;q)_∞=1. Consequently Theorem 2.4, and the Rogers-type claim for p_n(x,y,a), cannot stand.
minor comments (4)
- [General] The stress-test concern that (2.17) contradicts (1.7) at a=0 is not correct: since (0;q)_n=1, one has 1Φ1(0;0;q;yt)=(yt;q)_∞, so (2.17) reduces to (1.7). The actual failure is in the extended and Rogers formulas.
- [Introduction] The notation is inconsistent: the second operator is called \widetilde T in the introduction and \widetilde L thereafter.
- [References] There are several typographical issues in the references, e.g., 'Golman' for Goldman and 'Slatter' for Slater, and the phrase 'Roger's formula' should be 'Rogers formula'.
- [General] Formal interchanges of infinite sums and unbounded operators in (2.17)-(2.19) and (3.8)-(3.10) are not justified; since some of these identities are false, a convergence or formal-series framework is needed in any revision.
Circularity Check
No circularity: the polynomials are explicitly defined, the operator representations are proved by expansion, and the generating functions are derived from known operator actions on convergent series.
full rationale
The derivation chain is not circular. The generalized Cauchy polynomials p_n(x,y,a) are defined explicitly by the q-shifted factorial sum in (2.14), and the operational formula (2.15) is proved directly by expanding E-tilde(a,y;D_q)(x^n); the generating function (2.17) is then obtained by applying the operator to the convergent q-exponential series 1/(xt;q)_infinity and using Proposition 2.1. No fitted parameter is renamed as a prediction, and no equation is assumed that is the same as the displayed conclusion. The same holds in Section 3: h_n(x,y,a,b|q) is defined by the explicit sum (3.4), the representation by L-tilde(a,b;theta_xy) is proved in (3.7), and the generating function (3.8) follows from the cited theta-action (1.24) on (xt;q)_infinity/(yt;q)_infinity. The self-citations [15] and [1] are to previously published, parameter-free operator identities used as lemmas; they are not invoked as uniqueness theorems to forbid alternatives, and the paper's central claims have independent content. The suspicious sign in identity (2.2) would be a mathematical correctness problem if confirmed, but a false intermediate identity is not circular reasoning: the conclusion does not reduce to its input by construction. There are no circular steps to report.
Assumptions & free parameters
assumptions (5)
- standard math The Leibniz rule for D_q (Eq. 2.1) is valid.
- domain assumption The action of theta_xy on p_n(y,x) and on the ratio (xt;q)_infinity/(yt;q)_infinity (Eq. 1.24) is as stated.
- standard math The q-binomial theorem and the generating function for Cauchy polynomials (Eqs. 1.7, 1.10) hold.
- domain assumption The operations of interchanging the infinite operator sum with the series in the proofs are valid for |xt|<1, |yt|<1.
- standard math The basic hypergeometric convention (1.5) includes the factor [(-1)^n q^{n(n-1)/2}]^{1+s-r}.
Cite this review
Pith. "Pith review of Some homogeneous $q$-difference operators and the associated generalized Hahn polynomials." pith.science (2026). https://pith.science/paper/44OQTBW7
@misc{pith2026190803207,
author = {Pith},
title = {Pith review of: Some homogeneous $q$-difference operators and the associated generalized Hahn polynomials},
year = {2026},
howpublished = {\url{https://pith.science/paper/44OQTBW7}},
note = {Machine review of arXiv:1908.03207}
}
abstract
In this paper, we first construct the homogeneous $q$-shift operator $\widetilde{E}(a,b;D_{q})$ and the homogeneous $q$-difference operator $\widetilde{L}(a,b; \theta_{xy})$. We then apply these operators in order to represent and investigate generalized Cauchy and a general form of Hahn polynomials. We derive some $q$-identities such as: generating functions, extended generating functions, Mehler's formula and Roger's formula for these $q$-polynomials.
Reference graph
Works this paper leans on
-
[1]
M. A. Abdlhusein, Two operator representations for the trivar iate q-polynomials and Hahn polyno- mials, Ramanujan J. 40, 491-509 (2016)
work page 2016
-
[2]
G. E. Andrews, The theory of partitions, Cambridge Univ. Press , (1985)
work page 1985
-
[3]
W. Y. C. Chen, A. M. Fu and B. Zhang, The homogeneous q-difference operator. Adv. App. Math. 31 659-668 (2003)
work page 2003
-
[4]
W. Y. C. Chen and Z.-G. Liu, Parameter augmenting for basic hype rgeometric series, II, J. Combin. Theory, Ser. A, 80 pp. 175-195, (1997)
work page 1997
-
[5]
G. Gasper and M. Rahman, Basic Hypergeometric Series, 2nd edn . Cambridge University Press, Cambridge (2004)
work page 2004
-
[6]
J. Golman and G.-C. Rota, On the foundations of combinatorial theory, IV: Finite vect or spaces ans Eulerien generating functions , Sut. Appl. Math. 49, 239-258 (1970)
work page 1970
-
[7]
W. P. Johnson, q-Extensions of identities of Abel-Rothe type Discrete Math. 159 161-77 (1995)
work page 1995
-
[8]
E. C. Ihrig and M. E. H. Ismail, A q-umbral calculus, J. Math. Anal. Appl. 84, 178-207 (1981)
work page 1981
Show all 16 references
-
[9]
Koekock and R
R. Koekock and R. F. Swarttouw, The Askey-scheme of hypergeometric orthogonal polynomial s and its q-analogue report, Delft University of Technology, (1998)
1998
-
[10]
Roman, The theory of the umbral calculus I
S. Roman, The theory of the umbral calculus I. J. Math. Anal. A ppl. 87, 58-115 (1982)
1982
-
[11]
Roman, More on the umbral calculus, with emphasis on the q-umbral calculus, J
S. Roman, More on the umbral calculus, with emphasis on the q-umbral calculus, J. Math. Anal. Appl. 107 222-54 (1985 )
1985
-
[12]
H. L. Saad and A. A. Sukhi, Another homogeneous q-difference operator. Appl. Math. Comput. 215 4332-4339 (2010)
2010
-
[13]
H. L. Saad and A. A. Sukhi, The q-Exponential Operator, Appl. Math. Sci. 7, 6369-6380 (2005)
2005
-
[14]
L. J. Slatter, Generalized Hypergeometric Functions , Cambridge Univ. Press, Cam- bridge/London/New York, (1966)
1966
-
[15]
H. M. Srivastava and M. A. Abdlhusein, New forms of the Cauchy operator and some of their applications, Russian J. Math. Phys. 23, 124–134 (2016)
2016
-
[16]
H. M. Srivastava and P. W. Karlsson, Multiple Gaussian Hypergeometric Series , Halsted (Ellis Hor- wood, Chichester); Wiley, New York, (1985). 1Department of Mathematics and Statistics, University of Vi ctoria, Victoria, British Columbia V8W 3R4, Canada 2F aculty of Sciences a...
1985
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.