Pith. sign in

REVIEW 3 major objections 6 minor 25 references

Can Umbral and $q$-calculus be merged?

T0 review · 3 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read This paper argues that q-calculus for 0 < q < 1 can be rewritten as umbral calculus, with an operator that acts like a constant, so that q-function integrals follow from ordinary calculus.

desk verdict A handy formal toolbox for q-integral identities, but the key interchange step is unproved and one convergence radius is wrong; refereeing should push for fixes. read the letter →

arxiv 1909.00058 v1 pith:IJR5TCL7 submitted 2019-08-29 math.CA

G. Dattoli , B. Germano , K. Górska , M. R. Martinelli This is my paper · ORCID
classification math.CA MSC 05A4033D15
keywords q-calculusumbralcalculusq-Gammafunctionq-exponentialq-Fresnelintegralsq-Wallisproductq-specialfunctionsoperator
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

The paper aims to show that the $q$-calculus for $0 < q < 1$ fits inside umbral calculus, a formal language in which an operator is treated as an ordinary number acting on a vacuum state. The reward is that $q$-special functions inherit the properties of their ordinary counterparts: the $q$-exponential becomes a rational function of an operator, and integrals of $q$-Gaussians, $q$-Fresnel functions, and $q$-Bessel functions reduce to standard Gaussian or Laplace integrals. The centerpiece is the identity that the full-line integral of the $q$-Gaussian equals $\pi$ divided by the square root of $\pi_q$, where $\pi_q$ is the square of the $q$-Gamma function at $1/2$ and tends to $\pi$ as $q$ tends to $1$. A reader should care because this gives a systematic and compact route to $q$-analogues of classical formulas.

What carries the argument

The central object is the umbral operator $\hat{c}_z$ and its vacuum $\phi_0$, defined by $\hat{c}_z^\mu \phi_0 = 1/{}_{q}\Gamma(1+\mu)$, with ${}_{q}\Gamma$ the $q$-Gamma function. The key move is that $\hat{c}_z$ is treated as a scalar constant in integrals and series, so that the $q$-exponential $\mathrm{qe}(x) = (1+\hat{c}_z x)^{-1}\phi_0$ acquires the rational image $(1+\hat{c}_z x)^{-1}$, and the $q$-Gaussian $\mathrm{qe}(x^2)$ acquires the Lorentzian image $(1+\hat{c}_z x^2)^{-1}$. This correspondence carries the argument: every ordinary integral identity (Gaussian, Fresnel, Laplace) is translated into a $q$-integral by applying the image formula and then letting $\hat{c}_z$ act on the vacuum.

What would settle it

Fix $q$ and evaluate $\int_{-\infty}^{\infty}\mathrm{qe}(x^2)\,dx$ by summing the series representation within its convergence disk (or by the Borel representation with a cutoff), then compare with $\pi/\sqrt{\pi_q}$; a mismatch or a divergent sum would show that the operator-as-constant interchange fails.

Watch

Extended reading notes

Core claim

The central claim is that the $q$-calculus for $0 < q < 1$ can be merged with umbral calculus by introducing an operator $\hat{c}_z$ whose action on a vacuum $\phi_0$ reproduces $q$-factorial inverses and $q$-Gamma values, namely $\hat{c}_z^\mu \phi_0 = 1/{}_{q}\Gamma(1+\mu)$. Under this correspondence the $q$-exponential $\mathrm{qe}(x)$ is represented as $(1+\hat{c}_z x)^{-1}\phi_0$, so that $q$-functions become images of ordinary rational or exponential functions. The paper argues that treating $\hat{c}_z$ as a constant throughout computations yields new integral identities, notably the $q$-Gaussian integral, the $q$-Fresnel integrals, and a $q$-Wallis product for $\pi_q$, and that the same umbral protocol extends to the Tsallis exponential. The upshot is that properties of $q$-special functions can be derived from ordinary calculus statements without repeating $q$-analysis arguments.

Load-bearing premise

The entire scheme rests on treating the umbral operator $\hat{c}_z$ as a constant that can be pulled outside integrals over the whole real line, although the $q$-exponential is initially only defined on a bounded disk.

Editorial extensions

If this is right

  • The full-line integral of the $q$-Gaussian is $\pi/\sqrt{\pi_q}$, with $\pi_q = {}_q\Gamma(1/2)^2$ recovering $\pi$ as $q\to 1^-$.
  • The $q$-Fresnel integrals $\int_{-\infty}^{\infty} {}_q\cos(y^2)\,dy$ and $\int_{-\infty}^{\infty} {}_q\sin(y^2)\,dy$ both equal $\pi/\sqrt{8\pi_q}$, reducing to $\sqrt{\pi/8}$ in the classical limit.
  • The integral $\int_0^\infty \mathrm{qe}(x^m)\,dx$ equals $1/(m\,{}_q\Gamma((m-1)/m))$.
  • A $q$-Wallis infinite product identity for $\pi_q$ follows directly from the product form of the $q$-Gamma function.
  • The $q$-sine and $q$-cosine functions defined from $q$-Gamma products have zeros at integer multiples of $\pi_q$ and their parametric plot approaches a circle as $q\to 1^-$.

Reading between the lines

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

  • The same umbral protocol should apply to the Tsallis $q$-exponential, producing Hermite-like polynomials for non-extensive statistics; the paper sketches this link but leaves the explicit recurrences for later work.
  • If the operator-as-constant interchange can be justified by analytic continuation or a suitable function space, the method would give a general engine for $q$-analogue integration, likely yielding closed forms for $q$-versions of other classical constants.
  • The $q$-trigonometric functions suggest reading $\pi_q$ as the period of a deformed rotation; testing whether Lissajous-type curves close at $\pi_q$ would give a concrete geometric interpretation.
  • A direct numerical evaluation of the $q$-Wallis product against ${}_q\Gamma(1/2)^2$ for $q$ close to $1$ would empirically confirm the central identity.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 6 minor

Summary. The paper proposes to unify q-calculus and umbral calculus by introducing an umbral operator ħc_z whose action on a vacuum φ_0 is ħc_z^μ φ_0 = 1/_qΓ(1+μ). It represents the q-exponential qe(x), the q-Tricomi function C_0^{(q,1)}, related q-Bessel functions, and q-Hermite polynomials in this formalism, and uses the representation to compute integrals. The central illustrative result is Eq. (13): ∫_{-∞}^{∞} qe(x^2) dx = π/√π_q, where π_q = (_qΓ(1/2))^2. The paper also derives q-Fresnel integrals, a q-Wallis product formula, and q-deformed sine and cosine functions. The authors are explicit that the method treats ħc_z as a constant and assumes that the vacuum can be moved outside integrals; they support the main identity with numerical checks.

Significance. If the formal manipulations were rigorously justified, the paper would provide a genuinely concise method for deriving integral identities for q-special functions and would give a clean interpretation of π_q in terms of q-deformed trigonometric functions. The main identity is independently checkable, for example through the q-binomial product qe(x^2)=∏_{n≥0}(1+(1-q)q^n x^2)^{-1}, and the numerical checks together with the explicit product formulas are useful. However, in its present form the paper establishes a heuristic or formal calculus rather than a theorem: the load-bearing step of interchanging the umbral operator with improper integrals is assumed, not proved, and at least one convergence statement is incorrect. These issues determine the verdict.

major comments (3)
  1. [Section I, Eq. (8)] The stated convergence radius of the q-exponential series is incorrect. Since [r]_q! = (q;q)_r (1-q)^{-r}, the ratio of successive coefficients of qe(x)=∑_{r≥0} (-x)^r/[r]_q! is (1-q)/(1-q^{r+1}), whose limit is 1-q; the radius of convergence is therefore 1/(1-q), not (1+q)^{-1}. This matters because the paper then uses qe(x^2) in Eq. (10) on the whole real line, outside the stated disk (and outside the corrected disk as well). The Borel representation in Eq. (7) may provide an analytic continuation, but the text does not prove that the continued function is integrable over ℝ or that the umbral interchange remains valid there. Since Eq. (13) is presented as a consequence of Eq. (10), this convergence issue is load-bearing.
  2. [Section I, Eqs. (7), (10), (19), and (22)] The central step of the paper is to move the umbral operator ħc_z outside improper integrals and to treat it as a scalar constant; for example, Eq. (10) writes ∫ dx (1+ħc_z x^2)^{-1}φ_0 = I_L(ħc_z)φ_0. The paper explicitly says in the list after Eq. (7) that 'we have assumed that the vacuum can be brought outside the integral', but no theorem or domain argument is supplied. Equation (5) fixes the action of ħc_z^μ only on φ_0 after expansion in powers; it does not by itself define a functional calculus that would justify an interchange with a Lebesgue integral over ℝ. The same gap affects Eqs. (19), (22), and the Fresnel identities in Section I. Because π_q is defined as _qΓ(1/2)^2, Eq. (13) is not an independent prediction of the method; it directly encodes the defining action (5) together with the unproved interchange. The authors could bypass the gap by proving Eq. (13) from the product formula qe(x^2)=∏_{n≥0}(1+(1-q)q^n x^2)^{-1}, or by stating clearly that the paper develops a formal calculus.
  3. [Section IV, Conclusion] The concluding claim that the q-calculus 'can be merged' with umbral calculus goes beyond what is actually established. The examples show that, if ħc_z is defined by Eq. (5) and formal swaps with integrals are allowed, many q-identities can be written down; they do not demonstrate that the interchange is mathematically valid. Unless the authors supply a domain and a proof of the interchange, or explicitly frame the contribution as a formal heuristic calculus, the conclusion should be weakened accordingly.
minor comments (6)
  1. [Section II, Eqs. (33)-(34)] The notation for the zeros and maxima is inconsistent with the definition sin_q(π_q x) in Eq. (32). If the independent variable is x, the zeros of sin_q(π_q x) are at x=k, not at sin_q(kπ_q)=0; the maxima should be stated as y^*=(2k+1)π_q/2 for y=π_q x, and the variable should be made explicit.
  2. [Section III, Eq. (47)] The generating function has a sign error. Expanding the left side directly gives ∑_{n≥0} t^n/[n]_q! H_n^{(q,1)}(x,y) = e^{y t^2} qe(-xt), not e^{y t^2} qe(xt); for n=1 the left side contributes tx while the printed right side contributes -xt.
  3. [Section IV, Eq. (50)] The Tsallis q-exponential ~e_q(x)=[1+(1-q)x]^{1/(1-q)} is a real power and requires the base to be nonnegative; the paper should state the domain restriction before using it in integrals.
  4. [Section IV, Eq. (52)] The same umbral interchange that is assumed in Section I is used without comment for the Tsallis Gaussian. If the method remains formal there, this should be stated explicitly rather than presenting the equality as a derivation.
  5. [Eqs. (29)-(30)] The notation [∞]_{q^k} is introduced in Eq. (29), but [∞]_{√q} is used in Eq. (30) without a definition; please define it before use.
  6. [Throughout] There are numerous typographical errors, including 'ACKNOWLEDGENTS' for 'ACKNOWLEDGMENTS' and 'right hand site' for 'right-hand side'; the manuscript would benefit from a careful proofreading pass.

Circularity Check

1 steps flagged · score 4.0 of 10

Eq. (13) restates the defining action of the umbral operator and the definition of pi_q; the underlying integral interchange is asserted, not derived.

  1. self definitional [Section I, Eqs. (5), (10), (11), and (13)]
    "qˆcz µϕ 0 = 1/qΓ(1 + µ) ... ∫ ∞ −∞ qe(x2) dx = IL(qˆc)ϕ 0 = π qˆcz −1/2ϕ 0 = π/qΓ(1/2) ... qΓ(1/2) = √πq ... ∫ ∞ −∞ qe(x2) dx = π/√πq"

    Eq. (5) defines the umbral action qhat_cz^mu phi_0 to be exactly 1/qGamma(1+mu). Eq. (10) evaluates the q-Gaussian integral by treating qhat_cz as a constant and then applying that defining action with mu = -1/2, giving pi/qGamma(1/2). Eq. (11) then introduces pi_q by the convention qGamma(1/2) = sqrt(pi_q). Therefore Eq. (13), the paper's flagship integral, is a notational restatement of the definition of pi_q and of the defining action of qhat_cz, not an independently derived prediction. The only non-definitional step is the formal interchange of the operator with the unbounded integral, which is asserted rather than proved.

full rationale

The paper's central demonstration is not a fitted-parameter prediction, but the main displayed identity Eq. (13) reduces by construction to the definition of the umbral operator and to the convention pi_q = qGamma(1/2)^2. The 'derivation' is a formal transcription: the q-Gaussian is replaced by its Lorentzian image, the operator is moved through the integral as a scalar, and the result is read off from Eq. (5). This is a constructed correspondence rather than a self-contained proof. The same pattern recurs in Eqs. (19) and (22), where values again come from applying Eq. (5). The q-Wallis product is explicitly acknowledged to be equivalent to a known result, so that is not circular. The paper also contains a rigor gap (moving qhat_cz through improper integrals without a theorem), but that is a correctness issue, not circularity. Overall, there is partial definitional circularity in the flagship integral, while the broader proposal to merge the calculi retains independent content; no load-bearing self-citation chain or uniqueness theorem is used.

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

The paper introduces no fitted free parameters; the q-parameter is part of the q-calculus framework. The central formal tool is the umbral operator whose action is defined to reproduce the q-Gamma function, so all derived integral identities are consequences of that definition. The q-exponential, pi_q, and the q-trigonometric functions are new objects defined in the paper without independent falsifiable evidence.

assumptions (4)
  • ad hoc to paper The umbral operator ħat{c}_z acts on the vacuum ϕ0 according to ħat{c}_z^mu ϕ0 = 1/_qΓ(1+mu).
    This is the defining relation of the umbral correspondence, introduced in Eq. (4)-(5). It encodes the q-Gamma function into the operator formalism and is the basis for all subsequent manipulations.
  • ad hoc to paper Ordinary identities involving a real parameter a can be lifted to q-functions by substituting a with ħat{c}_z and applying to the vacuum.
    This is the core umbral correspondence principle, used throughout, e.g., in Eq. (10) and Eq. (22). It is assumed without proof and is the main formal step.
  • domain assumption Interchange of integration and the umbral operator is valid, including over unbounded domains.
    Used in Eq. (7) and Eq. (10) to evaluate integrals such as ∫ qe(x^2) dx. The paper does not justify this interchange, and the q-exponential is only defined in a disk, making the integrals over the whole real line formally questionable.
  • standard math The Thomae-Jackson q-Gamma function and its product representation are accepted as a standard definition.
    The q-Gamma function in Eq. (5) is taken from Refs. 1 and 8. The paper relies on its properties without proving them.
invented entities (5)
  • Umbral operator ħat{c}_z
    purpose: Maps the q-Gamma function to a formal operator acting on a vacuum, allowing ordinary calculus formulas to be applied.
    It is a formal device defined by its action in Eq. (5). There is no independent falsifiable handle outside the paper.
  • Vacuum state ϕ0
    purpose: Target on which the umbral operator acts to produce numerical values.
    A standard umbral-calculus device with no independent empirical content.
  • q-exponential function qe(x)
    purpose: Defines the q-Gaussian and other q-functions used in the integral identities.
    Introduced in Eq. (7) via a Borel transform and in Eq. (8) as a series. Its definition outside a disk is not provided, and its properties are derived formally.
  • Constant pi_q
    purpose: Pivotal constant in the q-Gaussian and q-Fresnel integral formulas.
    Defined as the square of _qΓ(1/2). The paper speculates about its meaning but provides no independent verification beyond its definition.
  • q-sine and q-cosine functions
    purpose: q-analogues of trigonometric functions via Euler products.
    Defined in Eqs. (32) and (35). They are related to Gosper's q-trig but are new variants, with no external falsifiable predictions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Can Umbral and $q$-calculus be merged?." pith.science (2026). https://pith.science/paper/IJR5TCL7

@misc{pith2026190900058,
  author       = {Pith},
  title        = {Pith review of: Can Umbral and $q$-calculus be merged?},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IJR5TCL7}},
  note         = {Machine review of arXiv:1909.00058}
}
abstract

The $q$-calculus is reformulated in terms of the umbral calculus and of the associated operational formalism. We show that new and interesting elements emerge from such a restyling. The proposed technique is applied to a different formulations of $q$ special functions, to the derivation of integrals involving ordinary and $q$-functions and to the study of $q$-special functions and polynomials.

Figures

Figures reproduced from arXiv: 1909.00058 by the authors.

Figure 1
Figure 1. FIG. 1. The plot of sine- [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 2
Figure 2. FIG. 2. The parametric plot of cosinus- [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    F. H. Jackson, A generalization of the functions (n) and x^ n , Proc. Roy. Soc. London 74 (1904) 64--72

    work page 1904

  2. [2]

    The Umbral Calculus

    S. Roman, "The Umbral Calculus", (Academic Press, New York, 1984)

    work page 1984

  3. [3]

    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 (1985) 222--254

    work page 1985

  4. [4]

    Umbral Calculus, a Different Mathematical Language

    S. Licciardi, Umbral Calculus, a Different Mathematical Language , arXiv:1803.03108

    work page Pith review arXiv

  5. [5]

    Dattoli, E

    G. Dattoli, E. Di Palma, E. Sabia, and S. Licciardi, Products of Bessel functions and associated polynomials , Appl. Math. Comput. 266 (2015) 507--514

    work page 2015

  6. [6]

    Babusci, G

    D. Babusci, G. Dattoli, K. G\' o rska, and K. A. Penson, Symbolic methods for the evaluation of sum rules of Bessel functions , J. Math. Phys. 54 (2013) 073501

    work page 2013

  7. [7]

    Babusci, G

    D. Babusci, G. Dattoli, K. G\' o rska, and K. A. Penson, Lacunary Generating Functions for the Laguerre Polynomials , Seminaire Lotharingien de Combinatoire (2017), Article B76b, (19 pp)

    work page 2017

  8. [8]

    Thomae, Beitrage zur Theorie der durch die Heinesche Reihe , J

    J. Thomae, Beitrage zur Theorie der durch die Heinesche Reihe , J. reine angew. Math. 70 (1869) 258--281

    work page

Show all 25 references
  1. [9]

    Dattoli, E

    G. Dattoli, E. Di Palma, E. Sabia, K. G\' o rska, A. Horzela, and K. A. Penson, Operational versus umbral methods and the Borel transform , Int. J. Appl. Comput. Math. 2017 (2017) 1--22

    2017

  2. [10]

    Dattoli, P

    G. Dattoli, P. L. Ottaviani, A. Torre, and L. V\' a zquez, Evolution operator equations: integration with algebraic and finite-difference methods. Applications to physical problems in classical and quantum mechanics and quantum filed theory , La Rivista del Nuovo Cimento 20 (1...

    1997

  3. [11]

    W. S. Chung, T. Kim, and T. Mansour, The q -deformed Gamma function and q -deformed Polygamma function , Bull. Korean Math. Soc. 51 (2014) 1155--1161

    2014

  4. [12]

    Mez o , Duplication formulae involving Jacobi Theta functions and Gosper's q -trigonometric functions , Proceedings of the American Math

    I. Mez o , Duplication formulae involving Jacobi Theta functions and Gosper's q -trigonometric functions , Proceedings of the American Math. Soc. 141 (2013) 2401--2410

    2013

  5. [13]

    Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics

    R. W. Gosper, Experiments and discoveries in q -trigonometry in "Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics", eds. F. G. Garvan and M. E. H. Ismail (Kluwer, Dordrecht, 2001)

    2001

  6. [14]

    W. F. Eberlein, On Euler's Infinite Product for the Sine , J. Math. Anal. Appl. 58 (1977) 147--151

    1977

  7. [15]

    F. H. Jackson, XI--On q -Functions and a certain Difference Operator Transactions of the Royal Society of Edinburgh 46 (1909) 253--281

    1909

  8. [16]

    Dattoli and A

    G. Dattoli and A. Torre, Symmetric q -Bessel functions , Le Matematiche LI (1996) 153--167

    1996

  9. [17]

    Dattoli and A

    G. Dattoli and A. Torre, q -Bessel functions: the point of view of the generating function method , Rediconto di Matematica, Serie VII, 17 (1997) 329--345

    1997

  10. [18]

    A. A. Budini, Extended q -Gaussian and q -exponential distributions from gamma random variables , Phys. Rev. E 91 (2015) 052113

    2015

  11. [19]

    Tsallis, Introduction to Nonextensive Statistical Mechanics (Springer, Berlin, 2009)

    C. Tsallis, Introduction to Nonextensive Statistical Mechanics (Springer, Berlin, 2009)

    2009

  12. [20]

    P. C. A. da Silva et al, Normal and Tumoral Melanocytes Exhibit q -Gaussian Random Search Patterns , PLOS ONE 9 (9) (2014) e104253

    2014

  13. [21]

    Douglas et al, Tunable Tsallis Distributions in Dissipative Optical Lattices , Phys

    P. Douglas et al, Tunable Tsallis Distributions in Dissipative Optical Lattices , Phys. Rev. Lett. 96 (2006) 110601

    2006

  14. [22]

    Askey, The q -Gamma and q -Beta Functions , Applicable Analysis 8 (1978) 125--141

    R. Askey, The q -Gamma and q -Beta Functions , Applicable Analysis 8 (1978) 125--141

    1978

  15. [23]

    A. B. Olde Daalhuis, Asymptotic Expansions for q -Gamma, q -Exponential, and q -Bessel Functions , J. Math. Anal. Appl. 186 (1994) 896--913

    1994

  16. [24]

    Encyclopedia of Mathematics and its Applications

    G. Gasper and M. Rahman, Basic hypergeometric series in "Encyclopedia of Mathematics and its Applications" vol. 35 (Cambridge Univ. Press, Cambridge, 1990)

    1990

  17. [25]

    T. H. Koonwinder, Jacobi functions as limit cases of q -ultraspherical polynomials , J. Math. Anal. Appl. 148 (1990) 44--54

    1990

Pith tools

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