{"id":"eaa3cc18-8dc8-4d91-bb3d-e448f6c0fdd4","arxiv_id":"1909.00058","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Umbral operator techniques are applied to q-calculus to formally derive q-Gaussian and q-Fresnel integral identities and q-trigonometric functions, with limited rigorous justification.","lead":"This paper rewrites q-calculus using umbral calculus, an operator formalism, to produce q-analogues of Gaussian and Fresnel integrals and to define q-trigonometric functions. It is a methods paper for experts in special functions, but the derivations are formal and one convergence claim on the q-exponential is wrong.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equation (13) depends on moving the umbral operator through an improper integral; this interchange is unproved, and the stated convergence radius in Eq. (8) is wrong.","rationale":"The reader's verdict is conditional, and the reader identifies the formal interchange over the unbounded domain as the weakest assumption. I agree that this is the load-bearing point: every advertised new integral, Eqs. (13), (19), (22), and the Fresnel identities, is obtained by the same move, so the merger claim stands or falls with it. I differ slightly in emphasis: the q-exponential has an explicit infinite-product form, so qe(x^2) is well-defined on R even though the Taylor series has finite radius; the paper's radius statement is wrong, but the failure is one of missing justification and incorrect domain discussion rather than an obviously false identity. The proposed numerical test with the product representation would settle whether the formula itself is correct. If it passes, the paper's conclusion should remain conditional on adding a rigorous interchange lemma and correcting the radius claim; if it fails, the central derivation is invalid. Since the reader already recommended conditional acceptance, my stress-test does not change the verdict.","tokens_in":8405,"tokens_out":13765,"duration_ms":122562,"concrete_test":"Numerically verify Eq. (13) for q in {0.3, 0.5, 0.7, 0.9} using qe(x^2) = product_{n=0}^{N} (1+(1-q)q^n x^2)^{-1}, with N large enough that the omitted product is below 1e-12, and compute I_N = integral_{-R}^{R} qe(x^2) dx by adaptive quadrature with R chosen so the tail is below 1e-12. Compare with pi / qGamma(1/2), where qGamma(1/2) is computed from Eq. (5) as sqrt(1-q) product_{n=0}^{N} (1-q^{n+1})/(1-q^{n+1/2}). If agreement is not obtained for every q, Eq. (13) fails and the formal interchange is not merely unjustified but wrong. If agreement is obtained, the remaining obligation is a rigorous proof of the interchange and a correction of the convergence-radius statement.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central demonstration is the evaluation of the q-Gaussian integral in Eq. (13). The derivation treats the umbral operator c-hat as a scalar and moves it outside the unbounded integral in Eq. (10), and the same move is used in Eqs. (19), (22), and the Fresnel identities. No theorem is supplied that licenses this interchange: c-hat acts on a vacuum through Eq. (5) only after being applied to an ordinary function, and factoring it through a Lebesgue integral over R is a nontrivial functional-analytic step. The paper's own domain statement is also incorrect: Eq. (8) claims the series for qe(x) converges for |x|<(1+q)^{-1}, but since [r]_q! = (q;q)_r (1-q)^{-r}, the coefficients behave like (1-q)^r/(q;q)_infinity, so the radius is actually 1/(1-q), not (1+q)^{-1}. This matters because qe(x^2) is then used outside the disk. The Borel representation in Eq. (7) does give a continuation for the values needed, and the q-binomial theorem yields qe(x^2) = product_{n>=0} (1+(1-q)q^n x^2)^{-1}, so the identity is checkable directly. Thus the concern is not that Eq. (13) is visibly false; it is that the route used to derive it, which is the main evidence for the claimed merger, is purely formal and contains a wrong convergence assertion.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":115,"tokens_out":15079,"duration_ms":235695,"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":[{"comment":"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.","section":"Section I, Eq. (8)"},{"comment":"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.","section":"Section I, Eqs. (7), (10), (19), and (22)"},{"comment":"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.","section":"Section IV, Conclusion"}],"minor_comments":[{"comment":"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.","section":"Section II, Eqs. (33)-(34)"},{"comment":"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.","section":"Section III, Eq. (47)"},{"comment":"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.","section":"Section IV, Eq. (50)"},{"comment":"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.","section":"Section IV, Eq. (52)"},{"comment":"The notation [∞]_{q^k} is introduced in Eq. (29), but [∞]_{√q} is used in Eq. (30) without a definition; please define it before use.","section":"Eqs. (29)-(30)"},{"comment":"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.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of math.CA and contains a potentially useful formal program, but the missing justification of the umbral interchange is the deciding issue. If the authors supply a theorem or verify the main identities directly from the product representation, and correct the convergence radius and the sign error in Eq. (47), I would be willing to support publication. The paper is candid about its central assumption, which is a positive feature."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague—\n\nRead this one if you work with q-special functions and want a quick way to generate integral identities. The paper's real content is a set of concrete evaluations: the q-Gaussian integral (Eq. 13), q-Fresnel integrals, and related identities, all produced by treating the q-umbral operator as a constant inside ordinary integrals. The method is a reformulation of Roman's q-umbral calculus, and the authors say so; they also admit the q-Wallis formula is equivalent to Chung-Kim-Mansour. So novelty is modest but honest.\n\nWhat earns credit: the Borel representation in Eq. (7) gives a genuine analytic continuation of qe(x), and the final identities are consistent with direct product formulas. The numerical check is mentioned but not shown.\n\nThe soft spots are real. Eq. (10) moves c-hat through an improper integral over R, and that interchange is not justified. It can be repaired using the Borel form, but the paper does not do it. And Eq. (8) states the q-exponential series converges for |x|<(1+q)^{-1}; the actual radius is 1/(1-q), since [r]_q! ~ (q;q)_r (1-q)^{-r}. This matters because qe(x^2) is used outside the claimed disk. The product formula qe(x^2)=prod_{n>=0}(1+(1-q)q^n x^2)^{-1} makes the Gaussian integral checkable directly, so Eq. (13) is probably true—but the advertised derivation is formal, and the convergence statement is wrong.\n\nVerdict: the paper is a useful formal toolkit, not a deep theorem. With a corrected radius and a justification of the interchange (or a reduction to Borel integrals), it's publishable. Send it to a referee; don't desk reject.","headline":"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.","tokens_in":9291,"tokens_out":2641,"would_cite":true,"duration_ms":24880,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05A40","33D15"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["q-calculus","umbral calculus","q-Gamma function","q-exponential","q-Fresnel integrals","q-Wallis product","q-special functions","umbral operator"],"falsifier":"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.","tokens_in":8219,"feed_emoji":"🧮","tokens_out":10360,"duration_ms":80166,"temperature":0.7,"pith_summary":"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.","feed_headline":"Umbral trick computes q-Gaussian integrals","feed_subtitle":"The q-exponential becomes a rational image, so full-line q-integrals follow from ordinary calculus.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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^-$."],"supporting_citations":[{"why":"supplies the q-Gamma function and q-factorials used to define the umbral action on the vacuum.","marker":"1"},{"why":"provides the prior umbral calculus and q-umbral calculus framework that this paper restyles.","marker":"2,3"},{"why":"introduces the different conception of umbral calculus adopted here.","marker":"4"},{"why":"gives the q-Gamma product underlying the umbral rule and the pi_q evaluations.","marker":"8"},{"why":"establishes the operational and Borel transform methods used to pass from the Tricomi image to the q-exponential and to derive derivative formulas.","marker":"9,10"},{"why":"contains the q-deformed Gamma identity from which the q-Wallis product for pi_q is obtained.","marker":"11"},{"why":"defines the q-trigonometric functions used to place the new sin_q and cos_q in context.","marker":"12,13"},{"why":"introduces the q-derivative used for the eigenvalue equations of the q-exponential and q-Bessel functions.","marker":"15"}],"fun_headline_variants":["Umbral bridge connects q-calculus to ordinary analysis","q-exponential as rational image via umbral operator","New integral identities from merging umbral and q-calculus","Umbral method unlocks q-special function integrals"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Umbral bridge connects q-calculus to ordinary analysis","q-exponential as rational image via umbral operator","New integral identities from merging umbral and q-calculus","Umbral method unlocks q-special function integrals"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000494,"raw_usage":{"total_tokens":2361,"prompt_tokens":815,"completion_tokens":1546,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":431,"completion_tokens_details":{"reasoning_tokens":1479}},"tokens_in":431,"tokens_out":1546,"duration_ms":10845,"temperature":1.0,"reasoning_tokens":1479,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:22:03.492977+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the q-Gamma function and q-factorials used to define the umbral action on the vacuum."},{"cited_title":"Umbral Calculus, a Different Mathematical Language","cited_arxiv_id":"1803.03108","evidence_quote":"introduces the different conception of umbral calculus adopted here."},{"cited_title":"Thomae, Beitrage zur Theorie der durch die Heinesche Reihe , J","cited_arxiv_id":null,"evidence_quote":"gives the q-Gamma product underlying the umbral rule and the pi_q evaluations."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"contains the q-deformed Gamma identity from which the q-Wallis product for pi_q is obtained."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"introduces the q-derivative used for the eigenvalue equations of the q-exponential and q-Bessel functions."}],"review_version":1}